QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'10 - Small Hard Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 17.92 | 5.97 | 5.35 | 2.33 | 0.28 | 1 |
| aqme-10 | 129600 | 43200 | 0 | 43200 | 0 | 0 |
| depqbf | 127074.9 | 42358.3 | 1190.34 | 43200 | 2525.1 | 0.333 |
| depqbf-pre | 115739.6 | 38579.87 | 6533.86 | 43200 | 13860.4 | 0.333 |
| nenofex-qbfeval10 | 222.51 | 74.17 | 3.14 | 76.14 | 6.4 | 0 |
| quantor-3.1 | 91023.44 | 30341.15 | 18185.16 | 43200 | 38576.56 | 0 |
| QuBE7 | 93953.84 | 31317.95 | 16803.9 | 43200.1 | 35646.46 | 0.333 |
| QuBE7-c | 90900.94 | 30300.31 | 18243.05 | 43200.1 | 38699.36 | 0.333 |
| QuBE7-m | 129600.2 | 43200.07 | 0.05 | 43200.1 | 0.1 | 0 |
| struqs-10 | 55793.14 | 18597.71 | 12604.91 | 9782.09 | 194.44 | 0 |