Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | SAT | 0.157975 | 0.159026 | 332580 |
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 3.88641 | 3.93086 | 332664 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 30.4304 | 30.4425 | 333126 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 84.5341 | 84.5652 | 333084 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 111.494 | 111.537 | 333042 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 248.391 | 248.506 | 333168 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.958853 | 0.96083 | 320973 |
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.969852 | 0.971325 | 320727 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.46117 | 5.4644 | 320850 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 12.2421 | 12.2473 | 319866 |
industrial/grieu/ vmpc_25.cnf | SAT | 149.119 | 149.173 | 319702 |
industrial/grieu/ vmpc_28.cnf | SAT | 173.269 | 173.339 | 319989 |
industrial/grieu/ vmpc_26.cnf | SAT | 213.138 | 213.201 | 320071 |
industrial/grieu/ vmpc_33.cnf | SAT | 332.751 | 332.872 | 319825 |
industrial/grieu/ vmpc_27.cnf | SAT | 570.666 | 570.819 | 319743 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.019996 | 0.0239081 | 314399 |
industrial/fuhs/medium/ AProVE07-06.cnf | Signal 11 (SIGSEGV) | 0.019996 | 0.0228921 | 314599 |
industrial/fuhs/medium/ AProVE07-20.cnf | Signal 11 (SIGSEGV) | 0.020995 | 0.022904 | 314639 |
industrial/fuhs/medium/ AProVE07-04.cnf | Signal 11 (SIGSEGV) | 0.021996 | 0.0230049 | 314679 |