Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 24.7222 | 24.7436 | 333575 |
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf | Signal 11 (SIGSEGV) | 138.854 | 138.904 | 336011 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.45893 | 0.460457 | 320714 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.460929 | 0.462392 | 320960 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 0.564914 | 0.56735 | 320837 |
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf | UNSAT | 2.5986 | 2.60057 | 319033 |
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf | UNSAT | 12.6661 | 12.6721 | 319197 |
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf | UNSAT | 69.8034 | 69.8572 | 319115 |
industrial/babic/ xinetd/itox_vc979.cnf | UNSAT | 150.002 | 150.006 | 321083 |
industrial/babic/ xinetd/itox_vc1216.cnf | UNSAT | 156.265 | 156.384 | 320919 |
industrial/fuhs/medium/ AProVE07-22.cnf | UNSAT | 259.817 | 259.899 | 314467 |
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf | UNSAT | 317.983 | 318.079 | 319238 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_26.cnf | SAT | 996.291 | 996.636 | 320058 |
industrial/grieu/ vmpc_27.cnf | SAT | 1010.81 | 1011.13 | 319730 |