Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: gttt_1_1_000111_4x4_torus_w
Best Solver: Caqe-bloqqer Time: 3.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cued_2_2018 7.49 Caqe-bloqqer-qdo 20.06 ijtihad 39.25
- - Cued_3_2018 8.06 depqbf_prefix_opt_qdo 28.84 Heretiq-simple 42.89
- - - - - - Heretiq-cube 43.66
- - - - - - depqbf_pre_QxQBH 97.63
- - - - - - predyndep 187.85
Caqe-bloqqer(3.37)
Cued_2_2018(7.49)
Cued_3_2018(8.06)
Caqe-bloqqer-qdo(20.06)
depqbf_prefix_opt_qdo(28.84)
ijtihad(39.25)
Heretiq-simple(42.89)
Heretiq-cube(43.66)
depqbf_pre_QxQBH(97.63)
predyndep(187.85)