Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf1/sin_cos

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sin_cos__l37_sin_cos2023-06-27 17:20 167K 
[   ]sin_cos__l48_sin_cos2023-06-27 17:20 214K 
[   ]sin_cos__l65_sin_cos2023-06-27 17:19 40K 
[   ]sin_cos__l77_sin_cos2023-06-27 17:20 95K 
[   ]sin_cos__l78_sin_cos2023-06-27 17:20 109K 
[   ]sin_cos__t3_sin_cos2023-06-27 17:19 97K 
[   ]sin_cos__t5_sin_cos2023-06-27 17:19 75K 
[   ]sin_cos__t6_sin_cos2023-06-27 17:19 236K 
[   ]sin_cos__t9_sin_cos2023-06-27 17:19 108K 
[   ]sin_cos__t14_sin_cos2023-06-27 17:19 216K 
[   ]sin_cos__t16_sin_cos2023-06-27 17:19 117K 
[   ]sin_cos__t22_sin_cos2023-06-27 17:19 73K 
[   ]sin_cos__t32_sin_cos2023-06-27 17:19 189K 
[   ]sin_cos__t33_sin_cos2023-06-27 17:19 301K 
[   ]sin_cos__t35_sin_cos2023-06-27 17:19 430K 
[   ]sin_cos__t39_sin_cos2023-06-27 17:19 86K 
[   ]sin_cos__t40_sin_cos2023-06-27 17:19 66K 
[   ]sin_cos__t42_sin_cos2023-06-27 17:19 108K 
[   ]sin_cos__t43_sin_cos2023-06-27 17:20 1.3M 
[   ]sin_cos__t52_sin_cos2023-06-27 17:20 101K 
[   ]sin_cos__t56_sin_cos2023-06-27 17:20 350K 
[   ]sin_cos__t63_sin_cos2023-06-27 17:20 269K 
[   ]sin_cos__t64_sin_cos2023-06-27 17:20 142K 
[   ]sin_cos__t65_sin_cos2023-06-27 17:20 253K 
[   ]sin_cos__t69_sin_cos2023-06-27 17:20 723K 

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