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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]armstrng__l1_armstrng2021-07-18 07:23 29K 
[ ]armstrng__l1_armstrng.depv12021-07-25 20:57 154  
[ ]armstrng__l1_armstrng.depvmin12021-07-25 21:03 154  
[ ]armstrng__l1_armstrng.vmin12021-07-25 20:57 1.3K 
[ ]armstrng__l1_armstrng.vmin1out2021-07-25 20:59 14K 
[ ]armstrng__l1_armstrng.vout2021-07-25 14:24 15K 
[ ]armstrng__l2_armstrng2021-07-18 07:23 32K 
[ ]armstrng__l2_armstrng.depv12021-07-25 20:57 235  
[ ]armstrng__l2_armstrng.depvmin12021-07-25 21:03 220  
[ ]armstrng__l2_armstrng.vmin12021-07-25 20:57 1.9K 
[ ]armstrng__l2_armstrng.vmin1out2021-07-25 21:02 19K 
[ ]armstrng__l2_armstrng.vout2021-07-25 18:17 20K 
[ ]armstrng__l74_armstrng2021-07-18 07:23 26K 
[ ]armstrng__l74_armstrng.vout2021-07-25 20:27 3.7K 
[ ]armstrng__t1_armstrng2021-07-18 07:01 27K 
[ ]armstrng__t1_armstrng.vout2021-07-25 19:10 6.8K 
[ ]armstrng__t2_armstrng2021-07-18 07:01 31K 
[ ]armstrng__t2_armstrng.vout2021-07-25 19:48 7.3K 
[ ]armstrng__t3_armstrng2021-07-18 07:01 26K 
[ ]armstrng__t3_armstrng.vout2021-07-25 20:00 6.8K 
[ ]armstrng__t4_armstrng2021-07-18 07:02 28K 
[ ]armstrng__t4_armstrng.vout2021-07-25 15:48 7.3K 
[ ]armstrng__t5_armstrng2021-07-18 07:02 46K 
[ ]armstrng__t5_armstrng.vout2021-07-25 15:25 7.3K 
[ ]armstrng__t6_armstrng2021-07-18 07:03 56K 
[ ]armstrng__t6_armstrng.vout2021-07-25 20:12 7.3K 
[ ]armstrng__t7_armstrng2021-07-18 07:03 103K 
[ ]armstrng__t7_armstrng.vout2021-07-25 16:51 6.8K 
[ ]armstrng__t8_armstrng2021-07-18 07:04 26K 
[ ]armstrng__t8_armstrng.depv12021-07-25 20:57 180  
[ ]armstrng__t8_armstrng.depvmin12021-07-25 21:03 180  
[ ]armstrng__t8_armstrng.vmin12021-07-25 20:57 1.4K 
[ ]armstrng__t8_armstrng.vmin1out2021-07-25 21:00 26K 
[ ]armstrng__t8_armstrng.vout2021-07-25 20:18 33K 
[ ]armstrng__t9_armstrng2021-07-18 07:04 25K 
[ ]armstrng__t9_armstrng.depv12021-07-25 20:57 206  
[ ]armstrng__t9_armstrng.depvmin12021-07-25 21:03 137  
[ ]armstrng__t9_armstrng.vmin12021-07-25 20:57 1.8K 
[ ]armstrng__t9_armstrng.vmin1out2021-07-25 21:01 18K 
[ ]armstrng__t9_armstrng.vout2021-07-25 20:03 22K 
[ ]armstrng__t10_armstrng2021-07-18 07:04 33K 
[ ]armstrng__t10_armstrng.depv12021-07-25 20:57 61  
[ ]armstrng__t10_armstrng.depvmin12021-07-25 21:03 61  
[ ]armstrng__t10_armstrng.vmin12021-07-25 20:57 759  
[ ]armstrng__t10_armstrng.vmin1out2021-07-25 21:00 13K 
[ ]armstrng__t10_armstrng.vout2021-07-25 16:04 15K 
[ ]armstrng__t11_armstrng2021-07-18 07:05 27K 
[ ]armstrng__t11_armstrng.depv12021-07-25 20:57 200  
[ ]armstrng__t11_armstrng.depvmin12021-07-25 21:03 200  
[ ]armstrng__t11_armstrng.vmin12021-07-25 20:57 1.5K 
[ ]armstrng__t11_armstrng.vmin1out2021-07-25 21:02 19K 
[ ]armstrng__t11_armstrng.vout2021-07-25 15:40 22K 
[ ]armstrng__t12_armstrng2021-07-18 07:05 26K 
[ ]armstrng__t12_armstrng.depv12021-07-25 20:57 120  
[ ]armstrng__t12_armstrng.depvmin12021-07-25 21:03 120  
[ ]armstrng__t12_armstrng.vmin12021-07-25 20:57 1.0K 
[ ]armstrng__t12_armstrng.vmin1out2021-07-25 20:58 23K 
[ ]armstrng__t12_armstrng.vout2021-07-25 14:40 22K 
[ ]armstrng__t13_armstrng2021-07-18 06:58 27K 
[ ]armstrng__t13_armstrng.depv12021-07-25 20:57 186  
[ ]armstrng__t13_armstrng.depvmin12021-07-25 21:03 139  
[ ]armstrng__t13_armstrng.vmin12021-07-25 20:57 1.5K 
[ ]armstrng__t13_armstrng.vmin1out2021-07-25 20:59 25K 
[ ]armstrng__t13_armstrng.vout2021-07-25 20:49 31K 
[ ]armstrng__t14_armstrng2021-07-18 06:59 27K 
[ ]armstrng__t14_armstrng.depv12021-07-25 20:57 110  
[ ]armstrng__t14_armstrng.depvmin12021-07-25 21:03 110  
[ ]armstrng__t14_armstrng.vmin12021-07-25 20:57 836  
[ ]armstrng__t14_armstrng.vmin1out2021-07-25 20:59 18K 
[ ]armstrng__t14_armstrng.vout2021-07-25 14:37 18K 
[ ]armstrng__t15_armstrng2021-07-18 07:05 27K 
[ ]armstrng__t15_armstrng.depv12021-07-25 20:57 281  
[ ]armstrng__t15_armstrng.depvmin12021-07-25 21:03 281  
[ ]armstrng__t15_armstrng.vmin12021-07-25 20:57 2.2K 
[ ]armstrng__t15_armstrng.vmin1out2021-07-25 20:59 24K 
[ ]armstrng__t15_armstrng.vout2021-07-25 18:37 26K 
[ ]armstrng__t16_armstrng2021-07-18 07:06 28K 
[ ]armstrng__t16_armstrng.depv12021-07-25 20:57 281  
[ ]armstrng__t16_armstrng.depvmin12021-07-25 21:03 281  
[ ]armstrng__t16_armstrng.vmin12021-07-25 20:57 2.2K 
[ ]armstrng__t16_armstrng.vmin1out2021-07-25 21:02 24K 
[ ]armstrng__t16_armstrng.vout2021-07-25 17:29 26K 
[ ]armstrng__t17_armstrng2021-07-18 07:06 32K 
[ ]armstrng__t17_armstrng.depv12021-07-25 20:57 202  
[ ]armstrng__t17_armstrng.depvmin12021-07-25 21:03 202  
[ ]armstrng__t17_armstrng.vmin12021-07-25 20:57 1.5K 
[ ]armstrng__t17_armstrng.vmin1out2021-07-25 20:59 13K 
[ ]armstrng__t17_armstrng.vout2021-07-25 16:32 14K 
[ ]armstrng__t18_armstrng2021-07-18 07:06 29K 
[ ]armstrng__t18_armstrng.vout2021-07-25 17:46 8.4K 
[ ]armstrng__t19_armstrng2021-07-18 07:07 28K 
[ ]armstrng__t19_armstrng.vout2021-07-25 17:13 9.9K 
[ ]armstrng__t20_armstrng2021-07-18 06:59 24K 
[ ]armstrng__t20_armstrng.depv12021-07-25 20:57 79  
[ ]armstrng__t20_armstrng.depvmin12021-07-25 21:03 79  
[ ]armstrng__t20_armstrng.vmin12021-07-25 20:57 587  
[ ]armstrng__t20_armstrng.vmin1out2021-07-25 21:02 5.2K 
[ ]armstrng__t20_armstrng.vout2021-07-25 20:08 4.9K 
[ ]armstrng__t21_armstrng2021-07-18 06:59 25K 
[ ]armstrng__t21_armstrng.depv12021-07-25 20:57 26  
[ ]armstrng__t21_armstrng.depvmin12021-07-25 21:03 26  
[ ]armstrng__t21_armstrng.vmin12021-07-25 20:57 441  
[ ]armstrng__t21_armstrng.vmin1out2021-07-25 20:59 5.8K 
[ ]armstrng__t21_armstrng.vout2021-07-25 15:30 5.1K 
[ ]armstrng__t22_armstrng2021-07-18 06:59 25K 
[ ]armstrng__t22_armstrng.depv12021-07-25 20:57 26  
[ ]armstrng__t22_armstrng.depvmin12021-07-25 21:03 26  
[ ]armstrng__t22_armstrng.vmin12021-07-25 20:57 401  
[ ]armstrng__t22_armstrng.vmin1out2021-07-25 21:02 4.2K 
[ ]armstrng__t22_armstrng.vout2021-07-25 14:34 4.2K 
[ ]armstrng__t23_armstrng2021-07-18 07:07 40K 
[ ]armstrng__t23_armstrng.vout2021-07-25 19:50 4.2K 
[ ]armstrng__t24_armstrng2021-07-18 07:19 32K 
[ ]armstrng__t24_armstrng.vout2021-07-25 19:59 4.8K 
[ ]armstrng__t25_armstrng2021-07-18 07:00 28K 
[ ]armstrng__t25_armstrng.depv12021-07-25 20:57 156  
[ ]armstrng__t25_armstrng.depvmin12021-07-25 21:03 144  
[ ]armstrng__t25_armstrng.vmin12021-07-25 20:57 1.4K 
[ ]armstrng__t25_armstrng.vmin1out2021-07-25 21:00 8.9K 
[ ]armstrng__t25_armstrng.vout2021-07-25 15:26 12K 
[ ]armstrng__t26_armstrng2021-07-18 07:07 32K 
[ ]armstrng__t26_armstrng.vout2021-07-25 14:35 3.7K 
[ ]armstrng__t27_armstrng2021-07-18 07:08 30K 
[ ]armstrng__t27_armstrng.vout2021-07-25 16:57 7.9K 
[ ]armstrng__t28_armstrng2021-07-18 07:08 39K 
[ ]armstrng__t28_armstrng.vout2021-07-25 15:41 3.7K 
[ ]armstrng__t29_armstrng2021-07-18 07:20 39K 
[ ]armstrng__t29_armstrng.vout2021-07-25 20:26 3.7K 
[ ]armstrng__t30_armstrng2021-07-18 07:21 38K 
[ ]armstrng__t30_armstrng.vout2021-07-25 14:36 3.7K 
[ ]armstrng__t31_armstrng2021-07-18 07:09 29K 
[ ]armstrng__t31_armstrng.depv12021-07-25 20:57 149  
[ ]armstrng__t31_armstrng.depvmin12021-07-25 21:03 98  
[ ]armstrng__t31_armstrng.vmin12021-07-25 20:57 1.3K 
[ ]armstrng__t31_armstrng.vmin1out2021-07-25 20:59 21K 
[ ]armstrng__t31_armstrng.vout2021-07-25 20:15 29K 
[ ]armstrng__t32_armstrng2021-07-18 07:09 35K 
[ ]armstrng__t32_armstrng.vout2021-07-25 16:25 3.7K 
[ ]armstrng__t33_armstrng2021-07-18 07:10 35K 
[ ]armstrng__t33_armstrng.vout2021-07-25 15:27 4.8K 
[ ]armstrng__t34_armstrng2021-07-18 07:10 34K 
[ ]armstrng__t34_armstrng.vout2021-07-25 16:10 4.2K 
[ ]armstrng__t35_armstrng2021-07-18 07:11 39K 
[ ]armstrng__t35_armstrng.vout2021-07-25 15:31 3.7K 
[ ]armstrng__t36_armstrng2021-07-18 07:11 29K 
[ ]armstrng__t36_armstrng.vout2021-07-25 18:23 3.7K 
[ ]armstrng__t37_armstrng2021-07-18 07:11 33K 
[ ]armstrng__t37_armstrng.vout2021-07-25 20:35 4.2K 
[ ]armstrng__t38_armstrng2021-07-18 07:12 32K 
[ ]armstrng__t38_armstrng.depv12021-07-25 20:57 162  
[ ]armstrng__t38_armstrng.depvmin12021-07-25 21:03 146  
[ ]armstrng__t38_armstrng.vmin12021-07-25 20:57 2.6K 
[ ]armstrng__t38_armstrng.vmin1out2021-07-25 20:58 43K 
[ ]armstrng__t38_armstrng.vout2021-07-25 18:57 42K 
[ ]armstrng__t39_armstrng2021-07-18 07:21 25K 
[ ]armstrng__t39_armstrng.vout2021-07-25 15:22 6.8K 
[ ]armstrng__t40_armstrng2021-07-18 07:21 34K 
[ ]armstrng__t40_armstrng.vout2021-07-25 19:07 3.7K 
[ ]armstrng__t41_armstrng2021-07-18 07:22 33K 
[ ]armstrng__t41_armstrng.vout2021-07-25 19:51 3.7K 
[ ]armstrng__t42_armstrng2021-07-18 07:12 37K 
[ ]armstrng__t42_armstrng.vout2021-07-25 15:14 3.7K 
[ ]armstrng__t43_armstrng2021-07-18 07:13 34K 
[ ]armstrng__t43_armstrng.vout2021-07-25 14:48 4.2K 
[ ]armstrng__t44_armstrng2021-07-18 07:13 25K 
[ ]armstrng__t44_armstrng.vout2021-07-25 14:57 6.8K 
[ ]armstrng__t45_armstrng2021-07-18 07:13 26K 
[ ]armstrng__t45_armstrng.vout2021-07-25 19:00 6.8K 
[ ]armstrng__t46_armstrng2021-07-18 07:14 97K 
[ ]armstrng__t46_armstrng.vout2021-07-25 15:12 3.7K 
[ ]armstrng__t47_armstrng2021-07-18 07:22 32K 
[ ]armstrng__t47_armstrng.vout2021-07-25 20:08 3.7K 
[ ]armstrng__t48_armstrng2021-07-18 07:15 35K 
[ ]armstrng__t48_armstrng.vout2021-07-25 15:01 5.3K 
[ ]armstrng__t49_armstrng2021-07-18 07:15 35K 
[ ]armstrng__t49_armstrng.vout2021-07-25 18:55 4.2K 
[ ]armstrng__t50_armstrng2021-07-18 07:22 32K 
[ ]armstrng__t50_armstrng.vout2021-07-25 16:55 3.7K 
[ ]armstrng__t51_armstrng2021-07-18 07:16 63K 
[ ]armstrng__t51_armstrng.vout2021-07-25 18:34 4.2K 
[ ]armstrng__t52_armstrng2021-07-18 07:00 27K 
[ ]armstrng__t52_armstrng.depv12021-07-25 20:57 39  
[ ]armstrng__t52_armstrng.depvmin12021-07-25 21:03 39  
[ ]armstrng__t52_armstrng.vmin12021-07-25 20:57 868  
[ ]armstrng__t52_armstrng.vmin1out2021-07-25 20:59 13K 
[ ]armstrng__t52_armstrng.vout2021-07-25 16:38 11K 
[ ]armstrng__t53_armstrng2021-07-18 07:16 32K 
[ ]armstrng__t53_armstrng.vout2021-07-25 20:34 7.9K 
[ ]armstrng__t54_armstrng2021-07-18 07:17 35K 
[ ]armstrng__t54_armstrng.vout2021-07-25 18:25 7.9K 
[ ]armstrng__t55_armstrng2021-07-18 07:17 27K 
[ ]armstrng__t55_armstrng.depv12021-07-25 20:57 99  
[ ]armstrng__t55_armstrng.depvmin12021-07-25 21:03 99  
[ ]armstrng__t55_armstrng.vmin12021-07-25 20:57 1.1K 
[ ]armstrng__t55_armstrng.vmin1out2021-07-25 21:00 19K 
[ ]armstrng__t55_armstrng.vout2021-07-25 18:20 24K 
[ ]armstrng__t56_armstrng2021-07-18 07:00 27K 
[ ]armstrng__t56_armstrng.depv12021-07-25 20:57 99  
[ ]armstrng__t56_armstrng.depvmin12021-07-25 21:03 99  
[ ]armstrng__t56_armstrng.vmin12021-07-25 20:57 1.1K 
[ ]armstrng__t56_armstrng.vmin1out2021-07-25 20:58 14K 
[ ]armstrng__t56_armstrng.vout2021-07-25 16:58 21K 
[ ]armstrng__t57_armstrng2021-07-18 07:18 37K 
[ ]armstrng__t57_armstrng.vout2021-07-25 14:56 3.7K 
[ ]armstrng__t58_armstrng2021-07-18 07:18 33K 
[ ]armstrng__t58_armstrng.vout2021-07-25 15:17 3.7K 
[ ]armstrng__t59_armstrng2021-07-18 07:18 33K 
[ ]armstrng__t59_armstrng.vout2021-07-25 17:41 4.2K 
[ ]armstrng__t60_armstrng2021-07-18 07:19 42K 
[ ]armstrng__t60_armstrng.vout2021-07-25 17:05 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80