QBF Solver Evaluation Portal
qbflib.orgFamily Counter results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 149.34 | 29.87 | 36.09 | 2.73 | 32.43 | 1 |
| GRL | 1866.97 | 373.39 | 278.67 | 600.4 | 567.79 | 0.4 |
| openQbf | 30004.4 | 6000.88 | 0.02 | 6000.88 | 0.03 | 0 |
| preQuantor | 149.38 | 29.88 | 36.09 | 2.7 | 32.49 | 1 |
| Qbfl | 2947.77 | 589.55 | 3.3 | 591 | 4.37 | 0 |
| Quaffle | 12160.53 | 2432.11 | 2913.49 | 107.61 | 3027.54 | 0.6 |
| QUANTOR | 95.42 | 19.08 | 16.7 | 24.99 | 25.94 | 1 |
| QUANTOR_hc | 96.03 | 19.21 | 16.72 | 25.43 | 26.3 | 1 |
| qube3.0 | 14724.81 | 2944.96 | 2387.49 | 4254.22 | 4618.67 | 0.4 |
| qube4.0 | 14863.61 | 2972.72 | 2397.87 | 4011.67 | 4440.08 | 0.4 |
| qube5.0 | 17149.74 | 3429.95 | 2033.06 | 4948.77 | 3890.53 | 0.4 |
| semprop | 1804.22 | 360.84 | 294.13 | 601 | 600.39 | 0.4 |
| sKizzo-0.9-abs | 8.15 | 1.63 | 1.63 | 0.61 | 1.86 | 1 |
| sKizzo-0.9-grn | 8.71 | 1.74 | 1.76 | 0.67 | 1.9 | 1 |
| sKizzo-0.9-std | 7.99 | 1.6 | 1.6 | 0.63 | 1.86 | 1 |
| SQBF | 149.67 | 29.93 | 36.13 | 2.71 | 32.61 | 1 |
| sSolve | 21899.08 | 4379.82 | 2323.07 | 6000.11 | 4050.85 | 0.4 |
| ssolve+ut | 21899.12 | 4379.82 | 2322.93 | 6000.16 | 4050.85 | 0.4 |
| ssolve-ut | 21901.23 | 4380.25 | 2323.15 | 6000.28 | 4050.16 | 0.4 |
| WalkQSAT | 1808.27 | 361.65 | 292.83 | 600.71 | 597.73 | 0.4 |
| yQuaffle | 16670.53 | 3334.11 | 2763.1 | 4668.95 | 5330.69 | 0.6 |