Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4519.38 | 645.63 | 563.82 | 937.89 | 1174.93 | 0.429 |
aqme-10 | 3467.49 | 495.36 | 495.21 | 524.35 | 525.3 | 0.429 |
depqbf | 6014.76 | 859.25 | 539.04 | 1200.16 | 1199.67 | 0.286 |
depqbf-pre | 6005.53 | 857.93 | 541.12 | 1200.16 | 1199.99 | 0.286 |
nenofex-qbfeval10 | 985.67 | 140.81 | 144.67 | 98.53 | 116.85 | 0.429 |
qmaiga | 4805.68 | 686.53 | 592.91 | 1200 | 1198.57 | 0.429 |
quantor-3.1 | 114.57 | 16.37 | 12.8 | 26.34 | 27.05 | 0.429 |
QuBE7 | 6410.99 | 915.86 | 462.31 | 1200.04 | 1198.02 | 0.286 |
QuBE7-c | 7201.15 | 1028.74 | 419.62 | 1200.04 | 1199.17 | 0.143 |
QuBE7-m | 7201.19 | 1028.74 | 419.62 | 1200.04 | 1199.17 | 0.143 |
struqs-10 | 7237.58 | 1033.94 | 406.97 | 1200.08 | 1163.01 | 0.143 |