Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: reachqu_query71_1344
Best Solver: Caqe-hqspre Time: 198.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 199.01 - - - -
- - Caqe-bloqqer-qdo 526.37 - - - -
Caqe-hqspre(198.53)
caqe-pre(199.01)
Caqe-bloqqer-qdo(526.37)