Family term1 results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.610.20.070.170.031
aqme-1065.5521.8527.872.550.811
depqbf1205.47401.82564.515.134.950.667
depqbf-pre855.95285.32401.642.582.541
nenofex-qbfeval101373.98457.99529.3170.95168.130.333
qmaiga0.720.240.050.240.071
quantor-3.1767.17255.72354.3210.2510.11
QuBE761.5920.5325.325.164.941
QuBE7-c34.3911.4614.681.981.761
QuBE7-m40.2313.4117.312.151.941
struqs-10797.24265.75204.11290.61286.351