Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 32.3331 | 32.492 | 332645 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 376.699 | 376.889 | 333149 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 415.828 | 415.958 | 333023 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 494.221 | 494.376 | 333065 |
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf | SAT | 691.461 | 691.676 | 332603 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 763.318 | 763.546 | 333107 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 13.274 | 13.2814 | 320708 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 13.6499 | 13.6557 | 320954 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_26.cnf | SAT | 15.6526 | 15.6589 | 320052 |
industrial/grieu/ vmpc_24.cnf | SAT | 469.958 | 470.086 | 319847 |
industrial/grieu/ vmpc_27.cnf | SAT | 495.529 | 495.675 | 319724 |
industrial/grieu/ vmpc_25.cnf | SAT | 1017.84 | 1018.32 | 319683 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | Signal 11 (SIGSEGV) | 9.57254 | 9.58113 | 331127 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | Signal 11 (SIGSEGV) | 11.3183 | 11.3444 | 331085 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | Signal 11 (SIGSEGV) | 15.3047 | 15.6579 | 330875 |