QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_p results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 12094.34 | 4031.45 | 1966.45 | 4747.77 | 3401.62 | 0.333 |
| GRL | 1802.1 | 600.7 | 0.08 | 600.67 | 0.05 | 0 |
| openQbf | 18002.75 | 6000.92 | 0.03 | 6000.92 | 0.04 | 0 |
| preQuantor | 56.26 | 18.75 | 2.24 | 18.92 | 2.99 | 0 |
| Qbfl | 12575.34 | 4191.78 | 2541.32 | 5984.61 | 5386.8 | 0 |
| Quaffle | 1332.39 | 444.13 | 181.37 | 569.7 | 382.05 | 0.333 |
| QUANTOR | 41.02 | 13.67 | 1.75 | 13.89 | 2.46 | 0.333 |
| QUANTOR_hc | 0.16 | 0.05 | 0.04 | 0.04 | 0.03 | 1 |
| qube3.0 | 3008.35 | 1002.78 | 989.24 | 426.53 | 239.63 | 0 |
| qube4.0 | 2138 | 712.67 | 317.93 | 672.92 | 328.24 | 0.333 |
| qube5.0 | 1149.29 | 383.1 | 168.11 | 346.4 | 148.38 | 0.333 |
| semprop | 193.44 | 64.48 | 89.36 | 2.56 | 2.53 | 1 |
| sKizzo-0.9-abs | 3.68 | 1.23 | 1.42 | 0.4 | 0.34 | 1 |
| sKizzo-0.9-grn | 3.71 | 1.24 | 1.42 | 0.4 | 0.33 | 1 |
| sKizzo-0.9-std | 3.71 | 1.24 | 1.44 | 0.4 | 0.35 | 1 |
| SQBF | 380.03 | 126.68 | 63.79 | 169.61 | 133.11 | 0.333 |
| sSolve | 12625.67 | 4208.56 | 2533.93 | 6000.3 | 5375.26 | 0.333 |
| ssolve+ut | 12615.51 | 4205.17 | 2538.68 | 6000.26 | 5385.32 | 0.333 |
| ssolve-ut | 12622.65 | 4207.55 | 2535.31 | 6000.26 | 5378.18 | 0.333 |
| WalkQSAT | 1802.98 | 600.99 | 0.01 | 600.99 | 0 | 0 |
| yQuaffle | 1567.33 | 522.44 | 108.97 | 599.25 | 230.91 | 0.333 |