/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)) 000012101022211012200110001121222120101001010100x102212221101212011102120200112122122002120120122111x100002011110110112122x12121011100120121211112x100010121001022010x11120120020222112110x10001012120111022102100222001100x112101220012001121221021210122011x100011122120001100121011210110x1011122111110111011122010111111122101x10010x111010x1001021020220001002222200210100x121201001120001121111110211112201200121112111x1001101020002120022112001200020010101100222x1001112212002002020201121110012210110111122220x1001222212010212201001010211001210011002x10112121212111200211112200012101221220011202012x1002011020001111011100012100002200002120022020010x11112210112211211110121200212011012010211010202110x100201201221002101212202122011000x1221202210111100112021200212201112111201x10020201112010211x102112121102220211111x10021222x12220112111x1002220002201002120122001112102100112x102220212021022210111110212121202002021x101x11111x101020021022x120021012110110x10102202212112120121100100201122000020021x1101111100221212101100110122021010101002021x101100012200011012020021120000212102220221x100212000002021100221021021121112110001120121x10110100022211210000122000002101x110220012221200102121001111120110101x101101020021220022122020122011021221112120100111x10021202111121221011210111111221201101220012210221x101101021001201211022120110101102120001122122222x1011211021011012221102101221020111011121102221110x101202222211202010102210202222022102102x12011112201022011111202112020012121110100101x10121102201120200x100101121121110022x10201102020122201111020122021202022002x111001210000010101210021120112002122100x10201122021202200010001010000222x10200002111120021121211020212001200x10202010101000021120102210010001202100101x12122022002102211222221202110111100121121121x1020212202222210022022210021100201201x110211201021102022012112100200120120221x1021001220211202122002020000x1212010121122202020002020000x10212002221001110101002212000000x111122010100000211022202101102212x102122011200110010212201010102102001220x1100122011210200120022112212101201211000x10220010110000000102101121101221201210220020200x120101001221101121010100212102200210112222111201x102221020212212001220010x1221022222011121201122220111x102221220220112021002202122111011x1111102121211201011021022210002101x1022220122000x112211120210112x1100210020220222221120221021100212220221000210x110010220212020110221212000220211120021201011112221x1101200210022110122111222x110211112210110001002101112x110212212200012020x112211202211210111112001111x111100202010210002021012012x112121120122010011000220000111x111202010122202211222x112222220101112112112111x1112020221221022002002200202020102101102x11001201211212020111011021002011000211211201001x111202220111002020112002112221002x1112010201210210012110001010012100x1120000022010001x111012121011202211021x11200010102002020x11102100221111212101x11201201221002022002210000x1100010122002201010210101120x11202x111201x1120201111000100222021011002012201222102200x112022211121210201101110210121101001112120112x1120211112022122021111212122021210012022201x1100111122222022021121111122021210202212201x12000120100222010002211212020120200x1022102121021211212110110012211012001020x120001220x12001111002x120002202022122x1211222220221212x120021201102010001210011101021020020120222x120121212012001000010021111021000020120222x120100020022011001000000201001011122010102200x102021022021001211102122100111100112210021200000x120110210210120000002102002221222102121x10112101111022221211101122211021111212002201221111x1201112220120100221001220x11201221000111211111022111x1202021100210221021222221020100x100112121021111012110100212201022x120211220121012012022201201012221120200100x12211011020201121210201020100022010020121120x12022210012121202222020012222021100010210122x120100122012002111212111221011101112102210102120x121011011202000010x1001020012110110111x12102001021100020121010000010110002012210220012202x100101010112110122100211101212010121100111022002202x121021220202102101022x1212110002022001000001x12110202220102111102110102001010212021012010x121120102102101010111011101211110112200122022112121x1220x12211x12200012201110001002020201110011002000000200x101021111201120202201021121112212201110210122012012x1220010200021012210211202221100021121101121222x1102201002010211020212111021111221100120111002021x1220021210112012101212101020100011x110111020000122121210121211111111121x12200221102221000012220201122212202202120x110010212102011000212021222022101121012010x122012x1111212x12202012121220022212211012202212111202120222x10011212111120221100220101101122000122000011111001x12210002220012212212000x10110011101222100101111010220x122112020222x1102012100121x1221122221002102102021100012120x112200211112002021001121120202221x1221202202020022111201x11121021020021100101021x12220211221112220200202221200200102001201100020x1112202122102101221001120212101100122100021221110x1222201020222102212022221x1111000202111211002001001101x12222220021102022022001112200212x112211120220122111100002021212212x101112112.2000012101022211012200110001121222120101001010100x102212221101212011102120200112122122002120120122111x100002011110110112122x12121011100120121211112x100010121001022010x11120120020222112110x10001012120111022102100222001100x112101220012001121221021210122011x100011122120001100121011210110x1011122111110111011122010111111122101x10010x111010x1001021020220001002222200210100x121201001120001121111110211112201200121112111x1001101020002120022112001200020010101100222x1001112212002002020201121110012210110111122220x1001222212010212201001010211001210011002x10112121212111200211112200012101221220011202012x1002011020001111011100012100002200002120022020010x11112210112211211110121200212011012010211010202110x100201201221002101212202122011000x1221202210111100112021200212201112111201x10020201112010211x102112121102220211111x1002220002201002120122001112102100112x102220212021022210111110212121202002021x10102202212112120121100100201122000020021x1101111100221212101100110122021010101002021x101100012200011012020021120000212102220221x100212000002021100221021021121112110001120121x10110100022211210000122000002101x110220012221200102121001111120110101x101101020021220022122020122011021221112120100111x10021202111121221011210111111221201101220012210221x101101021001201211022120110101102120001122122222x1011211021011012221102101221020111011121102221110x101202222211202010102210202222022102102x12011112201022011111202112020012121110100101x10121102201120200x100101121121110022x10201102020122201111020122021202022002x111001210000010101210021120112002122100x10201122021202200010001010000222x10200002111120021121211020212001200x10202010101000021120102210010001202100101x12122022002102211222221202110111100121121121x1020212202222210022022210021100201201x110211201021102022012112100200120120221x1021001220211202122002020000x1212010121122202020002020000x10212002221001110101002212000000x111122010100000211022202101102212x102122011200110010212201010102102001220x1100122011210200120022112212101201211000x10220010110000000102101121101221201210220020200x120101001221101121010100212102200210112222111201x102221020212212001220010x1221022222011121201122220111x102221220220112021002202122111011x1111102121211201011021022210002101x1022220122000x112211120210112x1100210020220222221120221021100212220221000210x110010220212020110221212000220211120021201011112221x1101200210022110122111222x110211112210110001002101112x110212212200012020x112211202211210111112001111x111100202010210002021012012x112121120122010011000220000111x111202010122202211222x112222220101112112112111x1112020221221022002002200202020102101102x11001201211212020111011021002011000211211201001x111202220111002020112002112221002x1112010201210210012110001010012100x1120000022010001x111012121011202211021x11200010102002020x11102100221111212101x11201201221002022002210000x1100010122002201010210101120x1120201111000100222021011002012201222102200x112022211121210201101110210121101001112120112x1120211112022122021111212122021210012022201x1100111122222022021121111122021210202212201x12000120100222010002211212020120200x1022102121021211212110110012211012001020x120001220x12001111002x120002202022122x1211222220221212x120021201102010001210011101021020020120222x120121212012001000010021111021000020120222x120100020022011001000000201001011122010102200x102021022021001211102122100111100112210021200000x120110210210120000002102002221222102121x10112101111022221211101122211021111212002201221111x1201112220120100221001220x11201221000111211111022111x1202021100210221021222221020100x100112121021111012110100212201022x120211220121012012022201201012221120200100x12211011020201121210201020100022010020121120x12022210012121202222020012222021100010210122x120100122012002111212111221011101112102210102120x121011011202000010x1001020012110110111x12102001021100020121010000010110002012210220012202x100101010112110122100211101212010121100111022002202x121021220202102101022x1212110002022001000001x12110202220102111102110102001010212021012010x121120102102101010111011101211110112200122022112121x12200012201110001002020201110011002000000200x101021111201120202201021121112212201110210122012012x1220010200021012210211202221100021121101121222x1102201002010211020212111021111221100120111002021x1220021210112012101212101020100011x110111020000122121210121211111111121x12200221102221000012220201122212202202120x110010212102011000212021222022101121012010x122012x1111212x12202012121220022212211012202212111202120222x10011212111120221100220101101122000122000011111001x12210002220012212212000x10110011101222100101111010220x122112020222x1102012100121x1221122221002102102021100012120x112200211112002021001121120202221x1221202202020022111201x11121021020021100101021x12220211221112220200202221200200102001201100020x1112202122102101221001120212101100122100021221110x1222201020222102212022221x1111000202111211002001001101x12222220021102022022001112200212x112211120220122111100002021212212x121231232745673010111216171920242531328918212223262855293334155813146164535456575960626365001100210031011270122701327014270152701760110300111270112300116401171601201901252401312701322710121022103211112112121131211412115121161211871198111011110271111111111011121111161211191811212011232211242311251112625112726112821128121128551129281131101132101133101215512255123551245512555126551273412815121058121155121258121361214131215141216551221611225581226641228581231551232551233551234331253271253301254531255541256271256301257561258571259191260591261601262241263621264632013202320332141214272143021542165211092111312112921181721222121302921313223242233322254652265290021222x12220112111x101x11111x101020021022x120021012110110x11202x111201x1220x12211x1TcT