QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-2qbf-5cnf-80var-640cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 14449.92 | 1444.99 | 295.59 | 1376.21 | 326.33 | 0 |
| GRL | 5408.45 | 540.85 | 180.28 | 600.94 | 0.04 | 0.1 |
| openQbf | 60008.77 | 6000.88 | 0.04 | 6000.89 | 0.05 | 0 |
| preQuantor | 156.93 | 15.69 | 0.83 | 15.76 | 1.66 | 0 |
| Qbfl | 59938.72 | 5993.87 | 1.22 | 5994.42 | 1.85 | 0 |
| Quaffle | 5579.28 | 557.93 | 3.42 | 558.37 | 3.84 | 0 |
| QUANTOR | 123.14 | 12.31 | 0.98 | 12.2 | 0.96 | 0 |
| QUANTOR_hc | 125.4 | 12.54 | 0.87 | 12.79 | 1.6 | 0 |
| qube3.0 | 55579.8 | 5557.98 | 1327.93 | 6000.62 | 0.1 | 0.1 |
| qube4.0 | 55576.96 | 5557.7 | 1328.83 | 6000.63 | 0.08 | 0.1 |
| qube5.0 | 55574.21 | 5557.42 | 1329.45 | 6000.58 | 0.2 | 0.1 |
| semprop | 1952.79 | 195.28 | 266.69 | 34.35 | 73.81 | 0.7 |
| sKizzo-0.9-abs | 42279.34 | 4227.93 | 1791.54 | 4770.92 | 4291.42 | 0 |
| sKizzo-0.9-grn | 450.78 | 45.08 | 51.36 | 17.3 | 33.48 | 1 |
| sKizzo-0.9-std | 483.19 | 48.32 | 52.73 | 17.78 | 36.39 | 1 |
| SQBF | 37183.28 | 3718.33 | 2780.94 | 5982.18 | 5719.5 | 0.4 |
| sSolve | 4.14 | 0.41 | 0.27 | 0.25 | 0.29 | 1 |
| ssolve+ut | 3.84 | 0.38 | 0.26 | 0.26 | 0.27 | 1 |
| ssolve-ut | 4.01 | 0.4 | 0.25 | 0.26 | 0.25 | 1 |
| WalkQSAT | 5414.44 | 541.44 | 178.66 | 601 | 0.01 | 0.1 |
| yQuaffle | 32993.81 | 3299.38 | 2699.57 | 3299.21 | 5398.66 | 0 |