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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]normform__l23_normform2024-07-27 08:42 10K 
[ ]normform__l23_normform.depv12024-08-03 10:19 112  
[ ]normform__l23_normform.depvmin12024-08-03 10:24 112  
[ ]normform__l23_normform.vmin12024-08-03 10:19 2.2K 
[ ]normform__l23_normform.vmin1out2024-08-03 10:23 31K 
[ ]normform__l23_normform.vout2024-08-03 09:53 31K 
[ ]normform__l24_normform2024-07-27 08:43 10K 
[ ]normform__l24_normform.depv12024-08-03 10:19 114  
[ ]normform__l24_normform.depvmin12024-08-03 10:24 114  
[ ]normform__l24_normform.vmin12024-08-03 10:19 2.2K 
[ ]normform__l24_normform.vmin1out2024-08-03 10:22 46K 
[ ]normform__l24_normform.vout2024-08-03 05:05 47K 
[ ]normform__l25_normform2024-07-27 08:43 10K 
[ ]normform__l25_normform.depv12024-08-03 10:19 155  
[ ]normform__l25_normform.depvmin12024-08-03 10:24 140  
[ ]normform__l25_normform.vmin12024-08-03 10:19 3.0K 
[ ]normform__l25_normform.vmin1out2024-08-03 10:21 121K 
[ ]normform__l25_normform.vout2024-08-03 06:42 57K 
[ ]normform__l42_normform2024-07-27 08:56 7.3K 
[ ]normform__l42_normform.depv12024-08-03 10:19 146  
[ ]normform__l42_normform.depvmin12024-08-03 10:24 146  
[ ]normform__l42_normform.vmin12024-08-03 10:19 1.2K 
[ ]normform__l42_normform.vmin1out2024-08-03 10:22 14K 
[ ]normform__l42_normform.vout2024-08-03 04:57 15K 
[ ]normform__l55_normform2024-07-27 08:44 6.6K 
[ ]normform__l55_normform.depv12024-08-03 10:19 162  
[ ]normform__l55_normform.depvmin12024-08-03 10:24 153  
[ ]normform__l55_normform.vmin12024-08-03 10:19 1.5K 
[ ]normform__l55_normform.vmin1out2024-08-03 10:20 14K 
[ ]normform__l55_normform.vout2024-08-03 10:09 12K 
[ ]normform__l63_normform2024-07-27 08:45 16K 
[ ]normform__l63_normform.vout2024-08-03 09:11 6.8K 
[ ]normform__l71_normform2024-07-27 08:46 13K 
[ ]normform__l71_normform.depv12024-08-03 10:19 121  
[ ]normform__l71_normform.depvmin12024-08-03 10:24 109  
[ ]normform__l71_normform.vmin12024-08-03 10:19 2.1K 
[ ]normform__l71_normform.vmin1out2024-08-03 10:23 26K 
[ ]normform__l71_normform.vout2024-08-03 05:48 32K 
[ ]normform__l72_normform2024-07-27 08:47 17K 
[ ]normform__l72_normform.vout2024-08-03 07:43 5.3K 
[ ]normform__l76_normform2024-07-27 08:48 18K 
[ ]normform__l76_normform.vout2024-08-03 07:22 7.9K 
[ ]normform__l77_normform2024-07-27 08:49 19K 
[ ]normform__l77_normform.vout2024-08-03 06:41 7.9K 
[ ]normform__l78_normform2024-07-27 08:50 18K 
[ ]normform__l78_normform.depv12024-08-03 10:19 192  
[ ]normform__l78_normform.depvmin12024-08-03 10:24 192  
[ ]normform__l78_normform.vmin12024-08-03 10:19 2.5K 
[ ]normform__l78_normform.vmin1out2024-08-03 10:21 32K 
[ ]normform__l78_normform.vout2024-08-03 08:14 32K 
[ ]normform__l79_normform2024-07-27 08:51 19K 
[ ]normform__l79_normform.vout2024-08-03 09:15 7.9K 
[ ]normform__l80_normform2024-07-27 08:52 18K 
[ ]normform__l80_normform.vout2024-08-03 08:49 7.4K 
[ ]normform__l81_normform2024-07-27 08:53 19K 
[ ]normform__l81_normform.vout2024-08-03 07:42 7.4K 
[ ]normform__l82_normform2024-07-27 08:55 18K 
[ ]normform__l82_normform.vout2024-08-03 10:13 7.4K 
[ ]normform__l83_normform2024-07-27 08:56 20K 
[ ]normform__l83_normform.vout2024-08-03 09:00 7.9K 
[ ]normform__t1_normform2024-07-27 08:08 5.8K 
[ ]normform__t1_normform.vout2024-08-03 08:09 7.9K 
[ ]normform__t2_normform2024-07-27 08:08 5.6K 
[ ]normform__t2_normform.depv12024-08-03 10:19 84  
[ ]normform__t2_normform.depvmin12024-08-03 10:24 84  
[ ]normform__t2_normform.vmin12024-08-03 10:19 1.3K 
[ ]normform__t2_normform.vmin1out2024-08-03 10:22 37K 
[ ]normform__t2_normform.vout2024-08-03 10:08 38K 
[ ]normform__t3_normform2024-07-27 08:09 6.6K 
[ ]normform__t3_normform.vout2024-08-03 08:57 6.8K 
[ ]normform__t4_normform2024-07-27 08:10 6.6K 
[ ]normform__t4_normform.vout2024-08-03 09:39 6.8K 
[ ]normform__t5_normform2024-07-27 08:10 8.9K 
[ ]normform__t5_normform.vout2024-08-03 06:43 6.8K 
[ ]normform__t6_normform2024-07-27 08:11 8.8K 
[ ]normform__t6_normform.vout2024-08-03 08:49 6.8K 
[ ]normform__t7_normform2024-07-27 08:12 9.1K 
[ ]normform__t7_normform.depv12024-08-03 10:19 127  
[ ]normform__t7_normform.depvmin12024-08-03 10:24 127  
[ ]normform__t7_normform.vmin12024-08-03 10:19 2.1K 
[ ]normform__t7_normform.vmin1out2024-08-03 10:20 23K 
[ ]normform__t7_normform.vout2024-08-03 10:00 17K 
[ ]normform__t8_normform2024-07-27 08:12 9.9K 
[ ]normform__t8_normform.vout2024-08-03 07:50 2.0K 
[ ]normform__t9_normform2024-07-27 07:59 8.9K 
[ ]normform__t9_normform.vout2024-08-03 07:50 7.3K 
[ ]normform__t10_normform2024-07-27 07:59 8.8K 
[ ]normform__t10_normform.vout2024-08-03 06:05 7.3K 
[ ]normform__t11_normform2024-07-27 08:00 8.9K 
[ ]normform__t11_normform.depv12024-08-03 10:19 26  
[ ]normform__t11_normform.depvmin12024-08-03 10:24 26  
[ ]normform__t11_normform.vmin12024-08-03 10:19 670  
[ ]normform__t11_normform.vmin1out2024-08-03 10:20 7.1K 
[ ]normform__t11_normform.vout2024-08-03 04:59 7.1K 
[ ]normform__t12_normform2024-07-27 08:01 8.9K 
[ ]normform__t12_normform.vout2024-08-03 05:22 7.3K 
[ ]normform__t13_normform2024-07-27 08:13 7.5K 
[ ]normform__t13_normform.vout2024-08-03 10:08 2.0K 
[ ]normform__t14_normform2024-07-27 08:01 10K 
[ ]normform__t14_normform.vout2024-08-03 09:41 7.3K 
[ ]normform__t15_normform2024-07-27 08:02 10K 
[ ]normform__t15_normform.vout2024-08-03 08:06 7.3K 
[ ]normform__t16_normform2024-07-27 08:14 15K 
[ ]normform__t16_normform.vout2024-08-03 09:04 7.4K 
[ ]normform__t17_normform2024-07-27 08:15 11K 
[ ]normform__t17_normform.vout2024-08-03 09:22 8.4K 
[ ]normform__t18_normform2024-07-27 08:16 6.4K 
[ ]normform__t18_normform.depv12024-08-03 10:19 188  
[ ]normform__t18_normform.depvmin12024-08-03 10:24 169  
[ ]normform__t18_normform.vmin12024-08-03 10:19 2.6K 
[ ]normform__t18_normform.vmin1out2024-08-03 10:21 17K 
[ ]normform__t18_normform.vout2024-08-03 05:15 34K 
[ ]normform__t19_normform2024-07-27 08:16 6.7K 
[ ]normform__t19_normform.depv12024-08-03 10:19 120  
[ ]normform__t19_normform.depvmin12024-08-03 10:24 120  
[ ]normform__t19_normform.vmin12024-08-03 10:19 1.8K 
[ ]normform__t19_normform.vmin1out2024-08-03 10:20 21K 
[ ]normform__t19_normform.vout2024-08-03 10:09 21K 
[ ]normform__t20_normform2024-07-27 08:17 8.5K 
[ ]normform__t20_normform.depv12024-08-03 10:19 282  
[ ]normform__t20_normform.depvmin12024-08-03 10:24 282  
[ ]normform__t20_normform.vmin12024-08-03 10:19 3.7K 
[ ]normform__t20_normform.vmin1out2024-08-03 10:23 36K 
[ ]normform__t20_normform.vout2024-08-03 04:37 44K 
[ ]normform__t21_normform2024-07-27 08:18 18K 
[ ]normform__t21_normform.vout2024-08-03 05:46 7.3K 
[ ]normform__t22_normform2024-07-27 08:19 11K 
[ ]normform__t22_normform.vout2024-08-03 06:33 2.0K 
[ ]normform__t23_normform2024-07-27 08:20 6.2K 
[ ]normform__t23_normform.depv12024-08-03 10:19 135  
[ ]normform__t23_normform.depvmin12024-08-03 10:24 72  
[ ]normform__t23_normform.vmin12024-08-03 10:19 1.2K 
[ ]normform__t23_normform.vmin1out2024-08-03 10:20 12K 
[ ]normform__t23_normform.vout2024-08-03 07:54 18K 
[ ]normform__t24_normform2024-07-27 08:21 11K 
[ ]normform__t24_normform.vout2024-08-03 06:04 7.3K 
[ ]normform__t25_normform2024-07-27 08:02 7.0K 
[ ]normform__t25_normform.depv12024-08-03 10:19 143  
[ ]normform__t25_normform.depvmin12024-08-03 10:24 143  
[ ]normform__t25_normform.vmin12024-08-03 10:19 1.5K 
[ ]normform__t25_normform.vmin1out2024-08-03 10:22 13K 
[ ]normform__t25_normform.vout2024-08-03 08:45 14K 
[ ]normform__t26_normform2024-07-27 08:21 8.0K 
[ ]normform__t26_normform.depv12024-08-03 10:19 166  
[ ]normform__t26_normform.depvmin12024-08-03 10:24 166  
[ ]normform__t26_normform.vmin12024-08-03 10:19 2.2K 
[ ]normform__t26_normform.vmin1out2024-08-03 10:22 27K 
[ ]normform__t26_normform.vout2024-08-03 08:43 29K 
[ ]normform__t27_normform2024-07-27 08:03 7.3K 
[ ]normform__t27_normform.depv12024-08-03 10:19 178  
[ ]normform__t27_normform.depvmin12024-08-03 10:24 178  
[ ]normform__t27_normform.vmin12024-08-03 10:19 1.8K 
[ ]normform__t27_normform.vmin1out2024-08-03 10:21 17K 
[ ]normform__t27_normform.vout2024-08-03 06:42 19K 
[ ]normform__t28_normform2024-07-27 08:22 13K 
[ ]normform__t28_normform.vout2024-08-03 09:20 5.3K 
[ ]normform__t29_normform2024-07-27 08:04 7.1K 
[ ]normform__t29_normform.depv12024-08-03 10:19 128  
[ ]normform__t29_normform.depvmin12024-08-03 10:24 128  
[ ]normform__t29_normform.vmin12024-08-03 10:19 1.4K 
[ ]normform__t29_normform.vmin1out2024-08-03 10:22 11K 
[ ]normform__t29_normform.vout2024-08-03 08:36 13K 
[ ]normform__t30_normform2024-07-27 08:23 8.2K 
[ ]normform__t30_normform.vout2024-08-03 09:43 5.9K 
[ ]normform__t31_normform2024-07-27 08:04 7.2K 
[ ]normform__t31_normform.depv12024-08-03 10:19 50  
[ ]normform__t31_normform.depvmin12024-08-03 10:24 38  
[ ]normform__t31_normform.vmin12024-08-03 10:19 288  
[ ]normform__t31_normform.vmin1out2024-08-03 10:22 2.2K 
[ ]normform__t31_normform.vout2024-08-03 07:57 2.5K 
[ ]normform__t32_normform2024-07-27 08:24 7.8K 
[ ]normform__t32_normform.depv12024-08-03 10:19 84  
[ ]normform__t32_normform.depvmin12024-08-03 10:24 72  
[ ]normform__t32_normform.vmin12024-08-03 10:19 1.1K 
[ ]normform__t32_normform.vmin1out2024-08-03 10:23 15K 
[ ]normform__t32_normform.vout2024-08-03 09:15 19K 
[ ]normform__t33_normform2024-07-27 08:05 7.8K 
[ ]normform__t33_normform.depv12024-08-03 10:19 113  
[ ]normform__t33_normform.depvmin12024-08-03 10:24 84  
[ ]normform__t33_normform.vmin12024-08-03 10:19 1.4K 
[ ]normform__t33_normform.vmin1out2024-08-03 10:21 21K 
[ ]normform__t33_normform.vout2024-08-03 05:21 26K 
[ ]normform__t34_normform2024-07-27 08:24 12K 
[ ]normform__t34_normform.vout2024-08-03 06:54 7.3K 
[ ]normform__t35_normform2024-07-27 08:25 12K 
[ ]normform__t35_normform.vout2024-08-03 05:28 7.3K 
[ ]normform__t36_normform2024-07-27 08:26 8.5K 
[ ]normform__t36_normform.depv12024-08-03 10:19 85  
[ ]normform__t36_normform.depvmin12024-08-03 10:24 73  
[ ]normform__t36_normform.vmin12024-08-03 10:19 1.2K 
[ ]normform__t36_normform.vmin1out2024-08-03 10:21 19K 
[ ]normform__t36_normform.vout2024-08-03 04:24 23K 
[ ]normform__t37_normform2024-07-27 08:06 8.8K 
[ ]normform__t37_normform.depv12024-08-03 10:19 38  
[ ]normform__t37_normform.depvmin12024-08-03 10:24 38  
[ ]normform__t37_normform.vmin12024-08-03 10:19 764  
[ ]normform__t37_normform.vmin1out2024-08-03 10:20 9.5K 
[ ]normform__t37_normform.vout2024-08-03 10:13 9.4K 
[ ]normform__t38_normform2024-07-27 08:06 8.9K 
[ ]normform__t38_normform.depv12024-08-03 10:19 38  
[ ]normform__t38_normform.depvmin12024-08-03 10:24 26  
[ ]normform__t38_normform.vmin12024-08-03 10:19 925  
[ ]normform__t38_normform.vmin1out2024-08-03 10:23 8.2K 
[ ]normform__t38_normform.vout2024-08-03 05:37 13K 
[ ]normform__t39_normform2024-07-27 08:27 8.5K 
[ ]normform__t39_normform.depv12024-08-03 10:19 201  
[ ]normform__t39_normform.depvmin12024-08-03 10:24 167  
[ ]normform__t39_normform.vmin12024-08-03 10:19 2.1K 
[ ]normform__t39_normform.vmin1out2024-08-03 10:20 34K 
[ ]normform__t39_normform.vout2024-08-03 09:18 33K 
[ ]normform__t40_normform2024-07-27 08:27 9.1K 
[ ]normform__t40_normform.depv12024-08-03 10:19 110  
[ ]normform__t40_normform.depvmin12024-08-03 10:24 110  
[ ]normform__t40_normform.vmin12024-08-03 10:19 1.5K 
[ ]normform__t40_normform.vmin1out2024-08-03 10:20 15K 
[ ]normform__t40_normform.vout2024-08-03 08:13 10K 
[ ]normform__t41_normform2024-07-27 08:28 11K 
[ ]normform__t41_normform.depv12024-08-03 10:19 214  
[ ]normform__t41_normform.depvmin12024-08-03 10:24 214  
[ ]normform__t41_normform.vmin12024-08-03 10:19 3.6K 
[ ]normform__t41_normform.vmin1out2024-08-03 10:21 83K 
[ ]normform__t41_normform.vout2024-08-03 04:26 94K 
[ ]normform__t42_normform2024-07-27 08:29 9.8K 
[ ]normform__t42_normform.depv12024-08-03 10:19 184  
[ ]normform__t42_normform.depvmin12024-08-03 10:24 184  
[ ]normform__t42_normform.vmin12024-08-03 10:19 2.5K 
[ ]normform__t42_normform.vmin1out2024-08-03 10:22 19K 
[ ]normform__t42_normform.vout2024-08-03 08:03 19K 
[ ]normform__t43_normform2024-07-27 08:30 11K 
[ ]normform__t43_normform.vout2024-08-03 06:19 3.7K 
[ ]normform__t44_normform2024-07-27 08:30 13K 
[ ]normform__t44_normform.vout2024-08-03 08:00 3.7K 
[ ]normform__t45_normform2024-07-27 08:07 9.3K 
[ ]normform__t45_normform.depv12024-08-03 10:19 160  
[ ]normform__t45_normform.depvmin12024-08-03 10:24 160  
[ ]normform__t45_normform.vmin12024-08-03 10:19 1.5K 
[ ]normform__t45_normform.vmin1out2024-08-03 10:21 15K 
[ ]normform__t45_normform.vout2024-08-03 06:16 18K 
[ ]normform__t46_normform2024-07-27 08:31 12K 
[ ]normform__t46_normform.vout2024-08-03 09:36 3.7K 
[ ]normform__t47_normform2024-07-27 08:32 15K 
[ ]normform__t47_normform.vout2024-08-03 07:31 4.2K 
[ ]normform__t48_normform2024-07-27 08:33 13K 
[ ]normform__t48_normform.vout2024-08-03 07:20 7.3K 
[ ]normform__t49_normform2024-07-27 08:34 12K 
[ ]normform__t49_normform.depv12024-08-03 10:19 39  
[ ]normform__t49_normform.depvmin12024-08-03 10:24 39  
[ ]normform__t49_normform.vmin12024-08-03 10:19 828  
[ ]normform__t49_normform.vmin1out2024-08-03 10:20 8.6K 
[ ]normform__t49_normform.vout2024-08-03 05:34 7.8K 
[ ]normform__t50_normform2024-07-27 08:35 17K 
[ ]normform__t50_normform.vout2024-08-03 09:13 5.3K 
[ ]normform__t51_normform2024-07-27 08:36 13K 
[ ]normform__t51_normform.depv12024-08-03 10:19 134  
[ ]normform__t51_normform.depvmin12024-08-03 10:24 134  
[ ]normform__t51_normform.vmin12024-08-03 10:19 1.5K 
[ ]normform__t51_normform.vmin1out2024-08-03 10:21 13K 
[ ]normform__t51_normform.vout2024-08-03 04:18 15K 
[ ]normform__t52_normform2024-07-27 08:36 16K 
[ ]normform__t52_normform.vout2024-08-03 07:00 5.3K 
[ ]normform__t53_normform2024-07-27 08:37 15K 
[ ]normform__t53_normform.vout2024-08-03 09:48 5.3K 
[ ]normform__t54_normform2024-07-27 08:38 12K 
[ ]normform__t54_normform.vout2024-08-03 09:12 4.2K 
[ ]normform__t55_normform2024-07-27 08:39 14K 
[ ]normform__t55_normform.depv12024-08-03 10:19 175  
[ ]normform__t55_normform.depvmin12024-08-03 10:24 175  
[ ]normform__t55_normform.vmin12024-08-03 10:19 1.7K 
[ ]normform__t55_normform.vmin1out2024-08-03 10:23 12K 
[ ]normform__t55_normform.vout2024-08-03 05:23 11K 
[ ]normform__t56_normform2024-07-27 08:40 19K 
[ ]normform__t56_normform.depv12024-08-03 10:19 89  
[ ]normform__t56_normform.depvmin12024-08-03 10:24 89  
[ ]normform__t56_normform.vmin12024-08-03 10:19 1.0K 
[ ]normform__t56_normform.vmin1out2024-08-03 10:22 12K 
[ ]normform__t56_normform.vout2024-08-03 07:44 12K 
[ ]normform__t57_normform2024-07-27 08:41 22K 
[ ]normform__t57_normform.vout2024-08-03 05:20 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80