Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 429.15 | 107.29 | 43.09 | 110.61 | 66.05 | 1 |
aqme-10 | 44308.45 | 11077.11 | 18547.21 | 530.84 | 21580.99 | 0.25 |
depqbf | 109342.77 | 27335.69 | 15919.35 | 28271 | 31728.62 | 0 |
depqbf-pre | 111468.1 | 27867.03 | 15333.02 | 27892.2 | 30665.95 | 0 |
nenofex-qbfeval10 | 581.34 | 145.34 | 122.71 | 107.32 | 219.73 | 0 |
quantor-3.1 | 114.07 | 28.52 | 6.46 | 26.74 | 10.31 | 0 |
QuBE7 | 2202.69 | 550.67 | 129.98 | 530 | 252.47 | 0 |
QuBE7-c | 3633.49 | 908.37 | 411.51 | 909.88 | 739.33 | 0 |
QuBE7-m | 3560.9 | 890.23 | 319.23 | 983.63 | 568.7 | 0 |
struqs-10 | 101189 | 25297.25 | 11181.42 | 21552.35 | 18800.6 | 0 |