Sota solver details
Prenex CNF Track

Instance: cycle_sched_6_6_2.sat
Best Solver: Rareqs_2018 Time: 20.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Caqe-bloqqer-qdo 104.86 depqbf_pre_QxQBH 250.57
- - - - - - caqe-pre 465.36
Rareqs_2018(20.09)
Caqe-bloqqer-qdo(104.86)
depqbf_pre_QxQBH(250.57)
caqe-pre(465.36)