/export/starexec/sandbox/solver/bin/starexec_run_tct_dci_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^1)) 0x111x100x1112x10000010222002010121101020010x1102121211211111111022121110101x100002012x111121110002x100010212012002102022220200x102100101001010022011111011020x100012121201x1122100112212x100100022102121222002x100202112001121112111101x100101110102001x11211110110021000x10010220120x1222111122122212x100112201101220202100110100011x1012011011021211021122112122202x100120010020101202002202x100101220100201110121200101x10012201120100001012221x111112220202210202121211101x100122012000202120002022201x1110121211100112202002001121x1001222122000212121222x111211112110210021212100x100200101112x11211102101221x100202x1122112211x100202222220x1020100111121x100210221x11101021110x1002201200012220011020x112101112120211202212001102x10100000221022021221x121211121102201002021101121x1010020022201211120110001010x1010010120200201221110121000x1010102112020x11111021121222211x10101101102202100200120202x1112111120202122011201102220x101020122010020122x112212122100000002x10102022122102010222x101022110120212121111x101022022021021002x1111012202212201010x10110020122x11121121100021x1011200220012221222202020001x10101120101110220110002011100x1011202022210x12010011011020x1011221122000x122112111211021x1012011012200x111110120021021x101202100001x1221201212012x101210102222102101111x101111011200220121122x1012200122000x11122220212101x1012201102000x11212120202110x10122100211201020101220110x101112112200001120002121101x10200x10211111111x1020120112x11221112210x1020200x10122120x102022020002x101102211101202x1020221012002102211x11110201202201010011x102022201020202120x1101102201210012101x102022201122200120221200122x101121021111211121120202212120x10210010220020021x101212001122201122212x1022010002210120101000x1002112102012102112200102x1022010022212222x12210212200010011x1022012222120210102012x102002110111022211112000x102210102122112x1211221012121210x102210120101201101200201201121x1012121222110012222222100012001x1022201020100022220x121212000200110212002x1100012120200100012102x122221121010221001111010x1100021000202202x11110021012100002x11010002012020201022001011x112002010102211000121111021x11011001110220100120020x111122021202000121212021x11011022020x11102210200x1101112210102110210121022100x12222121112221222110112102211x11011201100210022000x1211011212222111121120021x11012010221010022200x1102111102101200211001102x1101201102102010x110011121020101110x11012200221x1101201011112x1102111100220101022000x11111021221110221221012x111001210011210001212x122121210011121111111121x111010210201222211x1112211002001102211x11102012100100210201000101x121020011221202212122102121x111022000212101000001x11211210012121222102100x1112201011x111101101111x1120212000000221022021001x1101002211202200201011112221x11202200100202210102x122121021221220220200111x11221122112122001210110100220x1121210122212000210011100111110x1122120120121000222022021x12102021111200102102020112x112220212010210210x111121011220121210021212x112222021000x1211201001011x120x1110x1200x101211x12001122221201202212202x11110022212201111210112022x1200222112202100022101x12112111012212000200120x12010010022x11221122020211x12011100002012010122022202100x1110112212102002111120101111211x12012201000212120112010x102110211011220122101110x1202012010222011001122210121x12101111212020122021211202210x12020122021000x11111201010201121x12020220201000012x11121002112121121212202x120211220x120022121x1202220012211200020002x1111012212221111111021010x12022221201010221x12121222001221002x1210000200020x1121220221211011x12101200x1111012211x1210121222x111010011112x1211200020222201010221112x12112112121201100011121211x121121110211211221120101201001x122111012101211121020121001121x121201022x1210111210x121201210020020012x11212112020211110211x1212112001101121111012x1111121010122121110012x121220020001120112220002121x11100011020121111211112101221x12200200x1201100211x1220021010000010020011x120202000221122211111212x12202101x10101211211x1220210101x1211102020x1220211012011202010201x12121011110222122121102x122021202020002122010101010x111012102220121112222122102220x1221x111011x12210112021100121222021x12112120211112112110112211x122120000121010201001202x121122221012011111212110211002x122200101200020220100212222x1212101201022011201222200012x12220010202001212120111x11121212121020110100202121x1222021221011101211212010221x1010121221212102122112110202x12222001011120202200x120001102221200112111212x12222001221100x1222002011011111x122220112020112012112212122x120011221111012121121221021102x12222210220210011211112200220x1211011222221110210110221021112x101112112.200x1112x10000010222002010121101020010x1102121211211111111022121110101x100002012x111121110002x100010212012002102022220200x102100101001010022011111011020x100012121201x1122100112212x100100022102121222002x100202112001121112111101x100101110102001x11211110110021000x10010220120x1222111122122212x100112201101220202100110100011x1012011011021211021122112122202x100120010020101202002202x100101220100201110121200101x10012201120100001012221x111112220202210202121211101x100122012000202120002022201x1110121211100112202002001121x1001222122000212121222x111211112110210021212100x100200101112x11211102101221x100202x1122112211x100202222220x1020100111121x100210221x11101021110x1002201200012220011020x112101112120211202212001102x10100000221022021221x121211121102201002021101121x1010020022201211120110001010x1010010120200201221110121000x1010102112020x11111021121222211x10101101102202100200120202x1112111120202122011201102220x101020122010020122x112212122100000002x10102022122102010222x101022110120212121111x101022022021021002x1111012202212201010x10110020122x11121121100021x1011200220012221222202020001x10101120101110220110002011100x1011202022210x12010011011020x1011221122000x122112111211021x1012011012200x111110120021021x101202100001x1221201212012x101210102222102101111x101111011200220121122x1012200122000x11122220212101x1012201102000x11212120202110x10122100211201020101220110x101112112200001120002121101x10200x10211111111x1020120112x11221112210x1020200x10122120x102022020002x101102211101202x1020221012002102211x11110201202201010011x102022201020202120x1101102201210012101x102022201122200120221200122x101121021111211121120202212120x10210010220020021x101212001122201122212x1022010002210120101000x1002112102012102112200102x1022010022212222x12210212200010011x1022012222120210102012x102002110111022211112000x102210102122112x1211221012121210x102210120101201101200201201121x1012121222110012222222100012001x1022201020100022220x121212000200110212002x1100012120200100012102x122221121010221001111010x1100021000202202x11110021012100002x11010002012020201022001011x112002010102211000121111021x11011001110220100120020x111122021202000121212021x11011022020x11102210200x1101112210102110210121022100x12222121112221222110112102211x11011201100210022000x1211011212222111121120021x11012010221010022200x1102111102101200211001102x1101201102102010x110011121020101110x11012200221x1101201011112x1102111100220101022000x11111021221110221221012x111001210011210001212x122121210011121111111121x111010210201222211x1112211002001102211x11102012100100210201000101x121020011221202212122102121x111022000212101000001x11211210012121222102100x1112201011x111101101111x1120212000000221022021001x1101002211202200201011112221x11202200100202210102x122121021221220220200111x11221122112122001210110100220x1121210122212000210011100111110x1122120120121000222022021x12102021111200102102020112x112220212010210210x111121011220121210021212x112222021000x1211201001011x120x1110x1200x101211x12001122221201202212202x11110022212201111210112022x1200222112202100022101x12112111012212000200120x12010010022x11221122020211x12011100002012010122022202100x1110112212102002111120101111211x12012201000212120112010x102110211011220122101110x1202012010222011001122210121x12101111212020122021211202210x12020122021000x11111201010201121x12020220201000012x11121002112121121212202x120211220x120022121x1202220012211200020002x1111012212221111111021010x12022221201010221x12121222001221002x1210000200020x1121220221211011x12101200x1111012211x1210121222x111010011112x1211200020222201010221112x12112112121201100011121211x121121110211211221120101201001x122111012101211121020121001121x121201022x1210111210x121201210020020012x11212112020211110211x1212112001101121111012x1111121010122121110012x121220020001120112220002121x11100011020121111211112101221x12200200x1201100211x1220021010000010020011x120202000221122211111212x12202101x10101211211x1220210101x1211102020x1220211012011202010201x12121011110222122121102x122021202020002122010101010x111012102220121112222122102220x12210112021100121222021x12112120211112112110112211x122120000121010201001202x121122221012011111212110211002x122200101200020220100212222x1212101201022011201222200012x12220010202001212120111x11121212121020110100202121x1222021221011101211212010221x1010121221212102122112110202x12222001011120202200x120001102221200112111212x12222001221100x1222002011011111x122220112020112012112212122x120011221111012121121221021102x12222210220210011211112200220x1211011222221110210110221021112x121231236457001100210031011601461012102210321114112411341141115311651217124712762013202320330x111x1221x111011x1TcT