Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 16654.44 | 4163.61 | 3753.79 | 3057.62 | 6529.8 | 0 |
aqme-10 | 15634.88 | 3908.72 | 3128.46 | 4038.68 | 6138.63 | 1 |
depqbf | 130115.92 | 32528.98 | 18482.75 | 43200 | 21342.04 | 0.25 |
depqbf-pre | 129605.42 | 32401.36 | 18703.8 | 43200 | 21597.29 | 0.25 |
nenofex-qbfeval10 | 30927.14 | 7731.78 | 7242.38 | 7832.92 | 14480.63 | 0.75 |
quantor-3.1 | 14923.99 | 3731 | 3937.68 | 2612.9 | 7168.17 | 0.75 |
QuBE7 | 38062.72 | 9515.68 | 5490.31 | 11313.12 | 9263.64 | 0.25 |
QuBE7-c | 67359.14 | 16839.78 | 10443.71 | 19690.05 | 16731.73 | 0.25 |
QuBE7-m | 55309.23 | 13827.31 | 8394.22 | 16376.95 | 13062.79 | 0.25 |
struqs-10 | 172800 | 43200 | 0 | 43200 | 0 | 0 |