Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/spence/ medium/s57-100.cnf | UNSAT | 223.997 | 224.057 | 316264 |
crafted/spence/ medium/s61-100.cnf | UNSAT | 533.879 | 534.026 | 316104 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? (MO) | 166.214 | 166.285 | 336176 |
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf | ? (MO) | 277.205 | 277.288 | 338906 |
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf | ? (MO) | 335.64 | 335.988 | 334370 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf | ? (MO) | 684.907 | 685.385 | 338444 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf | ? (MO) | 685.496 | 685.887 | 338654 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? (MO) | 857.834 | 857.892 | 334958 |
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf | ? (MO) | 1028.12 | 1028.49 | 336092 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf | Signal 11 (SIGSEGV) | 2.73558 | 2.73848 | 319235 |
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf | Signal 11 (SIGSEGV) | 5.06223 | 5.06505 | 319153 |
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf | Signal 6 (SIGABRT) | 5.19121 | 5.19436 | 319112 |
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf | Signal 11 (SIGSEGV) | 8.13776 | 8.14142 | 318989 |
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf | Signal 11 (SIGSEGV) | 12.6521 | 12.6532 | 319071 |
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf | Signal 6 (SIGABRT) | 12.7261 | 12.7394 | 319194 |
industrial/fuhs/hard/ AProVE07-03.cnf | Signal 11 (SIGSEGV) | 23.1915 | 23.1992 | 314824 |
industrial/fuhs/medium/ AProVE07-21.cnf | Signal 11 (SIGSEGV) | 121.483 | 121.515 | 314504 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf | SAT | 426.37 | 426.497 | 291964 |