2009, 4541.664A HW6 * Score 6-1 ID | sign domain | interval domain | intset domain | Penalty | Score | | 1234567890 1234567 | 1234567890 12345 | 1234567890 12345 | (Delay) | | ------------------------------------------------------------------------------------- 632 | OOOOOOOOOO OOOOOOO | OOOOOOOOOO OOOOO | OOOOOOOOOO OOOOO | | 47 | 928 | XXXXXXXXXX XXXXXXX | XXXXXXXXXX XXXXX | XXXXXXXXXX XXXXX | | 0 | 952 | XOOOOOXOOO OOOXXXX | XOOOOOXOOO OOOXX | XOOOOOXOOO OOOXX | | 33 | 955 | OOOOOOOOOO OOOOOOO | OOOOOOOOOO OOOOO | OOOOOOOOOO OOOOO | 0.1 | 42.3 | 929 | OOOOOOXOOO OOOOOOO | OOOOOOXOOO OOOXX | OOOOOOXOOO OOOXX | | 40 | 207 | OOOOOOOOOO OOOOOOO | OOOOOOOOOO OOOOO | OOOOOOOOOO OOOOO | | 47 | 792 | OOOOOOOOOO OOOOOOO | OOOOOOOOOO OOOOO | OOOOOOOOOO OOOOO | | 47 | 842 | OOOOOOXOOO OOOOOOO | OOOOOOXOOO OOOXX | OOOOOOXOOO OOOXX | | 40 | 866 | OOOOXXOOOO OOOOOOO | OOOOXXOOOO OOOOO | OOOOXXOOOO OOOOO | | 41 | 884 | OOOOOOOOOO OOOOOOO | OOOOOOOOOO OOOOO | OOOOOOOOOO OOOOO | | 47 | 919 | OOOOOOOOOO OOOOOOO | OOOOOOOOOO OOOOO | OOOOOOOOOO OOOOO | | 47 | 6-2 ID | interval domain | Penalty | Score | | 1234567890 12345 | (Delay) | | --------------------------------------------- 632 | OOOOOOOOOO OOOOO | | 15 | 928 | XXXXXXXOOX XXXXX | 0.1 | 1.8 | 952 | OOOXOOOOOO OOOOO | | 14 | 955 | OOOOOOOOOO OOOOO | 0.1 | 13.5 | 929 | OOOOOOOOOO OOOOO | | 15 | 207 | OOOOOOOOOO OOOOO | | 15 | 792 | OOOOOOOOOO OOOOO | | 15 | 818 | XXXXXXXOOX XXXXX | 0.1 | 1.8 | 842 | OOOOOOOOOO OOOOO | | 15 | 866 | OOOOOOOOOO OOOOO | | 15 | 884 | OOOOOOOOOO OOOOO | | 15 | 919 | OOOOOOOOOO OOOOO | | 15 | 6-3 ID | intset domain | Penalty | Score | | 1234567890 12345 | (Delay) | | --------------------------------------------- 632 | OOOOOOOOOO OOOOO | | 15 | 928 | XXOXXOOOOO OOOOO | | 11 | 952 | OOOOOOOOOO OOOOO | | 15 | 955 | OOOOOOOOOO OOOOO | 0.1 | 13.5 | 929 | OOOOOOOOOO OOOOO | | 15 | 207 | OOOOOOOOOO OOOOO | | 15 | 792 | OOOOOOOOOO OOOOO | | 15 | 818 | OXOOXOOOOO OOOOX | 0.1 | 10.8 | 842 | OOOOOOOOOO OOOOO | | 15 | 866 | OOOOOOOOOO OOOOO | | 15 | 884 | OOOOOOOOOO OOOOO | | 15 | 919 | OOOOOOOOOO OOOOO | | 15 | * Test Case Test Case | Filename ------------------------------------- 1 | all_in_one.k 2 | arithmetic.k 3 | assign.k 4 | if.k 5 | loc1.k 6 | loc2.k 7 | no_infinite_loop.k 8 | read1.k 9 | read2.k 10 | seq.k 11 | skip.k 12 | starassign.k 13 | update.k 14 | while1.k 15 | while2.k 16 | while3.k (only for sign domain) 17 | while4.k (only for sign domain) You may download the testcase set: http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-1/testset.tar.gz * Result You may check the output: http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-1/{sign,interval,intset}//.out http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-2//.out http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-3//.out for example, http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-1/sign/200X-XXXXX/arithmetic.k.out http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-2/200X-XXXXX/while2.k.out http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-3/200X-XXXXX/if.k.out