Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1.82 | 0.46 | 0.54 | 0.21 | 0.77 | 1 |
aqme-10 | 7.49 | 1.87 | 0.75 | 1.5 | 1.03 | 1 |
depqbf | 1291.68 | 322.92 | 506.96 | 45.74 | 616.73 | 0.75 |
depqbf-pre | 564.42 | 141.11 | 162.22 | 73.59 | 240.82 | 1 |
nenofex-qbfeval10 | 46.65 | 11.66 | 14.84 | 4.49 | 21.42 | 1 |
qmaiga | 6.25 | 1.56 | 2.52 | 0.14 | 2.99 | 1 |
quantor-3.1 | 0.6 | 0.15 | 0.09 | 0.16 | 0.18 | 1 |
QuBE7 | 2697.66 | 674.42 | 533.25 | 737.92 | 1051.27 | 0.5 |
QuBE7-c | 2624.3 | 656.07 | 544 | 657.26 | 1087.99 | 0.5 |
QuBE7-m | 3651.03 | 912.76 | 497.6 | 1200.03 | 574.6 | 0.25 |
struqs-10 | 1837.01 | 459.25 | 499.11 | 318.31 | 913.92 | 0.75 |