Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 105.425 | 105.467 | 333125 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 741.883 | 742.097 | 333041 |
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf | SAT | 921.02 | 921.347 | 332621 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | ? | 852.543 | 852.788 | 332579 |
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf | ? | 866.941 | 867.202 | 332831 |
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | ? | 944.101 | 944.382 | 332663 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf | ? | 953.159 | 953.783 | 338669 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf | ? | 1012.14 | 1012.55 | 338459 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_25.cnf | SAT | 108.75 | 108.815 | 319701 |
industrial/grieu/ vmpc_26.cnf | SAT | 462.932 | 463.078 | 320070 |
industrial/grieu/ vmpc_24.cnf | SAT | 571.413 | 571.612 | 319865 |