Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: ltl2dpa_C26_comp2_REAL.sat
Best Solver: aspq2v3 Time: 1.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 1.17 Caqe-bloqqer-qdo 6.84 - -
- - Heretiq-cube 1.17 - - - -
- - Heretiq-simple 1.17 - - - -
- - Rareqs_2018 1.17 - - - -
- - ijtihad 1.2 - - - -
- - Qute_opt500 1.66 - - - -
- - Qute_random 1.68 - - - -
- - Iprover-HQSpre-Bloqqer 1.7 - - - -
- - depqbf_pre_QxQBH 1.94 - - - -
- - aspq3alt 3.92 - - - -
- - ASPQ_2018 3.92 - - - -
- - Cued_3_2018 3.98 - - - -
- - Cued_2_2018 4.05 - - - -
- - predyndep 4.43 - - - -
aspq2v3(1.13)
Caqe-bloqqer(1.17)
Heretiq-cube(1.17)
Heretiq-simple(1.17)
Rareqs_2018(1.17)
ijtihad(1.2)
Qute_opt500(1.66)
Qute_random(1.68)
Iprover-HQSpre-Bloqqer(1.7)
depqbf_pre_QxQBH(1.94)
aspq3alt(3.92)
ASPQ_2018(3.92)
Cued_3_2018(3.98)
Cued_2_2018(4.05)
predyndep(4.43)
Caqe-bloqqer-qdo(6.84)