Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 158.26 | 39.56 | 36.67 | 33.72 | 69.31 | 1 |
aqme-10 | 2588.84 | 647.21 | 496.68 | 693.76 | 959.66 | 0.5 |
depqbf | 4800.69 | 1200.17 | 0.01 | 1200.18 | 0.02 | 0 |
depqbf-pre | 4800.72 | 1200.18 | 0.01 | 1200.19 | 0.02 | 0 |
nenofex-qbfeval10 | 3219.73 | 804.93 | 488.13 | 1007.5 | 790.45 | 0.5 |
qmaiga | 208.6 | 52.15 | 51.15 | 39.52 | 91.96 | 1 |
quantor-3.1 | 2585.98 | 646.5 | 557.39 | 692.93 | 1107.01 | 0.5 |
QuBE7 | 882.35 | 220.59 | 292.3 | 82.57 | 423.64 | 1 |
QuBE7-c | 802.11 | 200.53 | 219.46 | 129.85 | 384.38 | 1 |
QuBE7-m | 805.2 | 201.3 | 224.96 | 123.81 | 386.09 | 1 |
struqs-10 | 3036 | 759 | 494.85 | 917.61 | 882.18 | 0.5 |