Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf | ? (exit code) | 295.7 | 333.176 | 347698 |
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf | ? (exit code) | 593.237 | 629.423 | 347767 |
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf | ? (exit code) | 935.813 | 967.586 | 347699 |
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf | ? (exit code) | 993.566 | 1020.34 | 347765 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf | ? (exit code) | 44.1813 | 44.2272 | 347565 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf | ? (exit code) | 126.784 | 126.847 | 347573 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf | ? (exit code) | 132.698 | 132.773 | 347566 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf | ? (exit code) | 159.314 | 159.389 | 347570 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf | UNSAT | 1.17382 | 1.17754 | 347267 |
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf | UNSAT | 2.76558 | 2.77031 | 347263 |
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf | UNSAT | 3.78342 | 3.8022 | 347325 |
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf | UNSAT | 17.0594 | 17.0669 | 347359 |
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf | UNSAT | 241.643 | 241.81 | 347333 |
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf | UNSAT | 271.495 | 271.624 | 347320 |