Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1561.24 | 223.03 | 404 | 33.32 | 154.74 | 0.857 |
aqme-10 | 710.92 | 101.56 | 208.32 | 5.1 | 33.49 | 1 |
depqbf | 7301.78 | 1043.11 | 384.71 | 1200.17 | 1099.4 | 0.143 |
depqbf-pre | 7321.71 | 1045.96 | 377.73 | 1200.16 | 1079.45 | 0.143 |
nenofex-qbfeval10 | 1343.36 | 191.91 | 99.52 | 239.7 | 252.95 | 0.143 |
qmaiga | 734.81 | 104.97 | 109.18 | 42.39 | 171.81 | 1 |
quantor-3.1 | 204.07 | 29.15 | 5.59 | 28.63 | 10.7 | 0 |
QuBE7 | 7201.13 | 1028.73 | 419.76 | 1200.09 | 1199.57 | 0.143 |
QuBE7-c | 4856.2 | 693.74 | 386.16 | 618.99 | 739.95 | 0.143 |
QuBE7-m | 5230.47 | 747.21 | 383.19 | 680.42 | 903.37 | 0.143 |
struqs-10 | 7288.43 | 1041.2 | 389.18 | 1200.08 | 1112.18 | 0.143 |