Download

Instance #1
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 2
Meeting 2 scheduled at time 2
Meeting 3 scheduled at time 11
Meeting 4 scheduled at time 11
Meeting 5 scheduled at time 6
Meeting 6 scheduled at time 11
Meeting 7 scheduled at time 6
Meeting 8 scheduled at time 6
Meeting 9 scheduled at time 0
Meeting 10 scheduled at time 3
Meeting 11 scheduled at time 11
Meeting 12 scheduled at time 0
Meeting 13 scheduled at time 8
Meeting 14 scheduled at time 5
Meeting 15 scheduled at time 0
Meeting 16 scheduled at time 9
Meeting 17 scheduled at time 9
Meeting 18 scheduled at time 4
Meeting 19 scheduled at time 4

Instance #2
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 5
Meeting 1 scheduled at time 9
Meeting 2 scheduled at time 3
Meeting 3 scheduled at time 6
Meeting 4 scheduled at time 4
Meeting 5 scheduled at time 8
Meeting 6 scheduled at time 2
Meeting 7 scheduled at time 8
Meeting 8 scheduled at time 0
Meeting 9 scheduled at time 0
Meeting 10 scheduled at time 6
Meeting 11 scheduled at time 0
Meeting 12 scheduled at time 10
Meeting 13 scheduled at time 11
Meeting 14 scheduled at time 8
Meeting 15 scheduled at time 0
Meeting 16 scheduled at time 11
Meeting 17 scheduled at time 2
Meeting 18 scheduled at time 4
Meeting 19 scheduled at time 11

Instance #3
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 7
Meeting 2 scheduled at time 2
Meeting 3 scheduled at time 11
Meeting 4 scheduled at time 0
Meeting 5 scheduled at time 4
Meeting 6 scheduled at time 7
Meeting 7 scheduled at time 9
Meeting 8 scheduled at time 6
Meeting 9 scheduled at time 4
Meeting 10 scheduled at time 2
Meeting 11 scheduled at time 0
Meeting 12 scheduled at time 11
Meeting 13 scheduled at time 0
Meeting 14 scheduled at time 6
Meeting 15 scheduled at time 9
Meeting 16 scheduled at time 0
Meeting 17 scheduled at time 0
Meeting 18 scheduled at time 11
Meeting 19 scheduled at time 3

Instance #4
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 3
Meeting 2 scheduled at time 0
Meeting 3 scheduled at time 3
Meeting 4 scheduled at time 9
Meeting 5 scheduled at time 0
Meeting 6 scheduled at time 10
Meeting 7 scheduled at time 2
Meeting 8 scheduled at time 8
Meeting 9 scheduled at time 4
Meeting 10 scheduled at time 8
Meeting 11 scheduled at time 8
Meeting 12 scheduled at time 6
Meeting 13 scheduled at time 5
Meeting 14 scheduled at time 6
Meeting 15 scheduled at time 0
Meeting 16 scheduled at time 6
Meeting 17 scheduled at time 11
Meeting 18 scheduled at time 4
Meeting 19 scheduled at time 3

Instance #5
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 0
Meeting 2 scheduled at time 5
Meeting 3 scheduled at time 7
Meeting 4 scheduled at time 9
Meeting 5 scheduled at time 11
Meeting 6 scheduled at time 0
Meeting 7 scheduled at time 4
Meeting 8 scheduled at time 11
Meeting 9 scheduled at time 0
Meeting 10 scheduled at time 2
Meeting 11 scheduled at time 6
Meeting 12 scheduled at time 9
Meeting 13 scheduled at time 9
Meeting 14 scheduled at time 3
Meeting 15 scheduled at time 0
Meeting 16 scheduled at time 11
Meeting 17 scheduled at time 3
Meeting 18 scheduled at time 5
Meeting 19 scheduled at time 0

Instance #6
The instance is infeasible.

Instance #7
The instance is infeasible.

Instance #8
The instance is infeasible.

Instance #9
The instance is infeasible.

Instance #10
The instance is infeasible.

Instance #11
The instance is infeasible.

Instance #12
The instance is infeasible.

Instance #13
The instance is infeasible.

Instance #14
The instance is infeasible.

Instance #15
The instance is infeasible.

Instance #16
The instance is infeasible.

Instance #17
The instance is infeasible.

Instance #18
The instance is infeasible.

