Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: arbiter-06-comp-error01-qbf-hardness-depth-15
Best Solver: Caqe-bloqqer Time: 3.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 4.99 - - Caqe-hqspre 51.06
- - - - - - Heretiq-simple 59.77
- - - - - - Heretiq-cube 60.17
- - - - - - Qute_opt500 132.76
- - - - - - Qute_default 133.08
- - - - - - Qute_random 133.18
- - - - - - Rareqs_2018 270.47
- - - - - - predyndep 297.62
Caqe-bloqqer(3.3)
Caqe-bloqqer-qdo(4.99)
Caqe-hqspre(51.06)
Heretiq-simple(59.77)
Heretiq-cube(60.17)
Qute_opt500(132.76)
Qute_default(133.08)
Qute_random(133.18)
Rareqs_2018(270.47)
predyndep(297.62)
depqbf_prefix_opt_qdo(369.64)