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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve715.71715.710715.7101
aqme-10120012000120000
depqbf1200.211200.2101200.2100
depqbf-pre1200.21200.201200.200
nenofex-qbfeval101200.171200.1701200.1700
qmaiga1090.251090.2501090.2501
quantor-3.1120012000120000
QuBE7857.66857.660857.6601
QuBE7-c819.84819.840819.8401
QuBE7-m882.9882.90882.901
struqs-101200.091200.0901200.0900