QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 847.65 | 84.77 | 73.42 | 57.33 | 60.27 | 1 |
| GRL | 1166.75 | 116.68 | 32.16 | 110.91 | 45.76 | 0 |
| openQbf | 60008.91 | 6000.89 | 0.04 | 6000.89 | 0.05 | 0 |
| preQuantor | 146.32 | 14.63 | 7.36 | 17.91 | 18.17 | 0 |
| Qbfl | 59994.67 | 5999.47 | 1.74 | 5999.98 | 0.96 | 0 |
| Quaffle | 5473.89 | 547.39 | 3.1 | 546.77 | 3.95 | 0 |
| QUANTOR | 173.36 | 17.34 | 5.44 | 15.71 | 0.86 | 0 |
| QUANTOR_hc | 176.58 | 17.66 | 5.51 | 15.76 | 0.52 | 0 |
| qube3.0 | 122.56 | 12.26 | 34.07 | 0.93 | 0.47 | 1 |
| qube4.0 | 57.24 | 5.72 | 11.14 | 1.33 | 1.21 | 1 |
| qube5.0 | 57.23 | 5.72 | 11.12 | 1.36 | 1.22 | 1 |
| semprop | 1357.66 | 135.77 | 207.2 | 25.61 | 90.44 | 0.9 |
| sKizzo-0.9-abs | 190.43 | 19.04 | 13.29 | 9.62 | 15.3 | 1 |
| sKizzo-0.9-grn | 124.71 | 12.47 | 5.91 | 9.7 | 1.44 | 1 |
| sKizzo-0.9-std | 186.99 | 18.7 | 13.09 | 10.33 | 12.42 | 1 |
| SQBF | 1309.73 | 130.97 | 158.64 | 53.62 | 65.21 | 0.9 |
| sSolve | 12.74 | 1.27 | 0.08 | 1.25 | 0.04 | 1 |
| ssolve+ut | 54.69 | 5.47 | 1.64 | 4.3 | 1.98 | 1 |
| ssolve-ut | 2.26 | 0.23 | 0.07 | 0.21 | 0.1 | 1 |
| WalkQSAT | 790.93 | 79.09 | 40.62 | 86.3 | 90.59 | 0.2 |
| yQuaffle | 5969.49 | 596.95 | 0.38 | 596.93 | 0.47 | 0 |