QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 25.57 | 3.2 | 3.57 | 1.76 | 5.4 | 1 |
| aqua-f3v | 2401.41 | 300.18 | 299.64 | 300.82 | 599.68 | 0.5 |
| aqua-s2v | 2401.38 | 300.17 | 299.63 | 300.77 | 599.65 | 0.5 |
| aqua-s3o | 2412.82 | 301.6 | 298.21 | 306.49 | 599.63 | 0.5 |
| caqe-minisat | 1803.88 | 225.49 | 289.88 | 1.79 | 599.31 | 0.625 |
| caqe-picosat | 1803.57 | 225.45 | 290.01 | 1.41 | 599.4 | 0.625 |
| depqbf-v1 | 2372.8 | 296.6 | 295.4 | 295.47 | 592.61 | 0.625 |
| depqbf-v2 | 1783.35 | 222.92 | 286.87 | 0.97 | 592.47 | 0.625 |
| depqbf-v3 | 2307.99 | 288.5 | 288.91 | 253.68 | 599.03 | 0.625 |
| ghostq-cegar | 1801.58 | 225.2 | 290.23 | 0.52 | 599.54 | 0.625 |
| ghostq-plain | 1827.72 | 228.47 | 287.89 | 13.48 | 599.68 | 0.625 |
| hiqqer1 | 1928.5 | 241.06 | 280.77 | 64.2 | 599.49 | 0.625 |
| hiqqer1ldsq | 1876.5 | 234.56 | 283.9 | 38.22 | 599.5 | 0.625 |
| hiqqer3 | 1929.53 | 241.19 | 280.64 | 64.52 | 599.27 | 0.625 |
| iprover-QBF | 2134.48 | 266.81 | 267.7 | 219.34 | 539.07 | 0.5 |
| iprover-QBF-bloqqer | 2101.31 | 262.66 | 259.87 | 245.79 | 524.67 | 0.5 |
| qesto | 1801.67 | 225.21 | 290.09 | 1.15 | 599.62 | 0.625 |
| qestos | 1801.33 | 225.17 | 290.2 | 0.83 | 599.72 | 0.625 |
| qsts | 694.88 | 86.86 | 194.69 | 4.43 | 43.06 | 0.875 |
| rareqs | 1800.99 | 225.12 | 290.18 | 0.78 | 599.64 | 0.625 |
| squeezebf+struqs | 3599.13 | 449.89 | 259.5 | 599.71 | 299.55 | 0.25 |
| struqs-10 | 3599.2 | 449.9 | 259.51 | 599.71 | 299.55 | 0.25 |
| xb-bid-qsts | 1864.23 | 233.03 | 284.35 | 31.31 | 598.89 | 0.625 |
| xb-qsts | 1802.05 | 225.26 | 290.08 | 0.69 | 599.19 | 0.625 |