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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]weierstr__l15_weierstr2025-09-12 15:15 41K 
[ ]weierstr__l31_weierstr2025-09-12 14:29 26K 
[ ]weierstr__t1_weierstr2025-09-12 14:30 66K 
[ ]weierstr__t2_weierstr2025-09-12 14:32 57K 
[ ]weierstr__t3_weierstr2025-09-12 14:34 59K 
[ ]weierstr__t4_weierstr2025-09-12 14:35 35K 
[ ]weierstr__t5_weierstr2025-09-12 14:37 43K 
[ ]weierstr__t6_weierstr2025-09-12 14:38 42K 
[ ]weierstr__t7_weierstr2025-09-12 14:40 48K 
[ ]weierstr__t8_weierstr2025-09-12 14:42 45K 
[ ]weierstr__t9_weierstr2025-09-12 14:18 35K 
[ ]weierstr__t10_weierstr2025-09-12 14:19 43K 
[ ]weierstr__t11_weierstr2025-09-12 14:44 62K 
[ ]weierstr__t12_weierstr2025-09-12 14:46 68K 
[ ]weierstr__t13_weierstr2025-09-12 14:47 40K 
[ ]weierstr__t14_weierstr2025-09-12 14:49 39K 
[ ]weierstr__t15_weierstr2025-09-12 14:50 39K 
[ ]weierstr__t16_weierstr2025-09-12 14:52 60K 
[ ]weierstr__t17_weierstr2025-09-12 14:21 41K 
[ ]weierstr__t18_weierstr2025-09-12 14:22 41K 
[ ]weierstr__t19_weierstr2025-09-12 14:54 53K 
[ ]weierstr__t20_weierstr2025-09-12 14:55 58K 
[ ]weierstr__t21_weierstr2025-09-12 14:57 49K 
[ ]weierstr__t22_weierstr2025-09-12 14:59 55K 
[ ]weierstr__t23_weierstr2025-09-12 15:01 49K 
[ ]weierstr__t24_weierstr2025-09-12 15:03 63K 
[ ]weierstr__t25_weierstr2025-09-12 14:24 41K 
[ ]weierstr__t26_weierstr2025-09-12 14:25 41K 
[ ]weierstr__t27_weierstr2025-09-12 15:05 63K 
[ ]weierstr__t28_weierstr2025-09-12 14:27 41K 
[ ]weierstr__t29_weierstr2025-09-12 14:28 41K 
[ ]weierstr__t30_weierstr2025-09-12 15:06 46K 
[ ]weierstr__t31_weierstr2025-09-12 15:08 48K 
[ ]weierstr__t32_weierstr2025-09-12 15:10 48K 
[ ]weierstr__t33_weierstr2025-09-12 15:12 46K 
[ ]weierstr__t34_weierstr2025-09-12 15:13 61K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80