Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf | SAT | 374.06 | 187.599 | 333450 |
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf | SAT | 867.09 | 434.622 | 333492 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf | ? (MO) | 1.24 | 1.0227 | 332610 |
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf | ? (MO) | 4.52 | 3.2275 | 336768 |
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf | ? (MO) | 4.93 | 3.2255 | 334416 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf | ? (MO) | 5.17 | 3.22703 | 338658 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf | ? (MO) | 5.37 | 3.32727 | 338448 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.753884 | 0.754155 | 320715 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.756884 | 0.757163 | 320961 |
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf | UNSAT | 0.851869 | 0.437897 | 319034 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 0.999847 | 1.00019 | 320838 |
industrial/babic/ xinetd/itox_vc979.cnf | UNSAT | 1.3378 | 1.33986 | 321084 |
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf | UNSAT | 4.70828 | 2.43092 | 319198 |
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf | UNSAT | 22.0327 | 11.1139 | 319116 |
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf | UNSAT | 107.81 | 54.0607 | 319239 |
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf | UNSAT | 499.241 | 254.016 | 319157 |
industrial/babic/dspam/ dspam_dump_vc962.cnf | UNSAT | 1159.75 | 1155.77 | 318214 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/dspam/ dspam_dump_vc950.cnf | ? (TO) | 1200 | 1196.93 | 318419 |
industrial/babic/dspam/ dspam_dump_vc949.cnf | ? (TO) | 1200.01 | 1196.93 | 318501 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf | ? (TO) | 1200.04 | 602.121 | 329874 |
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf | ? (TO) | 1200.06 | 1199.64 | 318055 |
industrial/babic/ dspam/dspam_dump_vc1080.cnf | ? (TO) | 1200.06 | 1190.93 | 318542 |
industrial/babic/ dspam/dspam_dump_vc1081.cnf | ? (TO) | 1200.07 | 1190.93 | 318460 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf | ? (TO) | 1200.08 | 602.119 | 330336 |
industrial/babic/ dspam/dspam_dump_vc1093.cnf | ? (TO) | 1200.09 | 1196.73 | 318173 |
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf | ? (TO) | 1200.13 | 602.02 | 330630 |