Family evader-pursuer-4x4-standard results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve7537.091076.73301.951200862.910.143
aqme-106927.56989.65402.131144.221138.650.143
depqbf8401.051200.150.021200.160.040
depqbf-pre8401.131200.160.011200.170.040
nenofex-qbfeval106256.24893.75217.97805.63346.360
qmaiga7040.941005.85340.651200958.140.143
quantor-3.1840012000120000
QuBE7597.8185.450.4181.8879.191
QuBE7-c5935.25847.89229.89721.15200.740
QuBE7-m7372.551053.22134.28996.48349.760
struqs-108033.341147.62128.551200.1367.360.143