QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD5 results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 28003.34 | 2800.33 | 1800.85 | 3314.91 | 3798.64 | 1 |
| GRL | 736.76 | 73.68 | 37.59 | 79.47 | 91.03 | 1 |
| openQbf | 2664.32 | 266.43 | 79.57 | 314.27 | 194.48 | 1 |
| preQuantor | 734.72 | 73.47 | 16 | 80.3 | 38.96 | 0 |
| Qbfl | 60009.68 | 6000.97 | 0.04 | 6000.99 | 0.05 | 0 |
| Quaffle | 5617.84 | 561.78 | 0.99 | 561.77 | 1.38 | 0 |
| QUANTOR | 732.06 | 73.21 | 21.53 | 85.09 | 52.73 | 0 |
| QUANTOR_hc | 752.65 | 75.27 | 22.09 | 87.55 | 53.62 | 0 |
| qube3.0 | 39.26 | 3.93 | 1.79 | 4.54 | 4.54 | 1 |
| qube4.0 | 179.7 | 17.97 | 9.06 | 20.11 | 21.59 | 1 |
| qube5.0 | 180.32 | 18.03 | 9.03 | 19.91 | 21.34 | 1 |
| semprop | 3725.14 | 372.51 | 231.75 | 410.67 | 595.41 | 0.6 |
| sKizzo-0.9-abs | 16.53 | 1.65 | 0.59 | 1.65 | 1.04 | 1 |
| sKizzo-0.9-grn | 5988.22 | 598.82 | 0.23 | 598.86 | 0.32 | 0 |
| sKizzo-0.9-std | 46.76 | 4.68 | 0.51 | 4.89 | 1.2 | 1 |
| SQBF | 995.37 | 99.54 | 24.01 | 109.71 | 60.8 | 1 |
| sSolve | 292.05 | 29.21 | 14.88 | 34.37 | 38.84 | 1 |
| ssolve+ut | 439.53 | 43.95 | 21.02 | 52.07 | 55.18 | 1 |
| ssolve-ut | 290.94 | 29.09 | 14.83 | 34.26 | 38.35 | 1 |
| WalkQSAT | 887.39 | 88.74 | 71.8 | 77.68 | 46.06 | 0 |
| yQuaffle | 33.71 | 3.37 | 1.37 | 3.9 | 3.49 | 1 |