QBF Solver Evaluation Portal
qbflib.orgFamily Counter 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 | 1630.45 | 326.09 | 269.19 | 417.6 | 502 | 0.6 |
| ghostq-plain | 1274.61 | 254.92 | 282.95 | 74.58 | 337.04 | 0.6 |
| qsts | 755.67 | 151.13 | 231.97 | 2.33 | 77.94 | 0.8 |
| quabs-minisat | 1255.92 | 251.18 | 285.3 | 56.18 | 327.79 | 0.6 |
| quabs-picosat | 1240.55 | 248.11 | 287.54 | 40.55 | 319.99 | 0.6 |
| rareqs-nn | 2399.06 | 479.81 | 239.8 | 599.71 | 299.8 | 0.2 |
| xb-bid-qsts | 602 | 120.4 | 239.66 | 0.57 | 0.91 | 0.8 |
| xb-qsts | 602.01 | 120.4 | 239.66 | 0.59 | 0.92 | 0.8 |