Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 9323.72 | 388.49 | 550.79 | 0.92 | 1187.95 | 0.667 |
aqme-10 | 7630.99 | 317.96 | 469.18 | 4.26 | 655.9 | 0.75 |
depqbf | 16382.98 | 682.62 | 581.46 | 1200.15 | 1199.2 | 0.458 |
depqbf-pre | 15695.42 | 653.98 | 575 | 1026.73 | 1199.97 | 0.5 |
nenofex-qbfeval10 | 4992.36 | 208.02 | 313.28 | 71.83 | 276.62 | 0.542 |
qmaiga | 9610.84 | 400.45 | 565.37 | 1.26 | 1199.8 | 0.667 |
quantor-3.1 | 1330.52 | 55.44 | 151.43 | 17.35 | 27.24 | 0.667 |
QuBE7 | 15039.49 | 626.65 | 579.29 | 804.37 | 1199.1 | 0.5 |
QuBE7-c | 14642.25 | 610.09 | 590.97 | 690.13 | 1199.62 | 0.5 |
QuBE7-m | 14478.3 | 603.26 | 596.83 | 618.94 | 1199.35 | 0.5 |
struqs-10 | 18493.66 | 770.57 | 526.69 | 1200.08 | 1092.7 | 0.417 |