Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
Best Solver: Qute_random Time: 4.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 4.11 - - qesto 42.39
- - Qute_default 5.98 - - - -
- - rareqs 8.39 - - - -
- - caqe_2017_v1 9.3 - - - -
- - caqe_2017_v2 10.41 - - - -
- - caqe_2017_v3 10.48 - - - -
- - xb-qsts_bqsts2.0 11.29 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 11.77 - - - -
- - xb-qsts_xbqsts1.0 12.3 - - - -
- - xb-qsts_xbqsts2.0 12.4 - - - -
Qute_random(4.1)
Qute_opt500(4.11)
Qute_default(5.98)
rareqs(8.39)
caqe_2017_v1(9.3)
caqe_2017_v2(10.41)
caqe_2017_v3(10.48)
xb-qsts_bqsts2.0(11.29)
iProver-qbf-bloqqer-2017-07-27-v3(11.77)
xb-qsts_xbqsts1.0(12.3)
xb-qsts_xbqsts2.0(12.4)
qesto(42.39)
GhostQ-PG_cegar(861.76)
ghostq-cegar(864.61)