QBF Solver Evaluation Portal
qbflib.orgSuite Narizzano results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 94323.38 | 2358.08 | 1179.83 | 2424.08 | 1240.39 | 0.675 |
| GRL | 2544.15 | 63.6 | 27.77 | 64.42 | 24.49 | 1 |
| openQbf | 12058.6 | 301.47 | 76.88 | 314.04 | 131.8 | 1 |
| preQuantor | 2541.61 | 63.54 | 21.46 | 72.92 | 32.22 | 0 |
| Qbfl | 240027.91 | 6000.7 | 0.67 | 6000.96 | 0.09 | 0 |
| Quaffle | 22600.48 | 565.01 | 5.03 | 563.08 | 7.27 | 0 |
| QUANTOR | 2379.28 | 59.48 | 20.77 | 49.97 | 40.18 | 0 |
| QUANTOR_hc | 2430.95 | 60.77 | 21.51 | 50.16 | 42.13 | 0 |
| qube3.0 | 188.58 | 4.71 | 2.14 | 4.64 | 2.4 | 1 |
| qube4.0 | 605.1 | 15.13 | 7.49 | 16.5 | 10.41 | 1 |
| qube5.0 | 610.99 | 15.27 | 7.5 | 16.7 | 10.32 | 1 |
| semprop | 18785.28 | 469.63 | 191.41 | 600.99 | 231.39 | 0.375 |
| sKizzo-0.9-abs | 76.07 | 1.9 | 0.6 | 1.78 | 0.76 | 1 |
| sKizzo-0.9-grn | 23945.01 | 598.63 | 1.16 | 598.86 | 0.56 | 0 |
| sKizzo-0.9-std | 15925.43 | 398.14 | 1186.77 | 5.07 | 182.89 | 0.875 |
| SQBF | 3588.74 | 89.72 | 20.75 | 97.97 | 35.62 | 1 |
| sSolve | 1061.03 | 26.53 | 11.77 | 29.16 | 17.05 | 1 |
| ssolve+ut | 1679.62 | 41.99 | 16.25 | 47.12 | 19.86 | 1 |
| ssolve-ut | 1059.46 | 26.49 | 11.76 | 29.11 | 17.34 | 1 |
| WalkQSAT | 3029.62 | 75.74 | 56.55 | 70.64 | 20.62 | 0 |
| yQuaffle | 130.04 | 3.25 | 1.09 | 3.33 | 1.37 | 1 |