Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: hex_hein_4x4_06
Best Solver: Heretiq-cube Time: 57.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 58.15 - - Caqe-hqspre 628.63
- - depqbf_prefix_opt_qdo 144.88 - - - -
- - Caqe-bloqqer 147.28 - - - -
- - Caqe-bloqqer-qdo 219.36 - - - -
- - Cued_3_2018 230.29 - - - -
- - Cued_2_2018 250.97 - - - -
- - predyndep 278.01 - - - -
Heretiq-cube(57.54)
Heretiq-simple(58.15)
depqbf_prefix_opt_qdo(144.88)
Caqe-bloqqer(147.28)
Caqe-bloqqer-qdo(219.36)
Cued_3_2018(230.29)
Cued_2_2018(250.97)
predyndep(278.01)
Caqe-hqspre(628.63)