Sota solver details
Prenex CNF Track

Instance: itc-b13-fixpoint-9
Best Solver: Rareqs_2018 Time: 1.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 5.86 nanoqbf_bloqqer 6.97 GhostQ___cegar_pcnf_2019 12.77
- - - - Qute_opt500 7.66 - -
- - - - Qute_rrs 7.78 - -
- - - - Qute_default 7.8 - -
- - - - iprover_bloqqer_schedule 9.59 - -
- - - - Caqe-bloqqer-qdo 9.68 - -
- - - - iprover_bloqqer_single 9.73 - -
- - - - caqe-pre 10.09 - -
- - - - Caqe-hqspre 10.13 - -
- - - - nanoqbf_hqspre 11.47 - -
- - - - depqbf_pre_QxQBH 11.71 - -
Rareqs_2018(1.21)
GhostQ___plain_pcnf_2019(5.86)
nanoqbf_bloqqer(6.97)
Qute_opt500(7.66)
Qute_rrs(7.78)
Qute_default(7.8)
iprover_bloqqer_schedule(9.59)
Caqe-bloqqer-qdo(9.68)
iprover_bloqqer_single(9.73)
caqe-pre(10.09)
Caqe-hqspre(10.13)
nanoqbf_hqspre(11.47)
depqbf_pre_QxQBH(11.71)
GhostQ___cegar_pcnf_2019(12.77)