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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_4__t2_int_42021-07-18 11:00 27K 
[ ]int_4__t5_int_42021-07-18 11:00 27K 
[ ]int_4__t45_int_42021-07-18 11:00 29K 
[ ]int_4__l12_int_42021-07-18 11:01 26K 
[ ]int_4__l20_int_42021-07-18 11:01 21K 
[ ]int_4__t1_int_42021-07-18 11:02 51K 
[ ]int_4__t3_int_42021-07-18 11:02 44K 
[ ]int_4__t4_int_42021-07-18 11:02 37K 
[ ]int_4__t6_int_42021-07-18 11:03 36K 
[ ]int_4__t7_int_42021-07-18 11:03 30K 
[ ]int_4__t8_int_42021-07-18 11:03 28K 
[ ]int_4__t9_int_42021-07-18 11:04 41K 
[ ]int_4__t10_int_42021-07-18 11:04 40K 
[ ]int_4__t11_int_42021-07-18 11:05 41K 
[ ]int_4__t13_int_42021-07-18 11:05 47K 
[ ]int_4__t15_int_42021-07-18 11:05 42K 
[ ]int_4__t16_int_42021-07-18 11:06 37K 
[ ]int_4__t17_int_42021-07-18 11:06 42K 
[ ]int_4__t18_int_42021-07-18 11:07 34K 
[ ]int_4__t19_int_42021-07-18 11:07 50K 
[ ]int_4__t20_int_42021-07-18 11:07 37K 
[ ]int_4__t21_int_42021-07-18 11:08 51K 
[ ]int_4__t22_int_42021-07-18 11:08 49K 
[ ]int_4__t23_int_42021-07-18 11:09 47K 
[ ]int_4__t24_int_42021-07-18 11:09 38K 
[ ]int_4__t25_int_42021-07-18 11:09 52K 
[ ]int_4__t26_int_42021-07-18 11:10 52K 
[ ]int_4__t27_int_42021-07-18 11:10 52K 
[ ]int_4__t28_int_42021-07-18 11:11 63K 
[ ]int_4__t29_int_42021-07-18 11:11 67K 
[ ]int_4__t30_int_42021-07-18 11:12 111K 
[ ]int_4__t31_int_42021-07-18 11:12 120K 
[ ]int_4__t32_int_42021-07-18 11:13 37K 
[ ]int_4__t33_int_42021-07-18 11:13 45K 
[ ]int_4__t34_int_42021-07-18 11:14 46K 
[ ]int_4__t35_int_42021-07-18 11:14 54K 
[ ]int_4__t36_int_42021-07-18 11:14 60K 
[ ]int_4__t37_int_42021-07-18 11:15 78K 
[ ]int_4__t38_int_42021-07-18 11:16 60K 
[ ]int_4__t39_int_42021-07-18 11:16 63K 
[ ]int_4__t40_int_42021-07-18 11:17 53K 
[ ]int_4__t41_int_42021-07-18 11:17 42K 
[ ]int_4__t42_int_42021-07-18 11:17 54K 
[ ]int_4__t43_int_42021-07-18 11:18 56K 
[ ]int_4__t44_int_42021-07-18 11:18 43K 
[ ]int_4__t46_int_42021-07-18 11:19 74K 
[ ]int_4__t47_int_42021-07-18 11:19 59K 
[ ]int_4__t49_int_42021-07-18 11:20 71K 
[ ]int_4__t50_int_42021-07-18 11:20 42K 
[ ]int_4__t51_int_42021-07-18 11:21 72K 
[ ]int_4__t52_int_42021-07-18 11:22 77K 
[ ]int_4__t53_int_42021-07-18 11:22 61K 
[ ]int_4__t54_int_42021-07-18 11:23 71K 
[ ]int_4__t48_int_42021-07-18 11:23 59K 
[ ]int_4__l3_int_42021-07-18 11:23 32K 
[ ]int_4__l4_int_42021-07-18 11:24 29K 
[ ]int_4__l5_int_42021-07-18 11:24 37K 
[ ]int_4__l9_int_42021-07-18 11:25 40K 
[ ]int_4__l10_int_42021-07-18 11:25 41K 
[ ]int_4__l11_int_42021-07-18 11:25 30K 
[ ]int_4__l35_int_42021-07-18 11:26 50K 
[ ]int_4__l46_int_42021-07-18 11:26 35K 
[ ]int_4__l51_int_42021-07-18 11:26 33K 
[ ]int_4__l52_int_42021-07-18 11:27 33K 
[ ]int_4__l53_int_42021-07-18 11:27 34K 
[ ]int_4__l54_int_42021-07-18 11:28 32K 
[ ]int_4__l20_int_4.vout2021-07-25 14:23 2.9K 
[ ]int_4__t10_int_4.vout2021-07-25 14:24 2.0K 
[ ]int_4__t4_int_4.vout2021-07-25 14:28 6.7K 
[ ]int_4__t27_int_4.vout2021-07-25 14:31 6.7K 
[ ]int_4__t1_int_4.vout2021-07-25 14:40 7.2K 
[ ]int_4__t33_int_4.vout2021-07-25 14:46 13K 
[ ]int_4__t51_int_4.vout2021-07-25 15:14 6.8K 
[ ]int_4__t21_int_4.vout2021-07-25 15:15 2.0K 
[ ]int_4__t5_int_4.vout2021-07-25 15:22 7.4K 
[ ]int_4__l35_int_4.vout2021-07-25 15:24 7.3K 
[ ]int_4__t2_int_4.vout2021-07-25 15:27 4.6K 
[ ]int_4__t54_int_4.vout2021-07-25 15:30 4.7K 
[ ]int_4__t8_int_4.vout2021-07-25 15:46 2.0K 
[ ]int_4__l9_int_4.vout2021-07-25 15:48 7.8K 
[ ]int_4__l3_int_4.vout2021-07-25 15:51 7.2K 
[ ]int_4__l12_int_4.vout2021-07-25 16:04 7.2K 
[ ]int_4__t47_int_4.vout2021-07-25 16:04 6.7K 
[ ]int_4__t31_int_4.vout2021-07-25 16:06 7.3K 
[ ]int_4__t19_int_4.vout2021-07-25 16:21 7.3K 
[ ]int_4__t6_int_4.vout2021-07-25 16:24 7.2K 
[ ]int_4__t16_int_4.vout2021-07-25 16:31 2.0K 
[ ]int_4__t7_int_4.vout2021-07-25 16:33 4.7K 
[ ]int_4__l46_int_4.vout2021-07-25 16:45 14K 
[ ]int_4__t29_int_4.vout2021-07-25 16:48 7.2K 
[ ]int_4__t40_int_4.vout2021-07-25 16:56 6.7K 
[ ]int_4__l10_int_4.vout2021-07-25 17:01 7.2K 
[ ]int_4__t50_int_4.vout2021-07-25 17:04 32K 
[ ]int_4__t22_int_4.vout2021-07-25 17:08 4.7K 
[ ]int_4__t35_int_4.vout2021-07-25 17:10 4.7K 
[ ]int_4__t34_int_4.vout2021-07-25 17:17 4.7K 
[ ]int_4__t15_int_4.vout2021-07-25 17:36 2.0K 
[ ]int_4__t30_int_4.vout2021-07-25 17:38 6.7K 
[ ]int_4__t32_int_4.vout2021-07-25 17:39 2.0K 
[ ]int_4__t45_int_4.vout2021-07-25 17:46 28K 
[ ]int_4__t49_int_4.vout2021-07-25 18:09 7.3K 
[ ]int_4__t43_int_4.vout2021-07-25 18:15 6.7K 
[ ]int_4__t18_int_4.vout2021-07-25 18:22 6.7K 
[ ]int_4__l53_int_4.vout2021-07-25 18:39 4.7K 
[ ]int_4__t24_int_4.vout2021-07-25 18:56 2.0K 
[ ]int_4__t25_int_4.vout2021-07-25 19:02 7.2K 
[ ]int_4__t42_int_4.vout2021-07-25 19:10 7.3K 
[ ]int_4__l54_int_4.vout2021-07-25 19:13 7.3K 
[ ]int_4__t9_int_4.vout2021-07-25 19:17 7.2K 
[ ]int_4__l51_int_4.vout2021-07-25 19:22 7.3K 
[ ]int_4__t41_int_4.vout2021-07-25 19:23 7.3K 
[ ]int_4__t39_int_4.vout2021-07-25 19:40 4.7K 
[ ]int_4__t52_int_4.vout2021-07-25 19:48 6.7K 
[ ]int_4__l5_int_4.vout2021-07-25 19:58 30K 
[ ]int_4__l4_int_4.vout2021-07-25 20:00 21K 
[ ]int_4__t37_int_4.vout2021-07-25 20:03 7.2K 
[ ]int_4__t23_int_4.vout2021-07-25 20:04 20K 
[ ]int_4__t17_int_4.vout2021-07-25 20:04 7.2K 
[ ]int_4__t53_int_4.vout2021-07-25 20:09 7.3K 
[ ]int_4__t11_int_4.vout2021-07-25 20:10 7.2K 
[ ]int_4__t28_int_4.vout2021-07-25 20:13 6.7K 
[ ]int_4__l11_int_4.vout2021-07-25 20:25 12K 
[ ]int_4__t26_int_4.vout2021-07-25 20:25 6.8K 
[ ]int_4__t13_int_4.vout2021-07-25 20:30 7.3K 
[ ]int_4__t48_int_4.vout2021-07-25 20:31 3.6K 
[ ]int_4__l52_int_4.vout2021-07-25 20:32 7.3K 
[ ]int_4__t3_int_4.vout2021-07-25 20:33 7.2K 
[ ]int_4__t44_int_4.vout2021-07-25 20:41 6.8K 
[ ]int_4__t20_int_4.vout2021-07-25 20:41 7.3K 
[ ]int_4__t36_int_4.vout2021-07-25 20:47 7.3K 
[ ]int_4__t46_int_4.vout2021-07-25 20:50 4.7K 
[ ]int_4__t38_int_4.vout2021-07-25 20:57 7.2K 
[ ]int_4__l4_int_4.depv12021-07-25 20:57 212  
[ ]int_4__t5_int_4.depv12021-07-25 20:57 90  
[ ]int_4__t50_int_4.depv12021-07-25 20:57 428  
[ ]int_4__l5_int_4.depv12021-07-25 20:57 193  
[ ]int_4__l46_int_4.depv12021-07-25 20:57 98  
[ ]int_4__t2_int_4.depv12021-07-25 20:57 53  
[ ]int_4__t23_int_4.depv12021-07-25 20:57 99  
[ ]int_4__l11_int_4.depv12021-07-25 20:57 105  
[ ]int_4__l20_int_4.depv12021-07-25 20:57 57  
[ ]int_4__t33_int_4.depv12021-07-25 20:57 154  
[ ]int_4__l12_int_4.depv12021-07-25 20:57 192  
[ ]int_4__t45_int_4.depv12021-07-25 20:57 57  
[ ]int_4__l4_int_4.vmin12021-07-25 20:57 1.6K 
[ ]int_4__l5_int_4.vmin12021-07-25 20:57 1.7K 
[ ]int_4__l11_int_4.vmin12021-07-25 20:57 865  
[ ]int_4__l12_int_4.vmin12021-07-25 20:57 927  
[ ]int_4__l20_int_4.vmin12021-07-25 20:57 297  
[ ]int_4__l46_int_4.vmin12021-07-25 20:57 919  
[ ]int_4__t2_int_4.vmin12021-07-25 20:57 455  
[ ]int_4__t5_int_4.vmin12021-07-25 20:57 619  
[ ]int_4__t23_int_4.vmin12021-07-25 20:57 1.0K 
[ ]int_4__t33_int_4.vmin12021-07-25 20:57 1.6K 
[ ]int_4__t45_int_4.vmin12021-07-25 20:57 1.1K 
[ ]int_4__t50_int_4.vmin12021-07-25 20:57 3.4K 
[ ]int_4__t33_int_4.vmin1out2021-07-25 20:58 14K 
[ ]int_4__t23_int_4.vmin1out2021-07-25 20:59 13K 
[ ]int_4__l20_int_4.vmin1out2021-07-25 20:59 2.3K 
[ ]int_4__t50_int_4.vmin1out2021-07-25 20:59 29K 
[ ]int_4__l5_int_4.vmin1out2021-07-25 20:59 25K 
[ ]int_4__l46_int_4.vmin1out2021-07-25 20:59 9.8K 
[ ]int_4__t45_int_4.vmin1out2021-07-25 21:00 28K 
[ ]int_4__t5_int_4.vmin1out2021-07-25 21:00 7.3K 
[ ]int_4__l12_int_4.vmin1out2021-07-25 21:01 7.3K 
[ ]int_4__l11_int_4.vmin1out2021-07-25 21:02 12K 
[ ]int_4__t2_int_4.vmin1out2021-07-25 21:02 4.0K 
[ ]int_4__l4_int_4.vmin1out2021-07-25 21:02 20K 
[ ]int_4__l4_int_4.depvmin12021-07-25 21:03 212  
[ ]int_4__l46_int_4.depvmin12021-07-25 21:03 86  
[ ]int_4__t5_int_4.depvmin12021-07-25 21:03 90  
[ ]int_4__t50_int_4.depvmin12021-07-25 21:03 379  
[ ]int_4__l5_int_4.depvmin12021-07-25 21:03 193  
[ ]int_4__t2_int_4.depvmin12021-07-25 21:03 53  
[ ]int_4__t23_int_4.depvmin12021-07-25 21:03 50  
[ ]int_4__l11_int_4.depvmin12021-07-25 21:03 105  
[ ]int_4__l20_int_4.depvmin12021-07-25 21:03 20  
[ ]int_4__t33_int_4.depvmin12021-07-25 21:03 154  
[ ]int_4__l12_int_4.depvmin12021-07-25 21:03 192  
[ ]int_4__t45_int_4.depvmin12021-07-25 21:03 57  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80