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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_2__l1_valued_22021-07-17 22:10 525  
[ ]valued_2__l1_valued_2.depv12021-07-25 20:57 75  
[ ]valued_2__l1_valued_2.depvmin12021-07-25 21:03 75  
[ ]valued_2__l1_valued_2.vmin12021-07-25 20:57 446  
[ ]valued_2__l1_valued_2.vmin1out2021-07-25 21:00 3.8K 
[ ]valued_2__l1_valued_2.vout2021-07-25 17:07 3.7K 
[ ]valued_2__t1_valued_22021-07-17 21:23 20K 
[ ]valued_2__t1_valued_2.depv12021-07-25 20:57 56  
[ ]valued_2__t1_valued_2.depvmin12021-07-25 21:03 56  
[ ]valued_2__t1_valued_2.vmin12021-07-25 20:57 735  
[ ]valued_2__t1_valued_2.vmin1out2021-07-25 20:59 14K 
[ ]valued_2__t1_valued_2.vout2021-07-25 16:07 15K 
[ ]valued_2__t2_valued_22021-07-17 21:23 19K 
[ ]valued_2__t2_valued_2.depv12021-07-25 20:57 58  
[ ]valued_2__t2_valued_2.depvmin12021-07-25 21:03 58  
[ ]valued_2__t2_valued_2.vmin12021-07-25 20:57 737  
[ ]valued_2__t2_valued_2.vmin1out2021-07-25 21:00 14K 
[ ]valued_2__t2_valued_2.vout2021-07-25 16:08 15K 
[ ]valued_2__t3_valued_22021-07-17 21:24 20K 
[ ]valued_2__t3_valued_2.depv12021-07-25 20:57 58  
[ ]valued_2__t3_valued_2.depvmin12021-07-25 21:03 58  
[ ]valued_2__t3_valued_2.vmin12021-07-25 20:57 737  
[ ]valued_2__t3_valued_2.vmin1out2021-07-25 21:00 14K 
[ ]valued_2__t3_valued_2.vout2021-07-25 17:40 15K 
[ ]valued_2__t4_valued_22021-07-17 21:24 19K 
[ ]valued_2__t4_valued_2.depv12021-07-25 20:57 58  
[ ]valued_2__t4_valued_2.depvmin12021-07-25 21:03 58  
[ ]valued_2__t4_valued_2.vmin12021-07-25 20:57 737  
[ ]valued_2__t4_valued_2.vmin1out2021-07-25 21:01 14K 
[ ]valued_2__t4_valued_2.vout2021-07-25 17:17 15K 
[ ]valued_2__t5_valued_22021-07-17 21:25 19K 
[ ]valued_2__t5_valued_2.depv12021-07-25 20:57 58  
[ ]valued_2__t5_valued_2.depvmin12021-07-25 21:03 58  
[ ]valued_2__t5_valued_2.vmin12021-07-25 20:57 741  
[ ]valued_2__t5_valued_2.vmin1out2021-07-25 21:00 15K 
[ ]valued_2__t5_valued_2.vout2021-07-25 14:31 15K 
[ ]valued_2__t6_valued_22021-07-17 21:25 20K 
[ ]valued_2__t6_valued_2.depv12021-07-25 20:57 58  
[ ]valued_2__t6_valued_2.depvmin12021-07-25 21:03 58  
[ ]valued_2__t6_valued_2.vmin12021-07-25 20:57 744  
[ ]valued_2__t6_valued_2.vmin1out2021-07-25 21:00 15K 
[ ]valued_2__t6_valued_2.vout2021-07-25 16:07 15K 
[ ]valued_2__t7_valued_22021-07-17 21:26 32K 
[ ]valued_2__t7_valued_2.vout2021-07-25 15:22 6.8K 
[ ]valued_2__t8_valued_22021-07-17 21:26 33K 
[ ]valued_2__t8_valued_2.vout2021-07-25 20:52 7.3K 
[ ]valued_2__t9_valued_22021-07-17 21:27 36K 
[ ]valued_2__t9_valued_2.depv12021-07-25 20:57 178  
[ ]valued_2__t9_valued_2.depvmin12021-07-25 21:03 178  
[ ]valued_2__t9_valued_2.vmin12021-07-25 20:57 1.7K 
[ ]valued_2__t9_valued_2.vmin1out2021-07-25 21:00 26K 
[ ]valued_2__t9_valued_2.vout2021-07-25 20:39 29K 
[ ]valued_2__t10_valued_22021-07-17 21:27 30K 
[ ]valued_2__t10_valued_2.vout2021-07-25 14:50 4.1K 
[ ]valued_2__t11_valued_22021-07-17 21:28 30K 
[ ]valued_2__t11_valued_2.vout2021-07-25 19:06 4.1K 
[ ]valued_2__t12_valued_22021-07-17 21:28 20K 
[ ]valued_2__t12_valued_2.vout2021-07-25 14:58 4.1K 
[ ]valued_2__t13_valued_22021-07-17 21:28 27K 
[ ]valued_2__t13_valued_2.vout2021-07-25 14:50 4.1K 
[ ]valued_2__t14_valued_22021-07-17 21:29 27K 
[ ]valued_2__t14_valued_2.vout2021-07-25 20:38 4.1K 
[ ]valued_2__t15_valued_22021-07-17 21:29 27K 
[ ]valued_2__t15_valued_2.vout2021-07-25 17:11 4.1K 
[ ]valued_2__t16_valued_22021-07-17 21:30 22K 
[ ]valued_2__t16_valued_2.vout2021-07-25 14:28 4.1K 
[ ]valued_2__t17_valued_22021-07-17 21:30 34K 
[ ]valued_2__t17_valued_2.vout2021-07-25 15:54 4.1K 
[ ]valued_2__t18_valued_22021-07-17 21:31 33K 
[ ]valued_2__t18_valued_2.vout2021-07-25 15:22 4.1K 
[ ]valued_2__t19_valued_22021-07-17 21:31 39K 
[ ]valued_2__t19_valued_2.vout2021-07-25 20:17 4.1K 
[ ]valued_2__t20_valued_22021-07-17 21:32 39K 
[ ]valued_2__t20_valued_2.vout2021-07-25 15:31 4.2K 
[ ]valued_2__t21_valued_22021-07-17 21:32 39K 
[ ]valued_2__t21_valued_2.vout2021-07-25 18:13 4.1K 
[ ]valued_2__t22_valued_22021-07-17 21:33 25K 
[ ]valued_2__t22_valued_2.vout2021-07-25 15:27 4.1K 
[ ]valued_2__t23_valued_22021-07-17 21:33 25K 
[ ]valued_2__t23_valued_2.vout2021-07-25 14:34 4.1K 
[ ]valued_2__t24_valued_22021-07-17 21:34 19K 
[ ]valued_2__t24_valued_2.depv12021-07-25 20:57 39  
[ ]valued_2__t24_valued_2.depvmin12021-07-25 21:03 39  
[ ]valued_2__t24_valued_2.vmin12021-07-25 20:57 606  
[ ]valued_2__t24_valued_2.vmin1out2021-07-25 20:57 6.3K 
[ ]valued_2__t24_valued_2.vout2021-07-25 17:38 6.4K 
[ ]valued_2__t25_valued_22021-07-17 21:34 30K 
[ ]valued_2__t25_valued_2.vout2021-07-25 20:08 4.1K 
[ ]valued_2__t26_valued_22021-07-17 21:35 49K 
[ ]valued_2__t26_valued_2.vout2021-07-25 16:37 4.2K 
[ ]valued_2__t27_valued_22021-07-17 21:35 49K 
[ ]valued_2__t27_valued_2.vout2021-07-25 17:46 4.1K 
[ ]valued_2__t28_valued_22021-07-17 21:20 26K 
[ ]valued_2__t28_valued_2.depv12021-07-25 20:57 81  
[ ]valued_2__t28_valued_2.depvmin12021-07-25 21:03 81  
[ ]valued_2__t28_valued_2.vmin12021-07-25 20:57 1.1K 
[ ]valued_2__t28_valued_2.vmin1out2021-07-25 21:00 16K 
[ ]valued_2__t28_valued_2.vout2021-07-25 20:51 17K 
[ ]valued_2__t29_valued_22021-07-17 21:20 32K 
[ ]valued_2__t29_valued_2.vout2021-07-25 17:40 2.0K 
[ ]valued_2__t30_valued_22021-07-17 21:36 26K 
[ ]valued_2__t30_valued_2.depv12021-07-25 20:57 93  
[ ]valued_2__t30_valued_2.depvmin12021-07-25 21:03 93  
[ ]valued_2__t30_valued_2.vmin12021-07-25 20:57 1.2K 
[ ]valued_2__t30_valued_2.vmin1out2021-07-25 21:01 12K 
[ ]valued_2__t30_valued_2.vout2021-07-25 16:53 17K 
[ ]valued_2__t31_valued_22021-07-17 21:36 26K 
[ ]valued_2__t31_valued_2.depv12021-07-25 20:57 156  
[ ]valued_2__t31_valued_2.depvmin12021-07-25 21:03 156  
[ ]valued_2__t31_valued_2.vmin12021-07-25 20:57 1.3K 
[ ]valued_2__t31_valued_2.vmin1out2021-07-25 20:59 13K 
[ ]valued_2__t31_valued_2.vout2021-07-25 20:07 24K 
[ ]valued_2__t32_valued_22021-07-17 21:37 26K 
[ ]valued_2__t32_valued_2.depv12021-07-25 20:57 39  
[ ]valued_2__t32_valued_2.depvmin12021-07-25 21:03 39  
[ ]valued_2__t32_valued_2.vmin12021-07-25 20:57 606  
[ ]valued_2__t32_valued_2.vmin1out2021-07-25 20:58 6.3K 
[ ]valued_2__t32_valued_2.vout2021-07-25 15:25 12K 
[ ]valued_2__t33_valued_22021-07-17 21:37 37K 
[ ]valued_2__t33_valued_2.vout2021-07-25 20:41 4.7K 
[ ]valued_2__t34_valued_22021-07-17 21:38 34K 
[ ]valued_2__t34_valued_2.vout2021-07-25 20:19 4.2K 
[ ]valued_2__t35_valued_22021-07-17 21:38 27K 
[ ]valued_2__t35_valued_2.vout2021-07-25 16:23 4.1K 
[ ]valued_2__t36_valued_22021-07-17 21:39 27K 
[ ]valued_2__t36_valued_2.vout2021-07-25 15:19 4.1K 
[ ]valued_2__t37_valued_22021-07-17 21:39 34K 
[ ]valued_2__t37_valued_2.vout2021-07-25 20:37 4.1K 
[ ]valued_2__t38_valued_22021-07-17 21:40 40K 
[ ]valued_2__t38_valued_2.vout2021-07-25 17:45 4.1K 
[ ]valued_2__t39_valued_22021-07-17 21:40 32K 
[ ]valued_2__t39_valued_2.vout2021-07-25 15:21 4.1K 
[ ]valued_2__t40_valued_22021-07-17 21:41 41K 
[ ]valued_2__t40_valued_2.vout2021-07-25 14:51 4.1K 
[ ]valued_2__t41_valued_22021-07-17 21:41 34K 
[ ]valued_2__t41_valued_2.depv12021-07-25 20:57 180  
[ ]valued_2__t41_valued_2.depvmin12021-07-25 21:03 180  
[ ]valued_2__t41_valued_2.vmin12021-07-25 20:57 2.0K 
[ ]valued_2__t41_valued_2.vmin1out2021-07-25 20:58 36K 
[ ]valued_2__t41_valued_2.vout2021-07-25 15:27 33K 
[ ]valued_2__t42_valued_22021-07-17 21:42 35K 
[ ]valued_2__t42_valued_2.depv12021-07-25 20:57 163  
[ ]valued_2__t42_valued_2.depvmin12021-07-25 21:03 163  
[ ]valued_2__t42_valued_2.vmin12021-07-25 20:57 2.2K 
[ ]valued_2__t42_valued_2.vmin1out2021-07-25 21:02 58K 
[ ]valued_2__t42_valued_2.vout2021-07-25 19:44 43K 
[ ]valued_2__t43_valued_22021-07-17 21:42 30K 
[ ]valued_2__t43_valued_2.depv12021-07-25 20:57 191  
[ ]valued_2__t43_valued_2.depvmin12021-07-25 21:03 191  
[ ]valued_2__t43_valued_2.vmin12021-07-25 20:57 2.1K 
[ ]valued_2__t43_valued_2.vmin1out2021-07-25 21:02 35K 
[ ]valued_2__t43_valued_2.vout2021-07-25 19:59 40K 
[ ]valued_2__t44_valued_22021-07-17 21:43 30K 
[ ]valued_2__t44_valued_2.depv12021-07-25 20:57 178  
[ ]valued_2__t44_valued_2.depvmin12021-07-25 21:03 178  
[ ]valued_2__t44_valued_2.vmin12021-07-25 20:57 2.0K 
[ ]valued_2__t44_valued_2.vmin1out2021-07-25 21:00 39K 
[ ]valued_2__t44_valued_2.vout2021-07-25 14:56 35K 
[ ]valued_2__t45_valued_22021-07-17 21:43 32K 
[ ]valued_2__t45_valued_2.vout2021-07-25 19:37 7.3K 
[ ]valued_2__t46_valued_22021-07-17 21:44 34K 
[ ]valued_2__t46_valued_2.vout2021-07-25 20:56 7.3K 
[ ]valued_2__t47_valued_22021-07-17 21:21 32K 
[ ]valued_2__t47_valued_2.depv12021-07-25 20:57 121  
[ ]valued_2__t47_valued_2.depvmin12021-07-25 21:03 121  
[ ]valued_2__t47_valued_2.vmin12021-07-25 20:57 1.6K 
[ ]valued_2__t47_valued_2.vmin1out2021-07-25 20:58 22K 
[ ]valued_2__t47_valued_2.vout2021-07-25 20:48 21K 
[ ]valued_2__t48_valued_22021-07-17 21:21 33K 
[ ]valued_2__t48_valued_2.depv12021-07-25 20:57 136  
[ ]valued_2__t48_valued_2.depvmin12021-07-25 21:03 136  
[ ]valued_2__t48_valued_2.vmin12021-07-25 20:57 2.1K 
[ ]valued_2__t48_valued_2.vmin1out2021-07-25 21:02 35K 
[ ]valued_2__t48_valued_2.vout2021-07-25 15:35 34K 
[ ]valued_2__t49_valued_22021-07-17 21:44 39K 
[ ]valued_2__t49_valued_2.vout2021-07-25 20:55 7.3K 
[ ]valued_2__t50_valued_22021-07-17 21:45 40K 
[ ]valued_2__t50_valued_2.vout2021-07-25 18:07 7.3K 
[ ]valued_2__t51_valued_22021-07-17 21:45 40K 
[ ]valued_2__t51_valued_2.vout2021-07-25 17:53 7.3K 
[ ]valued_2__t52_valued_22021-07-17 21:46 37K 
[ ]valued_2__t52_valued_2.vout2021-07-25 16:01 7.3K 
[ ]valued_2__t53_valued_22021-07-17 21:47 34K 
[ ]valued_2__t53_valued_2.vout2021-07-25 18:32 7.3K 
[ ]valued_2__t54_valued_22021-07-17 21:47 34K 
[ ]valued_2__t54_valued_2.vout2021-07-25 17:28 6.8K 
[ ]valued_2__t55_valued_22021-07-17 21:22 30K 
[ ]valued_2__t55_valued_2.depv12021-07-25 20:57 121  
[ ]valued_2__t55_valued_2.depvmin12021-07-25 21:03 121  
[ ]valued_2__t55_valued_2.vmin12021-07-25 20:57 1.6K 
[ ]valued_2__t55_valued_2.vmin1out2021-07-25 20:58 22K 
[ ]valued_2__t55_valued_2.vout2021-07-25 16:33 21K 
[ ]valued_2__t56_valued_22021-07-17 21:22 30K 
[ ]valued_2__t56_valued_2.depv12021-07-25 20:57 96  
[ ]valued_2__t56_valued_2.depvmin12021-07-25 21:03 96  
[ ]valued_2__t56_valued_2.vmin12021-07-25 20:57 1.5K 
[ ]valued_2__t56_valued_2.vmin1out2021-07-25 20:59 27K 
[ ]valued_2__t56_valued_2.vout2021-07-25 19:37 21K 
[ ]valued_2__t57_valued_22021-07-17 21:48 36K 
[ ]valued_2__t57_valued_2.vout2021-07-25 17:47 7.3K 
[ ]valued_2__t58_valued_22021-07-17 21:48 42K 
[ ]valued_2__t58_valued_2.vout2021-07-25 15:33 7.3K 
[ ]valued_2__t59_valued_22021-07-17 21:49 38K 
[ ]valued_2__t59_valued_2.vout2021-07-25 19:31 7.3K 
[ ]valued_2__t60_valued_22021-07-17 21:49 43K 
[ ]valued_2__t60_valued_2.vout2021-07-25 16:59 7.3K 
[ ]valued_2__t61_valued_22021-07-17 21:50 39K 
[ ]valued_2__t61_valued_2.depv12021-07-25 20:57 172  
[ ]valued_2__t61_valued_2.depvmin12021-07-25 21:03 172  
[ ]valued_2__t61_valued_2.vmin12021-07-25 20:57 2.4K 
[ ]valued_2__t61_valued_2.vmin1out2021-07-25 20:59 38K 
[ ]valued_2__t61_valued_2.vout2021-07-25 20:30 33K 
[ ]valued_2__t62_valued_22021-07-17 21:50 40K 
[ ]valued_2__t62_valued_2.vout2021-07-25 18:19 7.3K 
[ ]valued_2__t63_valued_22021-07-17 21:22 34K 
[ ]valued_2__t63_valued_2.depv12021-07-25 20:57 157  
[ ]valued_2__t63_valued_2.depvmin12021-07-25 21:03 157  
[ ]valued_2__t63_valued_2.vmin12021-07-25 20:57 1.7K 
[ ]valued_2__t63_valued_2.vmin1out2021-07-25 20:57 17K 
[ ]valued_2__t63_valued_2.vout2021-07-25 18:47 23K 
[ ]valued_2__t64_valued_22021-07-17 21:51 45K 
[ ]valued_2__t64_valued_2.vout2021-07-25 16:03 6.8K 
[ ]valued_2__t65_valued_22021-07-17 21:51 52K 
[ ]valued_2__t65_valued_2.vout2021-07-25 18:32 7.3K 
[ ]valued_2__t66_valued_22021-07-17 21:52 52K 
[ ]valued_2__t66_valued_2.vout2021-07-25 18:21 7.3K 
[ ]valued_2__t67_valued_22021-07-17 21:53 47K 
[ ]valued_2__t67_valued_2.vout2021-07-25 15:16 7.3K 
[ ]valued_2__t68_valued_22021-07-17 21:53 40K 
[ ]valued_2__t68_valued_2.vout2021-07-25 19:54 7.3K 
[ ]valued_2__t69_valued_22021-07-17 21:54 39K 
[ ]valued_2__t69_valued_2.vout2021-07-25 14:28 7.3K 
[ ]valued_2__t70_valued_22021-07-17 21:54 40K 
[ ]valued_2__t70_valued_2.vout2021-07-25 17:18 7.3K 
[ ]valued_2__t71_valued_22021-07-17 21:55 35K 
[ ]valued_2__t71_valued_2.vout2021-07-25 16:22 7.3K 
[ ]valued_2__t72_valued_22021-07-17 21:55 41K 
[ ]valued_2__t72_valued_2.vout2021-07-25 18:48 7.3K 
[ ]valued_2__t73_valued_22021-07-17 21:56 56K 
[ ]valued_2__t73_valued_2.vout2021-07-25 17:48 7.3K 
[ ]valued_2__t74_valued_22021-07-17 21:57 35K 
[ ]valued_2__t74_valued_2.vout2021-07-25 20:37 7.3K 
[ ]valued_2__t75_valued_22021-07-17 21:57 36K 
[ ]valued_2__t75_valued_2.vout2021-07-25 15:55 7.3K 
[ ]valued_2__t76_valued_22021-07-17 21:58 44K 
[ ]valued_2__t76_valued_2.vout2021-07-25 18:18 7.3K 
[ ]valued_2__t77_valued_22021-07-17 21:58 43K 
[ ]valued_2__t77_valued_2.vout2021-07-25 20:01 7.3K 
[ ]valued_2__t78_valued_22021-07-17 21:59 45K 
[ ]valued_2__t78_valued_2.vout2021-07-25 16:29 7.3K 
[ ]valued_2__t79_valued_22021-07-17 21:59 45K 
[ ]valued_2__t79_valued_2.vout2021-07-25 19:40 7.3K 
[ ]valued_2__t80_valued_22021-07-17 22:00 45K 
[ ]valued_2__t80_valued_2.vout2021-07-25 16:28 7.3K 
[ ]valued_2__t81_valued_22021-07-17 22:01 45K 
[ ]valued_2__t81_valued_2.vout2021-07-25 18:52 7.3K 
[ ]valued_2__t82_valued_22021-07-17 22:01 43K 
[ ]valued_2__t82_valued_2.vout2021-07-25 17:43 7.3K 
[ ]valued_2__t83_valued_22021-07-17 22:02 35K 
[ ]valued_2__t83_valued_2.vout2021-07-25 15:37 7.3K 
[ ]valued_2__t84_valued_22021-07-17 22:02 36K 
[ ]valued_2__t84_valued_2.vout2021-07-25 18:56 7.3K 
[ ]valued_2__t85_valued_22021-07-17 22:03 42K 
[ ]valued_2__t85_valued_2.vout2021-07-25 15:23 7.3K 
[ ]valued_2__t86_valued_22021-07-17 22:03 42K 
[ ]valued_2__t86_valued_2.vout2021-07-25 18:32 7.3K 
[ ]valued_2__t87_valued_22021-07-17 22:04 39K 
[ ]valued_2__t87_valued_2.vout2021-07-25 20:10 7.3K 
[ ]valued_2__t88_valued_22021-07-17 22:04 30K 
[ ]valued_2__t88_valued_2.depv12021-07-25 20:57 94  
[ ]valued_2__t88_valued_2.depvmin12021-07-25 21:03 94  
[ ]valued_2__t88_valued_2.vmin12021-07-25 20:57 2.5K 
[ ]valued_2__t88_valued_2.vmin1out2021-07-25 20:59 37K 
[ ]valued_2__t88_valued_2.vout2021-07-25 18:59 54K 
[ ]valued_2__t89_valued_22021-07-17 22:05 47K 
[ ]valued_2__t89_valued_2.vout2021-07-25 14:53 7.3K 
[ ]valued_2__t90_valued_22021-07-17 22:06 30K 
[ ]valued_2__t90_valued_2.depv12021-07-25 20:57 94  
[ ]valued_2__t90_valued_2.depvmin12021-07-25 21:03 94  
[ ]valued_2__t90_valued_2.vmin12021-07-25 20:57 2.5K 
[ ]valued_2__t90_valued_2.vmin1out2021-07-25 21:00 37K 
[ ]valued_2__t90_valued_2.vout2021-07-25 15:40 54K 
[ ]valued_2__t91_valued_22021-07-17 22:06 44K 
[ ]valued_2__t91_valued_2.vout2021-07-25 18:14 7.3K 
[ ]valued_2__t92_valued_22021-07-17 22:07 44K 
[ ]valued_2__t92_valued_2.vout2021-07-25 14:53 7.3K 
[ ]valued_2__t93_valued_22021-07-17 22:07 40K 
[ ]valued_2__t93_valued_2.vout2021-07-25 15:20 7.3K 
[ ]valued_2__t94_valued_22021-07-17 22:08 40K 
[ ]valued_2__t94_valued_2.vout2021-07-25 16:36 7.3K 
[ ]valued_2__t95_valued_22021-07-17 22:08 40K 
[ ]valued_2__t95_valued_2.vout2021-07-25 15:19 7.3K 
[ ]valued_2__t96_valued_22021-07-17 22:09 42K 
[ ]valued_2__t96_valued_2.vout2021-07-25 15:32 7.3K 
[ ]valued_2__t97_valued_22021-07-17 22:10 50K 
[ ]valued_2__t97_valued_2.vout2021-07-25 18:57 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80