Index of /~mptp/mml5.63.1382/MPTP2/problems_small/int_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_5__l3_int_52021-07-18 12:12 36K 
[ ]int_5__l3_int_5.vout2021-07-25 18:33 7.2K 
[ ]int_5__l15_int_52021-07-18 12:12 52K 
[ ]int_5__l15_int_5.vout2021-07-25 14:27 7.2K 
[ ]int_5__l33_int_52021-07-18 12:12 32K 
[ ]int_5__l33_int_5.depv12021-07-25 20:57 140  
[ ]int_5__l33_int_5.depvmin12021-07-25 21:03 140  
[ ]int_5__l33_int_5.vmin12021-07-25 20:57 1.2K 
[ ]int_5__l33_int_5.vmin1out2021-07-25 21:02 17K 
[ ]int_5__l33_int_5.vout2021-07-25 17:59 25K 
[ ]int_5__l55_int_52021-07-18 11:47 34K 
[ ]int_5__l55_int_5.depv12021-07-25 20:57 50  
[ ]int_5__l55_int_5.depvmin12021-07-25 21:03 50  
[ ]int_5__l55_int_5.vmin12021-07-25 20:57 341  
[ ]int_5__l55_int_5.vmin1out2021-07-25 20:59 2.9K 
[ ]int_5__l55_int_5.vout2021-07-25 14:32 2.9K 
[ ]int_5__t1_int_52021-07-18 11:47 42K 
[ ]int_5__t1_int_5.vout2021-07-25 17:26 7.8K 
[ ]int_5__t2_int_52021-07-18 11:48 43K 
[ ]int_5__t2_int_5.vout2021-07-25 16:34 7.2K 
[ ]int_5__t3_int_52021-07-18 11:48 49K 
[ ]int_5__t3_int_5.vout2021-07-25 17:12 7.8K 
[ ]int_5__t4_int_52021-07-18 11:48 46K 
[ ]int_5__t4_int_5.vout2021-07-25 17:20 7.8K 
[ ]int_5__t5_int_52021-07-18 11:49 131K 
[ ]int_5__t5_int_5.vout2021-07-25 16:18 6.7K 
[ ]int_5__t6_int_52021-07-18 11:50 132K 
[ ]int_5__t6_int_5.vout2021-07-25 15:16 6.7K 
[ ]int_5__t7_int_52021-07-18 11:50 51K 
[ ]int_5__t7_int_5.vout2021-07-25 16:02 7.2K 
[ ]int_5__t8_int_52021-07-18 11:51 121K 
[ ]int_5__t8_int_5.vout2021-07-25 15:18 4.7K 
[ ]int_5__t9_int_52021-07-18 11:51 35K 
[ ]int_5__t9_int_5.vout2021-07-25 20:37 2.0K 
[ ]int_5__t10_int_52021-07-18 11:51 39K 
[ ]int_5__t10_int_5.depv12021-07-25 20:57 199  
[ ]int_5__t10_int_5.depvmin12021-07-25 21:03 175  
[ ]int_5__t10_int_5.vmin12021-07-25 20:57 1.0K 
[ ]int_5__t10_int_5.vmin1out2021-07-25 21:02 5.4K 
[ ]int_5__t10_int_5.vout2021-07-25 16:31 6.3K 
[ ]int_5__t11_int_52021-07-18 11:52 44K 
[ ]int_5__t11_int_5.vout2021-07-25 14:50 7.2K 
[ ]int_5__t12_int_52021-07-18 11:52 30K 
[ ]int_5__t12_int_5.depv12021-07-25 20:57 142  
[ ]int_5__t12_int_5.depvmin12021-07-25 21:03 142  
[ ]int_5__t12_int_5.vmin12021-07-25 20:57 1.1K 
[ ]int_5__t12_int_5.vmin1out2021-07-25 20:58 12K 
[ ]int_5__t12_int_5.vout2021-07-25 15:43 17K 
[ ]int_5__t13_int_52021-07-18 11:53 29K 
[ ]int_5__t13_int_5.vout2021-07-25 20:12 2.0K 
[ ]int_5__t14_int_52021-07-18 11:53 52K 
[ ]int_5__t14_int_5.vout2021-07-25 15:18 7.3K 
[ ]int_5__t15_int_52021-07-18 11:53 93K 
[ ]int_5__t15_int_5.vout2021-07-25 17:58 7.3K 
[ ]int_5__t16_int_52021-07-18 11:54 152K 
[ ]int_5__t16_int_5.vout2021-07-25 16:46 6.8K 
[ ]int_5__t17_int_52021-07-18 11:54 98K 
[ ]int_5__t17_int_5.vout2021-07-25 16:07 7.2K 
[ ]int_5__t18_int_52021-07-18 11:55 138K 
[ ]int_5__t18_int_5.vout2021-07-25 17:42 3.6K 
[ ]int_5__t19_int_52021-07-18 11:56 95K 
[ ]int_5__t19_int_5.vout2021-07-25 16:08 2.0K 
[ ]int_5__t20_int_52021-07-18 11:56 95K 
[ ]int_5__t20_int_5.vout2021-07-25 19:59 7.2K 
[ ]int_5__t21_int_52021-07-18 11:56 95K 
[ ]int_5__t21_int_5.vout2021-07-25 16:03 7.2K 
[ ]int_5__t22_int_52021-07-18 11:57 51K 
[ ]int_5__t22_int_5.vout2021-07-25 16:59 7.2K 
[ ]int_5__t23_int_52021-07-18 11:57 209K 
[ ]int_5__t23_int_5.vout2021-07-25 16:27 7.2K 
[ ]int_5__t24_int_52021-07-18 11:58 95K 
[ ]int_5__t24_int_5.vout2021-07-25 16:31 7.3K 
[ ]int_5__t25_int_52021-07-18 11:58 36K 
[ ]int_5__t25_int_5.depv12021-07-25 20:57 19  
[ ]int_5__t25_int_5.depvmin12021-07-25 21:03 19  
[ ]int_5__t25_int_5.vmin12021-07-25 20:57 656  
[ ]int_5__t25_int_5.vmin1out2021-07-25 20:59 7.9K 
[ ]int_5__t25_int_5.vout2021-07-25 16:38 7.2K 
[ ]int_5__t26_int_52021-07-18 11:58 51K 
[ ]int_5__t26_int_5.depv12021-07-25 20:57 315  
[ ]int_5__t26_int_5.depvmin12021-07-25 21:03 292  
[ ]int_5__t26_int_5.vmin12021-07-25 20:57 3.0K 
[ ]int_5__t26_int_5.vmin1out2021-07-25 20:58 24K 
[ ]int_5__t26_int_5.vout2021-07-25 14:49 34K 
[ ]int_5__t27_int_52021-07-18 11:59 29K 
[ ]int_5__t27_int_5.depv12021-07-25 20:57 237  
[ ]int_5__t27_int_5.depvmin12021-07-25 21:03 237  
[ ]int_5__t27_int_5.vmin12021-07-25 20:57 1.5K 
[ ]int_5__t27_int_5.vmin1out2021-07-25 21:00 16K 
[ ]int_5__t27_int_5.vout2021-07-25 18:39 17K 
[ ]int_5__t28_int_52021-07-18 11:59 96K 
[ ]int_5__t28_int_5.vout2021-07-25 16:55 7.2K 
[ ]int_5__t29_int_52021-07-18 12:00 147K 
[ ]int_5__t29_int_5.vout2021-07-25 17:31 6.8K 
[ ]int_5__t30_int_52021-07-18 12:00 149K 
[ ]int_5__t30_int_5.vout2021-07-25 18:54 6.7K 
[ ]int_5__t31_int_52021-07-18 12:01 60K 
[ ]int_5__t31_int_5.vout2021-07-25 20:14 7.8K 
[ ]int_5__t32_int_52021-07-18 12:01 68K 
[ ]int_5__t32_int_5.vout2021-07-25 17:34 7.2K 
[ ]int_5__t33_int_52021-07-18 12:01 70K 
[ ]int_5__t33_int_5.vout2021-07-25 14:55 6.7K 
[ ]int_5__t34_int_52021-07-18 12:02 169K 
[ ]int_5__t34_int_5.vout2021-07-25 18:28 7.2K 
[ ]int_5__t35_int_52021-07-18 12:03 73K 
[ ]int_5__t35_int_5.vout2021-07-25 15:20 4.7K 
[ ]int_5__t36_int_52021-07-18 12:03 149K 
[ ]int_5__t36_int_5.vout2021-07-25 20:19 7.2K 
[ ]int_5__t37_int_52021-07-18 12:03 255K 
[ ]int_5__t37_int_5.vout2021-07-25 15:10 7.2K 
[ ]int_5__t38_int_52021-07-18 12:04 352K 
[ ]int_5__t38_int_5.vout2021-07-25 17:04 7.2K 
[ ]int_5__t39_int_52021-07-18 12:04 38K 
[ ]int_5__t39_int_5.vout2021-07-25 18:06 1.1K 
[ ]int_5__t40_int_52021-07-18 12:05 85K 
[ ]int_5__t40_int_5.vout2021-07-25 14:29 7.2K 
[ ]int_5__t41_int_52021-07-18 12:11 322K 
[ ]int_5__t41_int_5.vout2021-07-25 19:09 3.6K 
[ ]int_5__t42_int_52021-07-18 12:06 1.4M 
[ ]int_5__t42_int_5.vout2021-07-25 17:14 3.6K 
[ ]int_5__t43_int_52021-07-18 12:06 934K 
[ ]int_5__t43_int_5.vout2021-07-25 15:44 2.0K 
[ ]int_5__t44_int_52021-07-18 12:07 1.0M 
[ ]int_5__t44_int_5.vout2021-07-25 15:32 2.0K 
[ ]int_5__t45_int_52021-07-18 12:07 145K 
[ ]int_5__t45_int_5.vout2021-07-25 20:23 7.3K 
[ ]int_5__t46_int_52021-07-18 12:08 67K 
[ ]int_5__t46_int_5.vout2021-07-25 20:48 7.8K 
[ ]int_5__t47_int_52021-07-18 12:08 79K 
[ ]int_5__t47_int_5.vout2021-07-25 14:31 7.3K 
[ ]int_5__t48_int_52021-07-18 12:09 75K 
[ ]int_5__t48_int_5.vout2021-07-25 15:57 4.7K 
[ ]int_5__t49_int_52021-07-18 12:10 345K 
[ ]int_5__t49_int_5.vout2021-07-25 17:33 3.6K 
[ ]int_5__t50_int_52021-07-18 12:10 351K 
[ ]int_5__t50_int_5.vout2021-07-25 14:37 7.2K 
[ ]int_5__t51_int_52021-07-18 12:11 255K 
[ ]int_5__t51_int_5.vout2021-07-25 18:58 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80