Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 0.77 | 0.19 | 0.05 | 0.18 | 0.09 | 1 |
aqme-10 | 32.22 | 8.06 | 7.25 | 5.76 | 12.9 | 1 |
depqbf | 4800.64 | 1200.16 | 0 | 1200.16 | 0 | 0 |
depqbf-pre | 2701.09 | 675.27 | 531.1 | 732.55 | 1049.78 | 0.5 |
nenofex-qbfeval10 | 9.2 | 2.3 | 1.22 | 2.03 | 2.15 | 1 |
qmaiga | 0.79 | 0.2 | 0.06 | 0.18 | 0.1 | 1 |
quantor-3.1 | 27.99 | 7 | 8.29 | 3.65 | 13.44 | 0.75 |
QuBE7 | 588.04 | 147.01 | 229.58 | 21.26 | 287.29 | 1 |
QuBE7-c | 110.8 | 27.7 | 37.15 | 8.68 | 47.33 | 1 |
QuBE7-m | 63.14 | 15.78 | 16.29 | 9.13 | 23.64 | 1 |
struqs-10 | 44.71 | 11.18 | 11.41 | 6.24 | 17.23 | 1 |