Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: hex_hein_4x4_12
Best Solver: depqbf_prefix_opt_qdo Time: 11.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - PortfolioDepQBFGhostQRaReQSQute___pf 11.46 depqbf_pre_QxQBH 69.45 predyndep 170.79
- - Caqe-bloqqer-qdo 11.78 - - Rareqs_2018 422.06
- - Caqe-bloqqer 15.39 - - Qute_default 553.47
- - Caqe-hqspre 15.77 - - - -
- - Qute_random 32.58 - - - -
- - Qute_opt500 32.65 - - - -
- - Cued_3_2018 37.05 - - - -
- - Cued_2_2018 37.52 - - - -
- - Heretiq-simple 38.07 - - - -
- - Heretiq-cube 38.12 - - - -
depqbf_prefix_opt_qdo(11.21)
PortfolioDepQBFGhostQRaReQSQute___pf(11.46)
Caqe-bloqqer-qdo(11.78)
Caqe-bloqqer(15.39)
Caqe-hqspre(15.77)
Qute_random(32.58)
Qute_opt500(32.65)
Cued_3_2018(37.05)
Cued_2_2018(37.52)
Heretiq-simple(38.07)
Heretiq-cube(38.12)
depqbf_pre_QxQBH(69.45)
predyndep(170.79)
Rareqs_2018(422.06)
Qute_default(553.47)