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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cardfil3__l30_cardfil32021-07-19 06:28 39K 
[ ]cardfil3__l31_cardfil32021-07-19 06:29 49K 
[ ]cardfil3__l38_cardfil32021-07-19 06:29 65K 
[ ]cardfil3__t1_cardfil32021-07-19 06:13 30K 
[ ]cardfil3__t2_cardfil32021-07-19 06:13 34K 
[ ]cardfil3__t3_cardfil32021-07-19 06:14 43K 
[ ]cardfil3__t4_cardfil32021-07-19 06:14 57K 
[ ]cardfil3__t5_cardfil32021-07-19 06:15 47K 
[ ]cardfil3__t6_cardfil32021-07-19 06:16 65K 
[ ]cardfil3__t7_cardfil32021-07-19 06:05 56K 
[ ]cardfil3__t8_cardfil32021-07-19 06:16 58K 
[ ]cardfil3__t9_cardfil32021-07-19 06:17 61K 
[ ]cardfil3__t10_cardfil32021-07-19 06:17 39K 
[ ]cardfil3__t11_cardfil32021-07-19 06:18 62K 
[ ]cardfil3__t12_cardfil32021-07-19 06:19 47K 
[ ]cardfil3__t13_cardfil32021-07-19 06:06 64K 
[ ]cardfil3__t14_cardfil32021-07-19 06:07 60K 
[ ]cardfil3__t15_cardfil32021-07-19 06:07 53K 
[ ]cardfil3__t16_cardfil32021-07-19 06:08 49K 
[ ]cardfil3__t17_cardfil32021-07-19 06:19 49K 
[ ]cardfil3__t18_cardfil32021-07-19 06:08 46K 
[ ]cardfil3__t19_cardfil32021-07-19 06:09 52K 
[ ]cardfil3__t20_cardfil32021-07-19 06:09 32K 
[ ]cardfil3__t21_cardfil32021-07-19 06:10 29K 
[ ]cardfil3__t22_cardfil32021-07-19 06:10 32K 
[ ]cardfil3__t23_cardfil32021-07-19 06:20 32K 
[ ]cardfil3__t24_cardfil32021-07-19 06:11 46K 
[ ]cardfil3__t25_cardfil32021-07-19 06:20 64K 
[ ]cardfil3__t26_cardfil32021-07-19 06:21 58K 
[ ]cardfil3__t27_cardfil32021-07-19 06:22 60K 
[ ]cardfil3__t28_cardfil32021-07-19 06:22 58K 
[ ]cardfil3__t29_cardfil32021-07-19 06:23 80K 
[ ]cardfil3__t30_cardfil32021-07-19 06:24 68K 
[ ]cardfil3__t31_cardfil32021-07-19 06:24 73K 
[ ]cardfil3__t32_cardfil32021-07-19 06:11 60K 
[ ]cardfil3__t33_cardfil32021-07-19 06:25 67K 
[ ]cardfil3__t34_cardfil32021-07-19 06:26 80K 
[ ]cardfil3__t35_cardfil32021-07-19 06:26 56K 
[ ]cardfil3__t36_cardfil32021-07-19 06:27 80K 
[ ]cardfil3__t37_cardfil32021-07-19 06:12 58K 
[ ]cardfil3__t38_cardfil32021-07-19 06:27 56K 
[ ]cardfil3__t39_cardfil32021-07-19 06:28 80K 
[ ]cardfil3__t40_cardfil32021-07-19 06:13 58K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80