Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/armstrng

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]armstrng__l1_armstrng2025-09-08 07:49 24K 
[ ]armstrng__l1_armstrng.depv12025-09-15 19:47 154  
[ ]armstrng__l1_armstrng.depvmin12025-09-15 19:51 154  
[ ]armstrng__l1_armstrng.vmin12025-09-15 19:47 1.3K 
[ ]armstrng__l1_armstrng.vmin1out2025-09-15 19:48 14K 
[ ]armstrng__l1_armstrng.vout2025-09-15 14:02 15K 
[ ]armstrng__l2_armstrng2025-09-08 07:51 26K 
[ ]armstrng__l2_armstrng.depv12025-09-15 19:47 235  
[ ]armstrng__l2_armstrng.depvmin12025-09-15 19:51 220  
[ ]armstrng__l2_armstrng.vmin12025-09-15 19:47 1.9K 
[ ]armstrng__l2_armstrng.vmin1out2025-09-15 19:50 19K 
[ ]armstrng__l2_armstrng.vout2025-09-15 13:29 20K 
[ ]armstrng__l74_armstrng2025-09-08 07:52 23K 
[ ]armstrng__l74_armstrng.vout2025-09-15 13:54 3.7K 
[ ]armstrng__t1_armstrng2025-09-08 06:32 23K 
[ ]armstrng__t1_armstrng.vout2025-09-15 19:13 7.3K 
[ ]armstrng__t2_armstrng2025-09-08 06:33 28K 
[ ]armstrng__t2_armstrng.vout2025-09-15 17:56 7.3K 
[ ]armstrng__t3_armstrng2025-09-08 06:34 22K 
[ ]armstrng__t3_armstrng.vout2025-09-15 15:13 6.8K 
[ ]armstrng__t4_armstrng2025-09-08 06:35 24K 
[ ]armstrng__t4_armstrng.vout2025-09-15 17:47 6.8K 
[ ]armstrng__t5_armstrng2025-09-08 06:37 38K 
[ ]armstrng__t5_armstrng.vout2025-09-15 17:18 7.3K 
[ ]armstrng__t6_armstrng2025-09-08 06:38 49K 
[ ]armstrng__t6_armstrng.vout2025-09-15 19:24 7.3K 
[ ]armstrng__t7_armstrng2025-09-08 06:40 95K 
[ ]armstrng__t7_armstrng.vout2025-09-15 18:14 6.8K 
[ ]armstrng__t8_armstrng2025-09-08 06:42 22K 
[ ]armstrng__t8_armstrng.depv12025-09-15 19:47 193  
[ ]armstrng__t8_armstrng.depvmin12025-09-15 19:51 180  
[ ]armstrng__t8_armstrng.vmin12025-09-15 19:47 1.5K 
[ ]armstrng__t8_armstrng.vmin1out2025-09-15 19:48 26K 
[ ]armstrng__t8_armstrng.vout2025-09-15 14:55 23K 
[ ]armstrng__t9_armstrng2025-09-08 06:43 21K 
[ ]armstrng__t9_armstrng.depv12025-09-15 19:47 219  
[ ]armstrng__t9_armstrng.depvmin12025-09-15 19:51 137  
[ ]armstrng__t9_armstrng.vmin12025-09-15 19:47 1.9K 
[ ]armstrng__t9_armstrng.vmin1out2025-09-15 19:48 18K 
[ ]armstrng__t9_armstrng.vout2025-09-15 15:00 24K 
[ ]armstrng__t10_armstrng2025-09-08 06:44 29K 
[ ]armstrng__t10_armstrng.depv12025-09-15 19:47 61  
[ ]armstrng__t10_armstrng.depvmin12025-09-15 19:51 61  
[ ]armstrng__t10_armstrng.vmin12025-09-15 19:47 759  
[ ]armstrng__t10_armstrng.vmin1out2025-09-15 19:48 13K 
[ ]armstrng__t10_armstrng.vout2025-09-15 16:26 15K 
[ ]armstrng__t11_armstrng2025-09-08 06:45 23K 
[ ]armstrng__t11_armstrng.depv12025-09-15 19:47 200  
[ ]armstrng__t11_armstrng.depvmin12025-09-15 19:51 200  
[ ]armstrng__t11_armstrng.vmin12025-09-15 19:47 1.5K 
[ ]armstrng__t11_armstrng.vmin1out2025-09-15 19:51 19K 
[ ]armstrng__t11_armstrng.vout2025-09-15 14:38 22K 
[ ]armstrng__t12_armstrng2025-09-08 06:46 22K 
[ ]armstrng__t12_armstrng.depv12025-09-15 19:47 120  
[ ]armstrng__t12_armstrng.depvmin12025-09-15 19:51 120  
[ ]armstrng__t12_armstrng.vmin12025-09-15 19:47 1.0K 
[ ]armstrng__t12_armstrng.vmin1out2025-09-15 19:49 23K 
[ ]armstrng__t12_armstrng.vout2025-09-15 17:30 22K 
[ ]armstrng__t13_armstrng2025-09-08 06:23 23K 
[ ]armstrng__t13_armstrng.depv12025-09-15 19:47 186  
[ ]armstrng__t13_armstrng.depvmin12025-09-15 19:51 139  
[ ]armstrng__t13_armstrng.vmin12025-09-15 19:47 1.5K 
[ ]armstrng__t13_armstrng.vmin1out2025-09-15 19:49 25K 
[ ]armstrng__t13_armstrng.vout2025-09-15 16:47 31K 
[ ]armstrng__t14_armstrng2025-09-08 06:24 23K 
[ ]armstrng__t14_armstrng.depv12025-09-15 19:47 110  
[ ]armstrng__t14_armstrng.depvmin12025-09-15 19:51 110  
[ ]armstrng__t14_armstrng.vmin12025-09-15 19:47 836  
[ ]armstrng__t14_armstrng.vmin1out2025-09-15 19:48 18K 
[ ]armstrng__t14_armstrng.vout2025-09-15 15:02 18K 
[ ]armstrng__t15_armstrng2025-09-08 06:47 24K 
[ ]armstrng__t15_armstrng.depv12025-09-15 19:47 281  
[ ]armstrng__t15_armstrng.depvmin12025-09-15 19:51 281  
[ ]armstrng__t15_armstrng.vmin12025-09-15 19:47 2.2K 
[ ]armstrng__t15_armstrng.vmin1out2025-09-15 19:49 24K 
[ ]armstrng__t15_armstrng.vout2025-09-15 16:53 26K 
[ ]armstrng__t16_armstrng2025-09-08 06:48 24K 
[ ]armstrng__t16_armstrng.depv12025-09-15 19:47 281  
[ ]armstrng__t16_armstrng.depvmin12025-09-15 19:51 281  
[ ]armstrng__t16_armstrng.vmin12025-09-15 19:47 2.2K 
[ ]armstrng__t16_armstrng.vmin1out2025-09-15 19:51 24K 
[ ]armstrng__t16_armstrng.vout2025-09-15 19:08 26K 
[ ]armstrng__t17_armstrng2025-09-08 06:49 28K 
[ ]armstrng__t17_armstrng.depv12025-09-15 19:47 202  
[ ]armstrng__t17_armstrng.depvmin12025-09-15 19:51 202  
[ ]armstrng__t17_armstrng.vmin12025-09-15 19:47 1.5K 
[ ]armstrng__t17_armstrng.vmin1out2025-09-15 19:50 13K 
[ ]armstrng__t17_armstrng.vout2025-09-15 19:33 14K 
[ ]armstrng__t18_armstrng2025-09-08 06:50 25K 
[ ]armstrng__t18_armstrng.vout2025-09-15 14:40 8.4K 
[ ]armstrng__t19_armstrng2025-09-08 06:52 24K 
[ ]armstrng__t19_armstrng.vout2025-09-15 17:29 9.9K 
[ ]armstrng__t20_armstrng2025-09-08 06:25 21K 
[ ]armstrng__t20_armstrng.depv12025-09-15 19:47 79  
[ ]armstrng__t20_armstrng.depvmin12025-09-15 19:51 79  
[ ]armstrng__t20_armstrng.vmin12025-09-15 19:47 587  
[ ]armstrng__t20_armstrng.vmin1out2025-09-15 19:48 5.2K 
[ ]armstrng__t20_armstrng.vout2025-09-15 15:09 4.9K 
[ ]armstrng__t21_armstrng2025-09-08 06:26 21K 
[ ]armstrng__t21_armstrng.depv12025-09-15 19:47 26  
[ ]armstrng__t21_armstrng.depvmin12025-09-15 19:51 26  
[ ]armstrng__t21_armstrng.vmin12025-09-15 19:47 441  
[ ]armstrng__t21_armstrng.vmin1out2025-09-15 19:50 5.8K 
[ ]armstrng__t21_armstrng.vout2025-09-15 16:49 5.1K 
[ ]armstrng__t22_armstrng2025-09-08 06:27 21K 
[ ]armstrng__t22_armstrng.depv12025-09-15 19:47 26  
[ ]armstrng__t22_armstrng.depvmin12025-09-15 19:51 26  
[ ]armstrng__t22_armstrng.vmin12025-09-15 19:47 401  
[ ]armstrng__t22_armstrng.vmin1out2025-09-15 19:51 4.2K 
[ ]armstrng__t22_armstrng.vout2025-09-15 14:17 4.2K 
[ ]armstrng__t23_armstrng2025-09-08 06:53 36K 
[ ]armstrng__t23_armstrng.vout2025-09-15 17:49 4.2K 
[ ]armstrng__t24_armstrng2025-09-08 07:37 28K 
[ ]armstrng__t24_armstrng.vout2025-09-15 15:31 4.8K 
[ ]armstrng__t25_armstrng2025-09-08 06:28 24K 
[ ]armstrng__t25_armstrng.depv12025-09-15 19:47 156  
[ ]armstrng__t25_armstrng.depvmin12025-09-15 19:51 144  
[ ]armstrng__t25_armstrng.vmin12025-09-15 19:47 1.4K 
[ ]armstrng__t25_armstrng.vmin1out2025-09-15 19:47 8.9K 
[ ]armstrng__t25_armstrng.vout2025-09-15 18:17 12K 
[ ]armstrng__t26_armstrng2025-09-08 06:55 28K 
[ ]armstrng__t26_armstrng.vout2025-09-15 15:50 3.7K 
[ ]armstrng__t27_armstrng2025-09-08 06:56 26K 
[ ]armstrng__t27_armstrng.vout2025-09-15 17:19 7.9K 
[ ]armstrng__t28_armstrng2025-09-08 06:58 35K 
[ ]armstrng__t28_armstrng.vout2025-09-15 18:05 3.7K 
[ ]armstrng__t29_armstrng2025-09-08 07:40 35K 
[ ]armstrng__t29_armstrng.vout2025-09-15 17:38 3.7K 
[ ]armstrng__t30_armstrng2025-09-08 07:41 34K 
[ ]armstrng__t30_armstrng.vout2025-09-15 19:30 3.7K 
[ ]armstrng__t31_armstrng2025-09-08 06:59 25K 
[ ]armstrng__t31_armstrng.depv12025-09-15 19:47 156  
[ ]armstrng__t31_armstrng.depvmin12025-09-15 19:51 98  
[ ]armstrng__t31_armstrng.vmin12025-09-15 19:47 1.5K 
[ ]armstrng__t31_armstrng.vmin1out2025-09-15 19:49 22K 
[ ]armstrng__t31_armstrng.vout2025-09-15 15:14 26K 
[ ]armstrng__t32_armstrng2025-09-08 07:01 31K 
[ ]armstrng__t32_armstrng.vout2025-09-15 14:44 3.7K 
[ ]armstrng__t33_armstrng2025-09-08 07:03 32K 
[ ]armstrng__t33_armstrng.vout2025-09-15 17:36 4.8K 
[ ]armstrng__t34_armstrng2025-09-08 07:04 30K 
[ ]armstrng__t34_armstrng.vout2025-09-15 17:46 4.2K 
[ ]armstrng__t35_armstrng2025-09-08 07:06 35K 
[ ]armstrng__t35_armstrng.vout2025-09-15 17:19 3.7K 
[ ]armstrng__t36_armstrng2025-09-08 07:07 25K 
[ ]armstrng__t36_armstrng.vout2025-09-15 18:36 4.2K 
[ ]armstrng__t37_armstrng2025-09-08 07:09 30K 
[ ]armstrng__t37_armstrng.vout2025-09-15 15:23 4.2K 
[ ]armstrng__t38_armstrng2025-09-08 07:10 28K 
[ ]armstrng__t38_armstrng.depv12025-09-15 19:47 149  
[ ]armstrng__t38_armstrng.depvmin12025-09-15 19:51 133  
[ ]armstrng__t38_armstrng.vmin12025-09-15 19:47 2.5K 
[ ]armstrng__t38_armstrng.vmin1out2025-09-15 19:49 42K 
[ ]armstrng__t38_armstrng.vout2025-09-15 15:28 43K 
[ ]armstrng__t39_armstrng2025-09-08 07:42 21K 
[ ]armstrng__t39_armstrng.vout2025-09-15 18:10 6.8K 
[ ]armstrng__t40_armstrng2025-09-08 07:44 31K 
[ ]armstrng__t40_armstrng.vout2025-09-15 15:02 3.7K 
[ ]armstrng__t41_armstrng2025-09-08 07:45 29K 
[ ]armstrng__t41_armstrng.vout2025-09-15 15:00 3.7K 
[ ]armstrng__t42_armstrng2025-09-08 07:12 33K 
[ ]armstrng__t42_armstrng.vout2025-09-15 19:00 3.7K 
[ ]armstrng__t43_armstrng2025-09-08 07:13 30K 
[ ]armstrng__t43_armstrng.vout2025-09-15 14:51 4.2K 
[ ]armstrng__t44_armstrng2025-09-08 07:15 21K 
[ ]armstrng__t44_armstrng.vout2025-09-15 16:12 6.8K 
[ ]armstrng__t45_armstrng2025-09-08 07:16 22K 
[ ]armstrng__t45_armstrng.vout2025-09-15 15:53 6.8K 
[ ]armstrng__t46_armstrng2025-09-08 07:19 90K 
[ ]armstrng__t46_armstrng.vout2025-09-15 18:51 3.7K 
[ ]armstrng__t47_armstrng2025-09-08 07:47 28K 
[ ]armstrng__t47_armstrng.vout2025-09-15 17:04 3.7K 
[ ]armstrng__t48_armstrng2025-09-08 07:21 31K 
[ ]armstrng__t48_armstrng.vout2025-09-15 14:47 5.3K 
[ ]armstrng__t49_armstrng2025-09-08 07:23 31K 
[ ]armstrng__t49_armstrng.vout2025-09-15 18:38 4.8K 
[ ]armstrng__t50_armstrng2025-09-08 07:48 28K 
[ ]armstrng__t50_armstrng.vout2025-09-15 14:19 3.7K 
[ ]armstrng__t51_armstrng2025-09-08 07:25 59K 
[ ]armstrng__t51_armstrng.vout2025-09-15 14:49 4.2K 
[ ]armstrng__t52_armstrng2025-09-08 06:29 23K 
[ ]armstrng__t52_armstrng.depv12025-09-15 19:47 39  
[ ]armstrng__t52_armstrng.depvmin12025-09-15 19:51 39  
[ ]armstrng__t52_armstrng.vmin12025-09-15 19:47 868  
[ ]armstrng__t52_armstrng.vmin1out2025-09-15 19:50 13K 
[ ]armstrng__t52_armstrng.vout2025-09-15 19:32 11K 
[ ]armstrng__t53_armstrng2025-09-08 07:27 28K 
[ ]armstrng__t53_armstrng.vout2025-09-15 17:33 7.9K 
[ ]armstrng__t54_armstrng2025-09-08 07:28 31K 
[ ]armstrng__t54_armstrng.vout2025-09-15 15:29 7.9K 
[ ]armstrng__t55_armstrng2025-09-08 07:29 23K 
[ ]armstrng__t55_armstrng.depv12025-09-15 19:47 99  
[ ]armstrng__t55_armstrng.depvmin12025-09-15 19:51 99  
[ ]armstrng__t55_armstrng.vmin12025-09-15 19:47 1.1K 
[ ]armstrng__t55_armstrng.vmin1out2025-09-15 19:49 19K 
[ ]armstrng__t55_armstrng.vout2025-09-15 14:23 24K 
[ ]armstrng__t56_armstrng2025-09-08 06:30 23K 
[ ]armstrng__t56_armstrng.depv12025-09-15 19:47 99  
[ ]armstrng__t56_armstrng.depvmin12025-09-15 19:51 99  
[ ]armstrng__t56_armstrng.vmin12025-09-15 19:47 1.1K 
[ ]armstrng__t56_armstrng.vmin1out2025-09-15 19:51 14K 
[ ]armstrng__t56_armstrng.vout2025-09-15 19:01 21K 
[ ]armstrng__t57_armstrng2025-09-08 07:31 34K 
[ ]armstrng__t57_armstrng.vout2025-09-15 19:39 3.7K 
[ ]armstrng__t58_armstrng2025-09-08 07:32 29K 
[ ]armstrng__t58_armstrng.vout2025-09-15 14:46 3.7K 
[ ]armstrng__t59_armstrng2025-09-08 07:34 29K 
[ ]armstrng__t59_armstrng.vout2025-09-15 17:29 4.2K 
[ ]armstrng__t60_armstrng2025-09-08 07:36 38K 
[ ]armstrng__t60_armstrng.vout2025-09-15 18:44 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80