QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-3qbf-5cnf-20var-160cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 1378.97 | 137.9 | 29.02 | 150 | 35.7 | 1 |
| GRL | 0.37 | 0.04 | 0.04 | 0.01 | 0.01 | 1 |
| openQbf | 8.26 | 0.83 | 0.71 | 0.46 | 0.79 | 1 |
| preQuantor | 3165.94 | 316.59 | 223.81 | 318.19 | 296.76 | 0 |
| Qbfl | 3.57 | 0.36 | 0.84 | 0.01 | 0.11 | 1 |
| Quaffle | 542.02 | 54.2 | 14.87 | 60.32 | 29.99 | 1 |
| QUANTOR | 2890.44 | 289.04 | 252.72 | 185.42 | 329.92 | 0 |
| QUANTOR_hc | 2653.83 | 265.38 | 206.65 | 186.95 | 329.9 | 0 |
| qube3.0 | 0.16 | 0.02 | 0.01 | 0.02 | 0.02 | 1 |
| qube4.0 | 0.16 | 0.02 | 0.01 | 0.01 | 0.01 | 1 |
| qube5.0 | 0.17 | 0.02 | 0.01 | 0.01 | 0.01 | 1 |
| semprop | 0.08 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
| sKizzo-0.9-abs | 10077.06 | 1007.71 | 1050.05 | 523.87 | 877.08 | 0.8 |
| sKizzo-0.9-grn | 708.17 | 70.82 | 122.29 | 11.17 | 9.62 | 0.1 |
| sKizzo-0.9-std | 10444.67 | 1044.47 | 1281.54 | 498.05 | 854.55 | 0.7 |
| SQBF | 1373.54 | 137.35 | 28.67 | 150.11 | 35.23 | 1 |
| sSolve | 1.87 | 0.19 | 0.03 | 0.19 | 0.05 | 1 |
| ssolve+ut | 1.97 | 0.2 | 0.02 | 0.21 | 0.03 | 1 |
| ssolve-ut | 1.6 | 0.16 | 0.03 | 0.17 | 0.06 | 1 |
| WalkQSAT | 0.39 | 0.04 | 0.07 | 0.01 | 0.02 | 1 |
| yQuaffle | 1.04 | 0.1 | 0.12 | 0.06 | 0.09 | 1 |