Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: gttt_1_1_000111_4x4_torus_b
Best Solver: xb-qsts_bqsts2.0 Time: 38.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 43.98 heretiq 228.4 ghostq-cegar 470.22
- - xb-qsts_xbqsts2.0 43.99 - - - -
- - qbfrelay-limited-depqbf 51.92 - - - -
- - prefix-opt-depqbf 52.14 - - - -
- - caqe_2017_v1 81.99 - - - -
- - caqe_2017_v3 82.21 - - - -
xb-qsts_bqsts2.0(38.8)
xb-qsts_xbqsts1.0(43.98)
xb-qsts_xbqsts2.0(43.99)
qbfrelay-limited-depqbf(51.92)
prefix-opt-depqbf(52.14)
caqe_2017_v1(81.99)
caqe_2017_v3(82.21)
heretiq(228.4)
ghostq-cegar(470.22)