WSAT(OIP), V1.90 (c) 1997 J.P. Walser, Universitaet des Saarlandes
[ max-moves=2000000, max-tries=1000, seed=573422
p(noise)=0.01000, p(zero)=0.900, p(hard)=1.000 [relative]
objective lower bound: none
hillclimb: minimize total score
tabu list length: 2, score aspiration on
cycle detection length: 0
maximum trigger of FD variables: 2
history mechanism by i) frequency ii) recency: on
(no history in noise branch) ]
The problem has 1773 variables (0 finite domain) and 3479 clauses (0 soft).
[...]
Te \ We 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
Clem: + UNC + FSU Duke + Wake UVA + + Bye GT + + UMD + NCSt Bye
Duke: UMD + + GT + FSU Bye + NCSt + UNC Wake + Clem + Bye UVA +
FSU: + Wake NCSt + Bye + UVA UNC + UMD + + Clem Bye Duke + + GT
GT: + UVA Clem + UMD Bye + NCSt + Wake FSU + Duke + Bye UNC + +
UMD: + Bye UNC + + Clem + Duke Bye + UVA + Wake GT + NCSt FSU +
UNC: FSU + + UVA + + GT + Clem Bye + UMD + NCSt Wake + Bye Duke
NCSt: GT Duke + Bye UNC + UMD + + Clem + FSU Bye + UVA + + Wake
UVA: Clem + Bye + Wake NCSt + + GT Duke + Bye UNC + + FSU + UMD
Wake: Bye + Duke UMD + UNC + Bye FSU + NCSt + + UVA + Clem GT +
Schreuder table:
| 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8
--+------------------------------------------------------
1 | +8 -6 +4 -3 -2 +5 -9 -8 +6 +7 0 -4 +3 +2 -5 +9 -7 0
2 | -5 +7 +9 -4 +1 -3 0 +5 -7 +8 -6 -9 +4 -1 +3 0 -8 +6
3 | +6 -9 -7 +1 0 +2 -8 -6 +9 -5 +4 +7 -1 0 -2 +8 +5 -4
4 | +7 -8 -1 +2 -5 0 +6 -7 +8 -9 -3 +1 -2 +5 0 -6 +9 +3
5 | +2 0 -6 +9 +4 -1 +7 -2 0 +3 -8 +6 -9 -4 +1 -7 -3 +8
6 | -3 +1 +5 -8 +7 +9 -4 +3 -1 0 +2 -5 +8 -7 -9 +4 0 -2
7 | -4 -2 +3 0 -6 +8 -5 +4 +2 -1 +9 -3 0 +6 -8 +5 +1 -9
8 | -1 +4 0 +6 -9 -7 +3 +1 -4 -2 +5 0 -6 +9 +7 -3 +2 -5
9 | 0 +3 -2 -5 +8 -6 +1 0 -3 +4 -7 +2 +5 -8 +6 -1 -4 +7
Statistics:
Length 3 or more Home (Bye=Away): 0
HB3: Length 3 or more Home (Bye=Home): 3
AB3:Length 3 or more Away (Bye=Away): 1
HB3w: 3 consecutive weekends at home (Bye=Home): 5
AB3w: 3 consecutive weekends away (Bye=Away): 4
Teams starting Away/Away: 1
Teams ending Away/Away: 0
Consecutive Duke/UNC A/A: should be 0
Consecutive Duke/UNC/Wake: should be 0
A rounds: 4, B rounds: 4, bad rounds: 0