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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve0.670.330.140.3301
aqme-10864004320004320000
depqbf864004320004320000
depqbf-pre864004320004320000
nenofex-qbfeval102781.751390.87414.971390.8700
quantor-3.180.0740.047.4740.0400
QuBE744023.8722011.9420243.3722011.9400.5
QuBE7-c35605.3217802.6616511.9417802.6600.5
QuBE7-m22462.0211231.0110114.2911231.0100.5
struqs-10864004320004320000