Name | Modified | Size | Downloads / 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