Instance #19
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 3
Meeting 2 scheduled at time 8
Meeting 3 scheduled at time 0
Meeting 4 scheduled at time 2
Meeting 5 scheduled at time 11
Meeting 6 scheduled at time 11
Meeting 7 scheduled at time 0
Meeting 8 scheduled at time 10
Meeting 9 scheduled at time 0
Meeting 10 scheduled at time 3
Meeting 11 scheduled at time 5
Meeting 12 scheduled at time 3
Meeting 13 scheduled at time 6
Meeting 14 scheduled at time 11
Meeting 15 scheduled at time 9
Meeting 16 scheduled at time 0
Meeting 17 scheduled at time 8
Meeting 18 scheduled at time 0
Meeting 19 scheduled at time 9
Meeting 20 scheduled at time 6
Meeting 21 scheduled at time 8
Meeting 22 scheduled at time 11
Meeting 23 scheduled at time 0
Meeting 24 scheduled at time 5
Meeting 25 scheduled at time 5
Meeting 26 scheduled at time 5
Meeting 27 scheduled at time 11
Meeting 28 scheduled at time 5
Meeting 29 scheduled at time 0
Meeting 30 scheduled at time 5
Meeting 31 scheduled at time 8
Meeting 32 scheduled at time 0
Meeting 33 scheduled at time 0
Meeting 34 scheduled at time 11
Meeting 35 scheduled at time 11
Meeting 36 scheduled at time 0
Meeting 37 scheduled at time 6
Meeting 38 scheduled at time 6
Meeting 39 scheduled at time 2

Instance #20
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 11
Meeting 2 scheduled at time 6
Meeting 3 scheduled at time 6
Meeting 4 scheduled at time 10
Meeting 5 scheduled at time 0
Meeting 6 scheduled at time 3
Meeting 7 scheduled at time 11
Meeting 8 scheduled at time 9
Meeting 9 scheduled at time 8
Meeting 10 scheduled at time 0
Meeting 11 scheduled at time 3
Meeting 12 scheduled at time 0
Meeting 13 scheduled at time 0
Meeting 14 scheduled at time 10
Meeting 15 scheduled at time 11
Meeting 16 scheduled at time 3
Meeting 17 scheduled at time 0
Meeting 18 scheduled at time 0
Meeting 19 scheduled at time 2
Meeting 20 scheduled at time 8
Meeting 21 scheduled at time 6
Meeting 22 scheduled at time 9
Meeting 23 scheduled at time 0
Meeting 24 scheduled at time 0
Meeting 25 scheduled at time 9
Meeting 26 scheduled at time 11
Meeting 27 scheduled at time 5
Meeting 28 scheduled at time 4
Meeting 29 scheduled at time 3
Meeting 30 scheduled at time 6
Meeting 31 scheduled at time 0
Meeting 32 scheduled at time 5
Meeting 33 scheduled at time 0
Meeting 34 scheduled at time 6
Meeting 35 scheduled at time 7
Meeting 36 scheduled at time 6
Meeting 37 scheduled at time 8
Meeting 38 scheduled at time 0
Meeting 39 scheduled at time 0

Instance #21
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 0
Meeting 2 scheduled at time 3
Meeting 3 scheduled at time 0
Meeting 4 scheduled at time 3
Meeting 5 scheduled at time 6
Meeting 6 scheduled at time 11
Meeting 7 scheduled at time 2
Meeting 8 scheduled at time 0
Meeting 9 scheduled at time 11
Meeting 10 scheduled at time 8
Meeting 11 scheduled at time 9
Meeting 12 scheduled at time 3
Meeting 13 scheduled at time 11
Meeting 14 scheduled at time 0
Meeting 15 scheduled at time 3
Meeting 16 scheduled at time 11
Meeting 17 scheduled at time 6
Meeting 18 scheduled at time 0
Meeting 19 scheduled at time 8
Meeting 20 scheduled at time 11
Meeting 21 scheduled at time 6
Meeting 22 scheduled at time 5
Meeting 23 scheduled at time 9
Meeting 24 scheduled at time 0
Meeting 25 scheduled at time 3
Meeting 26 scheduled at time 9
Meeting 27 scheduled at time 11
Meeting 28 scheduled at time 10
Meeting 29 scheduled at time 8
Meeting 30 scheduled at time 6
Meeting 31 scheduled at time 0
Meeting 32 scheduled at time 5
Meeting 33 scheduled at time 0
Meeting 34 scheduled at time 0
Meeting 35 scheduled at time 5
Meeting 36 scheduled at time 8
Meeting 37 scheduled at time 0
Meeting 38 scheduled at time 3
Meeting 39 scheduled at time 0

