% Desafio 1 — std2
% 40 exames, 10 slots, 13 salas, 14 docentes, 90 conflitos

exame(e1). exame(e2). exame(e3). exame(e4). exame(e5). exame(e6). exame(e7). exame(e8).
exame(e9). exame(e10). exame(e11). exame(e12). exame(e13). exame(e14). exame(e15). exame(e16).
exame(e17). exame(e18). exame(e19). exame(e20). exame(e21). exame(e22). exame(e23). exame(e24).
exame(e25). exame(e26). exame(e27). exame(e28). exame(e29). exame(e30). exame(e31). exame(e32).
exame(e33). exame(e34). exame(e35). exame(e36). exame(e37). exame(e38). exame(e39). exame(e40).
slot(1..10).
sala(a1). sala(a2). sala(s1). sala(s2). sala(s3). sala(s4). sala(s5). sala(s6).
sala(s7). sala(s8). sala(l1). sala(l2). sala(l3).
docente(d1). docente(d2). docente(d3). docente(d4). docente(d5). docente(d6). docente(d7). docente(d8).
docente(d9). docente(d10). docente(d11). docente(d12). docente(d13). docente(d14).

compativel(escrito,anfiteatro). compativel(escrito,sala). compativel(computador,laboratorio).
tipo(a1,anfiteatro). tipo(a2,anfiteatro). tipo(s1,sala). tipo(s2,sala). tipo(s3,sala). tipo(s4,sala).
tipo(s5,sala). tipo(s6,sala). tipo(s7,sala). tipo(s8,sala). tipo(l1,laboratorio). tipo(l2,laboratorio).
tipo(l3,laboratorio).
capacidade(a1,180). capacidade(a2,300). capacidade(s1,50). capacidade(s2,40). capacidade(s3,80). capacidade(s4,80).
capacidade(s5,40). capacidade(s6,60). capacidade(s7,50). capacidade(s8,80). capacidade(l1,60). capacidade(l2,20).
capacidade(l3,30).
tipo_exame(e1,escrito). tipo_exame(e2,computador). tipo_exame(e3,escrito). tipo_exame(e4,escrito). tipo_exame(e5,escrito).
tipo_exame(e6,computador). tipo_exame(e7,escrito). tipo_exame(e8,escrito). tipo_exame(e9,computador). tipo_exame(e10,escrito).
tipo_exame(e11,escrito). tipo_exame(e12,escrito). tipo_exame(e13,escrito). tipo_exame(e14,computador). tipo_exame(e15,escrito).
tipo_exame(e16,escrito). tipo_exame(e17,computador). tipo_exame(e18,escrito). tipo_exame(e19,escrito). tipo_exame(e20,escrito).
tipo_exame(e21,escrito). tipo_exame(e22,computador). tipo_exame(e23,escrito). tipo_exame(e24,computador). tipo_exame(e25,escrito).
tipo_exame(e26,computador). tipo_exame(e27,computador). tipo_exame(e28,escrito). tipo_exame(e29,escrito). tipo_exame(e30,computador).
tipo_exame(e31,escrito). tipo_exame(e32,computador). tipo_exame(e33,computador). tipo_exame(e34,escrito). tipo_exame(e35,computador).
tipo_exame(e36,escrito). tipo_exame(e37,escrito). tipo_exame(e38,computador). tipo_exame(e39,escrito). tipo_exame(e40,escrito).
inscritos(e1,46). inscritos(e2,10). inscritos(e3,36). inscritos(e4,34). inscritos(e5,44). inscritos(e6,25).
inscritos(e7,260). inscritos(e8,243). inscritos(e9,13). inscritos(e10,79). inscritos(e11,60). inscritos(e12,34).
inscritos(e13,46). inscritos(e14,21). inscritos(e15,37). inscritos(e16,37). inscritos(e17,20). inscritos(e18,32).
inscritos(e19,31). inscritos(e20,118). inscritos(e21,158). inscritos(e22,37). inscritos(e23,188). inscritos(e24,25).
inscritos(e25,33). inscritos(e26,20). inscritos(e27,36). inscritos(e28,76). inscritos(e29,28). inscritos(e30,16).
inscritos(e31,29). inscritos(e32,28). inscritos(e33,22). inscritos(e34,40). inscritos(e35,38). inscritos(e36,97).
inscritos(e37,49). inscritos(e38,45). inscritos(e39,237). inscritos(e40,69).
vigilantes(e1,1). vigilantes(e2,1). vigilantes(e3,1). vigilantes(e4,1). vigilantes(e5,1). vigilantes(e6,1).
vigilantes(e7,3). vigilantes(e8,3). vigilantes(e9,1). vigilantes(e10,2). vigilantes(e11,1). vigilantes(e12,1).
vigilantes(e13,1). vigilantes(e14,1). vigilantes(e15,1). vigilantes(e16,1). vigilantes(e17,1). vigilantes(e18,1).
vigilantes(e19,1). vigilantes(e20,2). vigilantes(e21,3). vigilantes(e22,1). vigilantes(e23,3). vigilantes(e24,1).
vigilantes(e25,1). vigilantes(e26,1). vigilantes(e27,1). vigilantes(e28,2). vigilantes(e29,1). vigilantes(e30,1).
vigilantes(e31,1). vigilantes(e32,1). vigilantes(e33,1). vigilantes(e34,1). vigilantes(e35,1). vigilantes(e36,2).
vigilantes(e37,1). vigilantes(e38,1). vigilantes(e39,3). vigilantes(e40,2).
conflito(e1,e6). conflito(e1,e13). conflito(e1,e18). conflito(e22,e1). conflito(e2,e15). conflito(e2,e16).
conflito(e20,e2). conflito(e2,e24). conflito(e2,e26). conflito(e36,e2). conflito(e3,e10). conflito(e3,e11).
conflito(e3,e18). conflito(e23,e3). conflito(e24,e3). conflito(e30,e3). conflito(e4,e14). conflito(e4,e19).
conflito(e32,e4). conflito(e4,e35). conflito(e23,e5). conflito(e5,e24). conflito(e31,e5). conflito(e5,e36).
conflito(e6,e9). conflito(e6,e12). conflito(e30,e6). conflito(e6,e35). conflito(e6,e37). conflito(e14,e7).
conflito(e7,e29). conflito(e7,e34). conflito(e8,e17). conflito(e8,e18). conflito(e27,e8). conflito(e32,e8).
conflito(e38,e8). conflito(e9,e24). conflito(e26,e9). conflito(e30,e9). conflito(e35,e9). conflito(e10,e11).
conflito(e10,e19). conflito(e10,e20). conflito(e10,e23). conflito(e26,e10). conflito(e35,e10). conflito(e13,e11).
conflito(e16,e11). conflito(e18,e11). conflito(e19,e12). conflito(e25,e12). conflito(e33,e12). conflito(e13,e16).
conflito(e13,e22). conflito(e14,e17). conflito(e27,e14). conflito(e32,e14). conflito(e15,e21). conflito(e29,e15).
conflito(e31,e16). conflito(e16,e32). conflito(e34,e16). conflito(e17,e20). conflito(e24,e17). conflito(e27,e17).
conflito(e36,e17). conflito(e18,e19). conflito(e18,e22). conflito(e33,e18). conflito(e19,e38). conflito(e27,e20).
conflito(e21,e22). conflito(e21,e35). conflito(e32,e22). conflito(e23,e24). conflito(e23,e25). conflito(e26,e23).
conflito(e27,e25). conflito(e25,e30). conflito(e34,e25). conflito(e33,e26). conflito(e34,e28). conflito(e31,e29).
conflito(e29,e38). conflito(e38,e30). conflito(e39,e30). conflito(e32,e38). conflito(e37,e34). conflito(e40,e35).
fixado(e11,5). fixado(e17,6).
max_vigias(d1,3). max_vigias(d2,5). max_vigias(d3,4). max_vigias(d4,4). max_vigias(d5,4). max_vigias(d6,5).
max_vigias(d7,5). max_vigias(d8,4). max_vigias(d9,6). max_vigias(d10,5). max_vigias(d11,4). max_vigias(d12,5).
max_vigias(d13,4). max_vigias(d14,4).
indisponivel(d1,4). indisponivel(d2,3). indisponivel(d2,6). indisponivel(d2,8). indisponivel(d3,4). indisponivel(d5,5).
indisponivel(d5,6). indisponivel(d5,7). indisponivel(d6,7). indisponivel(d7,1). indisponivel(d7,2). indisponivel(d8,2).
indisponivel(d8,4). indisponivel(d9,3). indisponivel(d12,1). indisponivel(d12,4). indisponivel(d14,8). indisponivel(d14,9).