Solver performance
QBFEVAL'10 - Random QBFs Track.

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
aqme-10407200682389728.1216910339.96212846.6
QuBE735927092.920313293.215613799.742182.85
depqbf-pre3439438.622061718.381377720.251112.39
depqbf34212895.12061901.3613610993.800
QuBE7-m34029393.319514656.614514736.700
QuBE7-c33929495.219514660.714414834.500
nenofex-qbfeval1014934502.812233243.1271259.6700
quantor-3.11342830.971152655.8519175.1200
struqs-1011715480.48612220.9313259.4600
aqme-1000000000
struqs-1000000000
depqbf-pre00000000
depqbf00000000
nenofex-qbfeval1000000000
quantor-3.100000000
QuBE700000000
QuBE7-c00000000
QuBE7-m00000000

    Problematic solver
    Hors-Concours solver