QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-80var-640cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 54222.95 | 5422.3 | 744.06 | 5631.43 | 1246.43 | 0 |
| GRL | 2436.77 | 243.68 | 264.67 | 109.04 | 413.29 | 0.7 |
| openQbf | 60008.2 | 6000.82 | 0.07 | 6000.84 | 0.15 | 0 |
| preQuantor | 293.76 | 29.38 | 15.55 | 26.45 | 9.09 | 0 |
| Qbfl | 0.1 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
| Quaffle | 5259.66 | 525.97 | 2.77 | 526.26 | 5.38 | 0 |
| QUANTOR | 236.92 | 23.69 | 8.89 | 22.75 | 5.15 | 0 |
| QUANTOR_hc | 235.85 | 23.59 | 8.58 | 22.96 | 5.9 | 0 |
| qube3.0 | 6430.04 | 643 | 1787.13 | 2.55 | 80.5 | 0.9 |
| qube4.0 | 269.19 | 26.92 | 52.43 | 0.77 | 1.04 | 1 |
| qube5.0 | 268.94 | 26.89 | 52.35 | 0.78 | 1.03 | 1 |
| semprop | 16.6 | 1.66 | 3.05 | 0.39 | 0.95 | 1 |
| sKizzo-0.9-abs | 60007.01 | 6000.7 | 0.11 | 6000.71 | 0.19 | 0 |
| sKizzo-0.9-grn | 60007.44 | 6000.74 | 0.06 | 6000.77 | 0.13 | 0 |
| sKizzo-0.9-std | 60007.24 | 6000.72 | 0.04 | 6000.74 | 0.05 | 0 |
| SQBF | 2613.78 | 261.38 | 29.48 | 258.27 | 47.14 | 0 |
| sSolve | 4.02 | 0.4 | 0.7 | 0.17 | 0.05 | 1 |
| ssolve+ut | 4.44 | 0.44 | 0.68 | 0.22 | 0.07 | 1 |
| ssolve-ut | 4.36 | 0.44 | 0.69 | 0.21 | 0.04 | 1 |
| WalkQSAT | 2563.9 | 256.39 | 270.2 | 144.62 | 471.21 | 0.7 |
| yQuaffle | 5982.18 | 598.22 | 0.22 | 598.25 | 0.34 | 0 |