1############################################### 2# 3# Constraints 4# 5 6############################################### 7 8cons001.txt -> SUCCESS 9cons002.txt -> SUCCESS 10cons003.txt -> SUCCESS 11cons004.txt -> SUCCESS 12cons005.txt -> SUCCESS 13cons006.txt -> SUCCESS 14cons007.txt -> SUCCESS 15cons008.txt -> SUCCESS 16cons009.txt -> SUCCESS 17cons100.txt -> SUCCESS 18cons101.txt -> SUCCESS 19 20cons102.txt -> SUCCESS [NO_SEEDING] 21cons103.txt -> SUCCESS [NO_SEEDING] 22cons104.txt -> SUCCESS [NO_SEEDING] 23cons105.txt -> SUCCESS [NO_SEEDING] 24cons110.txt -> SUCCESS [NO_SEEDING] 25 26cons102.txt -c -> SUCCESS 27 28cons106.txt -> SUCCESS 29cons109.txt -> SUCCESS 30cons042.txt -> SUCCESS 31cons049.txt -> SUCCESS 32cons062.txt -> SUCCESS 33cons070.txt -> SUCCESS 34cons072.txt -> SUCCESS 35cons206.txt -> SUCCESS 36cons206.txt -c -> SUCCESS 37cons220.txt -> SUCCESS 38cons221.txt -> SUCCESS 39cons222.txt -> SUCCESS 40 41cons037.txt -> SUCCESS 42cons038.txt -> SUCCESS 43cons070.txt -c -> SUCCESS 44cons072.txt /C -> SUCCESS 45cons103.txt -C -> SUCCESS 46cons104.txt /c -> SUCCESS 47cons105.txt /C -> SUCCESS 48cons109.txt -c -> SUCCESS 49cons110.txt /c -> SUCCESS 50 51cons010.txt -> BAD_CONSTRAINTS 52cons011.txt -> BAD_CONSTRAINTS 53cons012.txt -> BAD_CONSTRAINTS 54cons013.txt -> BAD_CONSTRAINTS 55cons014.txt -> BAD_CONSTRAINTS 56cons020.txt -> BAD_CONSTRAINTS 57cons021.txt -> BAD_CONSTRAINTS 58cons030.txt -> BAD_CONSTRAINTS 59cons031.txt -> BAD_CONSTRAINTS 60cons200.txt -> BAD_CONSTRAINTS 61cons201.txt -> BAD_CONSTRAINTS 62cons203.txt -> BAD_MODEL 63cons204.txt -> BAD_CONSTRAINTS 64cons205.txt -> BAD_CONSTRAINTS 65cons032.txt -> BAD_CONSTRAINTS 66cons033.txt -> BAD_CONSTRAINTS 67cons034.txt -> BAD_CONSTRAINTS 68cons035.txt -> BAD_CONSTRAINTS 69cons036.txt -> BAD_CONSTRAINTS 70cons039.txt -> BAD_CONSTRAINTS 71cons040.txt -> BAD_CONSTRAINTS 72cons041.txt -> BAD_CONSTRAINTS 73cons043.txt -> BAD_CONSTRAINTS 74cons044.txt -> BAD_CONSTRAINTS 75cons045.txt -> BAD_CONSTRAINTS 76cons046.txt -> BAD_CONSTRAINTS 77cons047.txt -> BAD_CONSTRAINTS 78cons048.txt -> BAD_CONSTRAINTS 79cons050.txt -> BAD_CONSTRAINTS 80cons051.txt -> BAD_CONSTRAINTS 81cons052.txt -> BAD_CONSTRAINTS 82cons053.txt -> BAD_CONSTRAINTS 83cons054.txt -> BAD_CONSTRAINTS 84cons055.txt -> BAD_CONSTRAINTS 85cons056.txt -> BAD_CONSTRAINTS 86cons057.txt -> BAD_CONSTRAINTS 87cons058.txt -> BAD_CONSTRAINTS 88cons059.txt -> BAD_CONSTRAINTS 89cons060.txt -> BAD_CONSTRAINTS 90cons061.txt -> BAD_CONSTRAINTS 91cons063.txt -> BAD_CONSTRAINTS 92cons064.txt -> BAD_CONSTRAINTS 93cons065.txt -> BAD_CONSTRAINTS 94cons066.txt -> BAD_CONSTRAINTS 95cons067.txt -> BAD_CONSTRAINTS 96cons068.txt -> BAD_CONSTRAINTS 97cons069.txt -> BAD_CONSTRAINTS 98cons071.txt -> BAD_CONSTRAINTS 99cons071.txt /c -> BAD_CONSTRAINTS 100cons073.txt -> BAD_CONSTRAINTS 101cons074.txt -> BAD_CONSTRAINTS 102cons075.txt -> BAD_CONSTRAINTS 103cons076.txt -> BAD_CONSTRAINTS 104cons077.txt -> BAD_CONSTRAINTS 105 106cons300.txt -> SUCCESS 107cons301.txt -> SUCCESS 108cons302.txt -> SUCCESS 109cons303.txt -> SUCCESS 110cons304.txt -> SUCCESS 111 112# 113# testing of ELSE keyword 114# 115cons350.txt -> SUCCESS 116cons351.txt -> SUCCESS 117cons352.txt -> SUCCESS 118 119cons355.txt -> BAD_CONSTRAINTS 120cons356.txt -> BAD_CONSTRAINTS 121cons357.txt -> BAD_CONSTRAINTS 122cons358.txt -> BAD_CONSTRAINTS 123cons359.txt -> BAD_CONSTRAINTS 124 125# 126# constraints too restrictive 127# 128 129cons400.txt -> BAD_CONSTRAINTS 130cons401.txt -> BAD_CONSTRAINTS 131