Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 3.09153 | 3.13473 | 332667 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 11.8782 | 11.8853 | 333045 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 22.4766 | 22.4857 | 333087 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 37.6883 | 37.7093 | 333171 |
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | SAT | 46.203 | 46.2174 | 332583 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 78.4771 | 78.5146 | 333129 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf | ? | 0 | 0.00528401 | 334683 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? | 0 | 0.00506889 | 336195 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf | ? | 0 | 0.00534702 | 334809 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf | ? | 0.000999 | 0.00538203 | 334935 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? | 0.000999 | 0.00527289 | 334977 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? | 0.000999 | 0.00516406 | 335019 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.953854 | 0.955946 | 320730 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.98185 | 0.982417 | 320976 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.53916 | 5.54324 | 320853 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_29.cnf | SAT | 31.4722 | 31.4832 | 319951 |
industrial/grieu/ vmpc_27.cnf | SAT | 102.028 | 102.083 | 319746 |
industrial/grieu/ vmpc_24.cnf | SAT | 162.592 | 162.646 | 319869 |
industrial/grieu/ vmpc_26.cnf | SAT | 203.795 | 203.875 | 320074 |
industrial/grieu/ vmpc_34.cnf | SAT | 780.661 | 780.901 | 320033 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-04.cnf | Signal 11 (SIGSEGV) | 0.019996 | 0.0230279 | 314682 |
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.021995 | 0.022653 | 314402 |
industrial/fuhs/medium/ AProVE07-06.cnf | Signal 11 (SIGSEGV) | 0.021996 | 0.0227771 | 314602 |
industrial/fuhs/medium/ AProVE07-20.cnf | Signal 11 (SIGSEGV) | 0.023995 | 0.0231509 | 314642 |