Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf | UNSAT | 28.1027 | 14.3603 | 332383 |
crafted/spence/ medium/s57-100.cnf | UNSAT | 107.213 | 53.7472 | 328515 |
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf | UNSAT | 309.325 | 155.057 | 332257 |
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf | UNSAT | 550.121 | 275.717 | 333685 |
crafted/spence/ medium/s65-100.cnf | UNSAT | 583.585 | 292.467 | 328519 |
crafted/spence/ medium/s61-100.cnf | UNSAT | 790.8 | 396.354 | 328511 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | SAT | 38.1062 | 19.1325 | 332593 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 327.885 | 164.485 | 333139 |
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf | SAT | 561.222 | 281.575 | 332635 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/ xinetd/itox_vc909.cnf | SAT | 37.2873 | 19.379 | 328592 |
industrial/babic/ xinetd/itox_vc1033.cnf | SAT | 72.8609 | 37.3319 | 328595 |
industrial/babic/ xinetd/itox_vc1138.cnf | SAT | 110.682 | 56.397 | 328596 |
industrial/babic/ xinetd/itox_vc1130.cnf | SAT | 114.968 | 58.5819 | 328589 |
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf | SAT | 137.65 | 69.3823 | 328505 |
industrial/babic/ xinetd/itox_vc1044.cnf | SAT | 510.725 | 256.801 | 328590 |
industrial/narain/ clauses-2.cnf | SAT | 1173.51 | 588.597 | 328583 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/narain/ clauses-10.cnf | ? (MO) | 26.8539 | 26.8808 | 328586 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? (MO) | 36.9914 | 39.5782 | 331243 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf | ? (MO) | 39.761 | 43.2836 | 331453 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf | ? (MO) | 39.765 | 41.4841 | 331537 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? (MO) | 39.8039 | 40.7841 | 331285 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf | ? (MO) | 39.8249 | 41.0883 | 331411 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf | ? (MO) | 39.8739 | 42.2805 | 331495 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf | ? (MO) | 39.9209 | 40.8648 | 331579 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? (MO) | 39.9649 | 42.4907 | 331621 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf | ? (MO) | 39.9819 | 40.9863 | 331369 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf | ? (MO) | 40.0319 | 41.0898 | 331327 |
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 | 2.6086 | 1.33823 | 328322 |
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf | UNSAT | 6.21805 | 3.1412 | 328318 |
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf | UNSAT | 9.67553 | 4.86056 | 328380 |
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf | UNSAT | 110.599 | 55.4429 | 328414 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf | SAT | 27.5398 | 13.8333 | 328310 |
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf | SAT | 40.6308 | 20.3799 | 327925 |
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf | SAT | 84.0842 | 42.1807 | 328335 |
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf | SAT | 222.024 | 111.297 | 328374 |
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf | SAT | 251.039 | 125.856 | 328324 |
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf | SAT | 284.262 | 142.484 | 328379 |
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf | SAT | 420.55 | 210.824 | 328415 |