Sota solver details
Prenex CNF Track

Instance: fpu-10Xh-correct04-nonuniform-depth-14
Best Solver: Rareqs_2018 Time: 1.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 2.68 nanoqbf_bloqqer 10.22 depqbf_pre_QxQBH 14.23
- - caqe-pre 2.71 depqbf_prefix_opt_qdo 10.39 - -
- - Qute_opt500 3.38 iprover_bloqqer_single 10.71 - -
- - Qute_default 3.43 Caqe-bloqqer-qdo 10.82 - -
- - Qute_rrs 3.46 iprover_bloqqer_schedule 10.87 - -
- - nanoqbf_hqspre 3.88 - - - -
Rareqs_2018(1.3)
Caqe-hqspre(2.68)
caqe-pre(2.71)
Qute_opt500(3.38)
Qute_default(3.43)
Qute_rrs(3.46)
nanoqbf_hqspre(3.88)
nanoqbf_bloqqer(10.22)
depqbf_prefix_opt_qdo(10.39)
iprover_bloqqer_single(10.71)
Caqe-bloqqer-qdo(10.82)
iprover_bloqqer_schedule(10.87)
depqbf_pre_QxQBH(14.23)
GhostQ___plain_pcnf_2019(233.1)
GhostQ___cegar_pcnf_2019(237.69)