Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 0.61 | 0.2 | 0.07 | 0.17 | 0.03 | 1 |
aqme-10 | 65.55 | 21.85 | 27.87 | 2.55 | 0.81 | 1 |
depqbf | 1205.47 | 401.82 | 564.51 | 5.13 | 4.95 | 0.667 |
depqbf-pre | 855.95 | 285.32 | 401.64 | 2.58 | 2.54 | 1 |
nenofex-qbfeval10 | 1373.98 | 457.99 | 529.3 | 170.95 | 168.13 | 0.333 |
qmaiga | 0.72 | 0.24 | 0.05 | 0.24 | 0.07 | 1 |
quantor-3.1 | 767.17 | 255.72 | 354.32 | 10.25 | 10.1 | 1 |
QuBE7 | 61.59 | 20.53 | 25.32 | 5.16 | 4.94 | 1 |
QuBE7-c | 34.39 | 11.46 | 14.68 | 1.98 | 1.76 | 1 |
QuBE7-m | 40.23 | 13.41 | 17.31 | 2.15 | 1.94 | 1 |
struqs-10 | 797.24 | 265.75 | 204.11 | 290.61 | 286.35 | 1 |