Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 125978.42 | 926.31 | 403.33 | 1200 | 486.85 | 0.228 |
aqme-10 | 71438.09 | 525.28 | 524.51 | 169.28 | 1113.54 | 0.662 |
depqbf | 9500.01 | 69.85 | 114.23 | 6.79 | 112.76 | 1 |
depqbf-pre | 9095.69 | 66.88 | 101.3 | 6.54 | 109.42 | 1 |
nenofex-qbfeval10 | 118108.53 | 868.45 | 261.8 | 907.49 | 413.35 | 0 |
qmaiga | 122249.08 | 898.89 | 389.66 | 1200 | 542.96 | 0.346 |
quantor-3.1 | 20421.06 | 150.15 | 106.77 | 118.31 | 103.93 | 0.007 |
QuBE7 | 59066.65 | 434.31 | 461.16 | 199.4 | 873.8 | 0.853 |
QuBE7-c | 72619.61 | 533.97 | 521.69 | 266.7 | 1174.02 | 0.684 |
QuBE7-m | 72435.14 | 532.61 | 517.14 | 243.83 | 1176.81 | 0.706 |
struqs-10 | 141796.97 | 1042.62 | 391.59 | 1200.08 | 0.01 | 0.14 |