Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1838.53 | 102.14 | 230.76 | 8.93 | 19.95 | 0.944 |
aqme-10 | 801.57 | 44.53 | 81.17 | 9.51 | 17.87 | 0.889 |
depqbf | 7285.05 | 404.72 | 562.6 | 5.5 | 1199.75 | 0.667 |
depqbf-pre | 6306.95 | 350.39 | 498.76 | 12.58 | 614.23 | 0.778 |
nenofex-qbfeval10 | 5093.25 | 282.96 | 428.76 | 41.89 | 274.93 | 0.667 |
qmaiga | 1784.46 | 99.14 | 206.62 | 18.85 | 30.42 | 0.944 |
quantor-3.1 | 242.27 | 13.46 | 27.11 | 2.85 | 5.19 | 0.944 |
QuBE7 | 15703.84 | 872.44 | 500.28 | 1200.03 | 1079.81 | 0.333 |
QuBE7-c | 5940.35 | 330.02 | 495.02 | 31.08 | 108.34 | 0.778 |
QuBE7-m | 4788.87 | 266.05 | 450.85 | 34.16 | 55.38 | 0.833 |
struqs-10 | 13574.3 | 754.13 | 528.62 | 1200.12 | 1153.47 | 0.444 |