QBF Solver Evaluation Portal
qbflib.orgFamily C432 results for solvers
QBFEVAL'16 - Prenex CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 6.42 | 0.8 | 1.25 | 0.12 | 1.52 | 1 |
| aqua-f3v | 1337.68 | 167.21 | 251.02 | 32.86 | 335.71 | 0.75 |
| aqua-s2v | 1378.12 | 172.27 | 249.38 | 36.8 | 352.02 | 0.75 |
| aqua-s3o | 1286.37 | 160.8 | 254.18 | 13.08 | 329.58 | 0.75 |
| caqe-minisat | 1829.37 | 228.67 | 272.94 | 47.25 | 567.03 | 0.75 |
| caqe-picosat | 1729.86 | 216.23 | 276.28 | 7.46 | 557.06 | 0.75 |
| depqbf-v1 | 1319.4 | 164.93 | 248.81 | 27.91 | 335.03 | 0.75 |
| depqbf-v2 | 293.78 | 36.72 | 51.81 | 0.86 | 76.2 | 1 |
| depqbf-v3 | 1322.86 | 165.36 | 253.88 | 0.15 | 361.18 | 0.75 |
| ghostq-cegar | 608.15 | 76.02 | 197.98 | 0.4 | 3.3 | 0.875 |
| ghostq-plain | 60.52 | 7.57 | 16.11 | 0.23 | 4.64 | 1 |
| hiqqer1 | 1219.51 | 152.44 | 258.34 | 0.18 | 309.39 | 0.75 |
| hiqqer1ldsq | 324.3 | 40.54 | 66.12 | 0.16 | 71.66 | 0.75 |
| hiqqer3 | 1219.63 | 152.45 | 258.32 | 0.3 | 309.25 | 0.75 |
| iprover-QBF | 1995.34 | 249.42 | 257.7 | 192.68 | 500.03 | 0.5 |
| iprover-QBF-bloqqer | 1779.43 | 222.43 | 244.14 | 140.89 | 433.93 | 0.5 |
| qesto | 1799.64 | 224.96 | 290.28 | 0.21 | 599.68 | 0.625 |
| qestos | 1205.48 | 150.69 | 259.34 | 0.25 | 302.44 | 0.75 |
| qsts | 2426.51 | 303.31 | 296.54 | 313.57 | 599.65 | 0.5 |
| rareqs | 149.15 | 18.64 | 48.18 | 0.15 | 1.31 | 1 |
| squeezebf+struqs | 3165.24 | 395.66 | 228.3 | 599.71 | 216.78 | 0.25 |
| struqs-10 | 3436.59 | 429.57 | 230.05 | 599.71 | 381 | 0.375 |
| xb-bid-qsts | 642.21 | 80.28 | 188.23 | 0.38 | 31.69 | 1 |
| xb-qsts | 1147.61 | 143.45 | 243.2 | 0.28 | 284.87 | 1 |