Number of variables: 20

Number of clauses: 93

Initial assignments: [ True False True False True False False True False True False False False True False False True False False True]

Initial energy (unsatisfied clauses): 28

Iteration 1, Energy: 25

Iteration 201, Energy: 8

Iteration 401, Energy: 2

Iteration 601, Energy: 0

Solution found!

Final assignments: [ True False False True False False False True False False False True False False False True False False False True]

Final energy (unsatisfied clauses): 0

Schedule:

Course C1 at Time T1 in Room R1

Course C2 at Time T2 in Room R1

Course C3 at Time T1 in Room R2

Course C4 at Time T2 in Room R2

Course C5 at Time T2 in Room R2

Solution verified: Valid schedule!