Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: hex_rand_6x6-20m-7
Best Solver: Heretiq-cube Time: 107.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 113.78 Caqe-bloqqer-qdo 631.27 - -
- - depqbf_prefix_opt_qdo 303.28 - - - -
- - Cued_3_2018 389.44 - - - -
- - Cued_2_2018 402.09 - - - -
- - Caqe-bloqqer 442.22 - - - -
- - predyndep 495.17 - - - -
Heretiq-cube(107.07)
Heretiq-simple(113.78)
depqbf_prefix_opt_qdo(303.28)
Cued_3_2018(389.44)
Cued_2_2018(402.09)
Caqe-bloqqer(442.22)
predyndep(495.17)
Caqe-bloqqer-qdo(631.27)