import manipulationData as md import sys from glob import glob for n in [1,2,4,8,16,32,64,128,256]: for cands in [3,5]: for distribution in ['uniform', 'condorcet', 'spatial']: for rule in ['borda','veto','plurality','irv','copeland','pluralityWithRunoff']: print n, cands, distribution, rule base = ('/home/stu2/s1/cxc0117/thesis/run/data/' + '-'.join([distribution[0], str(cands), str(n), rule])) files = [base + '.repo'] + glob(base + '*out??') repo = md.readFiles(*files) md.writeRepo(repo, base + '.repo')
for cands in [3,5]: for distribution in ['uniform', 'condorcet', 'spatial']: for rule in ['borda','veto','irv','copeland','pluralityWithRunoff']: if cands == 3 and rule == 'pluralityWithRunoff': continue if n == 256 and distribution != 'uniform': continue print n, cands, distribution, rule base1 = ('/home/stu2/s1/cxc0117/thesis/run/data/' + '-'.join([distribution[0], str(cands), str(n), rule])) base2 = ('/home/stu2/s1/cxc0117/thesis/run/bfdata/' + '-'.join([distribution[0], str(cands), str(n), rule])) repo1 = md.readFiles(base1 + '.repo') repo2 = md.readFiles(base2 + '.repo') for i in range(1,1001): try: lowers1 = repo1[(i, 'lower')] uppers1 = repo1[(i, 'upper')] lowers2 = repo2[(i, 'lower')] uppers2 = repo2[(i, 'upper')] except KeyError: print 'Cannot check %d' % i continue if not consistent(lowers1, uppers1, lowers2, uppers2): print 'OH SHIT!' print i, print 'SAT:', lowers1, uppers1,