Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: gttt_2_1_001020_4x4_torus_w
Best Solver: caqe_2017_v1 Time: 5.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 5.45 ghostq-cegar 46.48 ijtihad_v2 61.17
- - xb-qsts_bqsts2.0 7.58 - - qesto 80.08
- - xb-qsts_xbqsts1.0 9.05 - - rareqs 175.5
- - xb-qsts_xbqsts2.0 9.12 - - iProver-qbf-bloqqer-2017-07-27-v3 267.14
- - prefix-opt-depqbf 13.04 - - Qute_opt500 426.22
- - qbfrelay-limited-depqbf 13.34 - - Qute_random 476.19
- - ijtihad_v1 24.97 - - caqe_2017_v2 520.85
- - heretiq 25.04 - - - -
caqe_2017_v1(5.41)
caqe_2017_v3(5.45)
xb-qsts_bqsts2.0(7.58)
xb-qsts_xbqsts1.0(9.05)
xb-qsts_xbqsts2.0(9.12)
prefix-opt-depqbf(13.04)
qbfrelay-limited-depqbf(13.34)
ijtihad_v1(24.97)
heretiq(25.04)
ghostq-cegar(46.48)
ijtihad_v2(61.17)
qesto(80.08)
rareqs(175.5)
iProver-qbf-bloqqer-2017-07-27-v3(267.14)
Qute_opt500(426.22)
Qute_random(476.19)
caqe_2017_v2(520.85)
Qute_default(636.8)