Sota solver details
Prenex CNF Track

Instance: fpu-10Xh-correct04-uniform-depth-18
Best Solver: Rareqs_2018 Time: 1.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 3.1 depqbf_prefix_opt_qdo 12.68 depqbf_pre_QxQBH 18.88
- - Caqe-hqspre 3.4 nanoqbf_bloqqer 12.95 - -
- - Qute_rrs 4.37 Caqe-bloqqer-qdo 13 - -
- - Qute_default 4.41 iprover_bloqqer_schedule 13.09 - -
- - Qute_opt500 4.42 iprover_bloqqer_single 13.59 - -
- - nanoqbf_hqspre 5.1 - - - -
Rareqs_2018(1.61)
caqe-pre(3.1)
Caqe-hqspre(3.4)
Qute_rrs(4.37)
Qute_default(4.41)
Qute_opt500(4.42)
nanoqbf_hqspre(5.1)
depqbf_prefix_opt_qdo(12.68)
nanoqbf_bloqqer(12.95)
Caqe-bloqqer-qdo(13)
iprover_bloqqer_schedule(13.09)
iprover_bloqqer_single(13.59)
depqbf_pre_QxQBH(18.88)
GhostQ___cegar_pcnf_2019(604.43)
GhostQ___plain_pcnf_2019(617.48)