Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: gttt_2_1_00011020_4x4_b
Best Solver: xb-qsts_bqsts2.0 Time: 9.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts2.0 11.15 - - caqe_2017_v1 98.94
- - xb-qsts_xbqsts1.0 11.16 - - caqe_2017_v3 99.28
- - - - - - heretiq 108.54
- - - - - - qbfrelay-limited-depqbf 157.46
- - - - - - prefix-opt-depqbf 212.71
- - - - - - qesto 304.23
- - - - - - rareqs 392.86
xb-qsts_bqsts2.0(9.38)
xb-qsts_xbqsts2.0(11.15)
xb-qsts_xbqsts1.0(11.16)
caqe_2017_v1(98.94)
caqe_2017_v3(99.28)
heretiq(108.54)
qbfrelay-limited-depqbf(157.46)
prefix-opt-depqbf(212.71)
qesto(304.23)
rareqs(392.86)