mon: alice (1.0)
tue: alice (1.0)
fri: bob (1.0)
wed: carol (1.0)
thu: carol (1.0)

vars  x[1.0, 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0, 0.0, 0.0, 1.0, 1.0, 0.0] s[-0.5, -0.5, -0.5]
coverdays:
  1.0 x[alice,mon] + 1.0 x[bob,mon] + 1.0 x[carol,mon] = 1.0
  1.0 x[alice,tue] + 1.0 x[bob,tue] + 1.0 x[carol,tue] = 1.0
  1.0 x[alice,wed] + 1.0 x[bob,wed] + 1.0 x[carol,wed] = 1.0
  1.0 x[alice,thu] + 1.0 x[bob,thu] + 1.0 x[carol,thu] = 1.0
  1.0 x[alice,fri] + 1.0 x[bob,fri] + 1.0 x[carol,fri] = 1.0
maxtasks:
  1.0 x[alice,mon] + 1.0 x[alice,tue] + 1.0 x[alice,wed] + 1.0 x[alice,thu] + 1.0 x[alice,fri] + 1.0 s[alice] = 2.0
  1.0 x[bob,mon] + 1.0 x[bob,tue] + 1.0 x[bob,wed] + 1.0 x[bob,thu] + 1.0 x[bob,fri] + 1.0 s[bob] = 2.0
  1.0 x[carol,mon] + 1.0 x[carol,tue] + 1.0 x[carol,wed] + 1.0 x[carol,thu] + 1.0 x[carol,fri] + 1.0 s[carol] = 2.0

mon: alice
tue: alice
wed: carol
thu: carol
fri: bob
#satisfied preferences: 4.5