Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3.2 | 0.64 | 0.35 | 0.55 | 0.49 | 1 |
aqme-10 | 37.23 | 7.45 | 11.26 | 2.08 | 0.71 | 1 |
depqbf | 6000.8 | 1200.16 | 0.01 | 1200.16 | 0 | 0 |
depqbf-pre | 4913.1 | 982.62 | 435.08 | 1200.16 | 543.85 | 0.2 |
nenofex-qbfeval10 | 1349.5 | 269.9 | 318.58 | 37.81 | 278.03 | 0.6 |
qmaiga | 3.16 | 0.63 | 0.37 | 0.52 | 0.5 | 1 |
quantor-3.1 | 241.7 | 48.34 | 41.96 | 34.07 | 28.19 | 0.2 |
QuBE7 | 4815.83 | 963.17 | 473.8 | 1200.06 | 592.26 | 0.2 |
QuBE7-c | 4801.28 | 960.26 | 479.65 | 1200.07 | 599.57 | 0.2 |
QuBE7-m | 4801.11 | 960.22 | 479.7 | 1200.06 | 599.64 | 0.2 |
struqs-10 | 335.88 | 67.18 | 65.67 | 27.53 | 76.47 | 1 |