/export/starexec/sandbox2/solver/bin/starexec_run_tct_rci_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^3)) a__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros00adx1cons2hd1incr1nats0s1tl1zeros0a__adx1a__hd1a__incr1a__nats0a__tl1a__zeros0mark132.211001a__adx1011a__hd1011a__incr1011a__nats01a__tl1011a__zeros01adx1001cons210102hd1001incr1011mark1101nats00s1101tl1001zeros01a__natsnatsa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11007a__adx1011a__hd1011a__incr1011a__nats08a__tl1011a__zeros08adx1001cons280102hd1001incr1001mark1801nats00s1501tl1011zeros03a__zeroszerosmark00marksXsXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11000a__adx1011a__hd1011a__incr1011a__nats00a__tl11011a__zeros00adx1011cons201112hd1011incr1011mark1011nats00s1001tl11011zeros00a__tlconsXYmarkYa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11000a__adx1211a__hd1011a__incr1011a__nats06a__tl1011a__zeros00adx1211cons201112hd1011incr1011mark1011nats06s1001tl1011zeros00a__natsa__adxa__zerosa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11000a__adx1411a__hd1111a__incr1011a__nats08a__tl1011a__zeros02adx1411cons201112hd1111incr1011mark1011nats08s1001tl1011zeros02a__hdconsXYmarkXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11000a__adx1711a__hd1411a__incr1011a__nats07a__tl1411a__zeros00adx1711cons201112hd1411incr1011mark1111nats06s1001tl1411zeros00markconsX1X2consX1X2markzerosa__zerosa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11000a__adx1011a__hd11011a__incr1011a__nats09a__tl1211a__zeros08adx1011cons281112hd11011incr1011mark1811nats02s1001tl1211zeros00marknatsa__natsa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros11000a__adx1011a__hd1411a__incr1011a__nats08a__tl1411a__zeros08adx1011cons201112hd1411incr1011mark1111nats08s1001tl1411zeros07a__zeroscons0zerosa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210000a__adx10010011a__hd14410011a__incr10010011a__nats000a__tl10010011a__zeros000adx10000011cons2000011100112hd13400011incr10000011mark10000111nats000s10000111tl10010011zeros000a__hdXhdXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210010a__adx11210011a__hd11010011a__incr10010011a__nats044a__tl12010311a__zeros010adx11210011cons2001051110012hd11010011incr10010011mark11010311nats004s10000201tl12010311zeros000markadxXa__adxmarkXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210000a__adx10010011a__hd11210011a__incr10010011a__nats000a__tl10010011a__zeros000adx10000011cons2000041100412hd10210011incr10010011mark10000411nats000s10000001tl10010011zeros000markhdXa__hdmarkXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210000a__adx11110011a__hd17710011a__incr10010011a__nats033a__tl11110011a__zeros012adx10100011cons2000011100112hd10700011incr10000011mark10100111nats003s10000111tl11100011zeros001a__adxXadxXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210000a__adx10010011a__hd10110011a__incr10010011a__nats001a__tl10110011a__zeros000adx10000011cons2000011100112hd10100011incr10000011mark10000111nats001s10000001tl10110011zeros000marktlXa__tlmarkXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210000a__adx10010011a__hd13210011a__incr10010011a__nats000a__tl12410011a__zeros000adx10010011cons2000021100212hd10210011incr10010011mark10000211nats000s10000011tl10410011zeros000a__tlXtlXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zeros210000a__adx10110211a__hd10010011a__incr10010011a__nats022a__tl14110311a__zeros001adx10110211cons2011051110112hd10010011incr10010011mark10110411nats021s10000011tl13110311zeros000a__adxconsXYa__incrconsXadxYa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zerosc11c22c31c41c51c61c71c81c90c101c111c120c130c140c151c162c171c181c191c201c211a__incrXincrXa__incrXc1Xa__incrconsXYconssXincrYa__incrconsXYc2XYmarkincrXa__incrmarkXmarkincrXc3a__incrmarkXa__adxXadxXa__adxXc4Xa__adxconsXYa__incrconsXadxYa__adxconsXYc5a__incrconsXadxYa__hdXhdXa__hdXc6Xa__hdconsXYmarkXa__hdconsXYc7markXa__natsa__adxa__zerosa__natsc8a__adxa__zerosa__natsnatsa__natsc9a__tlXtlXa__tlXc10Xa__tlconsXYmarkYa__tlconsXYc11markYa__zeroscons0zerosa__zerosc12a__zeroszerosa__zerosc13mark00mark0c14markadxXa__adxmarkXmarkadxXc15a__adxmarkXmarkconsX1X2consX1X2markconsX1X2c16X1X2markhdXa__hdmarkXmarkhdXc17a__hdmarkXmarknatsa__natsmarknatsc18a__natsmarksXsXmarksXc19XmarktlXa__tlmarkXmarktlXc20a__tlmarkXmarkzerosa__zerosmarkzerosc21a__zerosa__incrXa__incrconsXYmarkincrXa__adxXa__adxconsXYa__hdXa__hdconsXYa__natsa__natsa__tlXa__tlconsXYa__zerosa__zerosmark0markadxXmarkconsX1X2markhdXmarknatsmarksXmarktlXmarkzeros11000a__adx1021a__hd1041a__incr1021a__nats00a__tl1041a__zeros00adx1001cons200102hd1001incr1011mark1001nats00s1001tl1011zeros00a__adx1011a__hd1511a__incr1021a__nats00a__tl1511a__zeros00mark1501c11001c2200102c31011c41001c51011c61201c71011c81011c900c101001c111011c1200c1300c1400c151011c16200102c171011c181021c191001c201011c211011markincrXc3a__incrmarkXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zerosa__adxXc4Xa__adxconsXYc5a__incrconsXadxYa__hdXc6Xa__hdconsXYc7markXa__incrXc1Xa__incrconsXYc2XYa__natsc8a__adxa__zerosa__natsc9a__tlXc10Xa__tlconsXYc11markYa__zerosc12a__zerosc13mark0c14markadxXc15a__adxmarkXmarkconsX1X2c16X1X2markhdXc17a__hdmarkXmarkincrXc3a__incrmarkXmarknatsc18a__natsmarksXc19XmarktlXc20a__tlmarkXmarkzerosc21a__zeros11000a__adx1021a__hd1011a__incr1021a__nats00a__tl1021a__zeros00adx1001cons200102hd1001incr1011mark1001nats00s1001tl1001zeros00a__adx1111a__hd1321a__incr1141a__nats02a__tl1311a__zeros01mark1301c11041c2200102c31021c41011c51011c61001c71011c81111c902c101301c111011c1201c1300c1400c151211c16230102c171011c181111c191101c201011c211211a__incrXc1Xa__incrconsXYc2XYa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zerosa__adxXc4Xa__adxconsXYc5a__incrconsXadxYa__hdXc6Xa__hdconsXYc7markXa__incrXc1Xa__incrconsXYc2XYa__natsc8a__adxa__zerosa__natsc9a__tlXc10Xa__tlconsXYc11markYa__zerosc12a__zerosc13mark0c14markadxXc15a__adxmarkXmarkconsX1X2c16X1X2markhdXc17a__hdmarkXmarkincrXc3a__incrmarkXmarknatsc18a__natsmarksXc19XmarktlXc20a__tlmarkXmarkzerosc21a__zeros3100000a__adx11111001100111a__hd11001000100011a__incr10101000100011a__nats0111a__tl11001001100111a__zeros0000adx11011001100111cons200010011011111000100012hd11001000100011incr10101000100011mark10001001100111nats0011s10000000000101tl11001001100111zeros0000a__adx11111101110011a__hd11001100100011a__incr10101000000001a__nats0101a__tl11001011001001a__zeros0000mark10001011011001c110000000000001c2201000010000010000000002c310001000000001c410100000010001c510011100000001c610000100000011c710001100000001c810001010000001c90000c1010000000000001c1111001000000001c120000c130000c140000c1510001010000001c16200000000000010000011002c1710001000001001c1810001000000011c1910000000000001c2010001000000001c2110001000000001markincrXa__incrmarkXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zerosa__adxXc4Xa__adxconsXYc5a__incrconsXadxYa__hdXc6Xa__hdconsXYc7markXa__incrXc1Xa__incrconsXYc2XYa__natsc8a__adxa__zerosa__natsc9a__tlXc10Xa__tlconsXYc11markYa__zerosc12a__zerosc13mark0c14markadxXc15a__adxmarkXmarkconsX1X2c16X1X2markhdXc17a__hdmarkXmarkincrXc3a__incrmarkXmarknatsc18a__natsmarksXc19XmarktlXc20a__tlmarkXmarkzerosc21a__zeros3100000a__adx11111000100011a__hd10001000100011a__incr11101000100011a__nats0111a__tl10011000101111a__zeros0000adx10010000100011cons200000011011110001100012hd10000000100011incr10100000100011mark10000001101111nats0111s10000000000101tl10010000100111zeros0000a__adx10011010100011a__hd10001110000101a__incr10101010000011a__nats0101a__tl10011100001011a__zeros0001mark10110011011001c110100000000001c2200000000000010000000002c310111001000001c410000000000001c510001100000011c610000000000001c710001000000001c810001000000011c90000c1010010000000001c1110011000000001c120000c130001c140010c1510011000000001c16200000000000010000000002c1710011000000001c1811111000000011c1910110000000011c2010111000000001c2110101000000011a__incrXincrXa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zerosa__adxXc4Xa__adxconsXYc5a__incrconsXadxYa__hdXc6Xa__hdconsXYc7markXa__incrXc1Xa__incrconsXYc2XYa__natsc8a__adxa__zerosa__natsc9a__tlXc10Xa__tlconsXYc11markYa__zerosc12a__zerosc13mark0c14markadxXc15a__adxmarkXmarkconsX1X2c16X1X2markhdXc17a__hdmarkXmarkincrXc3a__incrmarkXmarknatsc18a__natsmarksXc19XmarktlXc20a__tlmarkXmarkzerosc21a__zeros3100000a__adx11111000100111a__hd10011000101011a__incr11101000100011a__nats0111a__tl10001001101111a__zeros0000adx10011000100111cons200010011011111000100012hd10011000101011incr10101000100011mark10001001101111nats0101s10000000000001tl10001001101111zeros0000a__adx10001000010111a__hd11011000000001a__incr10111000000101a__nats0001a__tl11011011011011a__zeros0010mark11011101011011c110100000000001c2201000000011011000000002c311011000010001c410000000000011c510001000000001c611010000000001c710001000000001c810001000000001c90000c1010000000000001c1110001000010011c120000c130000c140100c1511001001000001c16210100000000010000000002c1711001000000001c1810001000000101c1910000000000001c2010001000000001c2110001000010001a__incrconsXYconssXincrYa__adxXadxXa__adxconsXYa__incrconsXadxYa__hdXhdXa__hdconsXYmarkXa__incrXincrXa__incrconsXYconssXincrYa__natsa__adxa__zerosa__natsnatsa__tlXtlXa__tlconsXYmarkYa__zeroscons0zerosa__zeroszerosmark00markadxXa__adxmarkXmarkconsX1X2consX1X2markhdXa__hdmarkXmarkincrXa__incrmarkXmarknatsa__natsmarksXsXmarktlXa__tlmarkXmarkzerosa__zerosa__adxXc4Xa__adxconsXYc5a__incrconsXadxYa__hdXc6Xa__hdconsXYc7markXa__incrXc1Xa__incrconsXYc2XYa__natsc8a__adxa__zerosa__natsc9a__tlXc10Xa__tlconsXYc11markYa__zerosc12a__zerosc13mark0c14markadxXc15a__adxmarkXmarkconsX1X2c16X1X2markhdXc17a__hdmarkXmarkincrXc3a__incrmarkXmarknatsc18a__natsmarksXc19XmarktlXc20a__tlmarkXmarkzerosc21a__zerosTcT