Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 662.18 | 110.36 | 138.18 | 26.74 | 52.76 | 0.667 |
aqme-10 | 170256.5 | 28376.08 | 14875.3 | 29029.25 | 32117 | 0 |
depqbf | 259200 | 43200 | 0 | 43200 | 0 | 0 |
depqbf-pre | 259200 | 43200 | 0 | 43200 | 0 | 0 |
nenofex-qbfeval10 | 458.93 | 76.49 | 23.08 | 78.29 | 37.78 | 0 |
quantor-3.1 | 84456.05 | 14076.01 | 19868.01 | 40.96 | 15.94 | 0.167 |
QuBE7 | 251259.61 | 41876.6 | 2959.48 | 43200.1 | 7941.1 | 0.167 |
QuBE7-c | 232467.4 | 38744.57 | 9963.01 | 43200.1 | 26733.5 | 0.167 |
QuBE7-m | 225631.31 | 37605.22 | 12510.54 | 43200.1 | 33569.3 | 0.167 |
struqs-10 | 57155.71 | 9525.95 | 4184.59 | 9269.41 | 8033.97 | 0 |