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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]isomichi__l38_isomichi2021-07-18 23:23 17K 
[ ]isomichi__t1_isomichi2021-07-18 23:14 7.9K 
[ ]isomichi__t2_isomichi2021-07-18 23:14 8.2K 
[ ]isomichi__t3_isomichi2021-07-18 23:14 2.3K 
[ ]isomichi__t4_isomichi2021-07-18 23:14 3.5K 
[ ]isomichi__t5_isomichi2021-07-18 23:14 1.8K 
[ ]isomichi__t6_isomichi2021-07-18 23:14 7.8K 
[ ]isomichi__t7_isomichi2021-07-18 23:14 7.8K 
[ ]isomichi__t8_isomichi2021-07-18 23:15 5.7K 
[ ]isomichi__t9_isomichi2021-07-18 23:15 6.8K 
[ ]isomichi__t10_isomichi2021-07-18 23:15 7.1K 
[ ]isomichi__t11_isomichi2021-07-18 23:15 7.0K 
[ ]isomichi__t12_isomichi2021-07-18 23:15 17K 
[ ]isomichi__t13_isomichi2021-07-18 23:15 7.5K 
[ ]isomichi__t14_isomichi2021-07-18 23:15 8.0K 
[ ]isomichi__t15_isomichi2021-07-18 23:16 7.0K 
[ ]isomichi__t16_isomichi2021-07-18 23:16 6.9K 
[ ]isomichi__t17_isomichi2021-07-18 23:16 8.4K 
[ ]isomichi__t18_isomichi2021-07-18 23:16 11K 
[ ]isomichi__t19_isomichi2021-07-18 23:16 11K 
[ ]isomichi__t20_isomichi2021-07-18 23:16 38K 
[ ]isomichi__t21_isomichi2021-07-18 23:17 33K 
[ ]isomichi__t22_isomichi2021-07-18 23:17 33K 
[ ]isomichi__t23_isomichi2021-07-18 23:17 33K 
[ ]isomichi__t24_isomichi2021-07-18 23:17 25K 
[ ]isomichi__t25_isomichi2021-07-18 23:18 46K 
[ ]isomichi__t26_isomichi2021-07-18 23:18 46K 
[ ]isomichi__t27_isomichi2021-07-18 23:19 52K 
[ ]isomichi__t28_isomichi2021-07-18 23:19 52K 
[ ]isomichi__t29_isomichi2021-07-18 23:19 43K 
[ ]isomichi__t30_isomichi2021-07-18 23:20 17K 
[ ]isomichi__t31_isomichi2021-07-18 23:20 17K 
[ ]isomichi__t32_isomichi2021-07-18 23:20 61K 
[ ]isomichi__t33_isomichi2021-07-18 23:20 26K 
[ ]isomichi__t34_isomichi2021-07-18 23:21 63K 
[ ]isomichi__t35_isomichi2021-07-18 23:21 1.9K 
[ ]isomichi__t36_isomichi2021-07-18 23:14 2.7K 
[ ]isomichi__t37_isomichi2021-07-18 23:21 33K 
[ ]isomichi__t38_isomichi2021-07-18 23:21 14K 
[ ]isomichi__t39_isomichi2021-07-18 23:22 14K 
[ ]isomichi__t40_isomichi2021-07-18 23:22 14K 
[ ]isomichi__t41_isomichi2021-07-18 23:22 12K 
[ ]isomichi__t42_isomichi2021-07-18 23:22 12K 
[ ]isomichi__t43_isomichi2021-07-18 23:22 21K 
[ ]isomichi__t44_isomichi2021-07-18 23:22 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80