Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: arbiter-10-comp-error01-qbf-hardness-depth-22
Best Solver: xb-qsts_bqsts2.0 Time: 23.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts2.0 24.8 - - caqe_2017_v1 597.08
- - xb-qsts_xbqsts1.0 24.96 - - caqe_2017_v3 597.45
xb-qsts_bqsts2.0(23.42)
xb-qsts_xbqsts2.0(24.8)
xb-qsts_xbqsts1.0(24.96)
caqe_2017_v1(597.08)
caqe_2017_v3(597.45)