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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_8__l10_int_82021-07-18 08:00 18K 
[ ]int_8__l29_int_82021-07-18 08:00 16K 
[ ]int_8__t1_int_82021-07-18 08:00 22K 
[ ]int_8__t2_int_82021-07-18 08:01 22K 
[ ]int_8__t3_int_82021-07-18 08:01 26K 
[ ]int_8__t4_int_82021-07-18 08:02 372K 
[ ]int_8__t5_int_82021-07-18 08:02 18K 
[ ]int_8__t6_int_82021-07-18 08:02 22K 
[ ]int_8__t7_int_82021-07-18 08:03 459K 
[ ]int_8__t8_int_82021-07-18 08:03 76K 
[ ]int_8__t9_int_82021-07-18 08:04 21K 
[ ]int_8__t10_int_82021-07-18 08:04 45K 
[ ]int_8__t11_int_82021-07-18 08:04 23K 
[ ]int_8__t12_int_82021-07-18 08:05 67K 
[ ]int_8__t13_int_82021-07-18 08:05 38K 
[ ]int_8__t14_int_82021-07-18 08:06 31K 
[ ]int_8__t15_int_82021-07-18 08:06 30K 
[ ]int_8__t16_int_82021-07-18 08:06 29K 
[ ]int_8__t17_int_82021-07-18 08:07 26K 
[ ]int_8__t18_int_82021-07-18 08:07 31K 
[ ]int_8__t19_int_82021-07-18 08:08 28K 
[ ]int_8__t20_int_82021-07-18 08:08 25K 
[ ]int_8__t21_int_82021-07-18 08:08 29K 
[ ]int_8__t22_int_82021-07-18 08:09 39K 
[ ]int_8__t23_int_82021-07-18 08:09 50K 
[ ]int_8__t24_int_82021-07-18 08:10 43K 
[ ]int_8__t25_int_82021-07-18 08:10 39K 
[ ]int_8__t26_int_82021-07-18 08:11 61K 
[ ]int_8__t27_int_82021-07-18 08:11 50K 
[ ]int_8__t28_int_82021-07-18 08:12 78K 
[ ]int_8__t29_int_82021-07-18 08:12 95K 
[ ]int_8__t30_int_82021-07-18 08:13 93K 
[ ]int_8__t31_int_82021-07-18 08:13 381K 
[ ]int_8__t32_int_82021-07-18 08:14 75K 
[ ]int_8__l8_int_82021-07-18 08:14 53K 
[ ]int_8__t18_int_8.vout2021-07-25 14:24 4.7K 
[ ]int_8__t30_int_8.vout2021-07-25 14:49 7.2K 
[ ]int_8__t8_int_8.vout2021-07-25 14:52 3.6K 
[ ]int_8__t22_int_8.vout2021-07-25 15:18 7.3K 
[ ]int_8__t11_int_8.vout2021-07-25 15:21 2.0K 
[ ]int_8__t26_int_8.vout2021-07-25 15:21 3.6K 
[ ]int_8__t10_int_8.vout2021-07-25 15:22 4.7K 
[ ]int_8__t2_int_8.vout2021-07-25 15:37 15K 
[ ]int_8__t20_int_8.vout2021-07-25 16:08 7.3K 
[ ]int_8__t14_int_8.vout2021-07-25 16:16 7.2K 
[ ]int_8__t25_int_8.vout2021-07-25 16:35 5.2K 
[ ]int_8__t12_int_8.vout2021-07-25 16:51 4.7K 
[ ]int_8__t17_int_8.vout2021-07-25 17:21 4.7K 
[ ]int_8__t9_int_8.vout2021-07-25 17:33 13K 
[ ]int_8__t27_int_8.vout2021-07-25 17:42 3.6K 
[ ]int_8__l8_int_8.vout2021-07-25 18:05 11K 
[ ]int_8__t23_int_8.vout2021-07-25 18:06 3.6K 
[ ]int_8__t24_int_8.vout2021-07-25 18:20 7.2K 
[ ]int_8__t1_int_8.vout2021-07-25 18:29 18K 
[ ]int_8__t29_int_8.vout2021-07-25 18:43 7.2K 
[ ]int_8__l10_int_8.vout2021-07-25 18:44 4.6K 
[ ]int_8__t6_int_8.vout2021-07-25 18:49 6.7K 
[ ]int_8__l29_int_8.vout2021-07-25 19:07 5.5K 
[ ]int_8__t32_int_8.vout2021-07-25 19:07 6.8K 
[ ]int_8__t4_int_8.vout2021-07-25 19:15 7.2K 
[ ]int_8__t3_int_8.vout2021-07-25 19:15 6.7K 
[ ]int_8__t7_int_8.vout2021-07-25 19:28 7.2K 
[ ]int_8__t28_int_8.vout2021-07-25 19:35 3.6K 
[ ]int_8__t31_int_8.vout2021-07-25 19:36 6.7K 
[ ]int_8__t19_int_8.vout2021-07-25 19:37 6.7K 
[ ]int_8__t5_int_8.vout2021-07-25 19:37 8.0K 
[ ]int_8__t16_int_8.vout2021-07-25 19:40 6.7K 
[ ]int_8__t21_int_8.vout2021-07-25 19:57 4.7K 
[ ]int_8__t13_int_8.vout2021-07-25 19:58 7.2K 
[ ]int_8__t15_int_8.vout2021-07-25 19:59 4.7K 
[ ]int_8__l10_int_8.depv12021-07-25 20:57 21  
[ ]int_8__t2_int_8.depv12021-07-25 20:57 219  
[ ]int_8__l8_int_8.depv12021-07-25 20:57 105  
[ ]int_8__l29_int_8.depv12021-07-25 20:57 90  
[ ]int_8__t1_int_8.depv12021-07-25 20:57 137  
[ ]int_8__t5_int_8.depv12021-07-25 20:57 142  
[ ]int_8__t9_int_8.depv12021-07-25 20:57 104  
[ ]int_8__l8_int_8.vmin12021-07-25 20:57 1.0K 
[ ]int_8__l10_int_8.vmin12021-07-25 20:57 394  
[ ]int_8__l29_int_8.vmin12021-07-25 20:57 516  
[ ]int_8__t1_int_8.vmin12021-07-25 20:57 1.1K 
[ ]int_8__t2_int_8.vmin12021-07-25 20:57 1.4K 
[ ]int_8__t5_int_8.vmin12021-07-25 20:57 822  
[ ]int_8__t9_int_8.vmin12021-07-25 20:57 1.1K 
[ ]int_8__t5_int_8.vmin1out2021-07-25 20:57 7.2K 
[ ]int_8__l8_int_8.vmin1out2021-07-25 20:58 8.9K 
[ ]int_8__l10_int_8.vmin1out2021-07-25 20:59 4.4K 
[ ]int_8__t9_int_8.vmin1out2021-07-25 21:00 13K 
[ ]int_8__l29_int_8.vmin1out2021-07-25 21:01 5.5K 
[ ]int_8__t1_int_8.vmin1out2021-07-25 21:02 17K 
[ ]int_8__t2_int_8.vmin1out2021-07-25 21:02 13K 
[ ]int_8__t2_int_8.depvmin12021-07-25 21:03 219  
[ ]int_8__l10_int_8.depvmin12021-07-25 21:03 21  
[ ]int_8__l29_int_8.depvmin12021-07-25 21:03 90  
[ ]int_8__t1_int_8.depvmin12021-07-25 21:03 137  
[ ]int_8__l8_int_8.depvmin12021-07-25 21:03 105  
[ ]int_8__t5_int_8.depvmin12021-07-25 21:03 118  
[ ]int_8__t9_int_8.depvmin12021-07-25 21:03 104  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80