Instance #22
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 11
Meeting 2 scheduled at time 8
Meeting 3 scheduled at time 5
Meeting 4 scheduled at time 9
Meeting 5 scheduled at time 11
Meeting 6 scheduled at time 2
Meeting 7 scheduled at time 6
Meeting 8 scheduled at time 2
Meeting 9 scheduled at time 8
Meeting 10 scheduled at time 3
Meeting 11 scheduled at time 11
Meeting 12 scheduled at time 6
Meeting 13 scheduled at time 5
Meeting 14 scheduled at time 8
Meeting 15 scheduled at time 4
Meeting 16 scheduled at time 2
Meeting 17 scheduled at time 0
Meeting 18 scheduled at time 0
Meeting 19 scheduled at time 5
Meeting 20 scheduled at time 0
Meeting 21 scheduled at time 0
Meeting 22 scheduled at time 5
Meeting 23 scheduled at time 0
Meeting 24 scheduled at time 0
Meeting 25 scheduled at time 7
Meeting 26 scheduled at time 0
Meeting 27 scheduled at time 0
Meeting 28 scheduled at time 8
Meeting 29 scheduled at time 0
Meeting 30 scheduled at time 8
Meeting 31 scheduled at time 11
Meeting 32 scheduled at time 2
Meeting 33 scheduled at time 0
Meeting 34 scheduled at time 11
Meeting 35 scheduled at time 11
Meeting 36 scheduled at time 10
Meeting 37 scheduled at time 8
Meeting 38 scheduled at time 0
Meeting 39 scheduled at time 7

Instance #23
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 3
Meeting 2 scheduled at time 0
Meeting 3 scheduled at time 0
Meeting 4 scheduled at time 0
Meeting 5 scheduled at time 11
Meeting 6 scheduled at time 4
Meeting 7 scheduled at time 3
Meeting 8 scheduled at time 5
Meeting 9 scheduled at time 4
Meeting 10 scheduled at time 4
Meeting 11 scheduled at time 0
Meeting 12 scheduled at time 7
Meeting 13 scheduled at time 6
Meeting 14 scheduled at time 2
Meeting 15 scheduled at time 6
Meeting 16 scheduled at time 0
Meeting 17 scheduled at time 2
Meeting 18 scheduled at time 11
Meeting 19 scheduled at time 5
Meeting 20 scheduled at time 7
Meeting 21 scheduled at time 9
Meeting 22 scheduled at time 0
Meeting 23 scheduled at time 10
Meeting 24 scheduled at time 6
Meeting 25 scheduled at time 0
Meeting 26 scheduled at time 7
Meeting 27 scheduled at time 8
Meeting 28 scheduled at time 8
Meeting 29 scheduled at time 0
Meeting 30 scheduled at time 2
Meeting 31 scheduled at time 11
Meeting 32 scheduled at time 4
Meeting 33 scheduled at time 5
Meeting 34 scheduled at time 0
Meeting 35 scheduled at time 7
Meeting 36 scheduled at time 11
Meeting 37 scheduled at time 0
Meeting 38 scheduled at time 0
Meeting 39 scheduled at time 3

Instance #24
The instance is satisfiable and has the following solution:
Meeting 0 scheduled at time 0
Meeting 1 scheduled at time 0
Meeting 2 scheduled at time 0
Meeting 3 scheduled at time 11
Meeting 4 scheduled at time 11
Meeting 5 scheduled at time 7
Meeting 6 scheduled at time 11
Meeting 7 scheduled at time 7
Meeting 8 scheduled at time 5
Meeting 9 scheduled at time 7
Meeting 10 scheduled at time 0
Meeting 11 scheduled at time 0
Meeting 12 scheduled at time 4
Meeting 13 scheduled at time 0
Meeting 14 scheduled at time 7
Meeting 15 scheduled at time 9
Meeting 16 scheduled at time 10
Meeting 17 scheduled at time 4
Meeting 18 scheduled at time 4
Meeting 19 scheduled at time 0
Meeting 20 scheduled at time 7
Meeting 21 scheduled at time 3
Meeting 22 scheduled at time 0
Meeting 23 scheduled at time 0
Meeting 24 scheduled at time 9
Meeting 25 scheduled at time 11
Meeting 26 scheduled at time 3
Meeting 27 scheduled at time 0
Meeting 28 scheduled at time 0
Meeting 29 scheduled at time 0
Meeting 30 scheduled at time 11
Meeting 31 scheduled at time 7
Meeting 32 scheduled at time 0
Meeting 33 scheduled at time 0
Meeting 34 scheduled at time 0
Meeting 35 scheduled at time 0
Meeting 36 scheduled at time 7
Meeting 37 scheduled at time 3
Meeting 38 scheduled at time 5
Meeting 39 scheduled at time 3

Instance #25
The instance is infeasible.

Instance #26
The instance is infeasible.

Instance #27
The instance is infeasible.