QBF Solver Evaluation Portal
qbflib.orgFamily k_t4p_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 | 10.57 | 2.11 | 1.46 | 2.63 | 2.58 | 1 |
| ghostq-plain | 8.34 | 1.67 | 1.12 | 2.11 | 2.06 | 1 |
| qsts | 0.53 | 0.11 | 0.06 | 0.14 | 0.12 | 1 |
| quabs-minisat | 20.19 | 4.04 | 3.04 | 5.43 | 5.52 | 1 |
| quabs-picosat | 17.95 | 3.59 | 2.62 | 4.86 | 4.81 | 1 |
| rareqs-nn | 2998.55 | 599.71 | 0 | 599.71 | 0 | 0 |
| xb-bid-qsts | 8.01 | 1.6 | 1.1 | 2.05 | 1.97 | 1 |
| xb-qsts | 8.03 | 1.61 | 1.1 | 2.1 | 2 | 1 |