Sota solver details
Prenex CNF Track

Instance: szymanski-24-s
Best Solver: Rareqs_2018 Time: 64.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 115.14 caqe-pre 428.1 - -
- - GhostQ___cegar_pcnf_2019 118.57 Caqe-hqspre 428.66 - -
- - Qute_default 172.97 nanoqbf_hqspre 621.82 - -
- - Qute_rrs 173.69 - - - -
- - nanoqbf_bloqqer 213.25 - - - -
Rareqs_2018(64.54)
GhostQ___plain_pcnf_2019(115.14)
GhostQ___cegar_pcnf_2019(118.57)
Qute_default(172.97)
Qute_rrs(173.69)
nanoqbf_bloqqer(213.25)
caqe-pre(428.1)
Caqe-hqspre(428.66)
nanoqbf_hqspre(621.82)