Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: Umbrella_tbm_05.tex.module.000039
Best Solver: caqe_2017_v2 Time: 22.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - prefix-opt-depqbf 55.12 xb-qsts_bqsts2.0 178.24 heretiq 461.24
- - qbfrelay-limited-depqbf 55.69 xb-qsts_xbqsts2.0 191.5 caqe_2017_v3 753.15
- - - - xb-qsts_xbqsts1.0 194.84 caqe_2017_v1 756.93
caqe_2017_v2(22.95)
prefix-opt-depqbf(55.12)
qbfrelay-limited-depqbf(55.69)
xb-qsts_bqsts2.0(178.24)
xb-qsts_xbqsts2.0(191.5)
xb-qsts_xbqsts1.0(194.84)
heretiq(461.24)
caqe_2017_v3(753.15)
caqe_2017_v1(756.93)