Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/polynom3
Name
Last modified
Size
Description
Parent Directory
-
polynom3__t17_polynom3
2017-01-13 00:39
74K
polynom3__s1_polynom3
2017-01-13 00:39
89K
polynom3__t1_polynom3
2017-01-13 00:39
89K
polynom3__t7_polynom3
2017-01-13 00:39
92K
polynom3__t3_polynom3
2017-01-13 00:39
94K
polynom3__t23_polynom3
2017-01-13 00:39
96K
polynom3__t5_polynom3
2017-01-13 00:39
96K
polynom3__t19_polynom3
2017-01-13 00:39
97K
polynom3__t26_polynom3
2017-01-13 00:39
99K
polynom3__t20_polynom3
2017-01-13 00:39
99K
polynom3__t27_polynom3
2017-01-13 00:39
99K
polynom3__s2_polynom3
2017-01-13 00:39
100K
polynom3__t25_polynom3
2017-01-13 00:39
103K
polynom3__t24_polynom3
2017-01-13 00:39
103K
polynom3__l32_polynom3
2017-01-13 00:39
104K
polynom3__t28_polynom3
2017-01-13 00:39
105K
polynom3__t30_polynom3
2017-01-13 00:39
107K
polynom3__t29_polynom3
2017-01-13 00:39
113K
polynom3__t2_polynom3
2017-01-13 00:39
114K
polynom3__t8_polynom3
2017-01-13 00:39
115K
polynom3__t16_polynom3
2017-01-13 00:39
116K
polynom3__t36_polynom3
2017-01-13 00:39
123K
polynom3__t34_polynom3
2017-01-13 00:39
125K
polynom3__t21_polynom3
2017-01-13 00:39
127K
polynom3__l47_polynom3
2017-01-13 00:39
131K
polynom3__t4_polynom3
2017-01-13 00:39
131K
polynom3__t10_polynom3
2017-01-13 00:39
136K
polynom3__t22_polynom3
2017-01-13 00:39
138K
polynom3__t11_polynom3
2017-01-13 00:39
140K
polynom3__t18_polynom3
2017-01-13 00:39
144K
polynom3__t6_polynom3
2017-01-13 00:39
146K
polynom3__t15_polynom3
2017-01-13 00:39
146K
polynom3__t31_polynom3
2017-01-13 00:39
154K
polynom3__t32_polynom3
2017-01-13 00:39
154K
polynom3__t12_polynom3
2017-01-13 00:39
159K
polynom3__t13_polynom3
2017-01-13 00:39
163K
polynom3__t14_polynom3
2017-01-13 00:39
178K
polynom3__t35_polynom3
2017-01-13 00:39
207K
polynom3__t9_polynom3
2017-01-13 00:39
230K
polynom3__t33_polynom3
2017-01-13 00:39
536K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80