Family Counter results for solvers
QBFEVAL'10 - Small Hard Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve429.15107.2943.09110.6166.051
aqme-1044308.4511077.1118547.21530.8421580.990.25
depqbf109342.7727335.6915919.352827131728.620
depqbf-pre111468.127867.0315333.0227892.230665.950
nenofex-qbfeval10581.34145.34122.71107.32219.730
quantor-3.1114.0728.526.4626.7410.310
QuBE72202.69550.67129.98530252.470
QuBE7-c3633.49908.37411.51909.88739.330
QuBE7-m3560.9890.23319.23983.63568.70
struqs-1010118925297.2511181.4221552.3518800.60