Incremental Addition: The Experiment
WS Presentations Main Page
Next: Incremental vs. Non-incremental
Up: Document: incanal
Previous: Incremental Addition
- 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
Thu Jan 18 11:22:51 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>