Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: arbiter-07-comp-error01-qbf-hardness-depth-20
Best Solver: Caqe-bloqqer Time: 19.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 29.71 - - - -
- - Qute_random 46.74 - - - -
- - Qute_default 47.21 - - - -
- - Qute_opt500 47.47 - - - -
Caqe-bloqqer(19.53)
Caqe-bloqqer-qdo(29.71)
Qute_random(46.74)
Qute_default(47.21)
Qute_opt500(47.47)