Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 7537.09 | 1076.73 | 301.95 | 1200 | 862.91 | 0.143 |
aqme-10 | 6927.56 | 989.65 | 402.13 | 1144.22 | 1138.65 | 0.143 |
depqbf | 8401.05 | 1200.15 | 0.02 | 1200.16 | 0.04 | 0 |
depqbf-pre | 8401.13 | 1200.16 | 0.01 | 1200.17 | 0.04 | 0 |
nenofex-qbfeval10 | 6256.24 | 893.75 | 217.97 | 805.63 | 346.36 | 0 |
qmaiga | 7040.94 | 1005.85 | 340.65 | 1200 | 958.14 | 0.143 |
quantor-3.1 | 8400 | 1200 | 0 | 1200 | 0 | 0 |
QuBE7 | 597.81 | 85.4 | 50.41 | 81.88 | 79.19 | 1 |
QuBE7-c | 5935.25 | 847.89 | 229.89 | 721.15 | 200.74 | 0 |
QuBE7-m | 7372.55 | 1053.22 | 134.28 | 996.48 | 349.76 | 0 |
struqs-10 | 8033.34 | 1147.62 | 128.55 | 1200.1 | 367.36 | 0.143 |