Sota solver details
Prenex CNF Track

Instance: load_3c_comp_comp7_REAL.unsat
Best Solver: Rareqs_2018 Time: 1.81 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_hqspre 5.27 nanoqbf_bloqqer 9.85 GhostQ___cegar_pcnf_2019 47.9
- - Qute_rrs 6.59 Caqe-bloqqer-qdo 13.08 - -
- - Qute_default 6.68 - - - -
- - Qute_opt500 6.69 - - - -
- - depqbf_pre_QxQBH 8.41 - - - -
- - caqe-pre 8.54 - - - -
- - Caqe-hqspre 8.76 - - - -
Rareqs_2018(1.81)
nanoqbf_hqspre(5.27)
Qute_rrs(6.59)
Qute_default(6.68)
Qute_opt500(6.69)
depqbf_pre_QxQBH(8.41)
caqe-pre(8.54)
Caqe-hqspre(8.76)
nanoqbf_bloqqer(9.85)
Caqe-bloqqer-qdo(13.08)
GhostQ___cegar_pcnf_2019(47.9)
iprover_bloqqer_single(520.89)
iprover_bloqqer_schedule(784.69)