Complexity__ITS.VBS.json

{
    "Brockschmidt_16\/FGPSF09\/SAS05\/c.02.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/FGPSF09\/PLDI06\/c.03.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/PLDI06\/c.04.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI04\/complete1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI04\/complete2.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI04\/complete3.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI04\/complete4.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/FGPSF09\/TACAS01\/terminate.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/FGPSF09\/new\/unsatCond2.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/FGPSF09\/LICS04\/c.01.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/FGPSF09\/LICS04\/choice.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/div.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/increase1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/increase2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/increase3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/increase4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/sqrt.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/sumto_no_if.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.01.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.02.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.03.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.04.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.05.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.06.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.07.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.08.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.09.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.10.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/patrs\/pasta\/a.11.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/aaron12.c.koat": {
        "MAYBE": 1
    },
    "Flores-Montoya_16\/aaron2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/aaron3.c.koat": {
        "LOW": "1"
    },
    "Flores-Montoya_16\/alain.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/ax.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/catmouse.c.koat": {
        "LOW": 1000
    },
    "Flores-Montoya_16\/complex.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/counterex1a.c.koat": {
        "LOW": "1"
    },
    "Flores-Montoya_16\/counterex1b.c.koat": {
        "YES": 1,
        "UP": "3",
        "LOW": "2"
    },
    "Flores-Montoya_16\/counterex1c.c.koat": {
        "LOW": "1"
    },
    "Flores-Montoya_16\/cousot9.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/easy1.c.koat": {
        "YES": 1,
        "UP": 0
    },
    "Flores-Montoya_16\/easy2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/exmini.c.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Flores-Montoya_16\/ex_paper1.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/ex_paper2.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/ex_paper3.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/heapsort.c.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Flores-Montoya_16\/insertsort.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/jama_ex1.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/jama_ex2.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/jama_ex3.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/jama_ex4.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/jama_ex5.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/jama_ex6.c.koat": {
        "YES": 1,
        "UP": "3",
        "LOW": "3"
    },
    "Flores-Montoya_16\/jama_ex7.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/knuth_morris_pratt.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/loops.c.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Flores-Montoya_16\/Loopus2011_ex1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/Loopus2011_ex2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/Loopus2011_ex3.c.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Flores-Montoya_16\/Loopus2014_ex1.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/Loopus2014_ex2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/Loopus2015_ex1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/Loopus2015_ex2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/Loopus2015_original.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/ndecr.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/nd_loop.c.koat": {
        "YES": 1,
        "UP": 0
    },
    "Flores-Montoya_16\/nestedLoop.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/nested_loop.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/perfect.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/perfect1.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/perfect2.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/perfectg.c.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Flores-Montoya_16\/random1d.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/random2d.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/rank1.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/rank2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/rank3.c.koat": {
        "LOW": "1"
    },
    "Flores-Montoya_16\/real2.c.koat": {
        "LOW": 1000
    },
    "Flores-Montoya_16\/realbubble.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/realheapsort.c.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Flores-Montoya_16\/realheapsort_step1.c.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Flores-Montoya_16\/realheapsort_step2.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/realselect.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/realshellsort.c.koat": {
        "YES": 1,
        "UP": "3"
    },
    "Flores-Montoya_16\/relation1.c.koat": {
        "YES": 1,
        "UP": 0
    },
    "Flores-Montoya_16\/rsd.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/serpent.c.koat": {
        "LOW": "2"
    },
    "Flores-Montoya_16\/sipma91.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/sipmabubble.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/sipmamergesort.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/sipmamergesort2.c.koat": {
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedDis1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedDis2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedFails1.c.koat": {
        "MAYBE": 1
    },
    "Flores-Montoya_16\/speedFails2.c.koat": {
        "LOW": 1000
    },
    "Flores-Montoya_16\/speedFails3.c.koat": {
        "MAYBE": 1
    },
    "Flores-Montoya_16\/speedFails4.c.koat": {
        "MAYBE": 1
    },
    "Flores-Montoya_16\/speedNestedMultiple.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedNestedMultipleDep.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/speedpldi2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedpldi3.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/speedpldi4.c.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Flores-Montoya_16\/speedSimpleMultiple.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedSimpleMultipleDep.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/speedSingleSingle.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speedSingleSingle2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_pldi09_fig1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_pldi09_fig4_2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_pldi09_fig4_4.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_pldi09_fig4_5.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_pldi10_ex1.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/speed_pldi10_ex3.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_pldi10_ex4.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_fig2_1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_fig2_2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_nested_multiple.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_nested_single.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_sequential_single.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_simple_multiple.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_simple_single.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/speed_popl10_simple_single_2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t07.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t08.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t10.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t11.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t13.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t15.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t16.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t19.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t20.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t27.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t28.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t30.c.koat": {
        "MAYBE": 1
    },
    "Flores-Montoya_16\/t47.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/t62.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/terminate.c.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Flores-Montoya_16\/terminatorbubble.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/textbook_ex1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/textbook_ex2.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/textbook_ex3.c.koat": {
        "YES": 1,
        "UP": "4",
        "LOW": "4"
    },
    "Flores-Montoya_16\/textbook_ex4.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/unperfect.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Flores-Montoya_16\/wcet0.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/wcet1.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/wcet2.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Flores-Montoya_16\/while2.c.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Flores-Montoya_16\/wise.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/1394-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/1394-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/1394complete-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/1394complete-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/232.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/241.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/5.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/6.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/7.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/a.10.c.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/acqrel-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/afagp-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/afagx1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/agafp.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/apchild-accepted-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/apchild-accepted.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/apchild-live.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/apchildlive-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/array.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/array1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/array2.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/array3.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/array_free.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/array_init.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/array_init_assign.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ase_example.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf10.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf11.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf12.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf13.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf14.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf15.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf16.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf17.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf18.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf19.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf20.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf5.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf6.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf7.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf8.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bf9.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bio.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/bitcount16.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bitcount32.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/broydn.c.i.broydn.pl.t2.fixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/broydn.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/brp.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/brp_withassume.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/bs.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/bsort100.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/bubbleSort.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/bubblesort_inner_loop.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/buggyNonTermLoop.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/byron-1.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/T2\/byron-2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/byron-3.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/byron-4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/cfg.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/cnt.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/collatz.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/complex_guard.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/constants.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/consts1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/consts1nt.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/consts2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/consts2nt.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/consts3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/consts3nt.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/consts4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/consts4nt.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/consts5.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/consts5nt.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/cover.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/crc.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/create.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/create_seg.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/create_via_tmps.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/ctl.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/curious.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/curious4.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/d.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/db2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/db3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/dead.neg-st88b-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/destroy.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/destroy_seg.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/destroy_seg_leak.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/disj_nightmare_abi.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dropbuf-live.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dropbuf.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/dsa_test.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test10.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test11.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test12.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test13.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test15.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test4.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test5.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test6.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test8.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dsa_test9.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/dummy.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/e-1394complete-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/e-acqrel-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/e-acqrel-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/e-pgarch-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/e-pgarch-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/e-popl07-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/edn.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/efegp.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/elmhes.c.i.elmhes.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/elmhes.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/eric.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/eric1.koat": {
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/eric2.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/eric3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex10.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex11.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex12.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex13.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex14.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex15.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex16.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex17.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex18.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex19.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex20.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex21.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex22.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex23.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex26.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex27.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex29.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex3.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex30.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex31.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex32.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex33.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex34.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex36.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex37.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex4.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex40.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex6.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex7.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ex8.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ex9.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/example.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/fake-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fast_poll.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fdct.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/fermat.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/fibcall.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/fir.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/firewire.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/flipflop.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fourn.c.i.fourn.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fourn.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fuhs-inflasso.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/fun1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun10.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun10b.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun11.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun1b.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/fun2b.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/fun4-alt.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/fun4.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/fun5.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/T2\/fun6.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun7.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/fun8.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/fun9.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/graycode.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/heidy1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy10.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy5.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/heidy6.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy7-simple.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy7.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy8.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/heidy9.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/hongyi1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/hqr.c.i.hqr.pl.t2.fixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/hqr.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/huh.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/iecs.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/T2\/insertsort.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/intSqRoot.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/invgen.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/jacobi.c.i.jacobi.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/jacobi.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/janne_complex.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/jfdctint.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/Loop.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/loop3.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/loop_on_input.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/ludcmp.c.i.ludcmp.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/ludcmp.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/magic.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/matmul.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/matmult.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/matrixsqrt.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/mc91.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/mc91test.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/minmax.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/n-1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-10.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-12.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-12a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-13.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-14.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-15.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-15a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-16.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-16a.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/n-17.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-18.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-18a.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/n-1c.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-1d.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-20.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-21.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-32.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-33.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-36.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-37.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-3a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-4.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-40.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-46.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-48.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/n-5.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-6.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-6a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-7.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-8.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-8a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/n-9.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/nakata.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/nakata_withassume.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/ndes.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/neg-1394complete-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-1394complete-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-1394complete-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-1394complete-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-acqrel-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-acqrel-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-pgarch-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-pgarch-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-e-popl07-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-pgarch-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-popl07-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-popl07-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-smagilla-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/neg-smagilla-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/nested.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/nested2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/new_ex.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/non_term.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/ns.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/n_firewire_instrumented-PP.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/oct_vs_subpoly.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-10.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-12.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-13.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-14.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-15.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-16.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-18.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-19.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-19a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-1a.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-1b.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-1c.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-1d.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-20.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-21.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-22.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-32.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-33.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-34.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-36.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-37.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-40.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-41.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-42.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-43-terminate.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-43.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-44.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-45.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-46.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-49.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-5.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-52.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-53.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-55.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-56.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-58.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-6.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-60.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-61.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/p-63.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/T2\/p-7.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-7b.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/p-8.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/p-9.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/pearl-necklace.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/pentagon.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/pgarch.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/pldi.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/polling.bug.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/polling.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/polyrank1.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/polyrank2.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/polyrank3.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/polyrank4.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/polyrank5.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/polyrank6.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/polyrank7.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/popl07-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/popl07-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/print.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/qrdcmp.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/queens.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/queue_1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/queue_10.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/queue_100.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/queue_1000.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/randomwalk.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/randomwalk_withassume.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/refine_disj_problem.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/reverse.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/reverse_div4.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/reverse_seg_cyclic.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/rev_nt2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/rev_nt3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/rev_nt4.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/rewrite.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/rlft3.c.i.rlft3.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/rlft3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/s1-saved.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/s3-work.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/sas1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/sas2.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/T2\/select.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/selectSort.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/T2\/send-more-money.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/seq.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/seq2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/sequential_swap.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/simpleWhile.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/simple_array_inversion.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_control_on_input.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_double_free.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_fail.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_pre.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_pre1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_pre2.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_pre3.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/simple_swap_call.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/slayer-1-filtered.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-1-rf.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/slayer-2-filtered.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/slayer-3-filtered.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-3-new.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-4-filtered.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-n1-filtered.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-n1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-n2-filtered.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-n2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/slayer-n3-filtered.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/slayer-n5-filtered.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/smagilla-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/smagillb-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/smagillc-fail.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/smagillc-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/sort.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/spctrm.c.i.spctrm.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/spctrm.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/spiral.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/st88.bug.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/st88.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/statemate.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/stored.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/streamserver-succeed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/streamserver.bug.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/subpoly_crash.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/sudoku.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/sumit.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/svdcmp.c.i.svdcmp.pl.t2.fixed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/svdcmp.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/toeplz.c.i.toeplz.pl.t2.fixed.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/T2\/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/toeplz.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/tqli.c.i.tqli.pl.t2.fixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/tqli.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/traverse.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/traverse2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/traverse_seg.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/traverse_seg2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/traverse_twice.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/two_arrays.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/two_arrays1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/two_arrays2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/two_arrays6.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/ud.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/vmcai_bytes.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/vmcai_struct.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/T2\/w1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/w2_nt.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/walk.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/wrong_loop.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/T2\/wtf.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/T2\/zeroconf.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/T2\/zeroconf_withassume.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/KoAT-2013\/sect1-lin.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/KoAT-2013\/sect1-quad.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/KoAT-2013\/sect2.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/KoAT-2013\/sect5-len.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/KoAT-2013\/sect5-sumSum.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI05\/poly1.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI05\/poly2.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI05\/poly3.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/VMCAI05\/poly4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/aaron2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/ackermann.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/ax.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/complex.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/SAS10\/counterex1.koat": {
        "YES": 1,
        "UP": "4",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/cousot9.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/determinant.koat": {
        "YES": 1,
        "UP": "3",
        "LOW": "3"
    },
    "Brockschmidt_16\/SAS10\/easy1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/SAS10\/easy2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/exmini.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/SAS10\/gcd.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/insertsort.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/loops.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/SAS10\/maccarthy91.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/ndecr.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/nd_loop.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/SAS10\/nestedLoop.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/perfect.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/SAS10\/random1d.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/random2d.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/realbubble.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/realheapsort.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/SAS10\/realselect.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/SAS10\/realshellsort.koat": {
        "YES": 1,
        "UP": "3"
    },
    "Brockschmidt_16\/SAS10\/relation1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/SAS10\/rsd.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/sipmabubble.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/speedFails4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/speedpldi2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/speedpldi3.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/speedpldi4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/terminate.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/SAS10\/wcet1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/wcet2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/SAS10\/while2.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/SAS10\/wise.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/KoAT-2014\/adding-exp-growth1.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/KoAT-2014\/adding-exp-growth2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/KoAT-2014\/adding-exp-growth3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/KoAT-2014\/nesting-ex1.koat": {
        "YES": 1,
        "UP": "5",
        "LOW": "3"
    },
    "Brockschmidt_16\/KoAT-2014\/scaling-doubly-exp-growth.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/KoAT-2014\/scaling-exp-growth.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex01.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex02.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex03.koat": {
        "YES": 1,
        "UP": "4",
        "LOW": "4"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex04.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex05.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex06.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex07.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex08.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex09.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex10.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex11.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex12.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex13.koat": {
        "YES": 1,
        "UP": "3",
        "LOW": "3"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex14.koat": {
        "YES": 1,
        "UP": "4",
        "LOW": "4"
    },
    "Brockschmidt_16\/c-examples\/ABC\/ex15.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex1.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex2.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex3.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex4.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex5.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex6.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI10\/Ex7.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/cyclic.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/Example2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/Example3.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/Example4.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/Example5.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/Example6.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/PLDI09\/NestedLoop.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/aaron2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/ax.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/complex.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/counterex1b.koat": {
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/cousot9.koat": {
        "LOW": 1000
    },
    "Brockschmidt_16\/c-examples\/WTC\/easy1.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/c-examples\/WTC\/easy2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/exmini.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/gcd.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/insertsort.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/loops.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/ndecr.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/nd_loop.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/c-examples\/WTC\/nestedLoop.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/perfect.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/random1d.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/random2d.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/realbubble.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/realheapsort.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/realheapsort_step1.koat": {
        "YES": 1,
        "UP": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/realheapsort_step2.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/realselect.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/realshellsort.koat": {
        "YES": 1,
        "UP": "3",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/rsd.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/sipma91.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/sipmabubble.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/speedFails4.koat": {
        "MAYBE": 1
    },
    "Brockschmidt_16\/c-examples\/WTC\/speedpldi2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/speedpldi3.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/speedpldi4.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/terminate.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/wcet1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/wcet2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/WTC\/while2.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/WTC\/wise.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/Dis1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/Dis2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/NestedMultiple.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/NestedMultipleDep.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/NestedSingle.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/SequentialSingle.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/SimpleMultiple.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/SimpleMultipleDep.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/SimpleSingle.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/POPL09\/SimpleSingle2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/Rank\/ex1.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/Rank\/ex2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/Rank\/ex3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/Loopus\/Example1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/Loopus\/Example2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/Loopus\/Example3.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/CAV09\/ex1.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/CAV09\/ex2.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/c-examples\/SPEED\/CAV09\/ex3.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/CAV02\/practical1.koat": {
        "YES": 1,
        "UP": "2",
        "LOW": "2"
    },
    "Brockschmidt_16\/FGPSF09\/CAV02\/practical2.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/01.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/02.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/03.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/04.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/05.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/06.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/07.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/08.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/09.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/10.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/11.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/13.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/15.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/16.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/17.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/18.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/19.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/20.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/21.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/22.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/23.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/Beerendonk\/24.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/ESOP08\/abstractions.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/FGPSF09\/CAV05\/c.05.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/costa\/misc\/ack.koat": {
        "LOW": "1"
    },
    "Brockschmidt_16\/costa\/misc\/direct_n_log_n.koat": {
        "YES": 1,
        "UP": "1"
    },
    "Brockschmidt_16\/costa\/misc\/linear.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/costa\/misc\/logarithmic.koat": {
        "YES": 1,
        "UP": 0
    },
    "Brockschmidt_16\/costa\/misc\/merge.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/costa\/misc\/mspe.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    },
    "Brockschmidt_16\/costa\/RAML\/rationalPotential.koat": {
        "YES": 1,
        "UP": "1",
        "LOW": "1"
    }
}