QBF Solver Evaluation Portal
qbflib.orgFamily C880 results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 175.19 | 87.6 | 62.15 | 87.6 | 0 | 1 |
| GRL | 112.87 | 56.44 | 55.57 | 56.44 | 0 | 0.5 |
| openQbf | 12001.83 | 6000.92 | 0.03 | 6000.92 | 0 | 0 |
| preQuantor | 879.1 | 439.55 | 414.15 | 439.55 | 0 | 1 |
| Qbfl | 942.35 | 471.18 | 122.01 | 471.18 | 0 | 0.5 |
| Quaffle | 22.84 | 11.42 | 7.24 | 11.42 | 0 | 1 |
| QUANTOR | 549.55 | 274.78 | 125.69 | 274.78 | 0 | 0 |
| QUANTOR_hc | 407.58 | 203.79 | 56.33 | 203.79 | 0 | 0 |
| qube3.0 | 6001.29 | 3000.65 | 2999.96 | 3000.65 | 0 | 0.5 |
| qube4.0 | 6000.71 | 3000.36 | 2999.92 | 3000.36 | 0 | 0.5 |
| qube5.0 | 97.8 | 48.9 | 48.32 | 48.9 | 0 | 1 |
| semprop | 7.13 | 3.57 | 2.27 | 3.57 | 0 | 1 |
| sKizzo-0.9-abs | 657.07 | 328.54 | 205.35 | 328.54 | 0 | 0.5 |
| sKizzo-0.9-grn | 502.41 | 251.21 | 0.05 | 251.21 | 0 | 0.5 |
| sKizzo-0.9-std | 2816.73 | 1408.37 | 847.82 | 1408.37 | 0 | 0 |
| SQBF | 174.89 | 87.45 | 61.91 | 87.45 | 0 | 1 |
| sSolve | 22.64 | 11.32 | 11.11 | 11.32 | 0 | 1 |
| ssolve+ut | 22.78 | 11.39 | 11.11 | 11.39 | 0 | 1 |
| ssolve-ut | 22.54 | 11.27 | 11.03 | 11.27 | 0 | 1 |
| WalkQSAT | 12.56 | 6.28 | 5.64 | 6.28 | 0 | 1 |
| yQuaffle | 3850.39 | 1925.2 | 1925.12 | 1925.2 | 0 | 1 |