Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: cf_2_9x6_r_
Best Solver: caqe_2017_v1 Time: 9.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 9.65 rareqs 56.8 ghostq-cegar 203.33
- - heretiq 13.76 - - GhostQ-PG_cegar 385
- - ijtihad_v1 13.79 - - GhostQ-PG_plain 387.68
- - ijtihad_v2 13.85 - - Qute_opt500 436.36
- - prefix-opt-depqbf 14.61 - - Qute_default 466.64
- - qbfrelay-limited-depqbf 15.31 - - Qute_random 491.22
- - caqe_2017_v2 37.38 - - - -
caqe_2017_v1(9.56)
caqe_2017_v3(9.65)
heretiq(13.76)
ijtihad_v1(13.79)
ijtihad_v2(13.85)
prefix-opt-depqbf(14.61)
qbfrelay-limited-depqbf(15.31)
caqe_2017_v2(37.38)
rareqs(56.8)
ghostq-cegar(203.33)
GhostQ-PG_cegar(385)
GhostQ-PG_plain(387.68)
Qute_opt500(436.36)
Qute_default(466.64)
Qute_random(491.22)