Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: load_full_4_comp3_REAL.unsat
Best Solver: Rareqs_2018 Time: 30.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-cube 32.49 - - Caqe-hqspre 360.58
- - Heretiq-simple 32.57 - - depqbf_pre_QxQBH 417.06
- - ijtihad 35.32 - - - -
- - Caqe-bloqqer 39.39 - - - -
- - Iprover-HQSpre-Bloqqer 41.66 - - - -
- - Caqe-bloqqer-qdo 61.23 - - - -
Rareqs_2018(30.34)
Heretiq-cube(32.49)
Heretiq-simple(32.57)
ijtihad(35.32)
Caqe-bloqqer(39.39)
Iprover-HQSpre-Bloqqer(41.66)
Caqe-bloqqer-qdo(61.23)
Caqe-hqspre(360.58)
depqbf_pre_QxQBH(417.06)