Sota solver details
Prenex CNF Track

Instance: texas.PI_main^08.E-f3
Best Solver: GhostQ___cegar_pcnf_2019 Time: 2.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 2.87 depqbf_pre_QxQBH 15.38 Qute_rrs 186.47
- - nanoqbf_bloqqer 5.28 caqe-pre 19.02 - -
- - iprover_bloqqer_schedule 7.39 Caqe-hqspre 19.18 - -
- - iprover_bloqqer_single 7.41 - - - -

GhostQ___cegar_pcnf_2019(2.7)
GhostQ___plain_pcnf_2019(2.87)
nanoqbf_bloqqer(5.28)
iprover_bloqqer_schedule(7.39)
iprover_bloqqer_single(7.41)
depqbf_pre_QxQBH(15.38)
caqe-pre(19.02)
Caqe-hqspre(19.18)
Qute_rrs(186.47)
nanoqbf_hqspre(458.62)