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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_2__l1_valued_22024-07-27 13:40 525  
[ ]valued_2__l1_valued_2.depv12024-08-03 10:19 75  
[ ]valued_2__l1_valued_2.depvmin12024-08-03 10:24 75  
[ ]valued_2__l1_valued_2.vmin12024-08-03 10:20 446  
[ ]valued_2__l1_valued_2.vmin1out2024-08-03 10:20 3.8K 
[ ]valued_2__l1_valued_2.vout2024-08-03 05:48 3.7K 
[ ]valued_2__t1_valued_22024-07-27 11:27 24K 
[ ]valued_2__t1_valued_2.depv12024-08-03 10:19 56  
[ ]valued_2__t1_valued_2.depvmin12024-08-03 10:24 56  
[ ]valued_2__t1_valued_2.vmin12024-08-03 10:20 735  
[ ]valued_2__t1_valued_2.vmin1out2024-08-03 10:23 14K 
[ ]valued_2__t1_valued_2.vout2024-08-03 10:04 15K 
[ ]valued_2__t2_valued_22024-07-27 11:28 24K 
[ ]valued_2__t2_valued_2.depv12024-08-03 10:19 58  
[ ]valued_2__t2_valued_2.depvmin12024-08-03 10:24 58  
[ ]valued_2__t2_valued_2.vmin12024-08-03 10:20 737  
[ ]valued_2__t2_valued_2.vmin1out2024-08-03 10:23 14K 
[ ]valued_2__t2_valued_2.vout2024-08-03 06:14 15K 
[ ]valued_2__t3_valued_22024-07-27 11:29 24K 
[ ]valued_2__t3_valued_2.depv12024-08-03 10:19 58  
[ ]valued_2__t3_valued_2.depvmin12024-08-03 10:24 58  
[ ]valued_2__t3_valued_2.vmin12024-08-03 10:20 737  
[ ]valued_2__t3_valued_2.vmin1out2024-08-03 10:20 14K 
[ ]valued_2__t3_valued_2.vout2024-08-03 09:03 15K 
[ ]valued_2__t4_valued_22024-07-27 11:30 24K 
[ ]valued_2__t4_valued_2.depv12024-08-03 10:19 58  
[ ]valued_2__t4_valued_2.depvmin12024-08-03 10:24 58  
[ ]valued_2__t4_valued_2.vmin12024-08-03 10:20 737  
[ ]valued_2__t4_valued_2.vmin1out2024-08-03 10:22 14K 
[ ]valued_2__t4_valued_2.vout2024-08-03 09:38 15K 
[ ]valued_2__t5_valued_22024-07-27 11:31 24K 
[ ]valued_2__t5_valued_2.depv12024-08-03 10:19 58  
[ ]valued_2__t5_valued_2.depvmin12024-08-03 10:24 58  
[ ]valued_2__t5_valued_2.vmin12024-08-03 10:20 741  
[ ]valued_2__t5_valued_2.vmin1out2024-08-03 10:21 15K 
[ ]valued_2__t5_valued_2.vout2024-08-03 05:57 15K 
[ ]valued_2__t6_valued_22024-07-27 11:33 24K 
[ ]valued_2__t6_valued_2.depv12024-08-03 10:19 58  
[ ]valued_2__t6_valued_2.depvmin12024-08-03 10:24 58  
[ ]valued_2__t6_valued_2.vmin12024-08-03 10:20 744  
[ ]valued_2__t6_valued_2.vmin1out2024-08-03 10:23 15K 
[ ]valued_2__t6_valued_2.vout2024-08-03 09:02 15K 
[ ]valued_2__t7_valued_22024-07-27 11:34 36K 
[ ]valued_2__t7_valued_2.vout2024-08-03 08:16 6.8K 
[ ]valued_2__t8_valued_22024-07-27 11:35 37K 
[ ]valued_2__t8_valued_2.vout2024-08-03 09:28 7.3K 
[ ]valued_2__t9_valued_22024-07-27 11:37 43K 
[ ]valued_2__t9_valued_2.depv12024-08-03 10:19 178  
[ ]valued_2__t9_valued_2.depvmin12024-08-03 10:24 178  
[ ]valued_2__t9_valued_2.vmin12024-08-03 10:20 1.7K 
[ ]valued_2__t9_valued_2.vmin1out2024-08-03 10:20 26K 
[ ]valued_2__t9_valued_2.vout2024-08-03 04:09 29K 
[ ]valued_2__t10_valued_22024-07-27 11:38 34K 
[ ]valued_2__t10_valued_2.vout2024-08-03 07:26 4.1K 
[ ]valued_2__t11_valued_22024-07-27 11:40 34K 
[ ]valued_2__t11_valued_2.vout2024-08-03 09:06 4.1K 
[ ]valued_2__t12_valued_22024-07-27 11:41 25K 
[ ]valued_2__t12_valued_2.vout2024-08-03 09:20 4.1K 
[ ]valued_2__t13_valued_22024-07-27 11:42 31K 
[ ]valued_2__t13_valued_2.vout2024-08-03 08:21 4.1K 
[ ]valued_2__t14_valued_22024-07-27 11:44 31K 
[ ]valued_2__t14_valued_2.vout2024-08-03 07:59 4.1K 
[ ]valued_2__t15_valued_22024-07-27 11:45 31K 
[ ]valued_2__t15_valued_2.vout2024-08-03 05:17 4.1K 
[ ]valued_2__t16_valued_22024-07-27 11:46 26K 
[ ]valued_2__t16_valued_2.vout2024-08-03 08:38 4.1K 
[ ]valued_2__t17_valued_22024-07-27 11:48 37K 
[ ]valued_2__t17_valued_2.vout2024-08-03 07:39 4.2K 
[ ]valued_2__t18_valued_22024-07-27 11:49 37K 
[ ]valued_2__t18_valued_2.vout2024-08-03 09:33 4.1K 
[ ]valued_2__t19_valued_22024-07-27 11:50 42K 
[ ]valued_2__t19_valued_2.vout2024-08-03 08:11 4.1K 
[ ]valued_2__t20_valued_22024-07-27 11:52 42K 
[ ]valued_2__t20_valued_2.vout2024-08-03 09:39 4.1K 
[ ]valued_2__t21_valued_22024-07-27 11:53 43K 
[ ]valued_2__t21_valued_2.vout2024-08-03 09:47 4.1K 
[ ]valued_2__t22_valued_22024-07-27 11:55 29K 
[ ]valued_2__t22_valued_2.vout2024-08-03 07:40 4.1K 
[ ]valued_2__t23_valued_22024-07-27 11:56 29K 
[ ]valued_2__t23_valued_2.vout2024-08-03 05:01 4.1K 
[ ]valued_2__t24_valued_22024-07-27 11:57 23K 
[ ]valued_2__t24_valued_2.depv12024-08-03 10:19 39  
[ ]valued_2__t24_valued_2.depvmin12024-08-03 10:24 39  
[ ]valued_2__t24_valued_2.vmin12024-08-03 10:20 606  
[ ]valued_2__t24_valued_2.vmin1out2024-08-03 10:23 6.3K 
[ ]valued_2__t24_valued_2.vout2024-08-03 09:41 6.4K 
[ ]valued_2__t25_valued_22024-07-27 11:59 33K 
[ ]valued_2__t25_valued_2.vout2024-08-03 07:37 4.1K 
[ ]valued_2__t26_valued_22024-07-27 12:00 53K 
[ ]valued_2__t26_valued_2.vout2024-08-03 08:56 4.1K 
[ ]valued_2__t27_valued_22024-07-27 12:02 53K 
[ ]valued_2__t27_valued_2.vout2024-08-03 10:03 4.1K 
[ ]valued_2__t28_valued_22024-07-27 11:17 30K 
[ ]valued_2__t28_valued_2.depv12024-08-03 10:19 81  
[ ]valued_2__t28_valued_2.depvmin12024-08-03 10:24 81  
[ ]valued_2__t28_valued_2.vmin12024-08-03 10:20 1.1K 
[ ]valued_2__t28_valued_2.vmin1out2024-08-03 10:23 16K 
[ ]valued_2__t28_valued_2.vout2024-08-03 04:43 17K 
[ ]valued_2__t29_valued_22024-07-27 11:19 36K 
[ ]valued_2__t29_valued_2.vout2024-08-03 08:17 1.1K 
[ ]valued_2__t30_valued_22024-07-27 12:03 30K 
[ ]valued_2__t30_valued_2.depv12024-08-03 10:19 93  
[ ]valued_2__t30_valued_2.depvmin12024-08-03 10:24 93  
[ ]valued_2__t30_valued_2.vmin12024-08-03 10:20 1.2K 
[ ]valued_2__t30_valued_2.vmin1out2024-08-03 10:23 12K 
[ ]valued_2__t30_valued_2.vout2024-08-03 05:57 17K 
[ ]valued_2__t31_valued_22024-07-27 12:04 30K 
[ ]valued_2__t31_valued_2.depv12024-08-03 10:19 156  
[ ]valued_2__t31_valued_2.depvmin12024-08-03 10:24 156  
[ ]valued_2__t31_valued_2.vmin12024-08-03 10:20 1.3K 
[ ]valued_2__t31_valued_2.vmin1out2024-08-03 10:23 13K 
[ ]valued_2__t31_valued_2.vout2024-08-03 08:51 24K 
[ ]valued_2__t32_valued_22024-07-27 12:06 30K 
[ ]valued_2__t32_valued_2.depv12024-08-03 10:19 39  
[ ]valued_2__t32_valued_2.depvmin12024-08-03 10:24 39  
[ ]valued_2__t32_valued_2.vmin12024-08-03 10:20 606  
[ ]valued_2__t32_valued_2.vmin1out2024-08-03 10:20 6.3K 
[ ]valued_2__t32_valued_2.vout2024-08-03 10:14 12K 
[ ]valued_2__t33_valued_22024-07-27 12:07 44K 
[ ]valued_2__t33_valued_2.vout2024-08-03 09:16 4.7K 
[ ]valued_2__t34_valued_22024-07-27 12:08 38K 
[ ]valued_2__t34_valued_2.vout2024-08-03 09:44 4.1K 
[ ]valued_2__t35_valued_22024-07-27 12:10 31K 
[ ]valued_2__t35_valued_2.vout2024-08-03 04:44 4.1K 
[ ]valued_2__t36_valued_22024-07-27 12:11 31K 
[ ]valued_2__t36_valued_2.vout2024-08-03 06:50 4.1K 
[ ]valued_2__t37_valued_22024-07-27 12:13 37K 
[ ]valued_2__t37_valued_2.vout2024-08-03 07:38 4.1K 
[ ]valued_2__t38_valued_22024-07-27 12:14 44K 
[ ]valued_2__t38_valued_2.vout2024-08-03 08:50 4.1K 
[ ]valued_2__t39_valued_22024-07-27 12:15 36K 
[ ]valued_2__t39_valued_2.vout2024-08-03 09:58 4.1K 
[ ]valued_2__t40_valued_22024-07-27 12:17 45K 
[ ]valued_2__t40_valued_2.vout2024-08-03 07:37 4.1K 
[ ]valued_2__t41_valued_22024-07-27 12:18 38K 
[ ]valued_2__t41_valued_2.vout2024-08-03 08:43 7.3K 
[ ]valued_2__t42_valued_22024-07-27 12:20 38K 
[ ]valued_2__t42_valued_2.depv12024-08-03 10:19 163  
[ ]valued_2__t42_valued_2.depvmin12024-08-03 10:24 163  
[ ]valued_2__t42_valued_2.vmin12024-08-03 10:20 2.0K 
[ ]valued_2__t42_valued_2.vmin1out2024-08-03 10:20 53K 
[ ]valued_2__t42_valued_2.vout2024-08-03 09:05 43K 
[ ]valued_2__t43_valued_22024-07-27 12:21 35K 
[ ]valued_2__t43_valued_2.depv12024-08-03 10:19 191  
[ ]valued_2__t43_valued_2.depvmin12024-08-03 10:24 191  
[ ]valued_2__t43_valued_2.vmin12024-08-03 10:20 2.1K 
[ ]valued_2__t43_valued_2.vmin1out2024-08-03 10:21 35K 
[ ]valued_2__t43_valued_2.vout2024-08-03 09:15 40K 
[ ]valued_2__t44_valued_22024-07-27 12:23 35K 
[ ]valued_2__t44_valued_2.depv12024-08-03 10:19 178  
[ ]valued_2__t44_valued_2.depvmin12024-08-03 10:24 178  
[ ]valued_2__t44_valued_2.vmin12024-08-03 10:20 2.0K 
[ ]valued_2__t44_valued_2.vmin1out2024-08-03 10:20 39K 
[ ]valued_2__t44_valued_2.vout2024-08-03 09:11 35K 
[ ]valued_2__t45_valued_22024-07-27 12:24 36K 
[ ]valued_2__t45_valued_2.vout2024-08-03 07:39 7.3K 
[ ]valued_2__t46_valued_22024-07-27 12:26 39K 
[ ]valued_2__t46_valued_2.vout2024-08-03 05:11 7.3K 
[ ]valued_2__t47_valued_22024-07-27 11:20 36K 
[ ]valued_2__t47_valued_2.depv12024-08-03 10:19 121  
[ ]valued_2__t47_valued_2.depvmin12024-08-03 10:24 121  
[ ]valued_2__t47_valued_2.vmin12024-08-03 10:20 1.6K 
[ ]valued_2__t47_valued_2.vmin1out2024-08-03 10:20 22K 
[ ]valued_2__t47_valued_2.vout2024-08-03 10:07 19K 
[ ]valued_2__t48_valued_22024-07-27 11:21 37K 
[ ]valued_2__t48_valued_2.depv12024-08-03 10:19 136  
[ ]valued_2__t48_valued_2.depvmin12024-08-03 10:24 136  
[ ]valued_2__t48_valued_2.vmin12024-08-03 10:20 2.1K 
[ ]valued_2__t48_valued_2.vmin1out2024-08-03 10:22 35K 
[ ]valued_2__t48_valued_2.vout2024-08-03 07:09 34K 
[ ]valued_2__t49_valued_22024-07-27 12:27 43K 
[ ]valued_2__t49_valued_2.vout2024-08-03 06:55 7.3K 
[ ]valued_2__t50_valued_22024-07-27 12:29 44K 
[ ]valued_2__t50_valued_2.vout2024-08-03 06:15 7.3K 
[ ]valued_2__t51_valued_22024-07-27 12:31 44K 
[ ]valued_2__t51_valued_2.vout2024-08-03 07:36 7.3K 
[ ]valued_2__t52_valued_22024-07-27 12:33 41K 
[ ]valued_2__t52_valued_2.vout2024-08-03 05:05 7.3K 
[ ]valued_2__t53_valued_22024-07-27 12:34 38K 
[ ]valued_2__t53_valued_2.vout2024-08-03 09:23 7.3K 
[ ]valued_2__t54_valued_22024-07-27 12:36 39K 
[ ]valued_2__t54_valued_2.vout2024-08-03 07:16 7.3K 
[ ]valued_2__t55_valued_22024-07-27 11:23 35K 
[ ]valued_2__t55_valued_2.depv12024-08-03 10:19 121  
[ ]valued_2__t55_valued_2.depvmin12024-08-03 10:24 121  
[ ]valued_2__t55_valued_2.vmin12024-08-03 10:20 1.6K 
[ ]valued_2__t55_valued_2.vmin1out2024-08-03 10:23 22K 
[ ]valued_2__t55_valued_2.vout2024-08-03 05:54 21K 
[ ]valued_2__t56_valued_22024-07-27 11:24 35K 
[ ]valued_2__t56_valued_2.depv12024-08-03 10:19 96  
[ ]valued_2__t56_valued_2.depvmin12024-08-03 10:24 96  
[ ]valued_2__t56_valued_2.vmin12024-08-03 10:20 1.5K 
[ ]valued_2__t56_valued_2.vmin1out2024-08-03 10:23 27K 
[ ]valued_2__t56_valued_2.vout2024-08-03 09:27 20K 
[ ]valued_2__t57_valued_22024-07-27 12:37 40K 
[ ]valued_2__t57_valued_2.vout2024-08-03 08:35 7.3K 
[ ]valued_2__t58_valued_22024-07-27 12:39 46K 
[ ]valued_2__t58_valued_2.vout2024-08-03 10:09 6.8K 
[ ]valued_2__t59_valued_22024-07-27 12:40 43K 
[ ]valued_2__t59_valued_2.vout2024-08-03 08:28 7.3K 
[ ]valued_2__t60_valued_22024-07-27 12:42 47K 
[ ]valued_2__t60_valued_2.vout2024-08-03 06:24 7.3K 
[ ]valued_2__t61_valued_22024-07-27 12:44 43K 
[ ]valued_2__t61_valued_2.depv12024-08-03 10:19 174  
[ ]valued_2__t61_valued_2.depvmin12024-08-03 10:24 174  
[ ]valued_2__t61_valued_2.vmin12024-08-03 10:20 2.4K 
[ ]valued_2__t61_valued_2.vmin1out2024-08-03 10:20 38K 
[ ]valued_2__t61_valued_2.vout2024-08-03 05:48 33K 
[ ]valued_2__t62_valued_22024-07-27 12:45 43K 
[ ]valued_2__t62_valued_2.vout2024-08-03 05:00 7.3K 
[ ]valued_2__t63_valued_22024-07-27 11:25 38K 
[ ]valued_2__t63_valued_2.depv12024-08-03 10:19 146  
[ ]valued_2__t63_valued_2.depvmin12024-08-03 10:24 146  
[ ]valued_2__t63_valued_2.vmin12024-08-03 10:20 1.7K 
[ ]valued_2__t63_valued_2.vmin1out2024-08-03 10:23 17K 
[ ]valued_2__t63_valued_2.vout2024-08-03 10:17 19K 
[ ]valued_2__t64_valued_22024-07-27 12:47 49K 
[ ]valued_2__t64_valued_2.vout2024-08-03 09:24 6.8K 
[ ]valued_2__t65_valued_22024-07-27 12:48 56K 
[ ]valued_2__t65_valued_2.vout2024-08-03 04:19 7.3K 
[ ]valued_2__t66_valued_22024-07-27 12:50 56K 
[ ]valued_2__t66_valued_2.vout2024-08-03 05:47 7.3K 
[ ]valued_2__t67_valued_22024-07-27 12:52 51K 
[ ]valued_2__t67_valued_2.vout2024-08-03 04:58 7.3K 
[ ]valued_2__t68_valued_22024-07-27 12:53 43K 
[ ]valued_2__t68_valued_2.vout2024-08-03 07:16 7.3K 
[ ]valued_2__t69_valued_22024-07-27 12:55 43K 
[ ]valued_2__t69_valued_2.vout2024-08-03 09:45 7.3K 
[ ]valued_2__t70_valued_22024-07-27 12:56 44K 
[ ]valued_2__t70_valued_2.vout2024-08-03 04:12 7.3K 
[ ]valued_2__t71_valued_22024-07-27 12:58 40K 
[ ]valued_2__t71_valued_2.vout2024-08-03 06:32 7.3K 
[ ]valued_2__t72_valued_22024-07-27 12:59 45K 
[ ]valued_2__t72_valued_2.vout2024-08-03 09:34 7.3K 
[ ]valued_2__t73_valued_22024-07-27 13:01 60K 
[ ]valued_2__t73_valued_2.vout2024-08-03 09:34 7.3K 
[ ]valued_2__t74_valued_22024-07-27 13:02 39K 
[ ]valued_2__t74_valued_2.vout2024-08-03 06:05 7.3K 
[ ]valued_2__t75_valued_22024-07-27 13:04 40K 
[ ]valued_2__t75_valued_2.vout2024-08-03 09:18 7.3K 
[ ]valued_2__t76_valued_22024-07-27 13:06 47K 
[ ]valued_2__t76_valued_2.vout2024-08-03 09:38 7.3K 
[ ]valued_2__t77_valued_22024-07-27 13:07 47K 
[ ]valued_2__t77_valued_2.vout2024-08-03 06:03 7.3K 
[ ]valued_2__t78_valued_22024-07-27 13:09 49K 
[ ]valued_2__t78_valued_2.vout2024-08-03 07:38 7.3K 
[ ]valued_2__t79_valued_22024-07-27 13:11 48K 
[ ]valued_2__t79_valued_2.vout2024-08-03 06:29 7.3K 
[ ]valued_2__t80_valued_22024-07-27 13:12 48K 
[ ]valued_2__t80_valued_2.vout2024-08-03 06:02 7.3K 
[ ]valued_2__t81_valued_22024-07-27 13:14 48K 
[ ]valued_2__t81_valued_2.vout2024-08-03 04:16 7.3K 
[ ]valued_2__t82_valued_22024-07-27 13:16 47K 
[ ]valued_2__t82_valued_2.vout2024-08-03 10:11 7.3K 
[ ]valued_2__t83_valued_22024-07-27 13:17 39K 
[ ]valued_2__t83_valued_2.vout2024-08-03 05:45 7.3K 
[ ]valued_2__t84_valued_22024-07-27 13:19 40K 
[ ]valued_2__t84_valued_2.vout2024-08-03 09:45 7.3K 
[ ]valued_2__t85_valued_22024-07-27 13:20 46K 
[ ]valued_2__t85_valued_2.vout2024-08-03 09:40 7.3K 
[ ]valued_2__t86_valued_22024-07-27 13:22 46K 
[ ]valued_2__t86_valued_2.vout2024-08-03 07:57 7.3K 
[ ]valued_2__t87_valued_22024-07-27 13:23 44K 
[ ]valued_2__t87_valued_2.vout2024-08-03 08:55 7.3K 
[ ]valued_2__t88_valued_22024-07-27 13:25 34K 
[ ]valued_2__t88_valued_2.depv12024-08-03 10:19 94  
[ ]valued_2__t88_valued_2.depvmin12024-08-03 10:24 94  
[ ]valued_2__t88_valued_2.vmin12024-08-03 10:20 2.5K 
[ ]valued_2__t88_valued_2.vmin1out2024-08-03 10:22 37K 
[ ]valued_2__t88_valued_2.vout2024-08-03 05:48 54K 
[ ]valued_2__t89_valued_22024-07-27 13:27 51K 
[ ]valued_2__t89_valued_2.vout2024-08-03 10:11 7.4K 
[ ]valued_2__t90_valued_22024-07-27 13:28 34K 
[ ]valued_2__t90_valued_2.depv12024-08-03 10:19 94  
[ ]valued_2__t90_valued_2.depvmin12024-08-03 10:24 94  
[ ]valued_2__t90_valued_2.vmin12024-08-03 10:20 2.5K 
[ ]valued_2__t90_valued_2.vmin1out2024-08-03 10:20 37K 
[ ]valued_2__t90_valued_2.vout2024-08-03 05:26 54K 
[ ]valued_2__t91_valued_22024-07-27 13:30 48K 
[ ]valued_2__t91_valued_2.vout2024-08-03 06:20 7.3K 
[ ]valued_2__t92_valued_22024-07-27 13:31 48K 
[ ]valued_2__t92_valued_2.vout2024-08-03 04:21 7.3K 
[ ]valued_2__t93_valued_22024-07-27 13:33 44K 
[ ]valued_2__t93_valued_2.vout2024-08-03 06:01 7.3K 
[ ]valued_2__t94_valued_22024-07-27 13:34 44K 
[ ]valued_2__t94_valued_2.vout2024-08-03 07:54 7.3K 
[ ]valued_2__t95_valued_22024-07-27 13:36 44K 
[ ]valued_2__t95_valued_2.vout2024-08-03 06:03 7.3K 
[ ]valued_2__t96_valued_22024-07-27 13:38 47K 
[ ]valued_2__t96_valued_2.vout2024-08-03 10:12 7.3K 
[ ]valued_2__t97_valued_22024-07-27 13:39 53K 
[ ]valued_2__t97_valued_2.vout2024-08-03 07:39 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80