Family evader-pursuer-6x6-standard results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve2083.271041.63158.371041.6300
aqme-10892.65446.32336.35446.3201
depqbf2400.381200.190.011200.1900
depqbf-pre2400.461200.230.011200.2300
nenofex-qbfeval102400.371200.190.011200.1900
qmaiga240012000120000
quantor-3.1240012000120000
QuBE72400.221200.1101200.1100
QuBE7-c2400.111200.060.061200.0600
QuBE7-m2400.111200.060.061200.0600
struqs-102400.291200.150.021200.1500