QBF Solver Evaluation Portal
qbflib.orgFamily k_d4_n results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 15.94 | 1.59 | 0.52 | 1.64 | 0.87 | 1 |
| aqme-10 | 149.4 | 14.94 | 4.37 | 16.21 | 3.63 | 1 |
| depqbf | 12001.68 | 1200.17 | 0.01 | 1200.17 | 0.01 | 0 |
| depqbf-pre | 12001.63 | 1200.16 | 0.01 | 1200.17 | 0.01 | 0 |
| nenofex-qbfeval10 | 4181.19 | 418.12 | 338.2 | 314.95 | 367.05 | 0 |
| qmaiga | 16.12 | 1.61 | 0.48 | 1.64 | 0.75 | 1 |
| quantor-3.1 | 234.67 | 23.47 | 1.54 | 22.93 | 1 | 0 |
| QuBE7 | 12000.72 | 1200.07 | 0.01 | 1200.08 | 0.02 | 0 |
| QuBE7-c | 12000.77 | 1200.08 | 0.02 | 1200.08 | 0.03 | 0 |
| QuBE7-m | 12000.63 | 1200.06 | 0.01 | 1200.07 | 0.02 | 0 |
| struqs-10 | 12000.75 | 1200.08 | 0.01 | 1200.07 | 0.01 | 0 |