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) | 297.957 | 325.548 | 335602 |
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf | ? (exit code) | 592.658 | 655.831 | 338500 |
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf | ? (exit code) | 920.319 | 964.368 | 335644 |
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf | ? (exit code) | 992.057 | 1027.4 | 338416 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf | ? (exit code) | 44.5502 | 44.6028 | 329548 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf | ? (exit code) | 120.448 | 120.5 | 329884 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf | ? (exit code) | 134.36 | 134.483 | 329590 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf | ? (exit code) | 161.235 | 161.328 | 329758 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | Wrong Cert. | 6.80097 | 6.85641 | 320725 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | Wrong Cert. | 9.8805 | 9.88728 | 320971 |
industrial/babic/ xinetd/itox_vc965.cnf | Wrong Cert. | 463.848 | 463.992 | 320848 |
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.17782 | 1.18382 | 308460 |
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf | UNSAT | 2.72958 | 2.73285 | 308296 |
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf | UNSAT | 3.97939 | 3.98306 | 310838 |
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf | UNSAT | 17.2004 | 17.2073 | 312232 |
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf | UNSAT | 254.855 | 254.931 | 311166 |
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf | UNSAT | 274.423 | 274.517 | 310633 |