Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/sin_cos3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos3__l5_sin_cos32021-07-18 16:46 37K 
[ ]sin_cos3__l6_sin_cos32021-07-18 16:47 37K 
[ ]sin_cos3__l7_sin_cos32021-07-18 17:07 17K 
[ ]sin_cos3__l26_sin_cos32021-07-18 17:07 16K 
[ ]sin_cos3__l70_sin_cos32021-07-18 17:07 51K 
[ ]sin_cos3__t1_sin_cos32021-07-18 16:47 423K 
[ ]sin_cos3__t2_sin_cos32021-07-18 16:47 180K 
[ ]sin_cos3__t3_sin_cos32021-07-18 16:48 180K 
[ ]sin_cos3__t4_sin_cos32021-07-18 16:48 229K 
[ ]sin_cos3__t5_sin_cos32021-07-18 16:48 39K 
[ ]sin_cos3__t6_sin_cos32021-07-18 16:49 230K 
[ ]sin_cos3__t7_sin_cos32021-07-18 16:49 39K 
[ ]sin_cos3__t8_sin_cos32021-07-18 16:49 186K 
[ ]sin_cos3__t9_sin_cos32021-07-18 16:50 84K 
[ ]sin_cos3__t10_sin_cos32021-07-18 16:50 51K 
[ ]sin_cos3__t11_sin_cos32021-07-18 16:50 427K 
[ ]sin_cos3__t12_sin_cos32021-07-18 16:51 40K 
[ ]sin_cos3__t13_sin_cos32021-07-18 16:51 230K 
[ ]sin_cos3__t14_sin_cos32021-07-18 16:51 40K 
[ ]sin_cos3__t15_sin_cos32021-07-18 16:52 311K 
[ ]sin_cos3__t16_sin_cos32021-07-18 16:52 182K 
[ ]sin_cos3__t17_sin_cos32021-07-18 16:52 311K 
[ ]sin_cos3__t18_sin_cos32021-07-18 16:52 182K 
[ ]sin_cos3__t19_sin_cos32021-07-18 16:53 56K 
[ ]sin_cos3__t20_sin_cos32021-07-18 16:46 8.5K 
[ ]sin_cos3__t21_sin_cos32021-07-18 16:53 182K 
[ ]sin_cos3__t22_sin_cos32021-07-18 16:53 53K 
[ ]sin_cos3__t23_sin_cos32021-07-18 16:54 116K 
[ ]sin_cos3__t24_sin_cos32021-07-18 16:54 45K 
[ ]sin_cos3__t25_sin_cos32021-07-18 16:54 184K 
[ ]sin_cos3__t26_sin_cos32021-07-18 16:55 184K 
[ ]sin_cos3__t27_sin_cos32021-07-18 16:55 92K 
[ ]sin_cos3__t28_sin_cos32021-07-18 16:55 61K 
[ ]sin_cos3__t29_sin_cos32021-07-18 16:56 61K 
[ ]sin_cos3__t30_sin_cos32021-07-18 16:56 194K 
[ ]sin_cos3__t31_sin_cos32021-07-18 16:56 195K 
[ ]sin_cos3__t32_sin_cos32021-07-18 16:57 179K 
[ ]sin_cos3__t33_sin_cos32021-07-18 16:57 180K 
[ ]sin_cos3__t34_sin_cos32021-07-18 16:57 182K 
[ ]sin_cos3__t35_sin_cos32021-07-18 16:58 182K 
[ ]sin_cos3__t36_sin_cos32021-07-18 16:58 185K 
[ ]sin_cos3__t37_sin_cos32021-07-18 16:58 315K 
[ ]sin_cos3__t38_sin_cos32021-07-18 16:59 186K 
[ ]sin_cos3__t39_sin_cos32021-07-18 16:59 119K 
[ ]sin_cos3__t40_sin_cos32021-07-18 16:59 316K 
[ ]sin_cos3__t41_sin_cos32021-07-18 17:00 186K 
[ ]sin_cos3__t42_sin_cos32021-07-18 17:00 59K 
[ ]sin_cos3__t43_sin_cos32021-07-18 17:00 90K 
[ ]sin_cos3__t44_sin_cos32021-07-18 17:01 50K 
[ ]sin_cos3__t45_sin_cos32021-07-18 17:01 90K 
[ ]sin_cos3__t46_sin_cos32021-07-18 17:01 90K 
[ ]sin_cos3__t47_sin_cos32021-07-18 17:02 91K 
[ ]sin_cos3__t48_sin_cos32021-07-18 17:02 41K 
[ ]sin_cos3__t49_sin_cos32021-07-18 17:02 91K 
[ ]sin_cos3__t50_sin_cos32021-07-18 17:03 187K 
[ ]sin_cos3__t51_sin_cos32021-07-18 17:03 89K 
[ ]sin_cos3__t52_sin_cos32021-07-18 17:03 55K 
[ ]sin_cos3__t53_sin_cos32021-07-18 17:04 89K 
[ ]sin_cos3__t54_sin_cos32021-07-18 17:04 318K 
[ ]sin_cos3__t55_sin_cos32021-07-18 17:04 318K 
[ ]sin_cos3__t56_sin_cos32021-07-18 17:05 282K 
[ ]sin_cos3__t57_sin_cos32021-07-18 17:05 185K 
[ ]sin_cos3__t58_sin_cos32021-07-18 17:05 186K 
[ ]sin_cos3__t59_sin_cos32021-07-18 17:06 41K 
[ ]sin_cos3__t60_sin_cos32021-07-18 17:06 54K 
[ ]sin_cos3__t61_sin_cos32021-07-18 17:06 187K 
[ ]sin_cos3__t62_sin_cos32021-07-18 17:07 189K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80