QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD2 results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 21877.43 | 2187.74 | 825.7 | 2517.93 | 2123.81 | 0.2 |
| GRL | 402.78 | 40.28 | 24.59 | 44.07 | 45.53 | 1 |
| openQbf | 3646.92 | 364.69 | 60.55 | 384.8 | 139.15 | 1 |
| preQuantor | 546.92 | 54.69 | 8.85 | 53.86 | 12.42 | 0 |
| Qbfl | 60007.16 | 6000.72 | 0.58 | 6000.92 | 0.07 | 0 |
| Quaffle | 5686.48 | 568.65 | 5.55 | 568.78 | 6.47 | 0 |
| QUANTOR | 438.99 | 43.9 | 3.15 | 45.02 | 7.45 | 0 |
| QUANTOR_hc | 446.11 | 44.61 | 3.25 | 45.64 | 6.42 | 0 |
| qube3.0 | 43.65 | 4.37 | 2.77 | 4.95 | 5.18 | 1 |
| qube4.0 | 71.44 | 7.14 | 4.26 | 8.45 | 8.67 | 1 |
| qube5.0 | 73.07 | 7.31 | 4.23 | 8.58 | 8.69 | 1 |
| semprop | 5860.27 | 586.03 | 44.89 | 601 | 0.06 | 0.1 |
| sKizzo-0.9-abs | 19.54 | 1.95 | 0.58 | 1.82 | 0.48 | 1 |
| sKizzo-0.9-grn | 5975.99 | 597.6 | 1.92 | 598.33 | 2.33 | 0 |
| sKizzo-0.9-std | 15758.13 | 1575.81 | 1945.38 | 590.93 | 197.82 | 0.5 |
| SQBF | 703.36 | 70.34 | 10.18 | 71.11 | 13.46 | 1 |
| sSolve | 183.74 | 18.37 | 11.92 | 18.88 | 18.57 | 1 |
| ssolve+ut | 309.12 | 30.91 | 17.58 | 34.92 | 30.69 | 1 |
| ssolve-ut | 183.69 | 18.37 | 11.94 | 18.86 | 18.53 | 1 |
| WalkQSAT | 562.5 | 56.25 | 12.19 | 56.58 | 18.43 | 0 |
| yQuaffle | 26.06 | 2.61 | 1.28 | 2.72 | 2.29 | 1 |