Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: gttt_2_1_00102030_4x4_torus_b
Best Solver: xb-qsts_bqsts2.0 Time: 8.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts1.0 10.94 prefix-opt-depqbf 42.93 qesto 110.42
- - xb-qsts_xbqsts2.0 11 qbfrelay-limited-depqbf 43.8 caqe_2017_v2 151.74
- - heretiq 37.64 caqe_2017_v1 46.03 Qute_opt500 473.35
- - - - caqe_2017_v3 46.91 Qute_random 522.08
- - - - rareqs 73.17 - -
xb-qsts_bqsts2.0(8.3)
xb-qsts_xbqsts1.0(10.94)
xb-qsts_xbqsts2.0(11)
heretiq(37.64)
prefix-opt-depqbf(42.93)
qbfrelay-limited-depqbf(43.8)
caqe_2017_v1(46.03)
caqe_2017_v3(46.91)
rareqs(73.17)
qesto(110.42)
caqe_2017_v2(151.74)
Qute_opt500(473.35)
Qute_random(522.08)