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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]normsp_3__l35_normsp_32024-07-28 01:02 36K 
[ ]normsp_3__l35_normsp_3.vout2024-08-03 05:55 7.9K 
[ ]normsp_3__l36_normsp_32024-07-28 01:04 42K 
[ ]normsp_3__l36_normsp_3.vout2024-08-03 04:35 7.3K 
[ ]normsp_3__l58_normsp_32024-07-28 01:06 38K 
[ ]normsp_3__l58_normsp_3.vout2024-08-03 09:04 6.8K 
[ ]normsp_3__l86_normsp_32024-07-28 01:07 29K 
[ ]normsp_3__l86_normsp_3.vout2024-08-03 07:11 7.9K 
[ ]normsp_3__l91_normsp_32024-07-28 01:09 24K 
[ ]normsp_3__l91_normsp_3.depv12024-08-03 10:19 210  
[ ]normsp_3__l91_normsp_3.depvmin12024-08-03 10:24 210  
[ ]normsp_3__l91_normsp_3.vmin12024-08-03 10:20 2.8K 
[ ]normsp_3__l91_normsp_3.vmin1out2024-08-03 10:20 40K 
[ ]normsp_3__l91_normsp_3.vout2024-08-03 07:51 41K 
[ ]normsp_3__l94_normsp_32024-07-28 01:11 37K 
[ ]normsp_3__l94_normsp_3.vout2024-08-03 04:48 7.9K 
[ ]normsp_3__t1_normsp_32024-07-27 22:55 17K 
[ ]normsp_3__t1_normsp_3.vout2024-08-03 06:24 2.0K 
[ ]normsp_3__t2_normsp_32024-07-27 22:56 17K 
[ ]normsp_3__t2_normsp_3.vout2024-08-03 04:24 2.0K 
[ ]normsp_3__t3_normsp_32024-07-27 23:04 30K 
[ ]normsp_3__t3_normsp_3.depv12024-08-03 10:19 39  
[ ]normsp_3__t3_normsp_3.depvmin12024-08-03 10:24 39  
[ ]normsp_3__t3_normsp_3.vmin12024-08-03 10:20 1.5K 
[ ]normsp_3__t3_normsp_3.vmin1out2024-08-03 10:20 16K 
[ ]normsp_3__t3_normsp_3.vout2024-08-03 05:18 26K 
[ ]normsp_3__t4_normsp_32024-07-27 23:06 37K 
[ ]normsp_3__t4_normsp_3.depv12024-08-03 10:19 92  
[ ]normsp_3__t4_normsp_3.depvmin12024-08-03 10:24 92  
[ ]normsp_3__t4_normsp_3.vmin12024-08-03 10:20 2.8K 
[ ]normsp_3__t4_normsp_3.vmin1out2024-08-03 10:20 50K 
[ ]normsp_3__t4_normsp_3.vout2024-08-03 07:10 51K 
[ ]normsp_3__t5_normsp_32024-07-27 23:08 42K 
[ ]normsp_3__t5_normsp_3.vout2024-08-03 08:13 4.1K 
[ ]normsp_3__t6_normsp_32024-07-27 23:11 62K 
[ ]normsp_3__t6_normsp_3.vout2024-08-03 06:36 3.7K 
[ ]normsp_3__t7_normsp_32024-07-27 23:13 38K 
[ ]normsp_3__t7_normsp_3.vout2024-08-03 08:25 7.3K 
[ ]normsp_3__t8_normsp_32024-07-27 23:15 37K 
[ ]normsp_3__t8_normsp_3.depv12024-08-03 10:19 92  
[ ]normsp_3__t8_normsp_3.depvmin12024-08-03 10:24 92  
[ ]normsp_3__t8_normsp_3.vmin12024-08-03 10:20 3.0K 
[ ]normsp_3__t8_normsp_3.vmin1out2024-08-03 10:23 60K 
[ ]normsp_3__t8_normsp_3.vout2024-08-03 06:26 62K 
[ ]normsp_3__t9_normsp_32024-07-27 23:17 41K 
[ ]normsp_3__t9_normsp_3.vout2024-08-03 05:58 4.1K 
[ ]normsp_3__t10_normsp_32024-07-27 23:19 41K 
[ ]normsp_3__t10_normsp_3.vout2024-08-03 05:49 7.3K 
[ ]normsp_3__t11_normsp_32024-07-27 23:21 38K 
[ ]normsp_3__t11_normsp_3.depv12024-08-03 10:19 107  
[ ]normsp_3__t11_normsp_3.depvmin12024-08-03 10:24 107  
[ ]normsp_3__t11_normsp_3.vmin12024-08-03 10:20 3.4K 
[ ]normsp_3__t11_normsp_3.vmin1out2024-08-03 10:23 67K 
[ ]normsp_3__t11_normsp_3.vout2024-08-03 10:03 49K 
[ ]normsp_3__t12_normsp_32024-07-27 23:23 41K 
[ ]normsp_3__t12_normsp_3.vout2024-08-03 04:19 4.1K 
[ ]normsp_3__t13_normsp_32024-07-27 23:25 34K 
[ ]normsp_3__t13_normsp_3.vout2024-08-03 08:48 7.3K 
[ ]normsp_3__t14_normsp_32024-07-27 23:26 25K 
[ ]normsp_3__t14_normsp_3.vout2024-08-03 09:15 6.8K 
[ ]normsp_3__t15_normsp_32024-07-27 23:28 40K 
[ ]normsp_3__t15_normsp_3.vout2024-08-03 07:58 4.1K 
[ ]normsp_3__t16_normsp_32024-07-27 23:31 36K 
[ ]normsp_3__t16_normsp_3.depv12024-08-03 10:19 92  
[ ]normsp_3__t16_normsp_3.depvmin12024-08-03 10:24 92  
[ ]normsp_3__t16_normsp_3.vmin12024-08-03 10:20 3.0K 
[ ]normsp_3__t16_normsp_3.vmin1out2024-08-03 10:23 62K 
[ ]normsp_3__t16_normsp_3.vout2024-08-03 09:58 63K 
[ ]normsp_3__t17_normsp_32024-07-27 23:33 39K 
[ ]normsp_3__t17_normsp_3.vout2024-08-03 08:18 4.1K 
[ ]normsp_3__t18_normsp_32024-07-27 23:35 43K 
[ ]normsp_3__t18_normsp_3.vout2024-08-03 09:37 4.1K 
[ ]normsp_3__t19_normsp_32024-07-27 23:37 39K 
[ ]normsp_3__t19_normsp_3.vout2024-08-03 07:55 4.1K 
[ ]normsp_3__t20_normsp_32024-07-27 23:38 22K 
[ ]normsp_3__t20_normsp_3.depv12024-08-03 10:19 193  
[ ]normsp_3__t20_normsp_3.depvmin12024-08-03 10:24 193  
[ ]normsp_3__t20_normsp_3.vmin12024-08-03 10:20 2.3K 
[ ]normsp_3__t20_normsp_3.vmin1out2024-08-03 10:20 23K 
[ ]normsp_3__t20_normsp_3.vout2024-08-03 07:31 22K 
[ ]normsp_3__t21_normsp_32024-07-27 23:40 40K 
[ ]normsp_3__t21_normsp_3.vout2024-08-03 07:58 7.4K 
[ ]normsp_3__t22_normsp_32024-07-27 23:41 34K 
[ ]normsp_3__t22_normsp_3.vout2024-08-03 07:52 2.0K 
[ ]normsp_3__t23_normsp_32024-07-27 23:43 23K 
[ ]normsp_3__t23_normsp_3.depv12024-08-03 10:19 316  
[ ]normsp_3__t23_normsp_3.depvmin12024-08-03 10:24 231  
[ ]normsp_3__t23_normsp_3.vmin12024-08-03 10:20 3.5K 
[ ]normsp_3__t23_normsp_3.vmin1out2024-08-03 10:21 53K 
[ ]normsp_3__t23_normsp_3.vout2024-08-03 04:52 39K 
[ ]normsp_3__t24_normsp_32024-07-27 23:45 24K 
[ ]normsp_3__t24_normsp_3.vout2024-08-03 06:37 7.3K 
[ ]normsp_3__t25_normsp_32024-07-27 23:47 45K 
[ ]normsp_3__t25_normsp_3.vout2024-08-03 08:36 3.7K 
[ ]normsp_3__t26_normsp_32024-07-27 23:48 28K 
[ ]normsp_3__t26_normsp_3.vout2024-08-03 09:20 7.3K 
[ ]normsp_3__t27_normsp_32024-07-27 23:50 28K 
[ ]normsp_3__t27_normsp_3.depv12024-08-03 10:19 67  
[ ]normsp_3__t27_normsp_3.depvmin12024-08-03 10:24 67  
[ ]normsp_3__t27_normsp_3.vmin12024-08-03 10:20 2.7K 
[ ]normsp_3__t27_normsp_3.vmin1out2024-08-03 10:23 41K 
[ ]normsp_3__t27_normsp_3.vout2024-08-03 10:18 88K 
[ ]normsp_3__t28_normsp_32024-07-27 23:52 31K 
[ ]normsp_3__t28_normsp_3.vout2024-08-03 09:20 7.3K 
[ ]normsp_3__t29_normsp_32024-07-27 23:53 26K 
[ ]normsp_3__t29_normsp_3.vout2024-08-03 04:34 7.3K 
[ ]normsp_3__t30_normsp_32024-07-27 23:55 44K 
[ ]normsp_3__t30_normsp_3.vout2024-08-03 06:54 7.3K 
[ ]normsp_3__t31_normsp_32024-07-27 23:57 23K 
[ ]normsp_3__t31_normsp_3.depv12024-08-03 10:19 38  
[ ]normsp_3__t31_normsp_3.depvmin12024-08-03 10:24 38  
[ ]normsp_3__t31_normsp_3.vmin12024-08-03 10:20 1.2K 
[ ]normsp_3__t31_normsp_3.vmin1out2024-08-03 10:23 33K 
[ ]normsp_3__t31_normsp_3.vout2024-08-03 05:28 27K 
[ ]normsp_3__t32_normsp_32024-07-27 23:58 36K 
[ ]normsp_3__t32_normsp_3.vout2024-08-03 09:57 6.8K 
[ ]normsp_3__t33_normsp_32024-07-28 00:00 25K 
[ ]normsp_3__t33_normsp_3.vout2024-08-03 04:18 4.7K 
[ ]normsp_3__t34_normsp_32024-07-28 00:02 29K 
[ ]normsp_3__t34_normsp_3.vout2024-08-03 06:40 4.7K 
[ ]normsp_3__t35_normsp_32024-07-28 00:03 26K 
[ ]normsp_3__t35_normsp_3.vout2024-08-03 06:03 2.0K 
[ ]normsp_3__t38_normsp_32024-07-28 00:05 35K 
[ ]normsp_3__t38_normsp_3.vout2024-08-03 07:43 7.3K 
[ ]normsp_3__t39_normsp_32024-07-28 00:07 32K 
[ ]normsp_3__t39_normsp_3.vout2024-08-03 04:19 6.8K 
[ ]normsp_3__t40_normsp_32024-07-27 22:58 37K 
[ ]normsp_3__t40_normsp_3.depv12024-08-03 10:19 188  
[ ]normsp_3__t40_normsp_3.depvmin12024-08-03 10:24 188  
[ ]normsp_3__t40_normsp_3.vmin12024-08-03 10:20 6.3K 
[ ]normsp_3__t40_normsp_3.vmin1out2024-08-03 10:23 110K 
[ ]normsp_3__t40_normsp_3.vout2024-08-03 06:35 54K 
[ ]normsp_3__t41_normsp_32024-07-28 00:08 36K 
[ ]normsp_3__t41_normsp_3.vout2024-08-03 09:47 4.1K 
[ ]normsp_3__t43_normsp_32024-07-28 00:10 36K 
[ ]normsp_3__t43_normsp_3.vout2024-08-03 06:34 4.1K 
[ ]normsp_3__t44_normsp_32024-07-28 00:12 33K 
[ ]normsp_3__t44_normsp_3.vout2024-08-03 04:17 2.0K 
[ ]normsp_3__t45_normsp_32024-07-28 00:13 30K 
[ ]normsp_3__t45_normsp_3.vout2024-08-03 09:54 7.3K 
[ ]normsp_3__t46_normsp_32024-07-28 00:15 34K 
[ ]normsp_3__t46_normsp_3.vout2024-08-03 05:50 3.2K 
[ ]normsp_3__t47_normsp_32024-07-28 00:17 38K 
[ ]normsp_3__t47_normsp_3.vout2024-08-03 05:45 6.8K 
[ ]normsp_3__t48_normsp_32024-07-28 00:19 39K 
[ ]normsp_3__t48_normsp_3.vout2024-08-03 08:04 7.3K 
[ ]normsp_3__t49_normsp_32024-07-28 00:21 30K 
[ ]normsp_3__t49_normsp_3.vout2024-08-03 06:44 4.1K 
[ ]normsp_3__t50_normsp_32024-07-27 23:00 34K 
[ ]normsp_3__t50_normsp_3.depv12024-08-03 10:19 362  
[ ]normsp_3__t50_normsp_3.depvmin12024-08-03 10:24 349  
[ ]normsp_3__t50_normsp_3.vmin12024-08-03 10:20 6.1K 
[ ]normsp_3__t50_normsp_3.vmin1out2024-08-03 10:20 45K 
[ ]normsp_3__t50_normsp_3.vout2024-08-03 07:30 123K 
[ ]normsp_3__t51_normsp_32024-07-27 23:02 32K 
[ ]normsp_3__t51_normsp_3.depv12024-08-03 10:19 332  
[ ]normsp_3__t51_normsp_3.depvmin12024-08-03 10:24 332  
[ ]normsp_3__t51_normsp_3.vmin12024-08-03 10:20 5.0K 
[ ]normsp_3__t51_normsp_3.vmin1out2024-08-03 10:21 68K 
[ ]normsp_3__t51_normsp_3.vout2024-08-03 09:35 91K 
[ ]normsp_3__t52_normsp_32024-07-28 00:23 42K 
[ ]normsp_3__t52_normsp_3.vout2024-08-03 08:30 7.3K 
[ ]normsp_3__t53_normsp_32024-07-28 00:25 45K 
[ ]normsp_3__t53_normsp_3.vout2024-08-03 05:14 7.3K 
[ ]normsp_3__t54_normsp_32024-07-28 00:27 39K 
[ ]normsp_3__t54_normsp_3.vout2024-08-03 05:48 7.3K 
[ ]normsp_3__t55_normsp_32024-07-28 00:29 50K 
[ ]normsp_3__t55_normsp_3.vout2024-08-03 06:31 7.3K 
[ ]normsp_3__t56_normsp_32024-07-28 00:32 47K 
[ ]normsp_3__t56_normsp_3.depv12024-08-03 10:19 161  
[ ]normsp_3__t56_normsp_3.depvmin12024-08-03 10:24 161  
[ ]normsp_3__t56_normsp_3.vmin12024-08-03 10:20 3.3K 
[ ]normsp_3__t56_normsp_3.vmin1out2024-08-03 10:23 41K 
[ ]normsp_3__t56_normsp_3.vout2024-08-03 05:37 69K 
[ ]normsp_3__t57_normsp_32024-07-28 00:34 50K 
[ ]normsp_3__t57_normsp_3.vout2024-08-03 08:53 7.3K 
[ ]normsp_3__t58_normsp_32024-07-28 00:36 49K 
[ ]normsp_3__t58_normsp_3.vout2024-08-03 09:11 7.3K 
[ ]normsp_3__t59_normsp_32024-07-28 00:39 47K 
[ ]normsp_3__t59_normsp_3.depv12024-08-03 10:19 106  
[ ]normsp_3__t59_normsp_3.depvmin12024-08-03 10:24 106  
[ ]normsp_3__t59_normsp_3.vmin12024-08-03 10:20 2.4K 
[ ]normsp_3__t59_normsp_3.vmin1out2024-08-03 10:23 43K 
[ ]normsp_3__t59_normsp_3.vout2024-08-03 04:44 31K 
[ ]normsp_3__t60_normsp_32024-07-28 00:41 48K 
[ ]normsp_3__t60_normsp_3.vout2024-08-03 04:19 7.3K 
[ ]normsp_3__t61_normsp_32024-07-28 00:44 49K 
[ ]normsp_3__t61_normsp_3.vout2024-08-03 05:53 7.3K 
[ ]normsp_3__t62_normsp_32024-07-28 00:46 48K 
[ ]normsp_3__t62_normsp_3.depv12024-08-03 10:19 51  
[ ]normsp_3__t62_normsp_3.depvmin12024-08-03 10:24 51  
[ ]normsp_3__t62_normsp_3.vmin12024-08-03 10:20 1.4K 
[ ]normsp_3__t62_normsp_3.vmin1out2024-08-03 10:23 18K 
[ ]normsp_3__t62_normsp_3.vout2024-08-03 04:17 24K 
[ ]normsp_3__t63_normsp_32024-07-28 00:48 50K 
[ ]normsp_3__t63_normsp_3.vout2024-08-03 07:12 6.8K 
[ ]normsp_3__t65_normsp_32024-07-28 00:51 67K 
[ ]normsp_3__t65_normsp_3.vout2024-08-03 10:04 6.8K 
[ ]normsp_3__t66_normsp_32024-07-28 00:53 31K 
[ ]normsp_3__t66_normsp_3.vout2024-08-03 05:48 7.9K 
[ ]normsp_3__t68_normsp_32024-07-28 00:54 30K 
[ ]normsp_3__t68_normsp_3.vout2024-08-03 09:27 4.1K 
[ ]normsp_3__t69_normsp_32024-07-28 00:56 42K 
[ ]normsp_3__t69_normsp_3.vout2024-08-03 04:32 7.3K 
[ ]normsp_3__t70_normsp_32024-07-28 00:58 31K 
[ ]normsp_3__t70_normsp_3.vout2024-08-03 05:09 4.1K 
[ ]normsp_3__t71_normsp_32024-07-28 01:00 37K 
[ ]normsp_3__t71_normsp_3.vout2024-08-03 09:51 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80