Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | SAT | 0.501923 | 0.50637 | 332554 |
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 30.1864 | 30.21 | 332638 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 4.07138 | 4.07266 | 320701 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 4.21136 | 4.21394 | 320947 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.11922 | 5.12298 | 320824 |