Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: arbiter-08-comp-error02-qbf-hardness-depth-9
Best Solver: Caqe-bloqqer Time: 1.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 2.83 Cued_2_2018 13.39 Qute_opt500 18.66
- - - - Cued_3_2018 13.42 Qute_default 18.76
- - - - - - Qute_random 18.77
Caqe-bloqqer(1.84)
Caqe-bloqqer-qdo(2.83)
Cued_2_2018(13.39)
Cued_3_2018(13.42)
Qute_opt500(18.66)
Qute_default(18.76)
Qute_random(18.77)
Caqe-hqspre(713.27)