Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: C880.blif_0.10_1.00_0_0_inp_exact
Best Solver: rev_qfun0.1 Time: 1.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_plain 6.73 - - Qute_opt500 30.63
- - caqe_2017_v3 8.96 - - Qute_random 30.84
- - caqe_2017_v2 9.05 - - GhostQ-PG_cegar 35.58
- - - - - - ghostq-cegar 38.4
- - - - - - caqe_2017_v1 60.45
- - - - - - dynQBF-bloqqer-hqspre 80.76
- - - - - - rareqs 84.21
- - - - - - QELL_unit 112.68
- - - - - - Qute_default 129.63
- - - - - - QELL_default 132.78
- - - - - - xb-qsts_xbqsts2.0 178.35
- - - - - - xb-qsts_xbqsts1.0 179.73
rev_qfun0.1(1.85)
GhostQ-PG_plain(6.73)
caqe_2017_v3(8.96)
caqe_2017_v2(9.05)
Qute_opt500(30.63)
Qute_random(30.84)
GhostQ-PG_cegar(35.58)
ghostq-cegar(38.4)
caqe_2017_v1(60.45)
dynQBF-bloqqer-hqspre(80.76)
rareqs(84.21)
QELL_unit(112.68)
Qute_default(129.63)
QELL_default(132.78)
xb-qsts_xbqsts2.0(178.35)
xb-qsts_xbqsts1.0(179.73)
ijtihad_v1(272.39)
ijtihad_v2(325.11)
heretiq(350.45)
xb-qsts_bqsts2.0(580.39)