Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf | ? | 4999.27 | 5001.5 | 1786029 |
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf | ? | 4999.29 | 5000.63 | 1786071 |
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf | ? | 4999.32 | 5001.49 | 1784943 |
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf | ? | 4999.33 | 5001.26 | 1785399 |
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf | ? | 4999.55 | 5001.43 | 1785921 |
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf | ? | 4999.55 | 5001.96 | 1785993 |
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf | ? | 4999.57 | 5001.67 | 1786023 |
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf | ? | 4999.62 | 5001.71 | 1786065 |
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf | ? | 4999.79 | 5002.39 | 1785903 |
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf | ? | 4999.91 | 5001.91 | 1786053 |
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf | ? | 4999.93 | 5002.31 | 1786017 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf | ? (TO) | 5000.05 | 5002.91 | 1786005 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? (TO) | 5000.06 | 5002.84 | 1785003 |
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf | ? (TO) | 5000.06 | 5001.53 | 1784841 |
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf | ? (TO) | 5000.09 | 5002.11 | 1785021 |
CRAFTED/ramseycube/ Q3inK13.cnf | ? (TO) | 5000.09 | 5002.75 | 1785669 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? (TO) | 5000.12 | 5001.44 | 1784907 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? (TO) | 5000.13 | 5002.13 | 1784913 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf | ? (TO) | 5000.15 | 5002.14 | 1784901 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf | ? (MO) | 3582.15 | 3583.77 | 1785261 |