Sota solver details
Prenex CNF Track

Instance: cycle_sched_4_7_1.unsat
Best Solver: caqe-pre Time: 57.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 57.3 Rareqs_2018 355.44 - -
- - depqbf_pre_QxQBH 179.04 - - - -
caqe-pre(57.05)
Caqe-hqspre(57.3)
depqbf_pre_QxQBH(179.04)
Rareqs_2018(355.44)