Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | SAT | 0.195969 | 0.198572 | 332573 |
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 2.76658 | 2.77058 | 332657 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 6.97294 | 6.97819 | 333119 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf | SAT | 12.98 | 12.99 | 338453 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 39.655 | 39.6757 | 333077 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 69.1125 | 69.144 | 333161 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 129.861 | 129.908 | 333035 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf | ? | 0.000999 | 0.005233 | 334925 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? | 0.000999 | 0.00525197 | 334967 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? | 0.000999 | 0.00527709 | 335009 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf | ? | 0.001998 | 0.00528409 | 334799 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? | 0.001998 | 0.0310231 | 336185 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf | ? | 0.002998 | 0.00529593 | 334673 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.957853 | 0.959073 | 320720 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.967852 | 0.967789 | 320966 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.63414 | 5.63794 | 320843 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 133.288 | 133.339 | 319859 |
industrial/grieu/ vmpc_29.cnf | SAT | 231.231 | 231.421 | 319941 |
industrial/grieu/ vmpc_27.cnf | SAT | 244.446 | 244.515 | 319736 |
industrial/grieu/ vmpc_26.cnf | SAT | 252.094 | 252.17 | 320064 |
industrial/grieu/ vmpc_25.cnf | SAT | 942.29 | 942.628 | 319695 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.022995 | 0.0231359 | 314392 |
industrial/fuhs/medium/ AProVE07-20.cnf | Signal 11 (SIGSEGV) | 0.022995 | 0.0233049 | 314632 |
industrial/fuhs/medium/ AProVE07-06.cnf | Signal 11 (SIGSEGV) | 0.023995 | 0.0246479 | 314592 |
industrial/fuhs/medium/ AProVE07-04.cnf | Signal 11 (SIGSEGV) | 0.024995 | 0.0246371 | 314672 |