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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_1__t1_fcont_12025-09-13 11:06 73K 
[ ]fcont_1__t3_fcont_12025-09-13 11:08 84K 
[ ]fcont_1__t4_fcont_12025-09-13 11:10 72K 
[ ]fcont_1__t5_fcont_12025-09-13 11:12 63K 
[ ]fcont_1__t6_fcont_12025-09-13 11:13 71K 
[ ]fcont_1__t7_fcont_12025-09-13 11:15 121K 
[ ]fcont_1__t8_fcont_12025-09-13 11:17 72K 
[ ]fcont_1__t9_fcont_12025-09-13 11:18 85K 
[ ]fcont_1__t10_fcont_12025-09-13 11:20 85K 
[ ]fcont_1__t11_fcont_12025-09-13 11:22 128K 
[ ]fcont_1__t12_fcont_12025-09-13 11:24 76K 
[ ]fcont_1__t13_fcont_12025-09-13 11:25 78K 
[ ]fcont_1__t14_fcont_12025-09-13 11:27 80K 
[ ]fcont_1__t15_fcont_12025-09-13 11:04 55K 
[ ]fcont_1__t16_fcont_12025-09-13 11:28 56K 
[ ]fcont_1__t17_fcont_12025-09-13 11:05 57K 
[ ]fcont_1__t18_fcont_12025-09-13 11:30 132K 
[ ]fcont_1__t19_fcont_12025-09-13 11:32 92K 
[ ]fcont_1__t20_fcont_12025-09-13 11:33 81K 
[ ]fcont_1__t21_fcont_12025-09-13 11:35 105K 
[ ]fcont_1__t22_fcont_12025-09-13 11:37 104K 
[ ]fcont_1__t23_fcont_12025-09-13 11:39 73K 
[ ]fcont_1__t24_fcont_12025-09-13 11:40 107K 
[ ]fcont_1__t25_fcont_12025-09-13 11:42 67K 
[ ]fcont_1__t26_fcont_12025-09-13 11:43 72K 
[ ]fcont_1__t27_fcont_12025-09-13 11:45 103K 
[ ]fcont_1__t28_fcont_12025-09-13 11:47 79K 
[ ]fcont_1__t29_fcont_12025-09-13 11:48 67K 
[ ]fcont_1__t30_fcont_12025-09-13 11:50 63K 
[ ]fcont_1__t31_fcont_12025-09-13 11:51 71K 
[ ]fcont_1__t32_fcont_12025-09-13 11:53 71K 
[ ]fcont_1__t33_fcont_12025-09-13 11:54 58K 
[ ]fcont_1__t34_fcont_12025-09-13 11:56 70K 
[ ]fcont_1__t35_fcont_12025-09-13 11:57 83K 
[ ]fcont_1__t36_fcont_12025-09-13 11:59 70K 
[ ]fcont_1__t37_fcont_12025-09-13 12:00 66K 
[ ]fcont_1__t38_fcont_12025-09-13 12:02 74K 
[ ]fcont_1__t39_fcont_12025-09-13 12:03 73K 
[ ]fcont_1__t40_fcont_12025-09-13 12:05 62K 
[ ]fcont_1__t41_fcont_12025-09-13 12:07 104K 
[ ]fcont_1__t42_fcont_12025-09-13 12:08 94K 
[ ]fcont_1__t43_fcont_12025-09-13 12:10 78K 
[ ]fcont_1__t44_fcont_12025-09-13 12:11 62K 
[ ]fcont_1__t45_fcont_12025-09-13 12:13 63K 
[ ]fcont_1__t46_fcont_12025-09-13 12:15 216K 
[ ]fcont_1__t47_fcont_12025-09-13 12:17 74K 
[ ]fcont_1__t48_fcont_12025-09-13 12:18 61K 
[ ]fcont_1__t49_fcont_12025-09-13 12:20 60K 
[ ]fcont_1__t50_fcont_12025-09-13 12:21 70K 
[ ]fcont_1__t51_fcont_12025-09-13 12:23 96K 
[ ]fcont_1__t52_fcont_12025-09-13 12:24 96K 
[ ]fcont_1__t53_fcont_12025-09-13 12:26 96K 
[ ]fcont_1__t54_fcont_12025-09-13 12:28 96K 
[ ]fcont_1__t55_fcont_12025-09-13 12:29 75K 
[ ]fcont_1__t57_fcont_12025-09-13 12:31 103K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80