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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lfuzzy_0__l19_lfuzzy_02025-09-13 00:01 42K 
[   ]lfuzzy_0__l21_lfuzzy_02025-09-13 00:02 44K 
[   ]lfuzzy_0__l23_lfuzzy_02025-09-13 00:04 44K 
[   ]lfuzzy_0__l31_lfuzzy_02025-09-13 00:05 50K 
[   ]lfuzzy_0__l33_lfuzzy_02025-09-13 00:07 47K 
[   ]lfuzzy_0__l34_lfuzzy_02025-09-13 00:09 47K 
[   ]lfuzzy_0__s1_lfuzzy_02025-09-12 23:23 24K 
[   ]lfuzzy_0__s2_lfuzzy_02025-09-12 23:24 24K 
[   ]lfuzzy_0__s3_lfuzzy_02025-09-12 23:25 6.8K 
[   ]lfuzzy_0__s4_lfuzzy_02025-09-12 23:26 8.5K 
[   ]lfuzzy_0__s5_lfuzzy_02025-09-12 23:27 20K 
[   ]lfuzzy_0__t1_lfuzzy_02025-09-12 23:28 26K 
[   ]lfuzzy_0__t2_lfuzzy_02025-09-12 23:29 25K 
[   ]lfuzzy_0__t3_lfuzzy_02025-09-12 23:30 24K 
[   ]lfuzzy_0__t4_lfuzzy_02025-09-12 23:20 18K 
[   ]lfuzzy_0__t5_lfuzzy_02025-09-12 23:21 18K 
[   ]lfuzzy_0__t6_lfuzzy_02025-09-12 23:31 15K 
[   ]lfuzzy_0__t7_lfuzzy_02025-09-12 23:32 15K 
[   ]lfuzzy_0__t8_lfuzzy_02025-09-12 23:34 37K 
[   ]lfuzzy_0__t9_lfuzzy_02025-09-12 23:35 41K 
[   ]lfuzzy_0__t10_lfuzzy_02025-09-12 23:37 41K 
[   ]lfuzzy_0__t11_lfuzzy_02025-09-12 23:38 43K 
[   ]lfuzzy_0__t12_lfuzzy_02025-09-12 23:40 43K 
[   ]lfuzzy_0__t13_lfuzzy_02025-09-12 23:42 60K 
[   ]lfuzzy_0__t14_lfuzzy_02025-09-12 23:44 39K 
[   ]lfuzzy_0__t15_lfuzzy_02025-09-12 23:45 36K 
[   ]lfuzzy_0__t16_lfuzzy_02025-09-12 23:47 55K 
[   ]lfuzzy_0__t17_lfuzzy_02025-09-12 23:48 45K 
[   ]lfuzzy_0__t18_lfuzzy_02025-09-12 23:50 64K 
[   ]lfuzzy_0__t19_lfuzzy_02025-09-12 23:52 49K 
[   ]lfuzzy_0__t20_lfuzzy_02025-09-12 23:54 64K 
[   ]lfuzzy_0__t21_lfuzzy_02025-09-12 23:55 49K 
[   ]lfuzzy_0__t22_lfuzzy_02025-09-12 23:57 58K 
[   ]lfuzzy_0__t23_lfuzzy_02025-09-12 23:59 51K 

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