Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
aqme-10 | 30182.7 | 377.28 | 524.01 | 6.01 | 1197.85 | 0.725 |
depqbf | 2369.99 | 29.62 | 165.93 | 0.14 | 0.58 | 0.988 |
depqbf-pre | 329.14 | 4.11 | 20.31 | 0.08 | 0.3 | 1 |
nenofex-qbfeval10 | 12103.11 | 151.29 | 201.87 | 111.23 | 235.67 | 0.413 |
quantor-3.1 | 2203.52 | 27.54 | 16.6 | 33.64 | 25.36 | 0.25 |
QuBE7 | 15744.05 | 196.8 | 422.5 | 0.12 | 29.97 | 0.85 |
QuBE7-c | 26317.87 | 328.97 | 505.86 | 0.14 | 816.47 | 0.775 |
QuBE7-m | 27393.47 | 342.42 | 526.33 | 0.13 | 1171.36 | 0.75 |
struqs-10 | 93840.52 | 1173.01 | 169.6 | 1200.08 | 0.01 | 0.025 |