Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf/sin_cos

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sin_cos__l37_sin_cos2023-06-27 16:50 165K 
[   ]sin_cos__l48_sin_cos2023-06-27 16:50 211K 
[   ]sin_cos__l65_sin_cos2023-06-27 16:50 40K 
[   ]sin_cos__l77_sin_cos2023-06-27 16:50 94K 
[   ]sin_cos__l78_sin_cos2023-06-27 16:50 108K 
[   ]sin_cos__t3_sin_cos2023-06-27 16:50 96K 
[   ]sin_cos__t5_sin_cos2023-06-27 16:50 74K 
[   ]sin_cos__t6_sin_cos2023-06-27 16:50 233K 
[   ]sin_cos__t9_sin_cos2023-06-27 16:50 107K 
[   ]sin_cos__t14_sin_cos2023-06-27 16:50 213K 
[   ]sin_cos__t16_sin_cos2023-06-27 16:50 116K 
[   ]sin_cos__t22_sin_cos2023-06-27 16:50 73K 
[   ]sin_cos__t32_sin_cos2023-06-27 16:50 186K 
[   ]sin_cos__t33_sin_cos2023-06-27 16:50 295K 
[   ]sin_cos__t35_sin_cos2023-06-27 16:50 421K 
[   ]sin_cos__t39_sin_cos2023-06-27 16:50 85K 
[   ]sin_cos__t40_sin_cos2023-06-27 16:50 66K 
[   ]sin_cos__t42_sin_cos2023-06-27 16:50 107K 
[   ]sin_cos__t43_sin_cos2023-06-27 16:50 1.3M 
[   ]sin_cos__t52_sin_cos2023-06-27 16:50 100K 
[   ]sin_cos__t56_sin_cos2023-06-27 16:50 345K 
[   ]sin_cos__t63_sin_cos2023-06-27 16:50 266K 
[   ]sin_cos__t64_sin_cos2023-06-27 16:50 141K 
[   ]sin_cos__t65_sin_cos2023-06-27 16:50 249K 
[   ]sin_cos__t69_sin_cos2023-06-27 16:50 709K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80