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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mazurulm__l1_mazurulm2025-09-12 23:38 51K 
[ ]mazurulm__l2_mazurulm2025-09-13 00:26 212K 
[ ]mazurulm__l17_mazurulm2025-09-13 00:28 71K 
[ ]mazurulm__l20_mazurulm2025-09-13 00:30 86K 
[ ]mazurulm__l32_mazurulm2025-09-13 00:32 201K 
[ ]mazurulm__l33_mazurulm2025-09-13 00:35 107K 
[ ]mazurulm__l34_mazurulm2025-09-13 00:37 222K 
[ ]mazurulm__l35_mazurulm2025-09-13 00:40 218K 
[ ]mazurulm__l37_mazurulm2025-09-13 00:42 81K 
[ ]mazurulm__l38_mazurulm2025-09-13 00:44 284K 
[ ]mazurulm__l39_mazurulm2025-09-13 00:46 447K 
[ ]mazurulm__l40_mazurulm2025-09-13 00:49 565K 
[ ]mazurulm__t1_mazurulm2025-09-12 23:39 53K 
[ ]mazurulm__t2_mazurulm2025-09-12 23:41 56K 
[ ]mazurulm__t3_mazurulm2025-09-12 23:43 72K 
[ ]mazurulm__t4_mazurulm2025-09-12 23:44 48K 
[ ]mazurulm__t5_mazurulm2025-09-12 23:46 92K 
[ ]mazurulm__t6_mazurulm2025-09-12 23:47 59K 
[ ]mazurulm__t7_mazurulm2025-09-12 23:49 110K 
[ ]mazurulm__t8_mazurulm2025-09-12 23:51 75K 
[ ]mazurulm__t9_mazurulm2025-09-12 23:53 67K 
[ ]mazurulm__t10_mazurulm2025-09-12 23:55 75K 
[ ]mazurulm__t11_mazurulm2025-09-12 23:57 74K 
[ ]mazurulm__t12_mazurulm2025-09-12 23:59 68K 
[ ]mazurulm__t13_mazurulm2025-09-13 00:01 85K 
[ ]mazurulm__t14_mazurulm2025-09-13 00:03 99K 
[ ]mazurulm__t15_mazurulm2025-09-13 00:05 102K 
[ ]mazurulm__t16_mazurulm2025-09-13 00:07 118K 
[ ]mazurulm__t17_mazurulm2025-09-13 00:09 92K 
[ ]mazurulm__t18_mazurulm2025-09-13 00:11 75K 
[ ]mazurulm__t19_mazurulm2025-09-13 00:13 80K 
[ ]mazurulm__t20_mazurulm2025-09-13 00:15 67K 
[ ]mazurulm__t21_mazurulm2025-09-13 00:17 70K 
[ ]mazurulm__t22_mazurulm2025-09-13 00:19 116K 
[ ]mazurulm__t23_mazurulm2025-09-13 00:21 90K 
[ ]mazurulm__t24_mazurulm2025-09-13 00:24 89K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80