QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-6qbf-5cnf-80var-1280cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 41402.66 | 4140.27 | 2700.31 | 5989.69 | 5975.63 | 0.3 |
| GRL | 1231.78 | 123.18 | 205.21 | 10.2 | 14.93 | 0.8 |
| openQbf | 60007.25 | 6000.73 | 0.18 | 6000.8 | 0.3 | 0 |
| preQuantor | 168.74 | 16.87 | 7.08 | 16.04 | 4.81 | 0 |
| Qbfl | 54578.33 | 5457.83 | 1619.43 | 5997.73 | 1.88 | 0 |
| Quaffle | 5402.72 | 540.27 | 3.61 | 540.4 | 6.78 | 0 |
| QUANTOR | 185.82 | 18.58 | 6.45 | 15.29 | 4.29 | 0 |
| QUANTOR_hc | 174.52 | 17.45 | 4.14 | 15.03 | 4.97 | 0 |
| qube3.0 | 4394.3 | 439.43 | 1311.49 | 0.11 | 0.63 | 0.9 |
| qube4.0 | 3887 | 388.7 | 1125.51 | 0.17 | 1.2 | 0.9 |
| qube5.0 | 3868.28 | 386.83 | 1119.54 | 0.18 | 1.24 | 0.9 |
| semprop | 2.18 | 0.22 | 0.12 | 0.2 | 0.12 | 1 |
| sKizzo-0.9-abs | 149.84 | 14.98 | 8.26 | 10.53 | 1.41 | 1 |
| sKizzo-0.9-grn | 132.99 | 13.3 | 5.9 | 10.5 | 2.55 | 1 |
| sKizzo-0.9-std | 155.69 | 15.57 | 8.66 | 11.15 | 2.5 | 1 |
| SQBF | 4393.55 | 439.36 | 38.23 | 443.62 | 57.83 | 0 |
| sSolve | 2.11 | 0.21 | 0.04 | 0.22 | 0.08 | 1 |
| ssolve+ut | 21.95 | 2.2 | 0.05 | 2.19 | 0.07 | 1 |
| ssolve-ut | 1.67 | 0.17 | 0.04 | 0.17 | 0.04 | 1 |
| WalkQSAT | 938.49 | 93.85 | 193.86 | 1.01 | 2.94 | 0.9 |
| yQuaffle | 5986.22 | 598.62 | 0.26 | 598.64 | 0.23 | 0 |