Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: gttt_1_1_000111_4x4_torus_w
Best Solver: xb-qsts_bqsts2.0 Time: 7.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 9.51 heretiq 42.79 ijtihad_v2 377.24
- - caqe_2017_v3 9.65 - - - -
- - caqe_2017_v1 9.69 - - - -
- - xb-qsts_xbqsts2.0 9.73 - - - -
- - prefix-opt-depqbf 34.51 - - - -
- - qbfrelay-limited-depqbf 35.01 - - - -
- - ghostq-cegar 35.59 - - - -
- - ijtihad_v1 38.46 - - - -
- - qesto 38.57 - - - -
xb-qsts_bqsts2.0(7.76)
xb-qsts_xbqsts1.0(9.51)
caqe_2017_v3(9.65)
caqe_2017_v1(9.69)
xb-qsts_xbqsts2.0(9.73)
prefix-opt-depqbf(34.51)
qbfrelay-limited-depqbf(35.01)
ghostq-cegar(35.59)
ijtihad_v1(38.46)
qesto(38.57)
heretiq(42.79)
ijtihad_v2(377.24)