Sota solver details
Prenex non-CNF Track

Instance: JP-unsat-03-07-4
Best Solver: Cqesto_2018 Time: 199.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 493.76 - - - -
- - quabs___caqe-hqspre 872.35 - - - -
Cqesto_2018(199.77)
Quabs_2018(493.76)
quabs___caqe-hqspre(872.35)