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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve74.1337.0715.8337.0701
aqme-10239.54119.7765.79119.7700.5
depqbf12.546.271.776.2701
depqbf-pre64.2332.1214.3832.1201
nenofex-qbfeval1016.418.21.448.200.5
qmaiga43.9321.9620.2621.9601
quantor-3.111.9961.54601
QuBE7182.3891.1943.9791.1901
QuBE7-c171.6985.8539.1485.8501
QuBE7-m172.3786.1939.2486.1901
struqs-106.543.270.953.2701