Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: c2_Debug_s3_f2_e1_v3
Best Solver: Rareqs_2018 Time: 299.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 678.25 - - - -
- - Iprover-HQSpre-Bloqqer 857.29 - - - -
Rareqs_2018(299.29)
Caqe-hqspre(678.25)
Iprover-HQSpre-Bloqqer(857.29)