Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: arbiter-08-comp-error02-qbf-hardness-depth-9
Best Solver: caqe_2017_v3 Time: 1.81 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 2.37 qesto 13.56 - -
- - xb-qsts_xbqsts1.0 2.6 - - - -
- - xb-qsts_xbqsts2.0 2.61 - - - -
caqe_2017_v1(1.81)
caqe_2017_v3(1.81)
xb-qsts_bqsts2.0(2.37)
xb-qsts_xbqsts1.0(2.6)
xb-qsts_xbqsts2.0(2.61)
qesto(13.56)
caqe_2017_v2(286.91)