Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
Best Solver: Qute_opt500 Time: 3.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 3.7 rareqs 36.99 - -
- - caqe_2017_v2 5.51 - - - -
- - caqe_2017_v3 5.55 - - - -
- - caqe_2017_v1 9.3 - - - -
- - Qute_default 11.79 - - - -
Qute_opt500(3.7)
Qute_random(3.7)
caqe_2017_v2(5.51)
caqe_2017_v3(5.55)
caqe_2017_v1(9.3)
Qute_default(11.79)
rareqs(36.99)
qesto(396.36)
xb-qsts_xbqsts1.0(745.13)
xb-qsts_xbqsts2.0(747.22)
xb-qsts_bqsts2.0(748.28)