Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: Core1108_tbm_21.tex.module.000008
Best Solver: xb-qsts_bqsts2.0 Time: 11.83 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 12.47 - - caqe_2017_v1 324.47
- - xb-qsts_xbqsts2.0 17.04 - - caqe_2017_v3 327.02
- - xb-qsts_xbqsts1.0 17.1 - - heretiq 580.96
- - prefix-opt-depqbf 50.1 - - qesto 774.92
- - qbfrelay-limited-depqbf 52.14 - - - -
xb-qsts_bqsts2.0(11.83)
caqe_2017_v2(12.47)
xb-qsts_xbqsts2.0(17.04)
xb-qsts_xbqsts1.0(17.1)
prefix-opt-depqbf(50.1)
qbfrelay-limited-depqbf(52.14)
caqe_2017_v1(324.47)
caqe_2017_v3(327.02)
heretiq(580.96)
qesto(774.92)