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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prob_3__l1_prob_32021-07-17 19:43 14K 
[ ]prob_3__l1_prob_3.vout2021-07-25 14:25 2.0K 
[ ]prob_3__t1_prob_32021-07-17 19:18 16K 
[ ]prob_3__t1_prob_3.depv12021-07-25 20:57 214  
[ ]prob_3__t1_prob_3.depvmin12021-07-25 21:03 214  
[ ]prob_3__t1_prob_3.vmin12021-07-25 20:57 1.6K 
[ ]prob_3__t1_prob_3.vmin1out2021-07-25 21:00 18K 
[ ]prob_3__t1_prob_3.vout2021-07-25 19:35 15K 
[ ]prob_3__t2_prob_32021-07-17 19:19 16K 
[ ]prob_3__t2_prob_3.vout2021-07-25 17:20 8.3K 
[ ]prob_3__t3_prob_32021-07-17 19:19 26K 
[ ]prob_3__t3_prob_3.vout2021-07-25 16:03 7.3K 
[ ]prob_3__t4_prob_32021-07-17 19:20 37K 
[ ]prob_3__t4_prob_3.vout2021-07-25 18:17 2.0K 
[ ]prob_3__t5_prob_32021-07-17 19:20 29K 
[ ]prob_3__t5_prob_3.vout2021-07-25 18:51 6.8K 
[ ]prob_3__t6_prob_32021-07-17 19:21 30K 
[ ]prob_3__t6_prob_3.vout2021-07-25 14:23 7.3K 
[ ]prob_3__t7_prob_32021-07-17 19:21 30K 
[ ]prob_3__t7_prob_3.vout2021-07-25 17:54 7.3K 
[ ]prob_3__t8_prob_32021-07-17 19:21 28K 
[ ]prob_3__t8_prob_3.vout2021-07-25 18:02 7.8K 
[ ]prob_3__t9_prob_32021-07-17 19:22 28K 
[ ]prob_3__t9_prob_3.vout2021-07-25 16:52 7.8K 
[ ]prob_3__t10_prob_32021-07-17 19:22 24K 
[ ]prob_3__t10_prob_3.vout2021-07-25 15:05 7.8K 
[ ]prob_3__t11_prob_32021-07-17 19:23 24K 
[ ]prob_3__t11_prob_3.vout2021-07-25 17:13 7.8K 
[ ]prob_3__t12_prob_32021-07-17 19:23 28K 
[ ]prob_3__t12_prob_3.vout2021-07-25 15:59 6.8K 
[ ]prob_3__t13_prob_32021-07-17 19:24 28K 
[ ]prob_3__t13_prob_3.vout2021-07-25 20:23 6.8K 
[ ]prob_3__t14_prob_32021-07-17 19:24 21K 
[ ]prob_3__t14_prob_3.vout2021-07-25 16:06 7.3K 
[ ]prob_3__t15_prob_32021-07-17 19:24 22K 
[ ]prob_3__t15_prob_3.vout2021-07-25 20:36 7.3K 
[ ]prob_3__t16_prob_32021-07-17 19:25 30K 
[ ]prob_3__t16_prob_3.vout2021-07-25 16:02 7.3K 
[ ]prob_3__t17_prob_32021-07-17 19:12 20K 
[ ]prob_3__t17_prob_3.depv12021-07-25 20:57 57  
[ ]prob_3__t17_prob_3.depvmin12021-07-25 21:03 57  
[ ]prob_3__t17_prob_3.vmin12021-07-25 20:57 1.0K 
[ ]prob_3__t17_prob_3.vmin1out2021-07-25 20:58 16K 
[ ]prob_3__t17_prob_3.vout2021-07-25 19:09 17K 
[ ]prob_3__t18_prob_32021-07-17 19:25 19K 
[ ]prob_3__t18_prob_3.depv12021-07-25 20:57 153  
[ ]prob_3__t18_prob_3.depvmin12021-07-25 21:03 153  
[ ]prob_3__t18_prob_3.vmin12021-07-25 20:57 2.0K 
[ ]prob_3__t18_prob_3.vmin1out2021-07-25 21:00 31K 
[ ]prob_3__t18_prob_3.vout2021-07-25 19:53 26K 
[ ]prob_3__t19_prob_32021-07-17 19:26 28K 
[ ]prob_3__t19_prob_3.vout2021-07-25 17:46 4.7K 
[ ]prob_3__t20_prob_32021-07-17 19:26 19K 
[ ]prob_3__t20_prob_3.depv12021-07-25 20:57 133  
[ ]prob_3__t20_prob_3.depvmin12021-07-25 21:03 133  
[ ]prob_3__t20_prob_3.vmin12021-07-25 20:57 2.1K 
[ ]prob_3__t20_prob_3.vmin1out2021-07-25 20:57 36K 
[ ]prob_3__t20_prob_3.vout2021-07-25 16:14 35K 
[ ]prob_3__t21_prob_32021-07-17 19:12 26K 
[ ]prob_3__t21_prob_3.vout2021-07-25 20:09 4.7K 
[ ]prob_3__t22_prob_32021-07-17 19:13 26K 
[ ]prob_3__t22_prob_3.vout2021-07-25 16:19 4.7K 
[ ]prob_3__t23_prob_32021-07-17 19:13 19K 
[ ]prob_3__t23_prob_3.depv12021-07-25 20:57 156  
[ ]prob_3__t23_prob_3.depvmin12021-07-25 21:03 156  
[ ]prob_3__t23_prob_3.vmin12021-07-25 20:57 2.5K 
[ ]prob_3__t23_prob_3.vmin1out2021-07-25 20:59 31K 
[ ]prob_3__t23_prob_3.vout2021-07-25 19:30 45K 
[ ]prob_3__t24_prob_32021-07-17 19:13 19K 
[ ]prob_3__t24_prob_3.depv12021-07-25 20:57 156  
[ ]prob_3__t24_prob_3.depvmin12021-07-25 21:03 156  
[ ]prob_3__t24_prob_3.vmin12021-07-25 20:57 2.5K 
[ ]prob_3__t24_prob_3.vmin1out2021-07-25 21:01 31K 
[ ]prob_3__t24_prob_3.vout2021-07-25 15:48 45K 
[ ]prob_3__t25_prob_32021-07-17 19:27 20K 
[ ]prob_3__t25_prob_3.vout2021-07-25 15:18 2.0K 
[ ]prob_3__t26_prob_32021-07-17 19:27 20K 
[ ]prob_3__t26_prob_3.vout2021-07-25 17:52 2.0K 
[ ]prob_3__t27_prob_32021-07-17 19:14 16K 
[ ]prob_3__t27_prob_3.depv12021-07-25 20:57 22  
[ ]prob_3__t27_prob_3.depvmin12021-07-25 21:03 22  
[ ]prob_3__t27_prob_3.vmin12021-07-25 20:57 606  
[ ]prob_3__t27_prob_3.vmin1out2021-07-25 21:01 7.0K 
[ ]prob_3__t27_prob_3.vout2021-07-25 19:49 6.1K 
[ ]prob_3__t28_prob_32021-07-17 19:14 16K 
[ ]prob_3__t28_prob_3.depv12021-07-25 20:57 22  
[ ]prob_3__t28_prob_3.depvmin12021-07-25 21:03 22  
[ ]prob_3__t28_prob_3.vmin12021-07-25 20:57 606  
[ ]prob_3__t28_prob_3.vmin1out2021-07-25 20:57 7.0K 
[ ]prob_3__t28_prob_3.vout2021-07-25 17:23 6.1K 
[ ]prob_3__t29_prob_32021-07-17 19:15 16K 
[ ]prob_3__t29_prob_3.depv12021-07-25 20:57 47  
[ ]prob_3__t29_prob_3.depvmin12021-07-25 21:03 47  
[ ]prob_3__t29_prob_3.vmin12021-07-25 20:57 725  
[ ]prob_3__t29_prob_3.vmin1out2021-07-25 21:02 8.8K 
[ ]prob_3__t29_prob_3.vout2021-07-25 19:26 7.4K 
[ ]prob_3__t30_prob_32021-07-17 19:15 17K 
[ ]prob_3__t30_prob_3.depv12021-07-25 20:57 47  
[ ]prob_3__t30_prob_3.depvmin12021-07-25 21:03 47  
[ ]prob_3__t30_prob_3.vmin12021-07-25 20:57 733  
[ ]prob_3__t30_prob_3.vmin1out2021-07-25 20:58 8.9K 
[ ]prob_3__t30_prob_3.vout2021-07-25 15:38 7.4K 
[ ]prob_3__t31_prob_32021-07-17 19:15 26K 
[ ]prob_3__t31_prob_3.vout2021-07-25 19:53 4.7K 
[ ]prob_3__t32_prob_32021-07-17 19:27 21K 
[ ]prob_3__t32_prob_3.vout2021-07-25 20:55 2.0K 
[ ]prob_3__t33_prob_32021-07-17 19:16 19K 
[ ]prob_3__t33_prob_3.depv12021-07-25 20:57 168  
[ ]prob_3__t33_prob_3.depvmin12021-07-25 21:03 168  
[ ]prob_3__t33_prob_3.vmin12021-07-25 20:57 2.8K 
[ ]prob_3__t33_prob_3.vmin1out2021-07-25 21:01 32K 
[ ]prob_3__t33_prob_3.vout2021-07-25 14:39 46K 
[ ]prob_3__t34_prob_32021-07-17 19:16 20K 
[ ]prob_3__t34_prob_3.depv12021-07-25 20:57 181  
[ ]prob_3__t34_prob_3.depvmin12021-07-25 21:03 181  
[ ]prob_3__t34_prob_3.vmin12021-07-25 20:57 3.3K 
[ ]prob_3__t34_prob_3.vmin1out2021-07-25 21:00 41K 
[ ]prob_3__t34_prob_3.vout2021-07-25 17:20 49K 
[ ]prob_3__t35_prob_32021-07-17 19:16 20K 
[ ]prob_3__t35_prob_3.depv12021-07-25 20:57 47  
[ ]prob_3__t35_prob_3.depvmin12021-07-25 21:03 47  
[ ]prob_3__t35_prob_3.vmin12021-07-25 20:57 809  
[ ]prob_3__t35_prob_3.vmin1out2021-07-25 21:02 9.9K 
[ ]prob_3__t35_prob_3.vout2021-07-25 14:23 7.6K 
[ ]prob_3__t36_prob_32021-07-17 19:17 17K 
[ ]prob_3__t36_prob_3.depv12021-07-25 20:57 47  
[ ]prob_3__t36_prob_3.depvmin12021-07-25 21:03 47  
[ ]prob_3__t36_prob_3.vmin12021-07-25 20:57 733  
[ ]prob_3__t36_prob_3.vmin1out2021-07-25 21:02 8.9K 
[ ]prob_3__t36_prob_3.vout2021-07-25 17:07 7.4K 
[ ]prob_3__t37_prob_32021-07-17 19:28 24K 
[ ]prob_3__t37_prob_3.depv12021-07-25 20:57 154  
[ ]prob_3__t37_prob_3.depvmin12021-07-25 21:03 56  
[ ]prob_3__t37_prob_3.vmin12021-07-25 20:57 3.2K 
[ ]prob_3__t37_prob_3.vmin1out2021-07-25 21:00 20K 
[ ]prob_3__t37_prob_3.vout2021-07-25 15:34 43K 
[ ]prob_3__t38_prob_32021-07-17 19:28 24K 
[ ]prob_3__t38_prob_3.depv12021-07-25 20:57 154  
[ ]prob_3__t38_prob_3.depvmin12021-07-25 21:03 56  
[ ]prob_3__t38_prob_3.vmin12021-07-25 20:57 3.2K 
[ ]prob_3__t38_prob_3.vmin1out2021-07-25 21:00 20K 
[ ]prob_3__t38_prob_3.vout2021-07-25 17:52 43K 
[ ]prob_3__t39_prob_32021-07-17 19:29 28K 
[ ]prob_3__t39_prob_3.vout2021-07-25 15:18 2.0K 
[ ]prob_3__t40_prob_32021-07-17 19:29 35K 
[ ]prob_3__t40_prob_3.vout2021-07-25 15:23 6.8K 
[ ]prob_3__t41_prob_32021-07-17 19:30 38K 
[ ]prob_3__t41_prob_3.vout2021-07-25 16:08 2.0K 
[ ]prob_3__t42_prob_32021-07-17 19:30 23K 
[ ]prob_3__t42_prob_3.vout2021-07-25 18:28 6.8K 
[ ]prob_3__t43_prob_32021-07-17 19:31 58K 
[ ]prob_3__t43_prob_3.vout2021-07-25 18:31 6.8K 
[ ]prob_3__t44_prob_32021-07-17 19:17 27K 
[ ]prob_3__t44_prob_3.vout2021-07-25 20:15 4.7K 
[ ]prob_3__t45_prob_32021-07-17 19:31 30K 
[ ]prob_3__t45_prob_3.vout2021-07-25 17:33 4.7K 
[ ]prob_3__t46_prob_32021-07-17 19:31 27K 
[ ]prob_3__t46_prob_3.depv12021-07-25 20:57 145  
[ ]prob_3__t46_prob_3.depvmin12021-07-25 21:03 108  
[ ]prob_3__t46_prob_3.vmin12021-07-25 20:57 3.3K 
[ ]prob_3__t46_prob_3.vmin1out2021-07-25 20:59 47K 
[ ]prob_3__t46_prob_3.vout2021-07-25 20:52 47K 
[ ]prob_3__t47_prob_32021-07-17 19:32 23K 
[ ]prob_3__t47_prob_3.depv12021-07-25 20:57 341  
[ ]prob_3__t47_prob_3.depvmin12021-07-25 21:03 316  
[ ]prob_3__t47_prob_3.vmin12021-07-25 20:57 2.6K 
[ ]prob_3__t47_prob_3.vmin1out2021-07-25 21:00 26K 
[ ]prob_3__t47_prob_3.vout2021-07-25 15:38 28K 
[ ]prob_3__t48_prob_32021-07-17 19:17 16K 
[ ]prob_3__t48_prob_3.depv12021-07-25 20:57 159  
[ ]prob_3__t48_prob_3.depvmin12021-07-25 21:03 159  
[ ]prob_3__t48_prob_3.vmin12021-07-25 20:57 1.2K 
[ ]prob_3__t48_prob_3.vmin1out2021-07-25 21:01 9.5K 
[ ]prob_3__t48_prob_3.vout2021-07-25 17:06 9.4K 
[ ]prob_3__t49_prob_32021-07-17 19:32 20K 
[ ]prob_3__t49_prob_3.vout2021-07-25 19:08 7.3K 
[ ]prob_3__t50_prob_32021-07-17 19:33 17K 
[ ]prob_3__t50_prob_3.depv12021-07-25 20:57 179  
[ ]prob_3__t50_prob_3.depvmin12021-07-25 21:03 179  
[ ]prob_3__t50_prob_3.vmin12021-07-25 20:57 1.7K 
[ ]prob_3__t50_prob_3.vmin1out2021-07-25 20:58 24K 
[ ]prob_3__t50_prob_3.vout2021-07-25 14:53 24K 
[ ]prob_3__t51_prob_32021-07-17 19:33 22K 
[ ]prob_3__t51_prob_3.vout2021-07-25 20:16 7.3K 
[ ]prob_3__t52_prob_32021-07-17 19:34 19K 
[ ]prob_3__t52_prob_3.depv12021-07-25 20:57 370  
[ ]prob_3__t52_prob_3.depvmin12021-07-25 21:03 324  
[ ]prob_3__t52_prob_3.vmin12021-07-25 20:57 3.2K 
[ ]prob_3__t52_prob_3.vmin1out2021-07-25 20:58 45K 
[ ]prob_3__t52_prob_3.vout2021-07-25 17:14 54K 
[ ]prob_3__t53_prob_32021-07-17 19:34 20K 
[ ]prob_3__t53_prob_3.depv12021-07-25 20:57 272  
[ ]prob_3__t53_prob_3.depvmin12021-07-25 21:03 247  
[ ]prob_3__t53_prob_3.vmin12021-07-25 20:57 2.4K 
[ ]prob_3__t53_prob_3.vmin1out2021-07-25 21:02 41K 
[ ]prob_3__t53_prob_3.vout2021-07-25 14:55 39K 
[ ]prob_3__t54_prob_32021-07-17 19:35 23K 
[ ]prob_3__t54_prob_3.vout2021-07-25 14:40 7.8K 
[ ]prob_3__t55_prob_32021-07-17 19:35 26K 
[ ]prob_3__t55_prob_3.vout2021-07-25 20:02 7.3K 
[ ]prob_3__t56_prob_32021-07-17 19:36 25K 
[ ]prob_3__t56_prob_3.vout2021-07-25 15:48 6.8K 
[ ]prob_3__t57_prob_32021-07-17 19:36 27K 
[ ]prob_3__t57_prob_3.vout2021-07-25 20:17 2.0K 
[ ]prob_3__t58_prob_32021-07-17 19:37 19K 
[ ]prob_3__t58_prob_3.vout2021-07-25 20:36 6.8K 
[ ]prob_3__t59_prob_32021-07-17 19:37 27K 
[ ]prob_3__t59_prob_3.vout2021-07-25 19:28 6.8K 
[ ]prob_3__t60_prob_32021-07-17 19:37 28K 
[ ]prob_3__t60_prob_3.vout2021-07-25 17:10 6.8K 
[ ]prob_3__t61_prob_32021-07-17 19:38 26K 
[ ]prob_3__t61_prob_3.depv12021-07-25 20:57 319  
[ ]prob_3__t61_prob_3.depvmin12021-07-25 21:03 266  
[ ]prob_3__t61_prob_3.vmin12021-07-25 20:57 3.9K 
[ ]prob_3__t61_prob_3.vmin1out2021-07-25 21:01 50K 
[ ]prob_3__t61_prob_3.vout2021-07-25 17:31 52K 
[ ]prob_3__t62_prob_32021-07-17 19:38 24K 
[ ]prob_3__t62_prob_3.depv12021-07-25 20:57 202  
[ ]prob_3__t62_prob_3.depvmin12021-07-25 21:03 202  
[ ]prob_3__t62_prob_3.vmin12021-07-25 20:57 2.6K 
[ ]prob_3__t62_prob_3.vmin1out2021-07-25 20:59 23K 
[ ]prob_3__t62_prob_3.vout2021-07-25 18:53 24K 
[ ]prob_3__t63_prob_32021-07-17 19:39 25K 
[ ]prob_3__t63_prob_3.vout2021-07-25 15:55 7.3K 
[ ]prob_3__t64_prob_32021-07-17 19:40 68K 
[ ]prob_3__t64_prob_3.vout2021-07-25 17:08 7.3K 
[ ]prob_3__t65_prob_32021-07-17 19:40 44K 
[ ]prob_3__t65_prob_3.vout2021-07-25 15:21 6.8K 
[ ]prob_3__t66_prob_32021-07-17 19:41 19K 
[ ]prob_3__t66_prob_3.vout2021-07-25 15:44 8.3K 
[ ]prob_3__t67_prob_32021-07-17 19:41 19K 
[ ]prob_3__t67_prob_3.vout2021-07-25 15:44 8.3K 
[ ]prob_3__t68_prob_32021-07-17 19:18 7.9K 
[ ]prob_3__t68_prob_3.vout2021-07-25 18:38 3.1K 
[ ]prob_3__t69_prob_32021-07-17 19:41 20K 
[ ]prob_3__t69_prob_3.depv12021-07-25 20:57 80  
[ ]prob_3__t69_prob_3.depvmin12021-07-25 21:03 80  
[ ]prob_3__t69_prob_3.vmin12021-07-25 20:57 1.6K 
[ ]prob_3__t69_prob_3.vmin1out2021-07-25 20:57 60K 
[ ]prob_3__t69_prob_3.vout2021-07-25 14:59 55K 
[ ]prob_3__t70_prob_32021-07-17 19:42 32K 
[ ]prob_3__t70_prob_3.vout2021-07-25 18:01 7.3K 
[ ]prob_3__t71_prob_32021-07-17 19:18 8.2K 
[ ]prob_3__t71_prob_3.depv12021-07-25 20:57 62  
[ ]prob_3__t71_prob_3.depvmin12021-07-25 21:03 62  
[ ]prob_3__t71_prob_3.vmin12021-07-25 20:57 477  
[ ]prob_3__t71_prob_3.vmin1out2021-07-25 20:58 4.2K 
[ ]prob_3__t71_prob_3.vout2021-07-25 18:47 3.8K 
[ ]prob_3__t72_prob_32021-07-17 19:43 38K 
[ ]prob_3__t72_prob_3.vout2021-07-25 17:18 3.6K 
[ ]prob_3__t73_prob_32021-07-17 19:43 13K 
[ ]prob_3__t73_prob_3.depv12021-07-25 20:57 105  
[ ]prob_3__t73_prob_3.depvmin12021-07-25 21:03 105  
[ ]prob_3__t73_prob_3.vmin12021-07-25 20:57 2.7K 
[ ]prob_3__t73_prob_3.vmin1out2021-07-25 21:00 29K 
[ ]prob_3__t73_prob_3.vout2021-07-25 17:17 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80