Solver performance
QBFEVAL'08

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
AQME-1NN243443987.197719746.9145724240.2826255.42
QuBE6.1214432413.782818247.8131614165.95611885.1
Nenofex98522359.645913852.85268506.7910298.49
quantor3.097215717.6485104184875299.6212745.29
ssolve-A965230594509865.95515131931483.93
ssolveB96024213.845010032.551014181.300
ssolveC93915294.94447228.544958066.341358.41
AQME-1NN00000000
ssolve-A00000000
ssolveB00000000
ssolveC00000000
quantor3.000000000
Nenofex00000000
QuBE6.100000000

    Problematic solver
    Hors-Concours solver