QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-1qbf-5cnf-80var-2560cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 44127.16 | 4412.72 | 829.74 | 4294.06 | 1319.68 | 0.9 |
| GRL | 512.16 | 51.22 | 6.53 | 50.41 | 13.63 | 0 |
| openQbf | 2365.85 | 236.59 | 25.58 | 235.86 | 26.95 | 1 |
| preQuantor | 48006.65 | 4800.67 | 2400.33 | 6000.88 | 6000.89 | 0 |
| Qbfl | 60008.72 | 6000.87 | 0.02 | 6000.88 | 0.03 | 0 |
| Quaffle | 60005.31 | 6000.53 | 0.03 | 6000.53 | 0.04 | 0 |
| QUANTOR | 3945.97 | 394.6 | 50.99 | 409.51 | 110.91 | 1 |
| QUANTOR_hc | 3792.55 | 379.26 | 49.04 | 394.1 | 104.25 | 1 |
| qube3.0 | 60007.79 | 6000.78 | 0.04 | 6000.78 | 0.06 | 0 |
| qube4.0 | 60007.94 | 6000.79 | 0.04 | 6000.78 | 0.04 | 0 |
| qube5.0 | 60008.18 | 6000.82 | 0.03 | 6000.82 | 0.05 | 0 |
| semprop | 6009.66 | 600.97 | 0.05 | 600.98 | 0.03 | 0 |
| sKizzo-0.9-abs | 673.63 | 67.36 | 10.82 | 62.5 | 8.36 | 1 |
| sKizzo-0.9-grn | 687.32 | 68.73 | 11.96 | 64.69 | 10.13 | 1 |
| sKizzo-0.9-std | 713.23 | 71.32 | 11.36 | 66.31 | 12.06 | 1 |
| SQBF | 60004.2 | 6000.42 | 0 | 6000.42 | 0 | 0 |
| sSolve | 400.36 | 40.04 | 2.31 | 40.2 | 3.36 | 1 |
| ssolve+ut | 595.67 | 59.57 | 3.23 | 58.44 | 3.37 | 1 |
| ssolve-ut | 398.64 | 39.86 | 2.36 | 39.75 | 3.11 | 1 |
| WalkQSAT | 511.57 | 51.16 | 6.53 | 50.48 | 13.57 | 0 |
| yQuaffle | 59998.47 | 5999.85 | 0.11 | 5999.85 | 0.13 | 0 |