Sota solver details
Prenex CNF Track

Instance: fpu-01Xh-error02-nonuniform-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-hqspre 3.29 Caqe-bloqqer-qdo 13.07 depqbf_pre_QxQBH 17.94
- - caqe-pre 3.45 iprover_bloqqer_schedule 13.1 - -
- - Qute_rrs 4.19 nanoqbf_bloqqer 13.29 - -
- - Qute_opt500 4.2 iprover_bloqqer_single 13.41 - -
- - Qute_default 4.31 depqbf_prefix_opt_qdo 13.42 - -
- - nanoqbf_hqspre 4.9 - - - -
Rareqs_2018(1.61)
Caqe-hqspre(3.29)
caqe-pre(3.45)
Qute_rrs(4.19)
Qute_opt500(4.2)
Qute_default(4.31)
nanoqbf_hqspre(4.9)
Caqe-bloqqer-qdo(13.07)
iprover_bloqqer_schedule(13.1)
nanoqbf_bloqqer(13.29)
iprover_bloqqer_single(13.41)
depqbf_prefix_opt_qdo(13.42)
depqbf_pre_QxQBH(17.94)
GhostQ___cegar_pcnf_2019(308.3)
GhostQ___plain_pcnf_2019(308.48)