Home / simplifyingSTP
Name Modified Size InfoDownloads / Week
Parent folder
readme.txt 2010-07-12 343 Bytes
simplifyingSTP.pdf 2010-07-12 103.4 kB
simplifyingSTP.tar.gz 2010-07-12 2.7 MB
Totals: 3 Items   2.8 MB 0
This binary is the same binary submitted to SMT-COMP 2010.

It is statically compiled for a 64-bit linux machine.

It adds a simplification step to STP r940.

The simplifications that distinguish this binary from the trunk of STP can be entirely disabled (if you wish to measure their benefit) with the --disable-cbitp option.

trevor hansen

Source: readme.txt, updated 2010-07-12