QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_n results for solvers
QBFEVAL'16 - Prenex non-CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ghostq-cegar | 1800.5 | 360.1 | 293.5 | 599.71 | 599.08 | 0.4 |
| ghostq-plain | 1570.96 | 314.19 | 269.69 | 370.93 | 485.22 | 0.6 |
| qsts | 110.67 | 22.13 | 39.26 | 1.5 | 5.12 | 1 |
| quabs-minisat | 862.41 | 172.48 | 230.69 | 29.55 | 131.24 | 0.8 |
| quabs-picosat | 1070.15 | 214.03 | 251.79 | 40.49 | 235.01 | 0.8 |
| rareqs-nn | 2419.73 | 483.95 | 231.67 | 599.71 | 289.56 | 0.2 |
| xb-bid-qsts | 8.06 | 1.61 | 1.43 | 1.5 | 1.76 | 1 |
| xb-qsts | 7.94 | 1.59 | 1.42 | 1.44 | 1.7 | 1 |