Incremental Addition: The Experiment

• The experiment:

  

• Each time a clause is added we can
  • re-start analysis from scratch
  • use incremental addition.
• For each program we timed:
  • time to analyze whole program (1)
  • time to analyze clause by clause re-starting from scratch (33.53)
  • time to analyze clause by clause incrementally (5.44).
• Speed-up obtained by incremental addition: 6.16
• Average: 1 clause in 395ms