Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 2.46662 | 2.46979 | 333086 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 21.7577 | 21.7664 | 333170 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 92.016 | 92.0519 | 333128 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 143.316 | 143.359 | 333044 |
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.000999 | 0.00531496 | 334682 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf | ? | 0.000999 | 0.0164179 | 334808 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf | ? | 0.000999 | 0.00514402 | 334934 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? | 0.000999 | 0.00530403 | 335018 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? | 0.000999 | 0.00514705 | 336194 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? | 0.001998 | 0.00527897 | 334976 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 0.896863 | 0.898218 | 320975 |
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.953854 | 0.956325 | 320729 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.63014 | 5.63279 | 320852 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 41.1257 | 41.1466 | 319868 |
industrial/grieu/ vmpc_26.cnf | SAT | 126.33 | 126.363 | 320073 |
industrial/grieu/ vmpc_27.cnf | SAT | 213.806 | 213.871 | 319745 |
industrial/grieu/ vmpc_25.cnf | SAT | 292.405 | 292.481 | 319704 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-06.cnf | Signal 11 (SIGSEGV) | 0.019996 | 0.021554 | 314601 |
industrial/fuhs/medium/ AProVE07-20.cnf | Signal 11 (SIGSEGV) | 0.020996 | 0.0225171 | 314641 |
industrial/fuhs/medium/ AProVE07-04.cnf | Signal 11 (SIGSEGV) | 0.021996 | 0.0229399 | 314681 |
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.022995 | 0.0228779 | 314401 |