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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cardfil3__l30_cardfil32025-09-12 02:44 40K 
[ ]cardfil3__l31_cardfil32025-09-12 02:45 49K 
[ ]cardfil3__l38_cardfil32025-09-12 02:47 66K 
[ ]cardfil3__t1_cardfil32025-09-12 01:58 31K 
[ ]cardfil3__t2_cardfil32025-09-12 01:59 36K 
[ ]cardfil3__t3_cardfil32025-09-12 02:00 45K 
[ ]cardfil3__t4_cardfil32025-09-12 02:01 60K 
[ ]cardfil3__t5_cardfil32025-09-12 02:03 48K 
[ ]cardfil3__t6_cardfil32025-09-12 02:05 66K 
[ ]cardfil3__t7_cardfil32025-09-12 01:35 57K 
[ ]cardfil3__t8_cardfil32025-09-12 02:07 59K 
[ ]cardfil3__t9_cardfil32025-09-12 02:09 62K 
[ ]cardfil3__t10_cardfil32025-09-12 02:10 40K 
[ ]cardfil3__t11_cardfil32025-09-12 02:12 63K 
[ ]cardfil3__t12_cardfil32025-09-12 02:13 48K 
[ ]cardfil3__t13_cardfil32025-09-12 01:37 64K 
[ ]cardfil3__t14_cardfil32025-09-12 01:39 60K 
[ ]cardfil3__t15_cardfil32025-09-12 01:41 54K 
[ ]cardfil3__t16_cardfil32025-09-12 01:43 50K 
[ ]cardfil3__t17_cardfil32025-09-12 02:15 50K 
[ ]cardfil3__t18_cardfil32025-09-12 01:44 47K 
[ ]cardfil3__t19_cardfil32025-09-12 01:46 53K 
[ ]cardfil3__t20_cardfil32025-09-12 01:47 32K 
[ ]cardfil3__t21_cardfil32025-09-12 01:48 30K 
[ ]cardfil3__t22_cardfil32025-09-12 01:50 32K 
[ ]cardfil3__t23_cardfil32025-09-12 02:16 32K 
[ ]cardfil3__t24_cardfil32025-09-12 01:51 47K 
[ ]cardfil3__t25_cardfil32025-09-12 02:18 65K 
[ ]cardfil3__t26_cardfil32025-09-12 02:20 59K 
[ ]cardfil3__t27_cardfil32025-09-12 02:22 61K 
[ ]cardfil3__t28_cardfil32025-09-12 02:24 59K 
[ ]cardfil3__t29_cardfil32025-09-12 02:26 81K 
[ ]cardfil3__t30_cardfil32025-09-12 02:29 68K 
[ ]cardfil3__t31_cardfil32025-09-12 02:31 74K 
[ ]cardfil3__t32_cardfil32025-09-12 01:53 61K 
[ ]cardfil3__t33_cardfil32025-09-12 02:33 68K 
[ ]cardfil3__t34_cardfil32025-09-12 02:35 84K 
[ ]cardfil3__t35_cardfil32025-09-12 02:37 57K 
[ ]cardfil3__t36_cardfil32025-09-12 02:39 84K 
[ ]cardfil3__t37_cardfil32025-09-12 01:55 59K 
[ ]cardfil3__t38_cardfil32025-09-12 02:40 57K 
[ ]cardfil3__t39_cardfil32025-09-12 02:42 84K 
[ ]cardfil3__t40_cardfil32025-09-12 01:57 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80