Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf | Signal 11 | 0.082987 | 0.062575 | 3472545 |
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf | Signal 11 | 2.85357 | 1.41111 | 3472544 |
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf | Signal 11 | 13.8239 | 4.14339 | 3472341 |
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf | Signal 11 | 41.0838 | 8.49442 | 3472412 |
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf | Signal 11 | 68.7655 | 13.6981 | 3472409 |