Sota solver details
Prenex CNF Track

Instance: input_mouser_detect.c
Best Solver: Caqe-hqspre Time: 8.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 8.18 GhostQ___plain_pcnf_2019 57.76 Qute_default 173.45
- - - - GhostQ___cegar_pcnf_2019 58.04 - -
Caqe-hqspre(8.16)
caqe-pre(8.18)
GhostQ___plain_pcnf_2019(57.76)
GhostQ___cegar_pcnf_2019(58.04)
Qute_default(173.45)