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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]normsp_3__l35_normsp_32025-09-09 02:08 36K 
[ ]normsp_3__l35_normsp_3.vout2025-09-15 19:16 7.9K 
[ ]normsp_3__l36_normsp_32025-09-09 02:10 42K 
[ ]normsp_3__l36_normsp_3.vout2025-09-15 15:34 7.3K 
[ ]normsp_3__l58_normsp_32025-09-09 02:12 38K 
[ ]normsp_3__l58_normsp_3.vout2025-09-15 18:21 6.8K 
[ ]normsp_3__l86_normsp_32025-09-09 02:13 29K 
[ ]normsp_3__l86_normsp_3.vout2025-09-15 15:13 7.9K 
[ ]normsp_3__l91_normsp_32025-09-09 02:15 24K 
[ ]normsp_3__l91_normsp_3.depv12025-09-15 19:47 210  
[ ]normsp_3__l91_normsp_3.depvmin12025-09-15 19:52 210  
[ ]normsp_3__l91_normsp_3.vmin12025-09-15 19:47 2.8K 
[ ]normsp_3__l91_normsp_3.vmin1out2025-09-15 19:48 40K 
[ ]normsp_3__l91_normsp_3.vout2025-09-15 13:34 41K 
[ ]normsp_3__l94_normsp_32025-09-09 02:17 37K 
[ ]normsp_3__l94_normsp_3.vout2025-09-15 15:30 7.9K 
[ ]normsp_3__t1_normsp_32025-09-09 00:09 17K 
[ ]normsp_3__t1_normsp_3.vout2025-09-15 14:16 2.0K 
[ ]normsp_3__t2_normsp_32025-09-09 00:10 17K 
[ ]normsp_3__t2_normsp_3.vout2025-09-15 14:06 2.0K 
[ ]normsp_3__t3_normsp_32025-09-09 00:17 30K 
[ ]normsp_3__t3_normsp_3.depv12025-09-15 19:47 39  
[ ]normsp_3__t3_normsp_3.depvmin12025-09-15 19:52 39  
[ ]normsp_3__t3_normsp_3.vmin12025-09-15 19:47 1.5K 
[ ]normsp_3__t3_normsp_3.vmin1out2025-09-15 19:50 16K 
[ ]normsp_3__t3_normsp_3.vout2025-09-15 16:57 26K 
[ ]normsp_3__t4_normsp_32025-09-09 00:19 37K 
[ ]normsp_3__t4_normsp_3.depv12025-09-15 19:47 92  
[ ]normsp_3__t4_normsp_3.depvmin12025-09-15 19:52 92  
[ ]normsp_3__t4_normsp_3.vmin12025-09-15 19:47 2.8K 
[ ]normsp_3__t4_normsp_3.vmin1out2025-09-15 19:50 50K 
[ ]normsp_3__t4_normsp_3.vout2025-09-15 17:55 51K 
[ ]normsp_3__t5_normsp_32025-09-09 00:21 42K 
[ ]normsp_3__t5_normsp_3.vout2025-09-15 16:33 4.1K 
[ ]normsp_3__t6_normsp_32025-09-09 00:23 62K 
[ ]normsp_3__t6_normsp_3.vout2025-09-15 17:37 3.7K 
[ ]normsp_3__t7_normsp_32025-09-09 00:25 38K 
[ ]normsp_3__t7_normsp_3.vout2025-09-15 15:14 7.3K 
[ ]normsp_3__t8_normsp_32025-09-09 00:27 37K 
[ ]normsp_3__t8_normsp_3.depv12025-09-15 19:47 92  
[ ]normsp_3__t8_normsp_3.depvmin12025-09-15 19:52 92  
[ ]normsp_3__t8_normsp_3.vmin12025-09-15 19:47 3.0K 
[ ]normsp_3__t8_normsp_3.vmin1out2025-09-15 19:51 60K 
[ ]normsp_3__t8_normsp_3.vout2025-09-15 13:40 62K 
[ ]normsp_3__t9_normsp_32025-09-09 00:29 41K 
[ ]normsp_3__t9_normsp_3.vout2025-09-15 17:17 4.1K 
[ ]normsp_3__t10_normsp_32025-09-09 00:31 41K 
[ ]normsp_3__t10_normsp_3.depv12025-09-15 19:47 174  
[ ]normsp_3__t10_normsp_3.depvmin12025-09-15 19:52 174  
[ ]normsp_3__t10_normsp_3.vmin12025-09-15 19:47 3.9K 
[ ]normsp_3__t10_normsp_3.vmin1out2025-09-15 19:50 86K 
[ ]normsp_3__t10_normsp_3.vout2025-09-15 13:46 90K 
[ ]normsp_3__t11_normsp_32025-09-09 00:33 38K 
[ ]normsp_3__t11_normsp_3.depv12025-09-15 19:47 107  
[ ]normsp_3__t11_normsp_3.depvmin12025-09-15 19:52 107  
[ ]normsp_3__t11_normsp_3.vmin12025-09-15 19:47 3.4K 
[ ]normsp_3__t11_normsp_3.vmin1out2025-09-15 19:51 67K 
[ ]normsp_3__t11_normsp_3.vout2025-09-15 18:07 49K 
[ ]normsp_3__t12_normsp_32025-09-09 00:35 41K 
[ ]normsp_3__t12_normsp_3.vout2025-09-15 17:49 4.1K 
[ ]normsp_3__t13_normsp_32025-09-09 00:37 34K 
[ ]normsp_3__t13_normsp_3.vout2025-09-15 16:41 7.3K 
[ ]normsp_3__t14_normsp_32025-09-09 00:38 25K 
[ ]normsp_3__t14_normsp_3.vout2025-09-15 15:48 7.3K 
[ ]normsp_3__t15_normsp_32025-09-09 00:40 40K 
[ ]normsp_3__t15_normsp_3.vout2025-09-15 15:49 4.1K 
[ ]normsp_3__t16_normsp_32025-09-09 00:42 36K 
[ ]normsp_3__t16_normsp_3.depv12025-09-15 19:47 92  
[ ]normsp_3__t16_normsp_3.depvmin12025-09-15 19:52 92  
[ ]normsp_3__t16_normsp_3.vmin12025-09-15 19:47 3.0K 
[ ]normsp_3__t16_normsp_3.vmin1out2025-09-15 19:50 62K 
[ ]normsp_3__t16_normsp_3.vout2025-09-15 14:36 63K 
[ ]normsp_3__t17_normsp_32025-09-09 00:44 39K 
[ ]normsp_3__t17_normsp_3.vout2025-09-15 18:07 4.1K 
[ ]normsp_3__t18_normsp_32025-09-09 00:46 43K 
[ ]normsp_3__t18_normsp_3.vout2025-09-15 19:38 4.1K 
[ ]normsp_3__t19_normsp_32025-09-09 00:48 39K 
[ ]normsp_3__t19_normsp_3.vout2025-09-15 14:00 4.1K 
[ ]normsp_3__t20_normsp_32025-09-09 00:50 22K 
[ ]normsp_3__t20_normsp_3.depv12025-09-15 19:47 193  
[ ]normsp_3__t20_normsp_3.depvmin12025-09-15 19:52 193  
[ ]normsp_3__t20_normsp_3.vmin12025-09-15 19:47 2.3K 
[ ]normsp_3__t20_normsp_3.vmin1out2025-09-15 19:49 23K 
[ ]normsp_3__t20_normsp_3.vout2025-09-15 19:11 22K 
[ ]normsp_3__t21_normsp_32025-09-09 00:52 40K 
[ ]normsp_3__t21_normsp_3.vout2025-09-15 15:08 7.4K 
[ ]normsp_3__t22_normsp_32025-09-09 00:53 34K 
[ ]normsp_3__t22_normsp_3.vout2025-09-15 16:11 2.0K 
[ ]normsp_3__t23_normsp_32025-09-09 00:54 23K 
[ ]normsp_3__t23_normsp_3.depv12025-09-15 19:47 316  
[ ]normsp_3__t23_normsp_3.depvmin12025-09-15 19:52 231  
[ ]normsp_3__t23_normsp_3.vmin12025-09-15 19:47 3.5K 
[ ]normsp_3__t23_normsp_3.vmin1out2025-09-15 19:49 53K 
[ ]normsp_3__t23_normsp_3.vout2025-09-15 19:21 39K 
[ ]normsp_3__t24_normsp_32025-09-09 00:56 24K 
[ ]normsp_3__t24_normsp_3.vout2025-09-15 13:57 7.4K 
[ ]normsp_3__t25_normsp_32025-09-09 00:58 45K 
[ ]normsp_3__t25_normsp_3.vout2025-09-15 15:13 3.7K 
[ ]normsp_3__t26_normsp_32025-09-09 00:59 28K 
[ ]normsp_3__t26_normsp_3.vout2025-09-15 13:35 6.8K 
[ ]normsp_3__t27_normsp_32025-09-09 01:01 28K 
[ ]normsp_3__t27_normsp_3.depv12025-09-15 19:47 67  
[ ]normsp_3__t27_normsp_3.depvmin12025-09-15 19:52 67  
[ ]normsp_3__t27_normsp_3.vmin12025-09-15 19:47 2.7K 
[ ]normsp_3__t27_normsp_3.vmin1out2025-09-15 19:49 41K 
[ ]normsp_3__t27_normsp_3.vout2025-09-15 14:43 88K 
[ ]normsp_3__t28_normsp_32025-09-09 01:02 31K 
[ ]normsp_3__t28_normsp_3.vout2025-09-15 18:54 7.3K 
[ ]normsp_3__t29_normsp_32025-09-09 01:04 26K 
[ ]normsp_3__t29_normsp_3.vout2025-09-15 16:16 7.3K 
[ ]normsp_3__t30_normsp_32025-09-09 01:06 44K 
[ ]normsp_3__t30_normsp_3.vout2025-09-15 13:48 7.3K 
[ ]normsp_3__t31_normsp_32025-09-09 01:07 23K 
[ ]normsp_3__t31_normsp_3.depv12025-09-15 19:47 38  
[ ]normsp_3__t31_normsp_3.depvmin12025-09-15 19:52 38  
[ ]normsp_3__t31_normsp_3.vmin12025-09-15 19:47 1.2K 
[ ]normsp_3__t31_normsp_3.vmin1out2025-09-15 19:50 33K 
[ ]normsp_3__t31_normsp_3.vout2025-09-15 15:25 27K 
[ ]normsp_3__t32_normsp_32025-09-09 01:08 36K 
[ ]normsp_3__t32_normsp_3.vout2025-09-15 13:33 7.3K 
[ ]normsp_3__t33_normsp_32025-09-09 01:10 25K 
[ ]normsp_3__t33_normsp_3.vout2025-09-15 14:57 5.3K 
[ ]normsp_3__t34_normsp_32025-09-09 01:12 29K 
[ ]normsp_3__t34_normsp_3.vout2025-09-15 15:26 4.7K 
[ ]normsp_3__t35_normsp_32025-09-09 01:13 26K 
[ ]normsp_3__t35_normsp_3.vout2025-09-15 19:33 2.0K 
[ ]normsp_3__t38_normsp_32025-09-09 01:15 35K 
[ ]normsp_3__t38_normsp_3.vout2025-09-15 17:47 6.8K 
[ ]normsp_3__t39_normsp_32025-09-09 01:16 33K 
[ ]normsp_3__t39_normsp_3.vout2025-09-15 18:48 6.8K 
[ ]normsp_3__t40_normsp_32025-09-09 00:11 37K 
[ ]normsp_3__t40_normsp_3.depv12025-09-15 19:47 188  
[ ]normsp_3__t40_normsp_3.depvmin12025-09-15 19:52 188  
[ ]normsp_3__t40_normsp_3.vmin12025-09-15 19:47 6.3K 
[ ]normsp_3__t40_normsp_3.vmin1out2025-09-15 19:47 110K 
[ ]normsp_3__t40_normsp_3.vout2025-09-15 17:16 54K 
[ ]normsp_3__t41_normsp_32025-09-09 01:18 36K 
[ ]normsp_3__t41_normsp_3.vout2025-09-15 17:40 4.1K 
[ ]normsp_3__t43_normsp_32025-09-09 01:20 36K 
[ ]normsp_3__t43_normsp_3.vout2025-09-15 19:06 4.1K 
[ ]normsp_3__t44_normsp_32025-09-09 01:21 33K 
[ ]normsp_3__t44_normsp_3.vout2025-09-15 13:52 2.0K 
[ ]normsp_3__t45_normsp_32025-09-09 01:23 30K 
[ ]normsp_3__t45_normsp_3.vout2025-09-15 17:51 7.4K 
[ ]normsp_3__t46_normsp_32025-09-09 01:24 34K 
[ ]normsp_3__t46_normsp_3.vout2025-09-15 13:50 3.2K 
[ ]normsp_3__t47_normsp_32025-09-09 01:26 39K 
[ ]normsp_3__t47_normsp_3.vout2025-09-15 15:52 6.8K 
[ ]normsp_3__t48_normsp_32025-09-09 01:28 39K 
[ ]normsp_3__t48_normsp_3.vout2025-09-15 17:27 6.8K 
[ ]normsp_3__t49_normsp_32025-09-09 01:30 30K 
[ ]normsp_3__t49_normsp_3.vout2025-09-15 14:00 4.1K 
[ ]normsp_3__t50_normsp_32025-09-09 00:13 33K 
[ ]normsp_3__t50_normsp_3.depv12025-09-15 19:47 362  
[ ]normsp_3__t50_normsp_3.depvmin12025-09-15 19:52 349  
[ ]normsp_3__t50_normsp_3.vmin12025-09-15 19:47 6.1K 
[ ]normsp_3__t50_normsp_3.vmin1out2025-09-15 19:49 45K 
[ ]normsp_3__t50_normsp_3.vout2025-09-15 14:48 123K 
[ ]normsp_3__t51_normsp_32025-09-09 00:15 32K 
[ ]normsp_3__t51_normsp_3.depv12025-09-15 19:47 347  
[ ]normsp_3__t51_normsp_3.depvmin12025-09-15 19:52 332  
[ ]normsp_3__t51_normsp_3.vmin12025-09-15 19:47 5.1K 
[ ]normsp_3__t51_normsp_3.vmin1out2025-09-15 19:51 68K 
[ ]normsp_3__t51_normsp_3.vout2025-09-15 17:07 93K 
[ ]normsp_3__t52_normsp_32025-09-09 01:32 41K 
[ ]normsp_3__t52_normsp_3.vout2025-09-15 17:24 7.3K 
[ ]normsp_3__t53_normsp_32025-09-09 01:34 45K 
[ ]normsp_3__t53_normsp_3.vout2025-09-15 16:23 7.3K 
[ ]normsp_3__t54_normsp_32025-09-09 01:36 39K 
[ ]normsp_3__t54_normsp_3.vout2025-09-15 19:16 7.3K 
[ ]normsp_3__t55_normsp_32025-09-09 01:38 50K 
[ ]normsp_3__t55_normsp_3.vout2025-09-15 15:11 7.3K 
[ ]normsp_3__t56_normsp_32025-09-09 01:40 46K 
[ ]normsp_3__t56_normsp_3.depv12025-09-15 19:47 161  
[ ]normsp_3__t56_normsp_3.depvmin12025-09-15 19:52 161  
[ ]normsp_3__t56_normsp_3.vmin12025-09-15 19:47 3.3K 
[ ]normsp_3__t56_normsp_3.vmin1out2025-09-15 19:49 41K 
[ ]normsp_3__t56_normsp_3.vout2025-09-15 17:15 69K 
[ ]normsp_3__t57_normsp_32025-09-09 01:42 50K 
[ ]normsp_3__t57_normsp_3.vout2025-09-15 18:22 7.3K 
[ ]normsp_3__t58_normsp_32025-09-09 01:44 49K 
[ ]normsp_3__t58_normsp_3.vout2025-09-15 15:41 7.3K 
[ ]normsp_3__t59_normsp_32025-09-09 01:47 47K 
[ ]normsp_3__t59_normsp_3.depv12025-09-15 19:47 106  
[ ]normsp_3__t59_normsp_3.depvmin12025-09-15 19:52 106  
[ ]normsp_3__t59_normsp_3.vmin12025-09-15 19:47 2.4K 
[ ]normsp_3__t59_normsp_3.vmin1out2025-09-15 19:48 43K 
[ ]normsp_3__t59_normsp_3.vout2025-09-15 17:22 31K 
[ ]normsp_3__t60_normsp_32025-09-09 01:49 47K 
[ ]normsp_3__t60_normsp_3.vout2025-09-15 17:27 7.3K 
[ ]normsp_3__t61_normsp_32025-09-09 01:51 49K 
[ ]normsp_3__t61_normsp_3.vout2025-09-15 15:38 7.3K 
[ ]normsp_3__t62_normsp_32025-09-09 01:53 48K 
[ ]normsp_3__t62_normsp_3.depv12025-09-15 19:47 51  
[ ]normsp_3__t62_normsp_3.depvmin12025-09-15 19:52 51  
[ ]normsp_3__t62_normsp_3.vmin12025-09-15 19:47 1.4K 
[ ]normsp_3__t62_normsp_3.vmin1out2025-09-15 19:49 18K 
[ ]normsp_3__t62_normsp_3.vout2025-09-15 15:39 24K 
[ ]normsp_3__t63_normsp_32025-09-09 01:56 50K 
[ ]normsp_3__t63_normsp_3.vout2025-09-15 18:44 7.3K 
[ ]normsp_3__t65_normsp_32025-09-09 01:58 67K 
[ ]normsp_3__t65_normsp_3.vout2025-09-15 19:10 6.8K 
[ ]normsp_3__t66_normsp_32025-09-09 02:00 31K 
[ ]normsp_3__t66_normsp_3.vout2025-09-15 17:24 7.9K 
[ ]normsp_3__t68_normsp_32025-09-09 02:01 30K 
[ ]normsp_3__t68_normsp_3.vout2025-09-15 19:23 4.1K 
[ ]normsp_3__t69_normsp_32025-09-09 02:03 42K 
[ ]normsp_3__t69_normsp_3.vout2025-09-15 19:45 7.3K 
[ ]normsp_3__t70_normsp_32025-09-09 02:05 31K 
[ ]normsp_3__t70_normsp_3.vout2025-09-15 18:38 4.1K 
[ ]normsp_3__t71_normsp_32025-09-09 02:07 38K 
[ ]normsp_3__t71_normsp_3.vout2025-09-15 15:39 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80