Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 2412.1 | 603.02 | 596.98 | 604.75 | 1193.95 | 0.5 |
aqme-10 | 2362.38 | 590.6 | 553.16 | 607.3 | 1105.31 | 0.5 |
depqbf | 2569.68 | 642.42 | 560.19 | 679.38 | 1115.48 | 0.5 |
depqbf-pre | 2595.49 | 648.87 | 554.78 | 692.83 | 1102.58 | 0.5 |
nenofex-qbfeval10 | 2562.73 | 640.68 | 559.54 | 645.75 | 1119 | 0.5 |
qmaiga | 2423.99 | 606 | 594.04 | 610.74 | 1188.01 | 0.5 |
quantor-3.1 | 2406.11 | 601.53 | 598.47 | 602.84 | 1196.94 | 0.5 |
QuBE7 | 642.59 | 160.65 | 265.49 | 11.02 | 320.32 | 1 |
QuBE7-c | 2420.12 | 605.03 | 595.04 | 609.73 | 1190 | 0.5 |
QuBE7-m | 2446.85 | 611.71 | 588.56 | 622.94 | 1176.69 | 0.5 |
struqs-10 | 2536.41 | 634.1 | 567.4 | 662.52 | 1131.95 | 0.5 |