Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 680.11 | 75.57 | 123.13 | 2.33 | 32.85 | 0.778 |
aqme-10 | 299856.5 | 33317.39 | 14012.47 | 43200 | 28413.25 | 0 |
depqbf | 386274.9 | 42919.43 | 793.56 | 43200 | 0 | 0.111 |
depqbf-pre | 374939.6 | 41659.96 | 4355.9 | 43200 | 0 | 0.111 |
nenofex-qbfeval10 | 681.44 | 75.72 | 18.96 | 76.14 | 21.88 | 0 |
quantor-3.1 | 175479.49 | 19497.72 | 20788.98 | 4623.44 | 42127.49 | 0.111 |
QuBE7 | 345213.45 | 38357.05 | 11168.58 | 43200.1 | 3970.55 | 0.222 |
QuBE7-c | 323368.35 | 35929.82 | 13890.87 | 43200.1 | 13366.75 | 0.222 |
QuBE7-m | 355231.51 | 39470.17 | 10549.81 | 43200.1 | 0.05 | 0.111 |
struqs-10 | 112948.85 | 12549.87 | 9106.22 | 9782.09 | 6629.36 | 0 |