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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_1__l1_valued_12021-07-18 05:01 35K 
[ ]valued_1__l1_valued_1.depv12021-07-25 20:57 49  
[ ]valued_1__l1_valued_1.depvmin12021-07-25 21:03 49  
[ ]valued_1__l1_valued_1.vmin12021-07-25 20:57 538  
[ ]valued_1__l1_valued_1.vmin1out2021-07-25 20:59 9.3K 
[ ]valued_1__l1_valued_1.vout2021-07-25 18:33 12K 
[ ]valued_1__l2_valued_12021-07-18 05:01 37K 
[ ]valued_1__l2_valued_1.depv12021-07-25 20:57 191  
[ ]valued_1__l2_valued_1.depvmin12021-07-25 21:03 191  
[ ]valued_1__l2_valued_1.vmin12021-07-25 20:57 1.5K 
[ ]valued_1__l2_valued_1.vmin1out2021-07-25 20:58 24K 
[ ]valued_1__l2_valued_1.vout2021-07-25 18:32 24K 
[ ]valued_1__l26_valued_12021-07-18 05:02 59K 
[ ]valued_1__l26_valued_1.vout2021-07-25 16:07 6.8K 
[ ]valued_1__l31_valued_12021-07-18 05:02 49K 
[ ]valued_1__l31_valued_1.vout2021-07-25 18:00 6.9K 
[ ]valued_1__l65_valued_12021-07-18 05:03 44K 
[ ]valued_1__l65_valued_1.vout2021-07-25 18:38 7.3K 
[ ]valued_1__l71_valued_12021-07-18 05:03 31K 
[ ]valued_1__l71_valued_1.vout2021-07-25 14:25 2.0K 
[ ]valued_1__l87_valued_12021-07-18 05:03 42K 
[ ]valued_1__l87_valued_1.vout2021-07-25 19:48 3.7K 
[ ]valued_1__l88_valued_12021-07-18 05:04 59K 
[ ]valued_1__l88_valued_1.vout2021-07-25 20:34 5.3K 
[ ]valued_1__t1_valued_12021-07-18 04:31 50K 
[ ]valued_1__t1_valued_1.vout2021-07-25 14:41 6.8K 
[ ]valued_1__t2_valued_12021-07-18 04:32 45K 
[ ]valued_1__t2_valued_1.depv12021-07-25 20:57 268  
[ ]valued_1__t2_valued_1.depvmin12021-07-25 21:03 268  
[ ]valued_1__t2_valued_1.vmin12021-07-25 20:57 3.2K 
[ ]valued_1__t2_valued_1.vmin1out2021-07-25 20:59 48K 
[ ]valued_1__t2_valued_1.vout2021-07-25 16:08 48K 
[ ]valued_1__t3_valued_12021-07-18 04:32 35K 
[ ]valued_1__t3_valued_1.depv12021-07-25 20:57 119  
[ ]valued_1__t3_valued_1.depvmin12021-07-25 21:03 119  
[ ]valued_1__t3_valued_1.vmin12021-07-25 20:57 1.5K 
[ ]valued_1__t3_valued_1.vmin1out2021-07-25 21:02 27K 
[ ]valued_1__t3_valued_1.vout2021-07-25 15:25 28K 
[ ]valued_1__t4_valued_12021-07-18 04:33 51K 
[ ]valued_1__t4_valued_1.vout2021-07-25 17:45 7.3K 
[ ]valued_1__t5_valued_12021-07-18 04:33 44K 
[ ]valued_1__t5_valued_1.vout2021-07-25 19:33 7.3K 
[ ]valued_1__t6_valued_12021-07-18 04:34 30K 
[ ]valued_1__t6_valued_1.depv12021-07-25 20:57 275  
[ ]valued_1__t6_valued_1.depvmin12021-07-25 21:03 166  
[ ]valued_1__t6_valued_1.vmin12021-07-25 20:57 2.5K 
[ ]valued_1__t6_valued_1.vmin1out2021-07-25 20:59 28K 
[ ]valued_1__t6_valued_1.vout2021-07-25 20:25 32K 
[ ]valued_1__t7_valued_12021-07-18 04:34 44K 
[ ]valued_1__t7_valued_1.vout2021-07-25 18:25 4.7K 
[ ]valued_1__t8_valued_12021-07-18 04:35 34K 
[ ]valued_1__t8_valued_1.vout2021-07-25 16:40 7.3K 
[ ]valued_1__t9_valued_12021-07-18 04:35 33K 
[ ]valued_1__t9_valued_1.depv12021-07-25 20:57 52  
[ ]valued_1__t9_valued_1.depvmin12021-07-25 21:03 52  
[ ]valued_1__t9_valued_1.vmin12021-07-25 20:57 1.0K 
[ ]valued_1__t9_valued_1.vmin1out2021-07-25 21:00 13K 
[ ]valued_1__t9_valued_1.vout2021-07-25 16:46 17K 
[ ]valued_1__t10_valued_12021-07-18 04:36 30K 
[ ]valued_1__t10_valued_1.vout2021-07-25 14:38 7.3K 
[ ]valued_1__t11_valued_12021-07-18 04:36 43K 
[ ]valued_1__t11_valued_1.vout2021-07-25 15:42 7.3K 
[ ]valued_1__t12_valued_12021-07-18 04:37 44K 
[ ]valued_1__t12_valued_1.vout2021-07-25 17:07 7.3K 
[ ]valued_1__t13_valued_12021-07-18 04:37 44K 
[ ]valued_1__t13_valued_1.vout2021-07-25 19:16 7.3K 
[ ]valued_1__t14_valued_12021-07-18 04:38 44K 
[ ]valued_1__t14_valued_1.vout2021-07-25 16:34 4.7K 
[ ]valued_1__t15_valued_12021-07-18 04:39 64K 
[ ]valued_1__t15_valued_1.vout2021-07-25 18:00 6.8K 
[ ]valued_1__t16_valued_12021-07-18 04:39 38K 
[ ]valued_1__t16_valued_1.depv12021-07-25 20:57 109  
[ ]valued_1__t16_valued_1.depvmin12021-07-25 21:03 82  
[ ]valued_1__t16_valued_1.vmin12021-07-25 20:57 1.9K 
[ ]valued_1__t16_valued_1.vmin1out2021-07-25 21:01 28K 
[ ]valued_1__t16_valued_1.vout2021-07-25 14:39 37K 
[ ]valued_1__t17_valued_12021-07-18 04:40 48K 
[ ]valued_1__t17_valued_1.vout2021-07-25 18:02 7.3K 
[ ]valued_1__t18_valued_12021-07-18 04:40 29K 
[ ]valued_1__t18_valued_1.depv12021-07-25 20:57 176  
[ ]valued_1__t18_valued_1.depvmin12021-07-25 21:03 176  
[ ]valued_1__t18_valued_1.vmin12021-07-25 20:57 1.6K 
[ ]valued_1__t18_valued_1.vmin1out2021-07-25 21:02 25K 
[ ]valued_1__t18_valued_1.vout2021-07-25 18:23 21K 
[ ]valued_1__t19_valued_12021-07-18 04:27 34K 
[ ]valued_1__t19_valued_1.depv12021-07-25 20:57 25  
[ ]valued_1__t19_valued_1.depvmin12021-07-25 21:03 25  
[ ]valued_1__t19_valued_1.vmin12021-07-25 20:57 728  
[ ]valued_1__t19_valued_1.vmin1out2021-07-25 21:01 9.7K 
[ ]valued_1__t19_valued_1.vout2021-07-25 15:02 8.5K 
[ ]valued_1__t20_valued_12021-07-18 04:41 40K 
[ ]valued_1__t20_valued_1.vout2021-07-25 16:01 3.7K 
[ ]valued_1__t21_valued_12021-07-18 04:41 41K 
[ ]valued_1__t21_valued_1.vout2021-07-25 20:39 4.2K 
[ ]valued_1__t22_valued_12021-07-18 04:42 60K 
[ ]valued_1__t22_valued_1.vout2021-07-25 19:59 4.2K 
[ ]valued_1__t23_valued_12021-07-18 04:42 63K 
[ ]valued_1__t23_valued_1.vout2021-07-25 16:50 3.7K 
[ ]valued_1__t24_valued_12021-07-18 04:43 36K 
[ ]valued_1__t24_valued_1.depv12021-07-25 20:57 129  
[ ]valued_1__t24_valued_1.depvmin12021-07-25 21:03 129  
[ ]valued_1__t24_valued_1.vmin12021-07-25 20:57 1.5K 
[ ]valued_1__t24_valued_1.vmin1out2021-07-25 21:02 22K 
[ ]valued_1__t24_valued_1.vout2021-07-25 18:03 22K 
[ ]valued_1__t25_valued_12021-07-18 04:43 42K 
[ ]valued_1__t25_valued_1.vout2021-07-25 20:26 3.7K 
[ ]valued_1__t26_valued_12021-07-18 04:44 38K 
[ ]valued_1__t26_valued_1.vout2021-07-25 17:45 4.2K 
[ ]valued_1__t27_valued_12021-07-18 04:44 58K 
[ ]valued_1__t27_valued_1.vout2021-07-25 15:51 3.7K 
[ ]valued_1__t29_valued_12021-07-18 04:45 61K 
[ ]valued_1__t29_valued_1.vout2021-07-25 15:48 7.3K 
[ ]valued_1__t30_valued_12021-07-18 04:27 34K 
[ ]valued_1__t30_valued_1.depv12021-07-25 20:57 248  
[ ]valued_1__t30_valued_1.depvmin12021-07-25 21:03 248  
[ ]valued_1__t30_valued_1.vmin12021-07-25 20:57 2.2K 
[ ]valued_1__t30_valued_1.vmin1out2021-07-25 20:58 28K 
[ ]valued_1__t30_valued_1.vout2021-07-25 18:42 27K 
[ ]valued_1__t31_valued_12021-07-18 04:28 36K 
[ ]valued_1__t31_valued_1.depv12021-07-25 20:57 170  
[ ]valued_1__t31_valued_1.depvmin12021-07-25 21:03 170  
[ ]valued_1__t31_valued_1.vmin12021-07-25 20:57 1.7K 
[ ]valued_1__t31_valued_1.vmin1out2021-07-25 21:01 16K 
[ ]valued_1__t31_valued_1.vout2021-07-25 18:34 25K 
[ ]valued_1__t32_valued_12021-07-18 04:28 34K 
[ ]valued_1__t32_valued_1.depv12021-07-25 20:57 247  
[ ]valued_1__t32_valued_1.depvmin12021-07-25 21:03 247  
[ ]valued_1__t32_valued_1.vmin12021-07-25 20:57 2.2K 
[ ]valued_1__t32_valued_1.vmin1out2021-07-25 21:00 26K 
[ ]valued_1__t32_valued_1.vout2021-07-25 19:51 27K 
[ ]valued_1__t33_valued_12021-07-18 04:29 34K 
[ ]valued_1__t33_valued_1.depv12021-07-25 20:57 233  
[ ]valued_1__t33_valued_1.depvmin12021-07-25 21:03 191  
[ ]valued_1__t33_valued_1.vmin12021-07-25 20:57 2.0K 
[ ]valued_1__t33_valued_1.vmin1out2021-07-25 20:59 21K 
[ ]valued_1__t33_valued_1.vout2021-07-25 19:44 24K 
[ ]valued_1__t34_valued_12021-07-18 04:29 36K 
[ ]valued_1__t34_valued_1.depv12021-07-25 20:57 170  
[ ]valued_1__t34_valued_1.depvmin12021-07-25 21:03 170  
[ ]valued_1__t34_valued_1.vmin12021-07-25 20:57 1.6K 
[ ]valued_1__t34_valued_1.vmin1out2021-07-25 21:00 15K 
[ ]valued_1__t34_valued_1.vout2021-07-25 15:58 24K 
[ ]valued_1__t35_valued_12021-07-18 04:30 34K 
[ ]valued_1__t35_valued_1.depv12021-07-25 20:57 246  
[ ]valued_1__t35_valued_1.depvmin12021-07-25 21:03 246  
[ ]valued_1__t35_valued_1.vmin12021-07-25 20:57 2.2K 
[ ]valued_1__t35_valued_1.vmin1out2021-07-25 21:00 27K 
[ ]valued_1__t35_valued_1.vout2021-07-25 18:46 27K 
[ ]valued_1__t36_valued_12021-07-18 04:45 49K 
[ ]valued_1__t36_valued_1.vout2021-07-25 14:24 7.3K 
[ ]valued_1__t37_valued_12021-07-18 04:46 53K 
[ ]valued_1__t37_valued_1.vout2021-07-25 15:21 7.3K 
[ ]valued_1__t38_valued_12021-07-18 04:46 58K 
[ ]valued_1__t38_valued_1.vout2021-07-25 16:51 7.3K 
[ ]valued_1__t39_valued_12021-07-18 04:47 41K 
[ ]valued_1__t39_valued_1.vout2021-07-25 16:32 6.8K 
[ ]valued_1__t40_valued_12021-07-18 05:01 66K 
[ ]valued_1__t40_valued_1.vout2021-07-25 19:58 3.7K 
[ ]valued_1__t41_valued_12021-07-18 04:47 65K 
[ ]valued_1__t41_valued_1.vout2021-07-25 17:55 3.7K 
[ ]valued_1__t42_valued_12021-07-18 04:48 42K 
[ ]valued_1__t42_valued_1.vout2021-07-25 14:44 4.7K 
[ ]valued_1__t43_valued_12021-07-18 04:48 51K 
[ ]valued_1__t43_valued_1.vout2021-07-25 18:47 4.2K 
[ ]valued_1__t44_valued_12021-07-18 04:49 73K 
[ ]valued_1__t44_valued_1.vout2021-07-25 18:47 3.7K 
[ ]valued_1__t45_valued_12021-07-18 04:49 49K 
[ ]valued_1__t45_valued_1.vout2021-07-25 20:02 7.4K 
[ ]valued_1__t46_valued_12021-07-18 04:50 45K 
[ ]valued_1__t46_valued_1.vout2021-07-25 16:51 2.0K 
[ ]valued_1__t47_valued_12021-07-18 04:50 45K 
[ ]valued_1__t47_valued_1.vout2021-07-25 16:49 5.3K 
[ ]valued_1__t48_valued_12021-07-18 04:51 56K 
[ ]valued_1__t48_valued_1.vout2021-07-25 18:44 4.2K 
[ ]valued_1__t49_valued_12021-07-18 04:51 52K 
[ ]valued_1__t49_valued_1.vout2021-07-25 17:17 7.3K 
[ ]valued_1__t50_valued_12021-07-18 04:52 40K 
[ ]valued_1__t50_valued_1.vout2021-07-25 17:25 2.0K 
[ ]valued_1__t51_valued_12021-07-18 04:52 39K 
[ ]valued_1__t51_valued_1.vout2021-07-25 15:40 3.7K 
[ ]valued_1__t52_valued_12021-07-18 04:52 43K 
[ ]valued_1__t52_valued_1.vout2021-07-25 19:59 3.7K 
[ ]valued_1__t53_valued_12021-07-18 04:53 51K 
[ ]valued_1__t53_valued_1.vout2021-07-25 19:59 4.2K 
[ ]valued_1__t54_valued_12021-07-18 04:53 51K 
[ ]valued_1__t54_valued_1.vout2021-07-25 15:52 7.3K 
[ ]valued_1__t55_valued_12021-07-18 04:54 65K 
[ ]valued_1__t55_valued_1.vout2021-07-25 20:56 3.7K 
[ ]valued_1__t56_valued_12021-07-18 04:54 47K 
[ ]valued_1__t56_valued_1.vout2021-07-25 14:38 7.3K 
[ ]valued_1__t57_valued_12021-07-18 04:55 80K 
[ ]valued_1__t57_valued_1.vout2021-07-25 15:05 4.2K 
[ ]valued_1__t58_valued_12021-07-18 04:56 56K 
[ ]valued_1__t58_valued_1.vout2021-07-25 18:38 3.7K 
[ ]valued_1__t59_valued_12021-07-18 04:56 45K 
[ ]valued_1__t59_valued_1.vout2021-07-25 18:07 2.0K 
[ ]valued_1__t60_valued_12021-07-18 04:57 46K 
[ ]valued_1__t60_valued_1.vout2021-07-25 20:39 3.7K 
[ ]valued_1__t61_valued_12021-07-18 04:57 51K 
[ ]valued_1__t61_valued_1.vout2021-07-25 18:13 4.2K 
[ ]valued_1__t62_valued_12021-07-18 04:58 62K 
[ ]valued_1__t62_valued_1.vout2021-07-25 17:39 3.7K 
[ ]valued_1__t63_valued_12021-07-18 04:58 76K 
[ ]valued_1__t63_valued_1.vout2021-07-25 16:06 3.7K 
[ ]valued_1__t64_valued_12021-07-18 04:59 58K 
[ ]valued_1__t64_valued_1.vout2021-07-25 14:32 4.2K 
[ ]valued_1__t65_valued_12021-07-18 05:00 60K 
[ ]valued_1__t65_valued_1.vout2021-07-25 18:56 2.0K 
[ ]valued_1__t66_valued_12021-07-18 04:30 32K 
[ ]valued_1__t66_valued_1.depv12021-07-25 20:57 26  
[ ]valued_1__t66_valued_1.depvmin12021-07-25 21:03 26  
[ ]valued_1__t66_valued_1.vmin12021-07-25 20:57 613  
[ ]valued_1__t66_valued_1.vmin1out2021-07-25 20:58 7.7K 
[ ]valued_1__t66_valued_1.vout2021-07-25 15:40 8.4K 
[ ]valued_1__t67_valued_12021-07-18 05:00 43K 
[ ]valued_1__t67_valued_1.vout2021-07-25 20:04 7.3K 
[ ]valued_1__t68_valued_12021-07-18 04:31 34K 
[ ]valued_1__t68_valued_1.depv12021-07-25 20:57 131  
[ ]valued_1__t68_valued_1.depvmin12021-07-25 21:03 131  
[ ]valued_1__t68_valued_1.vmin12021-07-25 20:57 1.3K 
[ ]valued_1__t68_valued_1.vmin1out2021-07-25 20:59 16K 
[ ]valued_1__t68_valued_1.vout2021-07-25 20:50 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80