QBF Solver Evaluation Portal
qbflib.orgFamily trafficlight-controller 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 | 14.33 | 2.87 | 2.67 | 1.7 | 2.35 | 1 |
| ghostq-plain | 14.01 | 2.8 | 2.69 | 1.55 | 2.3 | 1 |
| qsts | 6.57 | 1.31 | 2.47 | 0.09 | 0.07 | 1 |
| quabs-minisat | 44.74 | 8.95 | 17.59 | 0.13 | 0.19 | 1 |
| quabs-picosat | 110.86 | 22.17 | 43.72 | 0.35 | 0.37 | 1 |
| rareqs-nn | 1339.58 | 267.92 | 272.06 | 89.05 | 318.74 | 0.6 |
| xb-bid-qsts | 71.25 | 14.25 | 15.58 | 8.75 | 10.17 | 1 |
| xb-qsts | 35.91 | 7.18 | 4.58 | 8.69 | 8.21 | 1 |