Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1212.52 | 303.13 | 517.82 | 5.89 | 603.89 | 0.75 |
aqme-10 | 2143.75 | 535.94 | 506.79 | 528.21 | 1011.77 | 0.75 |
depqbf | 3858.11 | 964.53 | 408.13 | 1200.16 | 471.26 | 0.25 |
depqbf-pre | 3671.38 | 917.85 | 489 | 1200.17 | 564.66 | 0.25 |
nenofex-qbfeval10 | 628.17 | 157.04 | 106.19 | 147.82 | 166.83 | 0.25 |
qmaiga | 870.51 | 217.63 | 370.31 | 5.31 | 432.43 | 1 |
quantor-3.1 | 105.05 | 26.26 | 4.6 | 23.92 | 5.76 | 0 |
QuBE7 | 3441.84 | 860.46 | 493.56 | 1113.71 | 679.19 | 0.25 |
QuBE7-c | 2140.54 | 535.14 | 431.39 | 469.29 | 666.89 | 0.5 |
QuBE7-m | 2404.21 | 601.05 | 424.02 | 601.09 | 625.66 | 0.5 |
struqs-10 | 3832.69 | 958.17 | 419.02 | 1200.08 | 483.86 | 0.25 |