Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/armstrng

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]armstrng__l1_armstrng2024-07-27 08:47 24K 
[ ]armstrng__l1_armstrng.depv12024-08-03 10:19 154  
[ ]armstrng__l1_armstrng.depvmin12024-08-03 10:24 154  
[ ]armstrng__l1_armstrng.vmin12024-08-03 10:19 1.3K 
[ ]armstrng__l1_armstrng.vmin1out2024-08-03 10:22 14K 
[ ]armstrng__l1_armstrng.vout2024-08-03 10:06 15K 
[ ]armstrng__l2_armstrng2024-07-27 08:49 26K 
[ ]armstrng__l2_armstrng.depv12024-08-03 10:19 235  
[ ]armstrng__l2_armstrng.depvmin12024-08-03 10:24 220  
[ ]armstrng__l2_armstrng.vmin12024-08-03 10:19 1.9K 
[ ]armstrng__l2_armstrng.vmin1out2024-08-03 10:21 19K 
[ ]armstrng__l2_armstrng.vout2024-08-03 07:24 20K 
[ ]armstrng__l74_armstrng2024-07-27 08:50 23K 
[ ]armstrng__l74_armstrng.vout2024-08-03 09:48 3.7K 
[ ]armstrng__t1_armstrng2024-07-27 07:30 23K 
[ ]armstrng__t1_armstrng.vout2024-08-03 05:11 7.3K 
[ ]armstrng__t2_armstrng2024-07-27 07:32 28K 
[ ]armstrng__t2_armstrng.vout2024-08-03 06:43 7.3K 
[ ]armstrng__t3_armstrng2024-07-27 07:33 22K 
[ ]armstrng__t3_armstrng.vout2024-08-03 05:32 7.3K 
[ ]armstrng__t4_armstrng2024-07-27 07:34 24K 
[ ]armstrng__t4_armstrng.vout2024-08-03 05:15 7.3K 
[ ]armstrng__t5_armstrng2024-07-27 07:35 38K 
[ ]armstrng__t5_armstrng.vout2024-08-03 07:12 7.3K 
[ ]armstrng__t6_armstrng2024-07-27 07:37 49K 
[ ]armstrng__t6_armstrng.vout2024-08-03 07:58 7.3K 
[ ]armstrng__t7_armstrng2024-07-27 07:39 95K 
[ ]armstrng__t7_armstrng.vout2024-08-03 06:29 6.8K 
[ ]armstrng__t8_armstrng2024-07-27 07:40 22K 
[ ]armstrng__t8_armstrng.depv12024-08-03 10:19 193  
[ ]armstrng__t8_armstrng.depvmin12024-08-03 10:24 180  
[ ]armstrng__t8_armstrng.vmin12024-08-03 10:19 1.5K 
[ ]armstrng__t8_armstrng.vmin1out2024-08-03 10:22 26K 
[ ]armstrng__t8_armstrng.vout2024-08-03 05:22 23K 
[ ]armstrng__t9_armstrng2024-07-27 07:41 21K 
[ ]armstrng__t9_armstrng.depv12024-08-03 10:19 219  
[ ]armstrng__t9_armstrng.depvmin12024-08-03 10:24 137  
[ ]armstrng__t9_armstrng.vmin12024-08-03 10:19 1.9K 
[ ]armstrng__t9_armstrng.vmin1out2024-08-03 10:21 18K 
[ ]armstrng__t9_armstrng.vout2024-08-03 06:58 24K 
[ ]armstrng__t10_armstrng2024-07-27 07:42 29K 
[ ]armstrng__t10_armstrng.depv12024-08-03 10:19 61  
[ ]armstrng__t10_armstrng.depvmin12024-08-03 10:24 61  
[ ]armstrng__t10_armstrng.vmin12024-08-03 10:19 759  
[ ]armstrng__t10_armstrng.vmin1out2024-08-03 10:21 13K 
[ ]armstrng__t10_armstrng.vout2024-08-03 07:47 15K 
[ ]armstrng__t11_armstrng2024-07-27 07:44 23K 
[ ]armstrng__t11_armstrng.depv12024-08-03 10:19 200  
[ ]armstrng__t11_armstrng.depvmin12024-08-03 10:24 200  
[ ]armstrng__t11_armstrng.vmin12024-08-03 10:19 1.5K 
[ ]armstrng__t11_armstrng.vmin1out2024-08-03 10:20 19K 
[ ]armstrng__t11_armstrng.vout2024-08-03 06:40 22K 
[ ]armstrng__t12_armstrng2024-07-27 07:45 22K 
[ ]armstrng__t12_armstrng.depv12024-08-03 10:19 120  
[ ]armstrng__t12_armstrng.depvmin12024-08-03 10:24 120  
[ ]armstrng__t12_armstrng.vmin12024-08-03 10:19 1.0K 
[ ]armstrng__t12_armstrng.vmin1out2024-08-03 10:20 23K 
[ ]armstrng__t12_armstrng.vout2024-08-03 07:38 22K 
[ ]armstrng__t13_armstrng2024-07-27 07:22 23K 
[ ]armstrng__t13_armstrng.depv12024-08-03 10:19 186  
[ ]armstrng__t13_armstrng.depvmin12024-08-03 10:24 139  
[ ]armstrng__t13_armstrng.vmin12024-08-03 10:19 1.5K 
[ ]armstrng__t13_armstrng.vmin1out2024-08-03 10:22 25K 
[ ]armstrng__t13_armstrng.vout2024-08-03 05:02 31K 
[ ]armstrng__t14_armstrng2024-07-27 07:23 23K 
[ ]armstrng__t14_armstrng.depv12024-08-03 10:19 110  
[ ]armstrng__t14_armstrng.depvmin12024-08-03 10:24 110  
[ ]armstrng__t14_armstrng.vmin12024-08-03 10:19 836  
[ ]armstrng__t14_armstrng.vmin1out2024-08-03 10:23 18K 
[ ]armstrng__t14_armstrng.vout2024-08-03 04:58 18K 
[ ]armstrng__t15_armstrng2024-07-27 07:46 24K 
[ ]armstrng__t15_armstrng.depv12024-08-03 10:19 281  
[ ]armstrng__t15_armstrng.depvmin12024-08-03 10:24 281  
[ ]armstrng__t15_armstrng.vmin12024-08-03 10:19 2.2K 
[ ]armstrng__t15_armstrng.vmin1out2024-08-03 10:20 24K 
[ ]armstrng__t15_armstrng.vout2024-08-03 05:24 26K 
[ ]armstrng__t16_armstrng2024-07-27 07:47 24K 
[ ]armstrng__t16_armstrng.depv12024-08-03 10:19 281  
[ ]armstrng__t16_armstrng.depvmin12024-08-03 10:24 281  
[ ]armstrng__t16_armstrng.vmin12024-08-03 10:19 2.2K 
[ ]armstrng__t16_armstrng.vmin1out2024-08-03 10:22 24K 
[ ]armstrng__t16_armstrng.vout2024-08-03 08:47 26K 
[ ]armstrng__t17_armstrng2024-07-27 07:48 28K 
[ ]armstrng__t17_armstrng.depv12024-08-03 10:19 202  
[ ]armstrng__t17_armstrng.depvmin12024-08-03 10:24 202  
[ ]armstrng__t17_armstrng.vmin12024-08-03 10:19 1.5K 
[ ]armstrng__t17_armstrng.vmin1out2024-08-03 10:22 13K 
[ ]armstrng__t17_armstrng.vout2024-08-03 04:57 14K 
[ ]armstrng__t18_armstrng2024-07-27 07:49 25K 
[ ]armstrng__t18_armstrng.vout2024-08-03 07:57 8.4K 
[ ]armstrng__t19_armstrng2024-07-27 07:50 24K 
[ ]armstrng__t19_armstrng.vout2024-08-03 09:33 9.9K 
[ ]armstrng__t20_armstrng2024-07-27 07:24 21K 
[ ]armstrng__t20_armstrng.depv12024-08-03 10:19 79  
[ ]armstrng__t20_armstrng.depvmin12024-08-03 10:24 79  
[ ]armstrng__t20_armstrng.vmin12024-08-03 10:19 587  
[ ]armstrng__t20_armstrng.vmin1out2024-08-03 10:22 5.2K 
[ ]armstrng__t20_armstrng.vout2024-08-03 06:06 4.9K 
[ ]armstrng__t21_armstrng2024-07-27 07:25 21K 
[ ]armstrng__t21_armstrng.depv12024-08-03 10:19 26  
[ ]armstrng__t21_armstrng.depvmin12024-08-03 10:24 26  
[ ]armstrng__t21_armstrng.vmin12024-08-03 10:19 441  
[ ]armstrng__t21_armstrng.vmin1out2024-08-03 10:22 5.8K 
[ ]armstrng__t21_armstrng.vout2024-08-03 05:00 5.1K 
[ ]armstrng__t22_armstrng2024-07-27 07:26 21K 
[ ]armstrng__t22_armstrng.depv12024-08-03 10:19 26  
[ ]armstrng__t22_armstrng.depvmin12024-08-03 10:24 26  
[ ]armstrng__t22_armstrng.vmin12024-08-03 10:19 401  
[ ]armstrng__t22_armstrng.vmin1out2024-08-03 10:22 4.2K 
[ ]armstrng__t22_armstrng.vout2024-08-03 09:10 4.2K 
[ ]armstrng__t23_armstrng2024-07-27 07:52 36K 
[ ]armstrng__t23_armstrng.vout2024-08-03 06:12 4.2K 
[ ]armstrng__t24_armstrng2024-07-27 08:35 28K 
[ ]armstrng__t24_armstrng.vout2024-08-03 06:57 4.8K 
[ ]armstrng__t25_armstrng2024-07-27 07:27 24K 
[ ]armstrng__t25_armstrng.depv12024-08-03 10:19 156  
[ ]armstrng__t25_armstrng.depvmin12024-08-03 10:24 144  
[ ]armstrng__t25_armstrng.vmin12024-08-03 10:19 1.4K 
[ ]armstrng__t25_armstrng.vmin1out2024-08-03 10:23 8.9K 
[ ]armstrng__t25_armstrng.vout2024-08-03 06:21 12K 
[ ]armstrng__t26_armstrng2024-07-27 07:53 28K 
[ ]armstrng__t26_armstrng.vout2024-08-03 07:17 3.7K 
[ ]armstrng__t27_armstrng2024-07-27 07:55 26K 
[ ]armstrng__t27_armstrng.vout2024-08-03 08:09 7.9K 
[ ]armstrng__t28_armstrng2024-07-27 07:56 35K 
[ ]armstrng__t28_armstrng.vout2024-08-03 06:36 3.7K 
[ ]armstrng__t29_armstrng2024-07-27 08:38 35K 
[ ]armstrng__t29_armstrng.vout2024-08-03 07:17 3.7K 
[ ]armstrng__t30_armstrng2024-07-27 08:40 34K 
[ ]armstrng__t30_armstrng.vout2024-08-03 10:01 3.7K 
[ ]armstrng__t31_armstrng2024-07-27 07:58 25K 
[ ]armstrng__t31_armstrng.depv12024-08-03 10:19 156  
[ ]armstrng__t31_armstrng.depvmin12024-08-03 10:24 98  
[ ]armstrng__t31_armstrng.vmin12024-08-03 10:19 1.5K 
[ ]armstrng__t31_armstrng.vmin1out2024-08-03 10:21 22K 
[ ]armstrng__t31_armstrng.vout2024-08-03 07:45 26K 
[ ]armstrng__t32_armstrng2024-07-27 07:59 31K 
[ ]armstrng__t32_armstrng.vout2024-08-03 07:09 3.7K 
[ ]armstrng__t33_armstrng2024-07-27 08:01 32K 
[ ]armstrng__t33_armstrng.vout2024-08-03 05:25 4.7K 
[ ]armstrng__t34_armstrng2024-07-27 08:02 30K 
[ ]armstrng__t34_armstrng.vout2024-08-03 06:34 4.2K 
[ ]armstrng__t35_armstrng2024-07-27 08:04 35K 
[ ]armstrng__t35_armstrng.vout2024-08-03 09:37 3.7K 
[ ]armstrng__t36_armstrng2024-07-27 08:06 25K 
[ ]armstrng__t36_armstrng.vout2024-08-03 08:47 3.7K 
[ ]armstrng__t37_armstrng2024-07-27 08:07 30K 
[ ]armstrng__t37_armstrng.vout2024-08-03 06:46 4.2K 
[ ]armstrng__t38_armstrng2024-07-27 08:09 28K 
[ ]armstrng__t38_armstrng.depv12024-08-03 10:19 149  
[ ]armstrng__t38_armstrng.depvmin12024-08-03 10:24 133  
[ ]armstrng__t38_armstrng.vmin12024-08-03 10:19 2.5K 
[ ]armstrng__t38_armstrng.vmin1out2024-08-03 10:21 42K 
[ ]armstrng__t38_armstrng.vout2024-08-03 07:54 43K 
[ ]armstrng__t39_armstrng2024-07-27 08:41 21K 
[ ]armstrng__t39_armstrng.vout2024-08-03 09:18 6.8K 
[ ]armstrng__t40_armstrng2024-07-27 08:42 31K 
[ ]armstrng__t40_armstrng.vout2024-08-03 06:05 3.7K 
[ ]armstrng__t41_armstrng2024-07-27 08:43 29K 
[ ]armstrng__t41_armstrng.vout2024-08-03 08:33 3.7K 
[ ]armstrng__t42_armstrng2024-07-27 08:11 33K 
[ ]armstrng__t42_armstrng.vout2024-08-03 06:55 3.7K 
[ ]armstrng__t43_armstrng2024-07-27 08:12 30K 
[ ]armstrng__t43_armstrng.vout2024-08-03 09:34 5.3K 
[ ]armstrng__t44_armstrng2024-07-27 08:13 21K 
[ ]armstrng__t44_armstrng.vout2024-08-03 04:14 6.8K 
[ ]armstrng__t45_armstrng2024-07-27 08:14 22K 
[ ]armstrng__t45_armstrng.vout2024-08-03 09:48 6.8K 
[ ]armstrng__t46_armstrng2024-07-27 08:18 90K 
[ ]armstrng__t46_armstrng.vout2024-08-03 09:43 3.7K 
[ ]armstrng__t47_armstrng2024-07-27 08:45 28K 
[ ]armstrng__t47_armstrng.vout2024-08-03 10:06 3.7K 
[ ]armstrng__t48_armstrng2024-07-27 08:20 31K 
[ ]armstrng__t48_armstrng.vout2024-08-03 08:45 5.3K 
[ ]armstrng__t49_armstrng2024-07-27 08:21 31K 
[ ]armstrng__t49_armstrng.vout2024-08-03 06:42 4.2K 
[ ]armstrng__t50_armstrng2024-07-27 08:46 28K 
[ ]armstrng__t50_armstrng.vout2024-08-03 06:30 3.7K 
[ ]armstrng__t51_armstrng2024-07-27 08:24 59K 
[ ]armstrng__t51_armstrng.vout2024-08-03 04:26 4.2K 
[ ]armstrng__t52_armstrng2024-07-27 07:28 23K 
[ ]armstrng__t52_armstrng.depv12024-08-03 10:19 39  
[ ]armstrng__t52_armstrng.depvmin12024-08-03 10:24 39  
[ ]armstrng__t52_armstrng.vmin12024-08-03 10:19 868  
[ ]armstrng__t52_armstrng.vmin1out2024-08-03 10:20 13K 
[ ]armstrng__t52_armstrng.vout2024-08-03 05:44 11K 
[ ]armstrng__t53_armstrng2024-07-27 08:25 28K 
[ ]armstrng__t53_armstrng.vout2024-08-03 10:13 7.9K 
[ ]armstrng__t54_armstrng2024-07-27 08:27 31K 
[ ]armstrng__t54_armstrng.vout2024-08-03 07:14 7.9K 
[ ]armstrng__t55_armstrng2024-07-27 08:28 23K 
[ ]armstrng__t55_armstrng.depv12024-08-03 10:19 99  
[ ]armstrng__t55_armstrng.depvmin12024-08-03 10:24 99  
[ ]armstrng__t55_armstrng.vmin12024-08-03 10:19 1.1K 
[ ]armstrng__t55_armstrng.vmin1out2024-08-03 10:22 19K 
[ ]armstrng__t55_armstrng.vout2024-08-03 05:03 24K 
[ ]armstrng__t56_armstrng2024-07-27 07:29 23K 
[ ]armstrng__t56_armstrng.depv12024-08-03 10:19 99  
[ ]armstrng__t56_armstrng.depvmin12024-08-03 10:24 99  
[ ]armstrng__t56_armstrng.vmin12024-08-03 10:19 1.1K 
[ ]armstrng__t56_armstrng.vmin1out2024-08-03 10:22 14K 
[ ]armstrng__t56_armstrng.vout2024-08-03 08:17 21K 
[ ]armstrng__t57_armstrng2024-07-27 08:29 34K 
[ ]armstrng__t57_armstrng.vout2024-08-03 04:11 3.7K 
[ ]armstrng__t58_armstrng2024-07-27 08:31 29K 
[ ]armstrng__t58_armstrng.vout2024-08-03 04:36 3.7K 
[ ]armstrng__t59_armstrng2024-07-27 08:32 29K 
[ ]armstrng__t59_armstrng.vout2024-08-03 06:20 4.2K 
[ ]armstrng__t60_armstrng2024-07-27 08:34 38K 
[ ]armstrng__t60_armstrng.vout2024-08-03 05:45 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80