Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/sin_cos5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos5__l43_sin_cos52025-09-13 21:57 25K 
[ ]sin_cos5__l47_sin_cos52025-09-13 21:58 50K 
[ ]sin_cos5__l48_sin_cos52025-09-13 21:59 50K 
[ ]sin_cos5__l52_sin_cos52025-09-13 22:00 61K 
[ ]sin_cos5__t1_sin_cos52025-09-13 21:13 11K 
[ ]sin_cos5__t2_sin_cos52025-09-13 21:14 10K 
[ ]sin_cos5__t3_sin_cos52025-09-13 21:14 18K 
[ ]sin_cos5__t4_sin_cos52025-09-13 21:15 18K 
[ ]sin_cos5__t5_sin_cos52025-09-13 21:16 12K 
[ ]sin_cos5__t6_sin_cos52025-09-13 21:16 47K 
[ ]sin_cos5__t7_sin_cos52025-09-13 21:17 171K 
[ ]sin_cos5__t8_sin_cos52025-09-13 21:18 47K 
[ ]sin_cos5__t9_sin_cos52025-09-13 21:19 36K 
[ ]sin_cos5__t10_sin_cos52025-09-13 21:19 93K 
[ ]sin_cos5__t11_sin_cos52025-09-13 21:20 24K 
[ ]sin_cos5__t12_sin_cos52025-09-13 21:13 7.1K 
[ ]sin_cos5__t13_sin_cos52025-09-13 21:21 39K 
[ ]sin_cos5__t14_sin_cos52025-09-13 21:21 24K 
[ ]sin_cos5__t15_sin_cos52025-09-13 21:22 39K 
[ ]sin_cos5__t16_sin_cos52025-09-13 21:23 472K 
[ ]sin_cos5__t17_sin_cos52025-09-13 21:24 222K 
[ ]sin_cos5__t18_sin_cos52025-09-13 21:25 223K 
[ ]sin_cos5__t19_sin_cos52025-09-13 21:25 223K 
[ ]sin_cos5__t20_sin_cos52025-09-13 21:26 170K 
[ ]sin_cos5__t21_sin_cos52025-09-13 21:27 92K 
[ ]sin_cos5__t22_sin_cos52025-09-13 21:27 375K 
[ ]sin_cos5__t23_sin_cos52025-09-13 21:28 241K 
[ ]sin_cos5__t24_sin_cos52025-09-13 21:29 1.3M 
[ ]sin_cos5__t25_sin_cos52025-09-13 21:30 1.3M 
[ ]sin_cos5__t26_sin_cos52025-09-13 21:31 225K 
[ ]sin_cos5__t27_sin_cos52025-09-13 21:31 123K 
[ ]sin_cos5__t28_sin_cos52025-09-13 21:32 172K 
[ ]sin_cos5__t29_sin_cos52025-09-13 21:33 94K 
[ ]sin_cos5__t30_sin_cos52025-09-13 21:34 227K 
[ ]sin_cos5__t31_sin_cos52025-09-13 21:34 94K 
[ ]sin_cos5__t32_sin_cos52025-09-13 21:35 172K 
[ ]sin_cos5__t33_sin_cos52025-09-13 21:36 227K 
[ ]sin_cos5__t34_sin_cos52025-09-13 21:37 126K 
[ ]sin_cos5__t35_sin_cos52025-09-13 21:38 127K 
[ ]sin_cos5__t36_sin_cos52025-09-13 21:39 47K 
[ ]sin_cos5__t37_sin_cos52025-09-13 21:40 64K 
[ ]sin_cos5__t38_sin_cos52025-09-13 21:41 63K 
[ ]sin_cos5__t39_sin_cos52025-09-13 21:42 62K 
[ ]sin_cos5__t40_sin_cos52025-09-13 21:43 34K 
[ ]sin_cos5__t41_sin_cos52025-09-13 21:44 52K 
[ ]sin_cos5__t42_sin_cos52025-09-13 21:45 111K 
[ ]sin_cos5__t43_sin_cos52025-09-13 21:46 189K 
[ ]sin_cos5__t44_sin_cos52025-09-13 21:47 238K 
[ ]sin_cos5__t45_sin_cos52025-09-13 21:49 142K 
[ ]sin_cos5__t46_sin_cos52025-09-13 21:49 21K 
[ ]sin_cos5__t47_sin_cos52025-09-13 21:50 62K 
[ ]sin_cos5__t48_sin_cos52025-09-13 21:52 139K 
[ ]sin_cos5__t49_sin_cos52025-09-13 21:53 189K 
[ ]sin_cos5__t50_sin_cos52025-09-13 21:54 111K 
[ ]sin_cos5__t51_sin_cos52025-09-13 21:55 189K 
[ ]sin_cos5__t52_sin_cos52025-09-13 21:56 110K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80