Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/polynom3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polynom3__l32_polynom32017-01-13 00:39 104K 
[ ]polynom3__l47_polynom32017-01-13 00:39 131K 
[ ]polynom3__s1_polynom32017-01-13 00:39 89K 
[ ]polynom3__s2_polynom32017-01-13 00:39 100K 
[ ]polynom3__t1_polynom32017-01-13 00:39 89K 
[ ]polynom3__t2_polynom32017-01-13 00:39 114K 
[ ]polynom3__t3_polynom32017-01-13 00:39 94K 
[ ]polynom3__t4_polynom32017-01-13 00:39 131K 
[ ]polynom3__t5_polynom32017-01-13 00:39 96K 
[ ]polynom3__t6_polynom32017-01-13 00:39 146K 
[ ]polynom3__t7_polynom32017-01-13 00:39 92K 
[ ]polynom3__t8_polynom32017-01-13 00:39 115K 
[ ]polynom3__t9_polynom32017-01-13 00:39 230K 
[ ]polynom3__t10_polynom32017-01-13 00:39 136K 
[ ]polynom3__t11_polynom32017-01-13 00:39 140K 
[ ]polynom3__t12_polynom32017-01-13 00:39 159K 
[ ]polynom3__t13_polynom32017-01-13 00:39 163K 
[ ]polynom3__t14_polynom32017-01-13 00:39 178K 
[ ]polynom3__t15_polynom32017-01-13 00:39 146K 
[ ]polynom3__t16_polynom32017-01-13 00:39 116K 
[ ]polynom3__t17_polynom32017-01-13 00:39 74K 
[ ]polynom3__t18_polynom32017-01-13 00:39 144K 
[ ]polynom3__t19_polynom32017-01-13 00:39 97K 
[ ]polynom3__t20_polynom32017-01-13 00:39 99K 
[ ]polynom3__t21_polynom32017-01-13 00:39 127K 
[ ]polynom3__t22_polynom32017-01-13 00:39 138K 
[ ]polynom3__t23_polynom32017-01-13 00:39 96K 
[ ]polynom3__t24_polynom32017-01-13 00:39 103K 
[ ]polynom3__t25_polynom32017-01-13 00:39 103K 
[ ]polynom3__t26_polynom32017-01-13 00:39 99K 
[ ]polynom3__t27_polynom32017-01-13 00:39 99K 
[ ]polynom3__t28_polynom32017-01-13 00:39 105K 
[ ]polynom3__t29_polynom32017-01-13 00:39 113K 
[ ]polynom3__t30_polynom32017-01-13 00:39 107K 
[ ]polynom3__t31_polynom32017-01-13 00:39 154K 
[ ]polynom3__t32_polynom32017-01-13 00:39 154K 
[ ]polynom3__t33_polynom32017-01-13 00:39 536K 
[ ]polynom3__t34_polynom32017-01-13 00:39 125K 
[ ]polynom3__t35_polynom32017-01-13 00:39 207K 
[ ]polynom3__t36_polynom32017-01-13 00:39 123K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80