Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf | SAT | 0.167973 | 0.170827 | 332571 |
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf | SAT | 3.52346 | 3.54123 | 332655 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf | SAT | 9.57454 | 9.57838 | 333075 |
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf | SAT | 16.9064 | 16.9576 | 338451 |
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf | SAT | 18.4022 | 18.4105 | 333117 |
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf | SAT | 28.4697 | 28.4871 | 333159 |
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf | SAT | 41.8856 | 41.8988 | 333033 |
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf | SAT | 110.582 | 110.624 | 332613 |
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.00516588 | 334671 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf | ? | 0.000999 | 0.00521003 | 334965 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? | 0.000999 | 0.00518599 | 336183 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf | ? | 0.000999 | 0.00530592 | 334797 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? | 0.001998 | 0.00524097 | 335007 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf | ? | 0.001999 | 0.00518104 | 334923 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/babic/xinetd/ xinetd_vc56687.cnf | UNSAT | 0.954854 | 0.958725 | 320718 |
industrial/babic/xinetd/ xinetd_vc56703.cnf | UNSAT | 1.00485 | 1.00693 | 320964 |
industrial/babic/ xinetd/itox_vc965.cnf | UNSAT | 5.95009 | 5.95257 | 320841 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/grieu/ vmpc_24.cnf | SAT | 72.222 | 72.2591 | 319857 |
industrial/grieu/ vmpc_26.cnf | SAT | 148.856 | 148.91 | 320062 |
industrial/grieu/ vmpc_25.cnf | SAT | 314.966 | 315.126 | 319693 |
industrial/grieu/ vmpc_27.cnf | SAT | 836.642 | 836.879 | 319734 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-09.cnf | Signal 11 (SIGSEGV) | 0.021996 | 0.0230121 | 314390 |
industrial/fuhs/medium/ AProVE07-06.cnf | Signal 11 (SIGSEGV) | 0.022995 | 0.0244031 | 314590 |
industrial/fuhs/medium/ AProVE07-20.cnf | Signal 11 (SIGSEGV) | 0.022996 | 0.024647 | 314630 |
industrial/fuhs/medium/ AProVE07-04.cnf | Signal 11 (SIGSEGV) | 0.024995 | 0.024527 | 314670 |