Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 8979.3 | 598.62 | 490.22 | 517.53 | 1199.66 | 0.467 |
aqme-10 | 8075.53 | 538.37 | 529.95 | 174.04 | 1139.92 | 0.6 |
depqbf | 12253.85 | 816.92 | 544.31 | 1200.15 | 1193.38 | 0.333 |
depqbf-pre | 12205.97 | 813.73 | 547.25 | 1200.16 | 1189.14 | 0.333 |
nenofex-qbfeval10 | 6279.1 | 418.61 | 445.63 | 192.15 | 606.13 | 0.533 |
qmaiga | 8534.38 | 568.96 | 537.74 | 216.69 | 1199.77 | 0.533 |
quantor-3.1 | 8244.84 | 549.66 | 548.55 | 178.96 | 1199.76 | 0.6 |
QuBE7 | 14504.65 | 966.98 | 466.61 | 1200.02 | 1095.71 | 0.2 |
QuBE7-c | 13712.8 | 914.19 | 481.93 | 1200.02 | 1098.43 | 0.267 |
QuBE7-m | 13725.47 | 915.03 | 481.23 | 1200.02 | 1102.17 | 0.267 |
struqs-10 | 15607.71 | 1040.51 | 406.82 | 1200.08 | 0.01 | 0.133 |