Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 32.638 | 32.6481 | 333169 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 33.2329 | 33.2442 | 333085 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 110.328 | 110.362 | 333043 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 146.976 | 147.025 | 333127 |
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 | 0.00535308 | 334933 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? | 0 | 0.00519508 | 335017 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf | ? | 0.000999 | 0.00520203 | 334681 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? | 0.000999 | 0.00510511 | 336193 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf | ? | 0.000999 | 0.00515706 | 334807 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? | 0.001998 | 0.00530401 | 334975 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.939856 | 0.942326 | 320728 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.969852 | 0.972418 | 320974 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.53816 | 5.54197 | 320851 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_25.cnf | SAT | 27.7578 | 27.7774 | 319703 |
industrial/grieu/ vmpc_24.cnf | SAT | 50.8423 | 50.8545 | 319867 |
industrial/grieu/ vmpc_28.cnf | SAT | 81.2436 | 81.2737 | 319990 |
industrial/grieu/ vmpc_27.cnf | SAT | 977.799 | 978.165 | 319744 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-04.cnf | Signal 11 (SIGSEGV) | 0.020996 | 0.0235141 | 314680 |
industrial/fuhs/medium/ AProVE07-06.cnf | Signal 11 (SIGSEGV) | 0.021995 | 0.0236011 | 314600 |
industrial/fuhs/medium/ AProVE07-20.cnf | Signal 11 (SIGSEGV) | 0.021996 | 0.023399 | 314640 |
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.023995 | 0.0232861 | 314400 |