Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems/sin_cos5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos5__l43_sin_cos52023-06-28 00:41 28K 
[ ]sin_cos5__l47_sin_cos52023-06-28 00:41 53K 
[ ]sin_cos5__l48_sin_cos52023-06-28 00:41 53K 
[ ]sin_cos5__l52_sin_cos52023-06-28 00:41 66K 
[ ]sin_cos5__t1_sin_cos52023-06-28 00:41 19K 
[ ]sin_cos5__t2_sin_cos52023-06-28 00:41 17K 
[ ]sin_cos5__t3_sin_cos52023-06-28 00:41 26K 
[ ]sin_cos5__t4_sin_cos52023-06-28 00:41 27K 
[ ]sin_cos5__t5_sin_cos52023-06-28 00:41 19K 
[ ]sin_cos5__t6_sin_cos52023-06-28 00:41 59K 
[ ]sin_cos5__t7_sin_cos52023-06-28 00:41 173K 
[ ]sin_cos5__t8_sin_cos52023-06-28 00:41 60K 
[ ]sin_cos5__t9_sin_cos52023-06-28 00:41 45K 
[ ]sin_cos5__t10_sin_cos52023-06-28 00:41 100K 
[ ]sin_cos5__t11_sin_cos52023-06-28 00:41 35K 
[ ]sin_cos5__t12_sin_cos52023-06-28 00:41 13K 
[ ]sin_cos5__t13_sin_cos52023-06-28 00:41 48K 
[ ]sin_cos5__t14_sin_cos52023-06-28 00:41 34K 
[ ]sin_cos5__t15_sin_cos52023-06-28 00:41 49K 
[ ]sin_cos5__t16_sin_cos52023-06-28 00:41 397K 
[ ]sin_cos5__t17_sin_cos52023-06-28 00:41 213K 
[ ]sin_cos5__t18_sin_cos52023-06-28 00:41 215K 
[ ]sin_cos5__t19_sin_cos52023-06-28 00:41 215K 
[ ]sin_cos5__t20_sin_cos52023-06-28 00:41 171K 
[ ]sin_cos5__t21_sin_cos52023-06-28 00:41 100K 
[ ]sin_cos5__t22_sin_cos52023-06-28 00:41 311K 
[ ]sin_cos5__t23_sin_cos52023-06-28 00:41 212K 
[ ]sin_cos5__t24_sin_cos52023-06-28 00:41 874K 
[ ]sin_cos5__t25_sin_cos52023-06-28 00:41 873K 
[ ]sin_cos5__t26_sin_cos52023-06-28 00:41 221K 
[ ]sin_cos5__t27_sin_cos52023-06-28 00:41 129K 
[ ]sin_cos5__t28_sin_cos52023-06-28 00:41 173K 
[ ]sin_cos5__t29_sin_cos52023-06-28 00:41 102K 
[ ]sin_cos5__t30_sin_cos52023-06-28 00:41 223K 
[ ]sin_cos5__t31_sin_cos52023-06-28 00:41 102K 
[ ]sin_cos5__t32_sin_cos52023-06-28 00:41 173K 
[ ]sin_cos5__t33_sin_cos52023-06-28 00:41 223K 
[ ]sin_cos5__t34_sin_cos52023-06-28 00:41 133K 
[ ]sin_cos5__t35_sin_cos52023-06-28 00:41 133K 
[ ]sin_cos5__t36_sin_cos52023-06-28 00:41 52K 
[ ]sin_cos5__t37_sin_cos52023-06-28 00:41 73K 
[ ]sin_cos5__t38_sin_cos52023-06-28 00:41 68K 
[ ]sin_cos5__t39_sin_cos52023-06-28 00:41 67K 
[ ]sin_cos5__t40_sin_cos52023-06-28 00:41 38K 
[ ]sin_cos5__t41_sin_cos52023-06-28 00:41 57K 
[ ]sin_cos5__t42_sin_cos52023-06-28 00:41 114K 
[ ]sin_cos5__t43_sin_cos52023-06-28 00:41 187K 
[ ]sin_cos5__t44_sin_cos52023-06-28 00:41 226K 
[ ]sin_cos5__t45_sin_cos52023-06-28 00:41 140K 
[ ]sin_cos5__t46_sin_cos52023-06-28 00:41 22K 
[ ]sin_cos5__t47_sin_cos52023-06-28 00:41 65K 
[ ]sin_cos5__t48_sin_cos52023-06-28 00:41 138K 
[ ]sin_cos5__t49_sin_cos52023-06-28 00:41 185K 
[ ]sin_cos5__t50_sin_cos52023-06-28 00:41 113K 
[ ]sin_cos5__t51_sin_cos52023-06-28 00:41 185K 
[ ]sin_cos5__t52_sin_cos52023-06-28 00:41 113K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80