QBF Solver Evaluation Portal
qbflib.orgFamily jmc_quant results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 7349.76 | 1837.44 | 477.8 | 1735.9 | 818.95 | 0 |
| GRL | 2403.69 | 600.92 | 0.05 | 600.92 | 0.06 | 0 |
| openQbf | 24003.42 | 6000.86 | 0.02 | 6000.85 | 0.03 | 0 |
| preQuantor | 697.51 | 174.38 | 245.64 | 34.52 | 291.03 | 0 |
| Qbfl | 2345.31 | 586.33 | 3.3 | 587.03 | 5.29 | 0 |
| Quaffle | 2367.85 | 591.96 | 1.81 | 592.03 | 2.91 | 0 |
| QUANTOR | 6163.62 | 1540.91 | 2574.89 | 65.58 | 3002.53 | 0 |
| QUANTOR_hc | 770.81 | 192.7 | 236.4 | 69.3 | 306.53 | 0 |
| qube3.0 | 24001.27 | 6000.32 | 0.17 | 6000.36 | 0.25 | 0 |
| qube4.0 | 24001.4 | 6000.35 | 0.18 | 6000.39 | 0.34 | 0 |
| qube5.0 | 24001.5 | 6000.38 | 0.21 | 6000.44 | 0.34 | 0 |
| semprop | 2403.96 | 600.99 | 0.01 | 600.99 | 0.02 | 0 |
| sKizzo-0.9-abs | 24002.39 | 6000.6 | 0.13 | 6000.61 | 0.26 | 0 |
| sKizzo-0.9-grn | 24002.05 | 6000.51 | 0.18 | 6000.6 | 0.25 | 0 |
| sKizzo-0.9-std | 18413.23 | 4603.31 | 2419.97 | 6000.44 | 2794.44 | 0.25 |
| SQBF | 1025.75 | 256.44 | 48.72 | 271.83 | 76.71 | 0 |
| sSolve | 13460.38 | 3365.1 | 2642.43 | 3515.68 | 5267.67 | 0.5 |
| ssolve+ut | 13462.63 | 3365.66 | 2642 | 3516.54 | 5266.74 | 0.5 |
| ssolve-ut | 8044.02 | 2011.01 | 2313.24 | 808.82 | 2996.12 | 0.5 |
| WalkQSAT | 2403.99 | 601 | 0 | 601 | 0 | 0 |
| yQuaffle | 24000.12 | 6000.03 | 0.16 | 6000.06 | 0.3 | 0 |