details

property	value
status	complete
benchmark	java_Recursions.c.t2.smt2
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n051.star.cs.uiowa.edu
space	From_T2

run statistics

property	value
solver	Ctrl
configuration	Transition
runtime (wallclock)	253.222090006 seconds
cpu usage	267.64661555
max memory	4.3593728E7

stage attributes

key	value
output-size	254492
starexec-result	YES

output

/export/starexec/sandbox/solver/bin/starexec_run_Transition /export/starexec/sandbox/benchmark/theBenchmark.smt2 /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES DP problem for innermost termination. P = f32#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> f31#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) f31#(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14) -> f11#(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14) f31#(I30, I31, I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) -> f29#(I30, I31, I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) f31#(I45, I46, I47, I48, I49, I50, I51, I52, I53, I54, I55, I56, I57, I58, I59) -> f30#(I45, I46, I47, I48, I49, I50, I51, I52, I53, I54, I55, I56, I57, I58, I59) f31#(I60, I61, I62, I63, I64, I65, I66, I67, I68, I69, I70, I71, I72, I73, I74) -> f28#(I60, I61, I62, I63, I64, I65, I66, I67, I68, I69, I70, I71, I72, I73, I74) f31#(I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86, I87, I88, I89) -> f26#(I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86, I87, I88, I89) f31#(I105, I106, I107, I108, I109, I110, I111, I112, I113, I114, I115, I116, I117, I118, I119) -> f24#(I105, I106, I107, I108, I109, I110, I111, I112, I113, I114, I115, I116, I117, I118, I119) f31#(I120, I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133, I134) -> f25#(I120, I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133, I134) f31#(I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146, I147, I148, I149) -> f23#(I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146, I147, I148, I149) f31#(I150, I151, I152, I153, I154, I155, I156, I157, I158, I159, I160, I161, I162, I163, I164) -> f21#(I150, I151, I152, I153, I154, I155, I156, I157, I158, I159, I160, I161, I162, I163, I164) f31#(I165, I166, I167, I168, I169, I170, I171, I172, I173, I174, I175, I176, I177, I178, I179) -> f20#(I165, I166, I167, I168, I169, I170, I171, I172, I173, I174, I175, I176, I177, I178, I179) f31#(I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206, I207, I208, I209) -> f18#(I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206, I207, I208, I209) f31#(I210, I211, I212, I213, I214, I215, I216, I217, I218, I219, I220, I221, I222, I223, I224) -> f19#(I210, I211, I212, I213, I214, I215, I216, I217, I218, I219, I220, I221, I222, I223, I224) f31#(I225, I226, I227, I228, I229, I230, I231, I232, I233, I234, I235, I236, I237, I238, I239) -> f17#(I225, I226, I227, I228, I229, I230, I231, I232, I233, I234, I235, I236, I237, I238, I239) f31#(I240, I241, I242, I243, I244, I245, I246, I247, I248, I249, I250, I251, I252, I253, I254) -> f15#(I240, I241, I242, I243, I244, I245, I246, I247, I248, I249, I250, I251, I252, I253, I254) f31#(I270, I271, I272, I273, I274, I275, I276, I277, I278, I279, I280, I281, I282, I283, I284) -> f14#(I270, I271, I272, I273, I274, I275, I276, I277, I278, I279, I280, I281, I282, I283, I284) f31#(I285, I286, I287, I288, I289, I290, I291, I292, I293, I294, I295, I296, I297, I298, I299) -> f13#(I285, I286, I287, I288, I289, I290, I291, I292, I293, I294, I295, I296, I297, I298, I299) f31#(I300, I301, I302, I303, I304, I305, I306, I307, I308, I309, I310, I311, I312, I313, I314) -> f12#(I300, I301, I302, I303, I304, I305, I306, I307, I308, I309, I310, I311, I312, I313, I314) f31#(I315, I316, I317, I318, I319, I320, I321, I322, I323, I324, I325, I326, I327, I328, I329) -> f10#(I315, I316, I317, I318, I319, I320, I321, I322, I323, I324, I325, I326, I327, I328, I329) f31#(I330, I331, I332, I333, I334, I335, I336, I337, I338, I339, I340, I341, I342, I343, I344) -> f8#(I330, I331, I332, I333, I334, I335, I336, I337, I338, I339, I340, I341, I342, I343, I344) f31#(I360, I361, I362, I363, I364, I365, I366, I367, I368, I369, I370, I371, I372, I373, I374) -> f6#(I360, I361, I362, I363, I364, I365, I366, I367, I368, I369, I370, I371, I372, I373, I374) f31#(I390, I391, I392, I393, I394, I395, I396, I397, I398, I399, I400, I401, I402, I403, I404) -> f4#(I390, I391, I392, I393, I394, I395, I396, I397, I398, I399, I400, I401, I402, I403, I404) f31#(I405, I406, I407, I408, I409, I410, I411, I412, I413, I414, I415, I416, I417, I418, I419) -> f5#(I405, I406, I407, I408, I409, I410, I411, I412, I413, I414, I415, I416, I417, I418, I419) f31#(I420, I421, I422, I423, I424, I425, I426, I427, I428, I429, I430, I431, I432, I433, I434) -> f3#(I420, I421, I422, I423, I424, I425, I426, I427, I428, I429, I430, I431, I432, I433, I434) f31#(I435, I436, I437, I438, I439, I440, I441, I442, I443, I444, I445, I446, I447, I448, I449) -> f1#(I435, I436, I437, I438, I439, I440, I441, I442, I443, I444, I445, I446, I447, I448, I449) f31#(I450, I451, I452, I453, I454, I455, I456, I457, I458, I459, I460, I461, I462, I463, I464) -> f14#(I460, I461, I462, I463, I464, rnd6, rnd7, rnd8, rnd9, I459, I460, rnd12, rnd13, rnd14, rnd15) [rnd15 = rnd9 /\ rnd14 = rnd8 /\ rnd13 = rnd7 /\ rnd12 = rnd6 /\ rnd9 = rnd9 /\ rnd8 = rnd8 /\ rnd7 = rnd7 /\ rnd6 = rnd6] f11#(I465, I466, I467, I468, I469, I470, I471, I472, I473, I474, I475, I476, I477, I478, I479) -> f20#(I475, I476, I477, I478, I479, I480, I481, I482, I473, I474, I475, I476, I483, I484, I485) [I485 = I482 /\ I484 = I481 /\ I483 = I480 /\ I482 = I482 /\ I481 = I481 /\ I480 = I480] f29#(I486, I487, I488, I489, I490, I491, I492, I493, I494, I495, I496, I497, I498, I499, I500) -> f30#(I496, I497, I498, I499, I500, I501, I492, I493, I494, I495, I496, I497, I498, I499, I502) [I502 = I501 /\ I501 = I501] f30#(I503, I504, I505, I506, I507, I508, I509, I510, I511, I512, I513, I514, I515, I516, I517) -> f28#(I513, I514, I515, I516, I517, I518, I509, I510, I511, I512, I513, I514, I515, I516, I519) [I519 = I518 /\ I514 <= I513 /\ I518 = I518] f30#(I520, I521, I522, I523, I524, I525, I526, I527, I528, I529, I530, I531, I532, I533, I534) -> f26#(I530, I531, I532, I533, I534, I535, I526, I527, I528, I529, I530, I531, I532, I533, I536) [I536 = I535 /\ 1 + I530 <= I531 /\ I535 = I535] f28#(I537, I538, I539, I540, I541, I542, I543, I544, I545, I546, I547, I548, I549, I550, I551) -> f29#(I547, I548, I549, I550, I551, I552, I543, I544, I545, I546, -1 + I547, I548, I549, I550, I553) [I553 = I552 /\ I552 = I552] f24#(I602, I603, I604, I605, I606, I607, I608, I609, I610, I611, I612, I613, I614, I615, I616) -> f25#(I612, I613, I614, I615, I616, I617, I618, I609, I610, I611, I612, I613, I614, I619, I620) [I620 = I618 /\ I619 = I617 /\ I618 = I618 /\ I617 = I617] f25#(I621, I622, I623, I624, I625, I626, I627, I628, I629, I630, I631, I632, I633, I634, I635) -> f23#(I631, I632, I633, I634, I635, I636, I637, I628, I629, I630, I631, I632, I633, I638, I639) [I639 = I637 /\ I638 = I636 /\ I631 <= I632 /\ I637 = I637 /\ I636 = I636] f25#(I640, I641, I642, I643, I644, I645, I646, I647, I648, I649, I650, I651, I652, I653, I654) -> f21#(I650, I651, I652, I653, I654, I655, I656, I647, I648, I649, I650, I651, I652, I657, I658) [I658 = I656 /\ I657 = I655 /\ 1 + I651 <= I650 /\ I656 = I656 /\ I655 = I655] f23#(I659, I660, I661, I662, I663, I664, I665, I666, I667, I668, I669, I670, I671, I672, I673) -> f24#(I669, I670, I671, I672, I673, I674, I675, I666, I667, I668, 1 + I669, I670, I671, I676, I677) [I677 = I675 /\ I676 = I674 /\ I675 = I675 /\ I674 = I674] f20#(I728, I729, I730, I731, I732, I733, I734, I735, I736, I737, I738, I739, I740, I741, I742) -> f10#(I738, I739, I740, I741, I742, I743, I744, I745, I736, I737, I738, I739, I746, I747, I748) [I748 = I745 /\ I747 = I744 /\ I746 = I743 /\ I739 <= I738 /\ I745 = I745 /\ I744 = I744 /\ I743 = I743] f20#(I749, I750, I751, I752, I753, I754, I755, I756, I757, I758, I759, I760, I761, I762, I763) -> f6#(I759, I760, I761, I762, I763, I764, I765, I766, I757, I758, I759, I760, I767, I768, I769) [I769 = I766 /\ I768 = I765 /\ I767 = I764 /\ 1 + I759 <= I760 /\ I766 = I766 /\ I765 = I765 /\ I764 = I764] f18#(I770, I771, I772, I773, I774, I775, I776, I777, I778, I779, I780, I781, I782, I783, I784) -> f19#(I780, I781, I782, I783, I784, I785, I786, I787, I778, I779, I780, I781, I788, I789, I790) [I790 = I787 /\ I789 = I786 /\ I788 = I785 /\ I787 = I787 /\ I786 = I786 /\ I785 = I785] f19#(I791, I792, I793, I794, I795, I796, I797, I798, I799, I800, I801, I802, I803, I804, I805) -> f17#(I801, I802, I803, I804, I805, I806, I807, I808, I799, I800, I801, I802, I809, I810, I811) [I811 = I808 /\ I810 = I807 /\ I809 = I806 /\ I801 <= I802 /\ I808 = I808 /\ I807 = I807 /\ I806 = I806] f19#(I812, I813, I814, I815, I816, I817, I818, I819, I820, I821, I822, I823, I824, I825, I826) -> f15#(I822, I823, I824, I825, I826, I827, I828, I829, I820, I821, I822, I823, I830, I831, I832) [I832 = I829 /\ I831 = I828 /\ I830 = I827 /\ 1 + I823 <= I822 /\ I829 = I829 /\ I828 = I828 /\ I827 = I827] f17#(I833, I834, I835, I836, I837, I838, I839, I840, I841, I842, I843, I844, I845, I846, I847) -> f18#(I843, I844, I845, I846, I847, I848, I849, I850, I841, I842, 1 + I843, I844, I851, I852, I853) [I853 = I850 /\ I852 = I849 /\ I851 = I848 /\ I850 = I850 /\ I849 = I849 /\ I848 = I848] f14#(I904, I905, I906, I907, I908, I909, I910, I911, I912, I913, I914, I915, I916, I917, I918) -> f13#(I914, I915, I916, I917, I918, I919, I920, I921, I912, I913, I914, 0, I922, I923, I924) [I924 = I921 /\ I923 = I920 /\ I922 = I919 /\ I921 = I921 /\ I920 = I920 /\ I919 = I919] f13#(I925, I926, I927, I928, I929, I930, I931, I932, I933, I934, I935, I936, I937, I938, I939) -> f12#(I935, I936, I937, I938, I939, I940, I941, I942, I933, I934, I935, I936, I943, I944, I945) [I945 = I942 /\ I944 = I941 /\ I943 = I940 /\ 1 + I936 <= I935 /\ I942 = I942 /\ I941 = I941 /\ I940 = I940] f13#(I946, I947, I948, I949, I950, I951, I952, I953, I954, I955, I956, I957, I958, I959, I960) -> f8#(I956, I957, I958, I959, I960, I961, I962, I963, I954, I955, I956, I957, I964, I965, I966) [I966 = I963 /\ I965 = I962 /\ I964 = I961 /\ I956 <= I957 /\ I963 = I963 /\ I962 = I962 /\ I961 = I961] f12#(I967, I968, I969, I970, I971, I972, I973, I974, I975, I976, I977, I978, I979, I980, I981) -> f13#(I977, I978, I979, I980, I981, I982, I983, I984, I975, I976, I977, 1 + I978, I985, I986, I987) [I987 = I984 /\ I986 = I983 /\ I985 = I982 /\ I984 = I984 /\ I983 = I983 /\ I982 = I982] f10#(I988, I989, I990, I991, I992, I993, I994, I995, I996, I997, I998, I999, I1000, I1001, I1002) -> f11#(I998, I999, I1000, I1001, I1002, I1003, I1004, I1005, I996, I997, -1 + I998, I999, I1006, I1007, I1008) [I1008 = I1005 /\ I1007 = I1004 /\ I1006 = I1003 /\ I1005 = I1005 /\ I1004 = I1004 /\ I1003 = I1003] f4#(I1084, I1085, I1086, I1087, I1088, I1089, I1090, I1091, I1092, I1093, I1094, I1095, I1096, I1097, I1098) -> f5#(I1094, I1095, I1096, I1097, I1098, I1089, I1090, I1091, I1092, I1093, I1094, I1095, I1096, I1097, I1098) f5#(I1099, I1100, I1101, I1102, I1103, I1104, I1105, I1106, I1107, I1108, I1109, I1110, I1111, I1112, I1113) -> f3#(I1109, I1110, I1111, I1112, I1113, I1104, I1105, I1106, I1107, I1108, I1109, I1110, I1111, I1112, I1113) [I1109 <= I1110] f5#(I1114, I1115, I1116, I1117, I1118, I1119, I1120, I1121, I1122, I1123, I1124, I1125, I1126, I1127, I1128) -> f1#(I1124, I1125, I1126, I1127, I1128, I1119, I1120, I1121, I1122, I1123, I1124, I1125, I1126, I1127, I1128) [1 + I1125 <= I1124] f3#(I1129, I1130, I1131, I1132, I1133, I1134, I1135, I1136, I1137, I1138, I1139, I1140, I1141, I1142, I1143) -> f4#(I1139, I1140, I1141, I1142, I1143, I1134, I1135, I1136, I1137, I1138, 1 + I1139, I1140, I1141, I1142, I1143) R = f32(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) -> f31(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15) f31(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14) -> f11(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14) f31(I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25, I26, I27, I28, I29) -> f2(I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25, I26, I27, I28, I29) f31(I30, I31, I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) -> f29(I30, I31, I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44) f31(I45, I46, I47, I48, I49, I50, I51, I52, I53, I54, I55, I56, I57, I58, I59) -> f30(I45, I46, I47, I48, I49, I50, I51, I52, I53, I54, I55, I56, I57, I58, I59) f31(I60, I61, I62, I63, I64, I65, I66, I67, I68, I69, I70, I71, I72, I73, I74) -> f28(I60, I61, I62, I63, I64, I65, I66, I67, I68, I69, I70, I71, I72, I73, I74) f31(I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86, I87, I88, I89) -> f26(I75, I76, I77, I78, I79, I80, I81, I82, I83, I84, I85, I86, I87, I88, I89) f31(I90, I91, I92, I93, I94, I95, I96, I97, I98, I99, I100, I101, I102, I103, I104) -> f27(I90, I91, I92, I93, I94, I95, I96, I97, I98, I99, I100, I101, I102, I103, I104) f31(I105, I106, I107, I108, I109, I110, I111, I112, I113, I114, I115, I116, I117, I118, I119) -> f24(I105, I106, I107, I108, I109, I110, I111, I112, I113, I114, I115, I116, I117, I118, I119) f31(I120, I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133, I134) -> f25(I120, I121, I122, I123, I124, I125, I126, I127, I128, I129, I130, I131, I132, I133, I134) f31(I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146, I147, I148, I149) -> f23(I135, I136, I137, I138, I139, I140, I141, I142, I143, I144, I145, I146, I147, I148, I149) f31(I150, I151, I152, I153, I154, I155, I156, I157, I158, I159, I160, I161, I162, I163, I164) -> f21(I150, I151, I152, I153, I154, I155, I156, I157, I158, I159, I160, I161, I162, I163, I164) f31(I165, I166, I167, I168, I169, I170, I171, I172, I173, I174, I175, I176, I177, I178, I179) -> f20(I165, I166, I167, I168, I169, I170, I171, I172, I173, I174, I175, I176, I177, I178, I179) f31(I180, I181, I182, I183, I184, I185, I186, I187, I188, I189, I190, I191, I192, I193, I194) -> f22(I180, I181, I182, I183, I184, I185, I186, I187, I188, I189, I190, I191, I192, I193, I194) f31(I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206, I207, I208, I209) -> f18(I195, I196, I197, I198, I199, I200, I201, I202, I203, I204, I205, I206, I207, I208, I209) f31(I210, I211, I212, I213, I214, I215, I216, I217, I218, I219, I220, I221, I222, I223, I224) -> f19(I210, I211, I212, I213, I214, I215, I216, I217, I218, I219, I220, I221, I222, I223, I224) f31(I225, I226, I227, I228, I229, I230, I231, I232, I233, I234, I235, I236, I237, I238, I239) -> f17(I225, I226, I227, I228, I229, I230, I231, I232, I233, I234, I235, I236, I237, I238, I239) f31(I240, I241, I242, I243, I244, I245, I246, I247, I248, I249, I250, I251, I252, I253, I254) -> f15(I240, I241, I242, I243, I244, I245, I246, I247, I248, I249, I250, I251, I252, I253, I254) f31(I255, I256, I257, I258, I259, I260, I261, I262, I263, I264, I265, I266, I267, I268, I269) -> f16(I255, I256, I257, I258, I259, I260, I261, I262, I263, I264, I265, I266, I267, I268, I269) f31(I270, I271, I272, I273, I274, I275, I276, I277, I278, I279, I280, I281, I282, I283, I284) -> f14(I270, I271, I272, I273, I274, I275, I276, I277, I278, I279, I280, I281, I282, I283, I284) f31(I285, I286, I287, I288, I289, I290, I291, I292, I293, I294, I295, I296, I297, I298, I299) -> f13(I285, I286, I287, I288, I289, I290, I291, I292, I293, I294, I295, I296, I297, I298, I299) f31(I300, I301, I302, I303, I304, I305, I306, I307, I308, I309, I310, I311, I312, I313, I314) -> f12(I300, I301, I302, I303, I304, I305, I306, I307, I308, I309, I310, I311, I312, I313, I314) f31(I315, I316, I317, I318, I319, I320, I321, I322, I323, I324, I325, I326, I327, I328, I329) -> f10(I315, I316, I317, I318, I319, I320, I321, I322, I323, I324, I325, I326, I327, I328, I329) f31(I330, I331, I332, I333, I334, I335, I336, I337, I338, I339, I340, I341, I342, I343, I344) -> f8(I330, I331, I332, I333, I334, I335, I336, I337, I338, I339, I340, I341, I342, I343, I344) f31(I345, I346, I347, I348, I349, I350, I351, I352, I353, I354, I355, I356, I357, I358, I359) -> f9(I345, I346, I347, I348, I349, I350, I351, I352, I353, I354, I355, I356, I357, I358, I359) f31(I360, I361, I362, I363, I364, I365, I366, I367, I368, I369, I370, I371, I372, I373, I374) -> f6(I360, I361, I362, I363, I364, I365, I366, I367, I368, I369, I370, I371, I372, I373, I374) f31(I375, I376, I377, I378, I379, I380, I381, I382, I383, I384, I385, I386, I387, I388, I389) -> f7(I375, I376, I377, I378, I379, I380, I381, I382, I383, I384, I385, I386, I387, I388, I389) f31(I390, I391, I392, I393, I394, I395, I396, I397, I398, I399, I400, I401, I402, I403, I404) -> f4(I390, I391, I392, I393, I394, I395, I396, I397, I398, I399, I400, I401, I402, I403, I404) f31(I405, I406, I407, I408, I409, I410, I411, I412, I413, I414, I415, I416, I417, I418, I419) -> f5(I405, I406, I407, I408, I409, I410, I411, I412, I413, I414, I415, I416, I417, I418, I419) f31(I420, I421, I422, I423, I424, I425, I426, I427, I428, I429, I430, I431, I432, I433, I434) -> f3(I420, I421, I422, I423, I424, I425, I426, I427, I428, I429, I430, I431, I432, I433, I434) f31(I435, I436, I437, I438, I439, I440, I441, I442, I443, I444, I445, I446, I447, I448, I449) -> f1(I435, I436, I437, I438, I439, I440, I441, I442, I443, I444, I445, I446, I447, I448, I449) f31(I450, I451, I452, I453, I454, I455, I456, I457, I458, I459, I460, I461, I462, I463, I464) -> f14(I460, I461, I462, I463, I464, rnd6, rnd7, rnd8, rnd9, I459, I460, rnd12, rnd13, rnd14, rnd15) [rnd15 = rnd9 /\ rnd14 = rnd8 /\ rnd13 = rnd7 /\ rnd12 = rnd6 /\ rnd9 = rnd9 /\ rnd8 = rnd8 /\ rnd7 = rnd7 /\ rnd6 = rnd6] f11(I465, I466, I467, I468, I469, I470, I471, I472, I473, I474, I475, I476, I477, I478, I479) -> f20(I475, I476, I477, I478, I479, I480, I481, I482, I473, I474, I475, I476, I483, I484, I485) [I485 = I482 /\ I484 = I481 /\ I483 = I480 /\ I482 = I482 /\ I481 = I481 /\ I480 = I480] f29(I486, I487, I488, I489, I490, I491, I492, I493, I494, I495, I496, I497, I498, I499, I500) -> f30(I496, I497, I498, I499, I500, I501, I492, I493, I494, I495, I496, I497, I498, I499, I502) [I502 = I501 /\ I501 = I501] f30(I503, I504, I505, I506, I507, I508, I509, I510, I511, I512, I513, I514, I515, I516, I517) -> f28(I513, I514, I515, I516, I517, I518, I509, I510, I511, I512, I513, I514, I515, I516, I519) [I519 = I518 /\ I514 <= I513 /\ I518 = I518] f30(I520, I521, I522, I523, I524, I525, I526, I527, I528, I529, I530, I531, I532, I533, I534) -> f26(I530, I531, I532, I533, I534, I535, I526, I527, I528, I529, I530, I531, I532, I533, I536) [I536 = I535 /\ 1 + I530 <= I531 /\ I535 = I535] f28(I537, I538, I539, I540, I541, I542, I543, I544, I545, I546, I547, I548, I549, I550, I551) -> f29(I547, I548, I549, I550, I551, I552, I543, I544, I545, I546, -1 + I547, I548, I549, I550, I553) [I553 = I552 /\ I552 = I552] f28(I554, I555, I556, I557, I558, I559, I560, I561, I562, I563, I564, I565, I566, I567, I568) -> f27(I564, I565, I566, I567, I568, I569, I570, I571, I572, rnd10, rnd11, I573, I574, I575, I576) [I576 = rnd10 /\ I575 = I572 /\ I574 = I571 /\ I573 = I570 /\ rnd11 = I569 /\ rnd10 = rnd10 /\ I572 = I572 /\ I571 = I571 /\ I570 = I570 /\ I569 = I569] f26(I577, I578, I579, I580, I581, I582, I583, I584, I585, I586, I587, I588, I589, I590, I591) -> f27(I587, I588, I589, I590, I591, I592, I593, I594, I595, I596, I597, I598, I599, I600, I601) [I601 = I596 /\ I600 = I595 /\ I599 = I594 /\ I598 = I593 /\ I597 = I592 /\ I596 = I596 /\ I595 = I595 /\ I594 = I594 /\ I593 = I593 /\ I592 = I592] popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Integ Trans Syste 27634