Sota solver details
Prenex CNF Track

Instance: itc-b13-fixpoint-8
Best Solver: Rareqs_2018 Time: 3.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 4.2 - - - -
- - GhostQ___plain_pcnf_2019 4.44 - - - -
- - nanoqbf_bloqqer 5.46 - - - -
- - caqe-pre 6.05 - - - -
- - Caqe-hqspre 6.12 - - - -
- - Qute_opt500 6.25 - - - -
- - Qute_rrs 6.26 - - - -
- - Qute_default 6.28 - - - -
- - depqbf_pre_QxQBH 7.29 - - - -
- - nanoqbf_hqspre 7.55 - - - -
- - Caqe-bloqqer-qdo 8.18 - - - -
- - iprover_bloqqer_schedule 8.3 - - - -
- - iprover_bloqqer_single 8.4 - - - -
Rareqs_2018(3.91)
GhostQ___cegar_pcnf_2019(4.2)
GhostQ___plain_pcnf_2019(4.44)
nanoqbf_bloqqer(5.46)
caqe-pre(6.05)
Caqe-hqspre(6.12)
Qute_opt500(6.25)
Qute_rrs(6.26)
Qute_default(6.28)
depqbf_pre_QxQBH(7.29)
nanoqbf_hqspre(7.55)
Caqe-bloqqer-qdo(8.18)
iprover_bloqqer_schedule(8.3)
iprover_bloqqer_single(8.4)