QBF Solver Evaluation Portal
qbflib.orgFamily s510 results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 625.73 | 208.58 | 150.48 | 221.77 | 203.74 | 0.667 |
| aqme-10 | 3210.7 | 1070.23 | 145.29 | 1143.31 | 275.92 | 0 |
| depqbf | 2424.99 | 808.33 | 554.2 | 1200.19 | 1175.61 | 0 |
| depqbf-pre | 2427.67 | 809.22 | 552.92 | 1200.19 | 1172.92 | 0 |
| nenofex-qbfeval10 | 2739.65 | 913.22 | 405.81 | 1200.16 | 860.84 | 0 |
| qmaiga | 1714.69 | 571.56 | 484.07 | 492.46 | 470.23 | 0.667 |
| quantor-3.1 | 2687.57 | 895.86 | 430.13 | 1200 | 912.43 | 0 |
| QuBE7 | 2572.71 | 857.57 | 484.39 | 1200.06 | 1027.53 | 0.333 |
| QuBE7-c | 2554.25 | 851.42 | 493.01 | 1200 | 1045.81 | 0.333 |
| QuBE7-m | 2555.14 | 851.71 | 492.59 | 1200 | 1044.92 | 0.333 |
| struqs-10 | 2682.84 | 894.28 | 432.54 | 1200.11 | 917.53 | 0.333 |