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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_1__l1_valued_12024-07-27 10:40 40K 
[ ]valued_1__l1_valued_1.depv12024-08-03 10:19 49  
[ ]valued_1__l1_valued_1.depvmin12024-08-03 10:24 49  
[ ]valued_1__l1_valued_1.vmin12024-08-03 10:19 538  
[ ]valued_1__l1_valued_1.vmin1out2024-08-03 10:22 9.3K 
[ ]valued_1__l1_valued_1.vout2024-08-03 07:35 12K 
[ ]valued_1__l2_valued_12024-07-27 10:42 42K 
[ ]valued_1__l2_valued_1.vout2024-08-03 05:43 7.3K 
[ ]valued_1__l26_valued_12024-07-27 10:43 64K 
[ ]valued_1__l26_valued_1.vout2024-08-03 08:48 6.8K 
[ ]valued_1__l31_valued_12024-07-27 10:45 54K 
[ ]valued_1__l31_valued_1.depv12024-08-03 10:19 302  
[ ]valued_1__l31_valued_1.depvmin12024-08-03 10:24 277  
[ ]valued_1__l31_valued_1.vmin12024-08-03 10:19 3.6K 
[ ]valued_1__l31_valued_1.vmin1out2024-08-03 10:21 38K 
[ ]valued_1__l31_valued_1.vout2024-08-03 07:32 40K 
[ ]valued_1__l65_valued_12024-07-27 10:47 50K 
[ ]valued_1__l65_valued_1.vout2024-08-03 07:26 7.3K 
[ ]valued_1__l71_valued_12024-07-27 10:48 36K 
[ ]valued_1__l71_valued_1.vout2024-08-03 07:24 2.0K 
[ ]valued_1__l87_valued_12024-07-27 10:50 48K 
[ ]valued_1__l87_valued_1.vout2024-08-03 09:21 4.8K 
[ ]valued_1__l88_valued_12024-07-27 10:52 67K 
[ ]valued_1__l88_valued_1.vout2024-08-03 04:35 5.3K 
[ ]valued_1__t1_valued_12024-07-27 09:02 55K 
[ ]valued_1__t1_valued_1.vout2024-08-03 06:07 6.8K 
[ ]valued_1__t2_valued_12024-07-27 09:04 50K 
[ ]valued_1__t2_valued_1.depv12024-08-03 10:19 268  
[ ]valued_1__t2_valued_1.depvmin12024-08-03 10:24 268  
[ ]valued_1__t2_valued_1.vmin12024-08-03 10:19 3.2K 
[ ]valued_1__t2_valued_1.vmin1out2024-08-03 10:20 48K 
[ ]valued_1__t2_valued_1.vout2024-08-03 04:12 47K 
[ ]valued_1__t3_valued_12024-07-27 09:05 40K 
[ ]valued_1__t3_valued_1.depv12024-08-03 10:19 119  
[ ]valued_1__t3_valued_1.depvmin12024-08-03 10:24 119  
[ ]valued_1__t3_valued_1.vmin12024-08-03 10:19 1.5K 
[ ]valued_1__t3_valued_1.vmin1out2024-08-03 10:23 27K 
[ ]valued_1__t3_valued_1.vout2024-08-03 07:26 28K 
[ ]valued_1__t4_valued_12024-07-27 09:07 56K 
[ ]valued_1__t4_valued_1.vout2024-08-03 06:09 7.3K 
[ ]valued_1__t5_valued_12024-07-27 09:09 49K 
[ ]valued_1__t5_valued_1.vout2024-08-03 06:04 7.3K 
[ ]valued_1__t6_valued_12024-07-27 09:10 35K 
[ ]valued_1__t6_valued_1.depv12024-08-03 10:19 276  
[ ]valued_1__t6_valued_1.depvmin12024-08-03 10:24 167  
[ ]valued_1__t6_valued_1.vmin12024-08-03 10:19 2.5K 
[ ]valued_1__t6_valued_1.vmin1out2024-08-03 10:21 28K 
[ ]valued_1__t6_valued_1.vout2024-08-03 05:57 32K 
[ ]valued_1__t7_valued_12024-07-27 09:12 49K 
[ ]valued_1__t7_valued_1.vout2024-08-03 07:18 4.7K 
[ ]valued_1__t8_valued_12024-07-27 09:14 39K 
[ ]valued_1__t8_valued_1.vout2024-08-03 08:32 7.3K 
[ ]valued_1__t9_valued_12024-07-27 09:15 38K 
[ ]valued_1__t9_valued_1.depv12024-08-03 10:19 52  
[ ]valued_1__t9_valued_1.depvmin12024-08-03 10:24 52  
[ ]valued_1__t9_valued_1.vmin12024-08-03 10:19 1.0K 
[ ]valued_1__t9_valued_1.vmin1out2024-08-03 10:23 13K 
[ ]valued_1__t9_valued_1.vout2024-08-03 09:19 12K 
[ ]valued_1__t10_valued_12024-07-27 09:16 35K 
[ ]valued_1__t10_valued_1.vout2024-08-03 08:29 7.3K 
[ ]valued_1__t11_valued_12024-07-27 09:18 48K 
[ ]valued_1__t11_valued_1.vout2024-08-03 05:00 7.3K 
[ ]valued_1__t12_valued_12024-07-27 09:20 49K 
[ ]valued_1__t12_valued_1.vout2024-08-03 04:34 7.3K 
[ ]valued_1__t13_valued_12024-07-27 09:21 49K 
[ ]valued_1__t13_valued_1.vout2024-08-03 09:14 7.3K 
[ ]valued_1__t14_valued_12024-07-27 09:23 49K 
[ ]valued_1__t14_valued_1.vout2024-08-03 04:20 4.7K 
[ ]valued_1__t15_valued_12024-07-27 09:25 69K 
[ ]valued_1__t15_valued_1.vout2024-08-03 06:23 6.8K 
[ ]valued_1__t16_valued_12024-07-27 09:26 43K 
[ ]valued_1__t16_valued_1.depv12024-08-03 10:19 109  
[ ]valued_1__t16_valued_1.depvmin12024-08-03 10:24 82  
[ ]valued_1__t16_valued_1.vmin12024-08-03 10:19 1.9K 
[ ]valued_1__t16_valued_1.vmin1out2024-08-03 10:21 28K 
[ ]valued_1__t16_valued_1.vout2024-08-03 04:36 37K 
[ ]valued_1__t17_valued_12024-07-27 09:28 53K 
[ ]valued_1__t17_valued_1.vout2024-08-03 09:19 7.3K 
[ ]valued_1__t18_valued_12024-07-27 09:29 34K 
[ ]valued_1__t18_valued_1.depv12024-08-03 10:19 176  
[ ]valued_1__t18_valued_1.depvmin12024-08-03 10:24 176  
[ ]valued_1__t18_valued_1.vmin12024-08-03 10:19 1.6K 
[ ]valued_1__t18_valued_1.vmin1out2024-08-03 10:21 25K 
[ ]valued_1__t18_valued_1.vout2024-08-03 04:12 20K 
[ ]valued_1__t19_valued_12024-07-27 08:49 40K 
[ ]valued_1__t19_valued_1.depv12024-08-03 10:19 25  
[ ]valued_1__t19_valued_1.depvmin12024-08-03 10:24 25  
[ ]valued_1__t19_valued_1.vmin12024-08-03 10:19 728  
[ ]valued_1__t19_valued_1.vmin1out2024-08-03 10:20 9.7K 
[ ]valued_1__t19_valued_1.vout2024-08-03 05:59 8.5K 
[ ]valued_1__t20_valued_12024-07-27 09:31 45K 
[ ]valued_1__t20_valued_1.vout2024-08-03 06:18 3.7K 
[ ]valued_1__t21_valued_12024-07-27 09:33 46K 
[ ]valued_1__t21_valued_1.vout2024-08-03 05:02 3.7K 
[ ]valued_1__t22_valued_12024-07-27 09:34 65K 
[ ]valued_1__t22_valued_1.vout2024-08-03 09:04 3.7K 
[ ]valued_1__t23_valued_12024-07-27 09:36 68K 
[ ]valued_1__t23_valued_1.vout2024-08-03 09:08 3.6K 
[ ]valued_1__t24_valued_12024-07-27 09:38 41K 
[ ]valued_1__t24_valued_1.depv12024-08-03 10:19 129  
[ ]valued_1__t24_valued_1.depvmin12024-08-03 10:24 129  
[ ]valued_1__t24_valued_1.vmin12024-08-03 10:19 1.5K 
[ ]valued_1__t24_valued_1.vmin1out2024-08-03 10:22 22K 
[ ]valued_1__t24_valued_1.vout2024-08-03 04:16 22K 
[ ]valued_1__t25_valued_12024-07-27 09:39 47K 
[ ]valued_1__t25_valued_1.vout2024-08-03 07:44 4.2K 
[ ]valued_1__t26_valued_12024-07-27 09:41 43K 
[ ]valued_1__t26_valued_1.vout2024-08-03 05:26 4.2K 
[ ]valued_1__t27_valued_12024-07-27 09:43 63K 
[ ]valued_1__t27_valued_1.vout2024-08-03 05:36 3.7K 
[ ]valued_1__t29_valued_12024-07-27 09:44 66K 
[ ]valued_1__t29_valued_1.vout2024-08-03 04:55 7.3K 
[ ]valued_1__t30_valued_12024-07-27 08:50 39K 
[ ]valued_1__t30_valued_1.depv12024-08-03 10:19 248  
[ ]valued_1__t30_valued_1.depvmin12024-08-03 10:24 248  
[ ]valued_1__t30_valued_1.vmin12024-08-03 10:19 2.2K 
[ ]valued_1__t30_valued_1.vmin1out2024-08-03 10:22 28K 
[ ]valued_1__t30_valued_1.vout2024-08-03 07:17 27K 
[ ]valued_1__t31_valued_12024-07-27 08:52 41K 
[ ]valued_1__t31_valued_1.depv12024-08-03 10:19 143  
[ ]valued_1__t31_valued_1.depvmin12024-08-03 10:24 143  
[ ]valued_1__t31_valued_1.vmin12024-08-03 10:19 1.5K 
[ ]valued_1__t31_valued_1.vmin1out2024-08-03 10:21 16K 
[ ]valued_1__t31_valued_1.vout2024-08-03 08:34 21K 
[ ]valued_1__t32_valued_12024-07-27 08:53 39K 
[ ]valued_1__t32_valued_1.depv12024-08-03 10:19 247  
[ ]valued_1__t32_valued_1.depvmin12024-08-03 10:24 247  
[ ]valued_1__t32_valued_1.vmin12024-08-03 10:19 2.2K 
[ ]valued_1__t32_valued_1.vmin1out2024-08-03 10:23 26K 
[ ]valued_1__t32_valued_1.vout2024-08-03 07:00 27K 
[ ]valued_1__t33_valued_12024-07-27 08:55 39K 
[ ]valued_1__t33_valued_1.depv12024-08-03 10:19 191  
[ ]valued_1__t33_valued_1.depvmin12024-08-03 10:24 191  
[ ]valued_1__t33_valued_1.vmin12024-08-03 10:19 1.7K 
[ ]valued_1__t33_valued_1.vmin1out2024-08-03 10:20 21K 
[ ]valued_1__t33_valued_1.vout2024-08-03 09:31 21K 
[ ]valued_1__t34_valued_12024-07-27 08:56 41K 
[ ]valued_1__t34_valued_1.depv12024-08-03 10:19 143  
[ ]valued_1__t34_valued_1.depvmin12024-08-03 10:24 143  
[ ]valued_1__t34_valued_1.vmin12024-08-03 10:19 1.5K 
[ ]valued_1__t34_valued_1.vmin1out2024-08-03 10:23 16K 
[ ]valued_1__t34_valued_1.vout2024-08-03 06:41 21K 
[ ]valued_1__t35_valued_12024-07-27 08:58 39K 
[ ]valued_1__t35_valued_1.depv12024-08-03 10:19 246  
[ ]valued_1__t35_valued_1.depvmin12024-08-03 10:24 246  
[ ]valued_1__t35_valued_1.vmin12024-08-03 10:19 2.2K 
[ ]valued_1__t35_valued_1.vmin1out2024-08-03 10:22 27K 
[ ]valued_1__t35_valued_1.vout2024-08-03 06:59 27K 
[ ]valued_1__t36_valued_12024-07-27 09:46 55K 
[ ]valued_1__t36_valued_1.vout2024-08-03 09:18 7.3K 
[ ]valued_1__t37_valued_12024-07-27 09:48 59K 
[ ]valued_1__t37_valued_1.vout2024-08-03 08:02 7.3K 
[ ]valued_1__t38_valued_12024-07-27 09:49 63K 
[ ]valued_1__t38_valued_1.vout2024-08-03 05:55 7.3K 
[ ]valued_1__t39_valued_12024-07-27 09:51 47K 
[ ]valued_1__t39_valued_1.vout2024-08-03 08:20 6.8K 
[ ]valued_1__t40_valued_12024-07-27 10:39 71K 
[ ]valued_1__t40_valued_1.vout2024-08-03 10:18 3.7K 
[ ]valued_1__t41_valued_12024-07-27 09:53 71K 
[ ]valued_1__t41_valued_1.vout2024-08-03 04:27 3.7K 
[ ]valued_1__t42_valued_12024-07-27 09:55 47K 
[ ]valued_1__t42_valued_1.vout2024-08-03 08:32 4.7K 
[ ]valued_1__t43_valued_12024-07-27 09:56 56K 
[ ]valued_1__t43_valued_1.vout2024-08-03 05:40 4.2K 
[ ]valued_1__t44_valued_12024-07-27 09:58 79K 
[ ]valued_1__t44_valued_1.vout2024-08-03 05:57 3.7K 
[ ]valued_1__t45_valued_12024-07-27 10:00 54K 
[ ]valued_1__t45_valued_1.vout2024-08-03 06:22 7.3K 
[ ]valued_1__t46_valued_12024-07-27 10:01 50K 
[ ]valued_1__t46_valued_1.vout2024-08-03 05:50 2.0K 
[ ]valued_1__t47_valued_12024-07-27 10:03 51K 
[ ]valued_1__t47_valued_1.vout2024-08-03 06:56 5.3K 
[ ]valued_1__t48_valued_12024-07-27 10:05 61K 
[ ]valued_1__t48_valued_1.vout2024-08-03 08:57 4.2K 
[ ]valued_1__t49_valued_12024-07-27 10:07 59K 
[ ]valued_1__t49_valued_1.vout2024-08-03 08:58 7.3K 
[ ]valued_1__t50_valued_12024-07-27 10:08 45K 
[ ]valued_1__t50_valued_1.vout2024-08-03 07:47 2.0K 
[ ]valued_1__t51_valued_12024-07-27 10:10 44K 
[ ]valued_1__t51_valued_1.vout2024-08-03 08:31 3.7K 
[ ]valued_1__t52_valued_12024-07-27 10:11 48K 
[ ]valued_1__t52_valued_1.vout2024-08-03 05:54 4.2K 
[ ]valued_1__t53_valued_12024-07-27 10:13 59K 
[ ]valued_1__t53_valued_1.vout2024-08-03 07:22 4.2K 
[ ]valued_1__t54_valued_12024-07-27 10:15 56K 
[ ]valued_1__t54_valued_1.vout2024-08-03 04:11 7.3K 
[ ]valued_1__t55_valued_12024-07-27 10:17 70K 
[ ]valued_1__t55_valued_1.vout2024-08-03 07:12 3.7K 
[ ]valued_1__t56_valued_12024-07-27 10:18 53K 
[ ]valued_1__t56_valued_1.vout2024-08-03 04:46 7.3K 
[ ]valued_1__t57_valued_12024-07-27 10:20 85K 
[ ]valued_1__t57_valued_1.vout2024-08-03 06:36 3.7K 
[ ]valued_1__t58_valued_12024-07-27 10:22 62K 
[ ]valued_1__t58_valued_1.vout2024-08-03 04:43 3.7K 
[ ]valued_1__t59_valued_12024-07-27 10:24 51K 
[ ]valued_1__t59_valued_1.vout2024-08-03 06:05 2.0K 
[ ]valued_1__t60_valued_12024-07-27 10:26 52K 
[ ]valued_1__t60_valued_1.vout2024-08-03 05:51 3.7K 
[ ]valued_1__t61_valued_12024-07-27 10:27 57K 
[ ]valued_1__t61_valued_1.vout2024-08-03 09:03 4.2K 
[ ]valued_1__t62_valued_12024-07-27 10:29 70K 
[ ]valued_1__t62_valued_1.vout2024-08-03 09:46 3.7K 
[ ]valued_1__t63_valued_12024-07-27 10:31 84K 
[ ]valued_1__t63_valued_1.vout2024-08-03 05:44 3.7K 
[ ]valued_1__t64_valued_12024-07-27 10:33 66K 
[ ]valued_1__t64_valued_1.vout2024-08-03 09:49 4.2K 
[ ]valued_1__t65_valued_12024-07-27 10:35 66K 
[ ]valued_1__t65_valued_1.vout2024-08-03 06:53 2.0K 
[ ]valued_1__t66_valued_12024-07-27 08:59 38K 
[ ]valued_1__t66_valued_1.depv12024-08-03 10:19 26  
[ ]valued_1__t66_valued_1.depvmin12024-08-03 10:24 26  
[ ]valued_1__t66_valued_1.vmin12024-08-03 10:19 613  
[ ]valued_1__t66_valued_1.vmin1out2024-08-03 10:22 7.7K 
[ ]valued_1__t66_valued_1.vout2024-08-03 08:54 8.4K 
[ ]valued_1__t67_valued_12024-07-27 10:37 48K 
[ ]valued_1__t67_valued_1.vout2024-08-03 07:53 7.3K 
[ ]valued_1__t68_valued_12024-07-27 09:01 40K 
[ ]valued_1__t68_valued_1.depv12024-08-03 10:19 131  
[ ]valued_1__t68_valued_1.depvmin12024-08-03 10:24 131  
[ ]valued_1__t68_valued_1.vmin12024-08-03 10:19 1.3K 
[ ]valued_1__t68_valued_1.vmin1out2024-08-03 10:23 16K 
[ ]valued_1__t68_valued_1.vout2024-08-03 08:08 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80