Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3879.36 | 352.67 | 471.43 | 11.82 | 731.11 | 0.636 |
aqme-10 | 2568.11 | 233.46 | 456.54 | 7.86 | 11.66 | 0.818 |
depqbf | 3644.08 | 331.28 | 532.21 | 0.88 | 40.27 | 0.727 |
depqbf-pre | 3676.74 | 334.25 | 530.33 | 12.52 | 25.87 | 0.727 |
nenofex-qbfeval10 | 3163.53 | 287.59 | 385.91 | 2.03 | 355.99 | 0.545 |
qmaiga | 3896.01 | 354.18 | 524.51 | 0.55 | 293.34 | 0.636 |
quantor-3.1 | 325.7 | 29.61 | 40.31 | 0.56 | 62.57 | 0.636 |
QuBE7 | 1465.14 | 133.19 | 224.92 | 9.3 | 15.56 | 0.727 |
QuBE7-c | 1223.8 | 111.25 | 160.65 | 11.78 | 114.99 | 0.727 |
QuBE7-m | 1613.43 | 146.68 | 207.19 | 13.04 | 161.76 | 0.727 |
struqs-10 | 3650.15 | 331.83 | 497.47 | 0.32 | 254.1 | 0.818 |