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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]normsp_3__t71_normsp_3.vout2021-07-25 19:02 7.3K 
[ ]normsp_3__t71_normsp_32021-07-17 20:49 41K 
[ ]normsp_3__t70_normsp_3.vout2021-07-25 18:43 4.1K 
[ ]normsp_3__t70_normsp_32021-07-17 20:49 35K 
[ ]normsp_3__t69_normsp_3.vout2021-07-25 19:18 7.3K 
[ ]normsp_3__t69_normsp_32021-07-17 20:48 45K 
[ ]normsp_3__t68_normsp_3.vout2021-07-25 19:32 4.1K 
[ ]normsp_3__t68_normsp_32021-07-17 20:47 33K 
[ ]normsp_3__t66_normsp_3.vout2021-07-25 15:55 7.4K 
[ ]normsp_3__t66_normsp_32021-07-17 20:47 35K 
[ ]normsp_3__t65_normsp_3.vout2021-07-25 19:28 6.8K 
[ ]normsp_3__t65_normsp_32021-07-17 20:46 70K 
[ ]normsp_3__t63_normsp_3.vout2021-07-25 15:06 6.8K 
[ ]normsp_3__t63_normsp_32021-07-17 20:45 53K 
[ ]normsp_3__t62_normsp_3.vout2021-07-25 14:48 25K 
[ ]normsp_3__t62_normsp_3.vmin1out2021-07-25 21:02 18K 
[ ]normsp_3__t62_normsp_3.vmin12021-07-25 20:57 1.4K 
[ ]normsp_3__t62_normsp_3.depvmin12021-07-25 21:03 51  
[ ]normsp_3__t62_normsp_3.depv12021-07-25 20:57 51  
[ ]normsp_3__t62_normsp_32021-07-17 20:44 52K 
[ ]normsp_3__t61_normsp_3.vout2021-07-25 17:55 7.3K 
[ ]normsp_3__t61_normsp_32021-07-17 20:44 53K 
[ ]normsp_3__t60_normsp_3.vout2021-07-25 18:25 7.3K 
[ ]normsp_3__t60_normsp_32021-07-17 20:43 51K 
[ ]normsp_3__t59_normsp_3.vout2021-07-25 16:49 31K 
[ ]normsp_3__t59_normsp_3.vmin1out2021-07-25 20:58 43K 
[ ]normsp_3__t59_normsp_3.vmin12021-07-25 20:57 2.4K 
[ ]normsp_3__t59_normsp_3.depvmin12021-07-25 21:03 106  
[ ]normsp_3__t59_normsp_3.depv12021-07-25 20:57 106  
[ ]normsp_3__t59_normsp_32021-07-17 20:42 50K 
[ ]normsp_3__t58_normsp_3.vout2021-07-25 14:49 6.8K 
[ ]normsp_3__t58_normsp_32021-07-17 20:41 52K 
[ ]normsp_3__t57_normsp_3.vout2021-07-25 17:15 7.3K 
[ ]normsp_3__t57_normsp_32021-07-17 20:40 54K 
[ ]normsp_3__t56_normsp_3.vout2021-07-25 20:34 69K 
[ ]normsp_3__t56_normsp_3.vmin1out2021-07-25 21:00 41K 
[ ]normsp_3__t56_normsp_3.vmin12021-07-25 20:57 3.3K 
[ ]normsp_3__t56_normsp_3.depvmin12021-07-25 21:03 161  
[ ]normsp_3__t56_normsp_3.depv12021-07-25 20:57 161  
[ ]normsp_3__t56_normsp_32021-07-17 20:40 50K 
[ ]normsp_3__t55_normsp_3.vout2021-07-25 16:48 7.3K 
[ ]normsp_3__t55_normsp_32021-07-17 20:39 54K 
[ ]normsp_3__t54_normsp_3.vout2021-07-25 19:09 7.3K 
[ ]normsp_3__t54_normsp_32021-07-17 20:38 43K 
[ ]normsp_3__t53_normsp_3.vout2021-07-25 20:39 7.3K 
[ ]normsp_3__t53_normsp_32021-07-17 20:37 48K 
[ ]normsp_3__t52_normsp_3.vout2021-07-25 20:42 7.3K 
[ ]normsp_3__t52_normsp_32021-07-17 20:36 45K 
[ ]normsp_3__t51_normsp_3.vout2021-07-25 20:25 92K 
[ ]normsp_3__t51_normsp_3.vmin1out2021-07-25 20:59 68K 
[ ]normsp_3__t51_normsp_3.vmin12021-07-25 20:57 5.0K 
[ ]normsp_3__t51_normsp_3.depvmin12021-07-25 21:03 332  
[ ]normsp_3__t51_normsp_3.depv12021-07-25 20:57 332  
[ ]normsp_3__t51_normsp_32021-07-17 20:07 35K 
[ ]normsp_3__t50_normsp_3.vout2021-07-25 19:58 123K 
[ ]normsp_3__t50_normsp_3.vmin1out2021-07-25 21:00 45K 
[ ]normsp_3__t50_normsp_3.vmin12021-07-25 20:57 6.1K 
[ ]normsp_3__t50_normsp_3.depvmin12021-07-25 21:03 349  
[ ]normsp_3__t50_normsp_3.depv12021-07-25 20:57 362  
[ ]normsp_3__t50_normsp_32021-07-17 20:06 37K 
[ ]normsp_3__t49_normsp_3.vout2021-07-25 18:55 4.1K 
[ ]normsp_3__t49_normsp_32021-07-17 20:36 34K 
[ ]normsp_3__t48_normsp_3.vout2021-07-25 19:21 7.3K 
[ ]normsp_3__t48_normsp_32021-07-17 20:35 42K 
[ ]normsp_3__t47_normsp_3.vout2021-07-25 18:44 6.8K 
[ ]normsp_3__t47_normsp_32021-07-17 20:34 42K 
[ ]normsp_3__t46_normsp_3.vout2021-07-25 15:36 3.2K 
[ ]normsp_3__t46_normsp_32021-07-17 20:34 38K 
[ ]normsp_3__t45_normsp_3.vout2021-07-25 14:32 7.3K 
[ ]normsp_3__t45_normsp_32021-07-17 20:33 34K 
[ ]normsp_3__t44_normsp_3.vout2021-07-25 16:50 1.1K 
[ ]normsp_3__t44_normsp_32021-07-17 20:32 36K 
[ ]normsp_3__t43_normsp_3.vout2021-07-25 20:52 4.1K 
[ ]normsp_3__t43_normsp_32021-07-17 20:32 39K 
[ ]normsp_3__t41_normsp_3.vout2021-07-25 15:40 4.1K 
[ ]normsp_3__t41_normsp_32021-07-17 20:31 40K 
[ ]normsp_3__t40_normsp_3.vout2021-07-25 16:57 55K 
[ ]normsp_3__t40_normsp_3.vmin1out2021-07-25 21:01 110K 
[ ]normsp_3__t40_normsp_3.vmin12021-07-25 20:57 6.4K 
[ ]normsp_3__t40_normsp_3.depvmin12021-07-25 21:03 203  
[ ]normsp_3__t40_normsp_3.depv12021-07-25 20:57 203  
[ ]normsp_3__t40_normsp_32021-07-17 20:06 41K 
[ ]normsp_3__t39_normsp_3.vout2021-07-25 16:42 7.3K 
[ ]normsp_3__t39_normsp_32021-07-17 20:31 36K 
[ ]normsp_3__t38_normsp_3.vout2021-07-25 14:51 6.8K 
[ ]normsp_3__t38_normsp_32021-07-17 20:30 39K 
[ ]normsp_3__t35_normsp_3.vout2021-07-25 15:45 2.0K 
[ ]normsp_3__t35_normsp_32021-07-17 20:29 29K 
[ ]normsp_3__t34_normsp_3.vout2021-07-25 15:14 4.7K 
[ ]normsp_3__t34_normsp_32021-07-17 20:29 32K 
[ ]normsp_3__t33_normsp_3.vout2021-07-25 18:06 4.7K 
[ ]normsp_3__t33_normsp_32021-07-17 20:28 29K 
[ ]normsp_3__t32_normsp_3.vout2021-07-25 19:46 7.3K 
[ ]normsp_3__t32_normsp_32021-07-17 20:28 40K 
[ ]normsp_3__t31_normsp_3.vout2021-07-25 16:10 27K 
[ ]normsp_3__t31_normsp_3.vmin1out2021-07-25 20:57 33K 
[ ]normsp_3__t31_normsp_3.vmin12021-07-25 20:57 1.2K 
[ ]normsp_3__t31_normsp_3.depvmin12021-07-25 21:03 38  
[ ]normsp_3__t31_normsp_3.depv12021-07-25 20:57 38  
[ ]normsp_3__t31_normsp_32021-07-17 20:27 27K 
[ ]normsp_3__t30_normsp_3.vout2021-07-25 19:01 7.3K 
[ ]normsp_3__t30_normsp_32021-07-17 20:26 48K 
[ ]normsp_3__t29_normsp_3.vout2021-07-25 14:52 6.8K 
[ ]normsp_3__t29_normsp_32021-07-17 20:26 30K 
[ ]normsp_3__t28_normsp_3.vout2021-07-25 20:37 7.3K 
[ ]normsp_3__t28_normsp_32021-07-17 20:25 35K 
[ ]normsp_3__t27_normsp_3.vout2021-07-25 19:36 88K 
[ ]normsp_3__t27_normsp_3.vmin1out2021-07-25 21:00 41K 
[ ]normsp_3__t27_normsp_3.vmin12021-07-25 20:57 2.7K 
[ ]normsp_3__t27_normsp_3.depvmin12021-07-25 21:03 67  
[ ]normsp_3__t27_normsp_3.depv12021-07-25 20:57 67  
[ ]normsp_3__t27_normsp_32021-07-17 20:25 31K 
[ ]normsp_3__t26_normsp_3.vout2021-07-25 14:25 6.8K 
[ ]normsp_3__t26_normsp_32021-07-17 20:24 32K 
[ ]normsp_3__t25_normsp_3.vout2021-07-25 20:42 3.7K 
[ ]normsp_3__t25_normsp_32021-07-17 20:23 49K 
[ ]normsp_3__t24_normsp_3.vout2021-07-25 15:57 7.3K 
[ ]normsp_3__t24_normsp_32021-07-17 20:23 27K 
[ ]normsp_3__t23_normsp_3.vout2021-07-25 18:56 41K 
[ ]normsp_3__t23_normsp_3.vmin1out2021-07-25 20:58 53K 
[ ]normsp_3__t23_normsp_3.vmin12021-07-25 20:57 3.5K 
[ ]normsp_3__t23_normsp_3.depvmin12021-07-25 21:03 231  
[ ]normsp_3__t23_normsp_3.depv12021-07-25 20:57 316  
[ ]normsp_3__t23_normsp_32021-07-17 20:22 26K 
[ ]normsp_3__t22_normsp_3.vout2021-07-25 15:00 2.0K 
[ ]normsp_3__t22_normsp_32021-07-17 20:22 35K 
[ ]normsp_3__t21_normsp_3.vout2021-07-25 20:19 7.3K 
[ ]normsp_3__t21_normsp_32021-07-17 20:21 44K 
[ ]normsp_3__t20_normsp_3.vout2021-07-25 17:54 22K 
[ ]normsp_3__t20_normsp_3.vmin1out2021-07-25 21:01 23K 
[ ]normsp_3__t20_normsp_3.vmin12021-07-25 20:57 2.3K 
[ ]normsp_3__t20_normsp_3.depvmin12021-07-25 21:03 193  
[ ]normsp_3__t20_normsp_3.depv12021-07-25 20:57 193  
[ ]normsp_3__t20_normsp_32021-07-17 20:20 25K 
[ ]normsp_3__t19_normsp_3.vout2021-07-25 15:38 4.1K 
[ ]normsp_3__t19_normsp_32021-07-17 20:20 43K 
[ ]normsp_3__t18_normsp_3.vout2021-07-25 16:04 4.1K 
[ ]normsp_3__t18_normsp_32021-07-17 20:19 47K 
[ ]normsp_3__t17_normsp_3.vout2021-07-25 17:54 4.1K 
[ ]normsp_3__t17_normsp_32021-07-17 20:18 43K 
[ ]normsp_3__t16_normsp_3.vout2021-07-25 15:37 63K 
[ ]normsp_3__t16_normsp_3.vmin1out2021-07-25 20:58 62K 
[ ]normsp_3__t16_normsp_3.vmin12021-07-25 20:57 3.0K 
[ ]normsp_3__t16_normsp_3.depvmin12021-07-25 21:03 92  
[ ]normsp_3__t16_normsp_3.depv12021-07-25 20:57 92  
[ ]normsp_3__t16_normsp_32021-07-17 20:18 39K 
[ ]normsp_3__t15_normsp_3.vout2021-07-25 16:33 4.1K 
[ ]normsp_3__t15_normsp_32021-07-17 20:17 44K 
[ ]normsp_3__t14_normsp_3.vout2021-07-25 20:35 6.8K 
[ ]normsp_3__t14_normsp_32021-07-17 20:16 28K 
[ ]normsp_3__t13_normsp_3.vout2021-07-25 14:35 7.3K 
[ ]normsp_3__t13_normsp_32021-07-17 20:15 37K 
[ ]normsp_3__t12_normsp_3.vout2021-07-25 20:34 4.1K 
[ ]normsp_3__t12_normsp_32021-07-17 20:15 45K 
[ ]normsp_3__t11_normsp_3.vout2021-07-25 18:17 49K 
[ ]normsp_3__t11_normsp_3.vmin1out2021-07-25 21:02 67K 
[ ]normsp_3__t11_normsp_3.vmin12021-07-25 20:57 3.4K 
[ ]normsp_3__t11_normsp_3.depvmin12021-07-25 21:03 107  
[ ]normsp_3__t11_normsp_3.depv12021-07-25 20:57 107  
[ ]normsp_3__t11_normsp_32021-07-17 20:14 41K 
[ ]normsp_3__t10_normsp_3.vout2021-07-25 15:45 7.3K 
[ ]normsp_3__t10_normsp_32021-07-17 20:13 45K 
[ ]normsp_3__t9_normsp_3.vout2021-07-25 17:12 4.1K 
[ ]normsp_3__t9_normsp_32021-07-17 20:12 44K 
[ ]normsp_3__t8_normsp_3.vout2021-07-25 16:53 62K 
[ ]normsp_3__t8_normsp_3.vmin1out2021-07-25 21:02 60K 
[ ]normsp_3__t8_normsp_3.vmin12021-07-25 20:57 3.0K 
[ ]normsp_3__t8_normsp_3.depvmin12021-07-25 21:03 92  
[ ]normsp_3__t8_normsp_3.depv12021-07-25 20:57 92  
[ ]normsp_3__t8_normsp_32021-07-17 20:12 41K 
[ ]normsp_3__t7_normsp_3.vout2021-07-25 20:19 7.3K 
[ ]normsp_3__t7_normsp_32021-07-17 20:11 42K 
[ ]normsp_3__t6_normsp_3.vout2021-07-25 14:45 3.7K 
[ ]normsp_3__t6_normsp_32021-07-17 20:10 66K 
[ ]normsp_3__t5_normsp_3.vout2021-07-25 19:48 4.1K 
[ ]normsp_3__t5_normsp_32021-07-17 20:09 46K 
[ ]normsp_3__t4_normsp_3.vout2021-07-25 19:11 51K 
[ ]normsp_3__t4_normsp_3.vmin1out2021-07-25 20:57 50K 
[ ]normsp_3__t4_normsp_3.vmin12021-07-25 20:57 2.8K 
[ ]normsp_3__t4_normsp_3.depvmin12021-07-25 21:03 92  
[ ]normsp_3__t4_normsp_3.depv12021-07-25 20:57 92  
[ ]normsp_3__t4_normsp_32021-07-17 20:08 41K 
[ ]normsp_3__t3_normsp_3.vout2021-07-25 20:17 26K 
[ ]normsp_3__t3_normsp_3.vmin1out2021-07-25 20:59 16K 
[ ]normsp_3__t3_normsp_3.vmin12021-07-25 20:57 1.5K 
[ ]normsp_3__t3_normsp_3.depvmin12021-07-25 21:03 39  
[ ]normsp_3__t3_normsp_3.depv12021-07-25 20:57 39  
[ ]normsp_3__t3_normsp_32021-07-17 20:08 33K 
[ ]normsp_3__t2_normsp_3.vout2021-07-25 20:02 2.0K 
[ ]normsp_3__t2_normsp_32021-07-17 20:05 21K 
[ ]normsp_3__t1_normsp_3.vout2021-07-25 16:31 2.0K 
[ ]normsp_3__t1_normsp_32021-07-17 20:05 20K 
[ ]normsp_3__l94_normsp_3.vout2021-07-25 16:17 7.4K 
[ ]normsp_3__l94_normsp_32021-07-17 20:53 41K 
[ ]normsp_3__l91_normsp_3.vout2021-07-25 18:56 41K 
[ ]normsp_3__l91_normsp_3.vmin1out2021-07-25 21:02 40K 
[ ]normsp_3__l91_normsp_3.vmin12021-07-25 20:57 2.8K 
[ ]normsp_3__l91_normsp_3.depvmin12021-07-25 21:03 210  
[ ]normsp_3__l91_normsp_3.depv12021-07-25 20:57 210  
[ ]normsp_3__l91_normsp_32021-07-17 20:53 28K 
[ ]normsp_3__l86_normsp_3.vout2021-07-25 20:27 7.4K 
[ ]normsp_3__l86_normsp_32021-07-17 20:52 33K 
[ ]normsp_3__l58_normsp_3.vout2021-07-25 18:08 6.8K 
[ ]normsp_3__l58_normsp_32021-07-17 20:51 41K 
[ ]normsp_3__l36_normsp_3.vout2021-07-25 15:14 7.3K 
[ ]normsp_3__l36_normsp_32021-07-17 20:51 46K 
[ ]normsp_3__l35_normsp_3.vout2021-07-25 16:03 7.4K 
[ ]normsp_3__l35_normsp_32021-07-17 20:50 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80