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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prob_3__l1_prob_32024-07-27 05:20 14K 
[ ]prob_3__l1_prob_3.vout2024-08-03 04:46 2.0K 
[ ]prob_3__t1_prob_32024-07-27 04:05 22K 
[ ]prob_3__t1_prob_3.depv12024-08-03 10:19 353  
[ ]prob_3__t1_prob_3.depvmin12024-08-03 10:24 268  
[ ]prob_3__t1_prob_3.vmin12024-08-03 10:20 2.6K 
[ ]prob_3__t1_prob_3.vmin1out2024-08-03 10:23 23K 
[ ]prob_3__t1_prob_3.vout2024-08-03 05:08 25K 
[ ]prob_3__t2_prob_32024-07-27 04:06 21K 
[ ]prob_3__t2_prob_3.depv12024-08-03 10:19 165  
[ ]prob_3__t2_prob_3.depvmin12024-08-03 10:24 165  
[ ]prob_3__t2_prob_3.vmin12024-08-03 10:20 1.5K 
[ ]prob_3__t2_prob_3.vmin1out2024-08-03 10:20 24K 
[ ]prob_3__t2_prob_3.vout2024-08-03 08:14 24K 
[ ]prob_3__t3_prob_32024-07-27 04:08 32K 
[ ]prob_3__t3_prob_3.vout2024-08-03 04:37 7.3K 
[ ]prob_3__t4_prob_32024-07-27 04:09 43K 
[ ]prob_3__t4_prob_3.vout2024-08-03 04:42 2.0K 
[ ]prob_3__t5_prob_32024-07-27 04:10 34K 
[ ]prob_3__t5_prob_3.vout2024-08-03 06:34 6.8K 
[ ]prob_3__t6_prob_32024-07-27 04:12 36K 
[ ]prob_3__t6_prob_3.vout2024-08-03 08:19 7.2K 
[ ]prob_3__t7_prob_32024-07-27 04:13 36K 
[ ]prob_3__t7_prob_3.vout2024-08-03 05:43 7.3K 
[ ]prob_3__t8_prob_32024-07-27 04:14 34K 
[ ]prob_3__t8_prob_3.vout2024-08-03 09:56 7.8K 
[ ]prob_3__t9_prob_32024-07-27 04:16 34K 
[ ]prob_3__t9_prob_3.vout2024-08-03 04:51 7.8K 
[ ]prob_3__t10_prob_32024-07-27 04:17 30K 
[ ]prob_3__t10_prob_3.vout2024-08-03 09:28 7.8K 
[ ]prob_3__t11_prob_32024-07-27 04:18 31K 
[ ]prob_3__t11_prob_3.vout2024-08-03 04:28 7.8K 
[ ]prob_3__t12_prob_32024-07-27 04:20 34K 
[ ]prob_3__t12_prob_3.vout2024-08-03 09:27 6.8K 
[ ]prob_3__t13_prob_32024-07-27 04:21 34K 
[ ]prob_3__t13_prob_3.vout2024-08-03 09:05 6.8K 
[ ]prob_3__t14_prob_32024-07-27 04:23 27K 
[ ]prob_3__t14_prob_3.vout2024-08-03 06:24 7.3K 
[ ]prob_3__t15_prob_32024-07-27 04:24 28K 
[ ]prob_3__t15_prob_3.vout2024-08-03 06:52 7.3K 
[ ]prob_3__t16_prob_32024-07-27 04:25 36K 
[ ]prob_3__t16_prob_3.vout2024-08-03 09:47 7.3K 
[ ]prob_3__t17_prob_32024-07-27 03:45 26K 
[ ]prob_3__t17_prob_3.depv12024-08-03 10:19 57  
[ ]prob_3__t17_prob_3.depvmin12024-08-03 10:24 57  
[ ]prob_3__t17_prob_3.vmin12024-08-03 10:20 1.0K 
[ ]prob_3__t17_prob_3.vmin1out2024-08-03 10:23 16K 
[ ]prob_3__t17_prob_3.vout2024-08-03 09:39 17K 
[ ]prob_3__t18_prob_32024-07-27 04:26 25K 
[ ]prob_3__t18_prob_3.depv12024-08-03 10:19 179  
[ ]prob_3__t18_prob_3.depvmin12024-08-03 10:24 153  
[ ]prob_3__t18_prob_3.vmin12024-08-03 10:20 2.7K 
[ ]prob_3__t18_prob_3.vmin1out2024-08-03 10:22 26K 
[ ]prob_3__t18_prob_3.vout2024-08-03 08:23 43K 
[ ]prob_3__t19_prob_32024-07-27 04:28 35K 
[ ]prob_3__t19_prob_3.vout2024-08-03 08:40 4.7K 
[ ]prob_3__t20_prob_32024-07-27 04:29 25K 
[ ]prob_3__t20_prob_3.depv12024-08-03 10:19 133  
[ ]prob_3__t20_prob_3.depvmin12024-08-03 10:24 133  
[ ]prob_3__t20_prob_3.vmin12024-08-03 10:20 2.1K 
[ ]prob_3__t20_prob_3.vmin1out2024-08-03 10:23 36K 
[ ]prob_3__t20_prob_3.vout2024-08-03 05:37 35K 
[ ]prob_3__t21_prob_32024-07-27 03:46 32K 
[ ]prob_3__t21_prob_3.vout2024-08-03 07:28 4.7K 
[ ]prob_3__t22_prob_32024-07-27 03:48 32K 
[ ]prob_3__t22_prob_3.vout2024-08-03 08:33 4.7K 
[ ]prob_3__t23_prob_32024-07-27 03:49 25K 
[ ]prob_3__t23_prob_3.depv12024-08-03 10:19 156  
[ ]prob_3__t23_prob_3.depvmin12024-08-03 10:24 156  
[ ]prob_3__t23_prob_3.vmin12024-08-03 10:20 2.5K 
[ ]prob_3__t23_prob_3.vmin1out2024-08-03 10:20 31K 
[ ]prob_3__t23_prob_3.vout2024-08-03 09:28 45K 
[ ]prob_3__t24_prob_32024-07-27 03:50 25K 
[ ]prob_3__t24_prob_3.depv12024-08-03 10:19 156  
[ ]prob_3__t24_prob_3.depvmin12024-08-03 10:24 156  
[ ]prob_3__t24_prob_3.vmin12024-08-03 10:20 2.5K 
[ ]prob_3__t24_prob_3.vmin1out2024-08-03 10:22 31K 
[ ]prob_3__t24_prob_3.vout2024-08-03 06:29 45K 
[ ]prob_3__t25_prob_32024-07-27 04:30 26K 
[ ]prob_3__t25_prob_3.vout2024-08-03 06:38 2.0K 
[ ]prob_3__t26_prob_32024-07-27 04:32 26K 
[ ]prob_3__t26_prob_3.vout2024-08-03 06:18 2.0K 
[ ]prob_3__t27_prob_32024-07-27 03:51 22K 
[ ]prob_3__t27_prob_3.depv12024-08-03 10:19 22  
[ ]prob_3__t27_prob_3.depvmin12024-08-03 10:24 22  
[ ]prob_3__t27_prob_3.vmin12024-08-03 10:20 606  
[ ]prob_3__t27_prob_3.vmin1out2024-08-03 10:21 7.0K 
[ ]prob_3__t27_prob_3.vout2024-08-03 07:59 6.1K 
[ ]prob_3__t28_prob_32024-07-27 03:52 22K 
[ ]prob_3__t28_prob_3.depv12024-08-03 10:19 22  
[ ]prob_3__t28_prob_3.depvmin12024-08-03 10:24 22  
[ ]prob_3__t28_prob_3.vmin12024-08-03 10:20 606  
[ ]prob_3__t28_prob_3.vmin1out2024-08-03 10:22 7.0K 
[ ]prob_3__t28_prob_3.vout2024-08-03 05:21 6.1K 
[ ]prob_3__t29_prob_32024-07-27 03:53 22K 
[ ]prob_3__t29_prob_3.depv12024-08-03 10:19 47  
[ ]prob_3__t29_prob_3.depvmin12024-08-03 10:24 47  
[ ]prob_3__t29_prob_3.vmin12024-08-03 10:20 725  
[ ]prob_3__t29_prob_3.vmin1out2024-08-03 10:23 8.8K 
[ ]prob_3__t29_prob_3.vout2024-08-03 10:08 7.4K 
[ ]prob_3__t30_prob_32024-07-27 03:54 23K 
[ ]prob_3__t30_prob_3.depv12024-08-03 10:19 47  
[ ]prob_3__t30_prob_3.depvmin12024-08-03 10:24 47  
[ ]prob_3__t30_prob_3.vmin12024-08-03 10:20 733  
[ ]prob_3__t30_prob_3.vmin1out2024-08-03 10:23 8.9K 
[ ]prob_3__t30_prob_3.vout2024-08-03 04:37 7.4K 
[ ]prob_3__t31_prob_32024-07-27 03:55 32K 
[ ]prob_3__t31_prob_3.vout2024-08-03 09:05 4.7K 
[ ]prob_3__t32_prob_32024-07-27 04:33 27K 
[ ]prob_3__t32_prob_3.vout2024-08-03 09:02 2.0K 
[ ]prob_3__t33_prob_32024-07-27 03:57 25K 
[ ]prob_3__t33_prob_3.depv12024-08-03 10:19 168  
[ ]prob_3__t33_prob_3.depvmin12024-08-03 10:24 168  
[ ]prob_3__t33_prob_3.vmin12024-08-03 10:20 2.8K 
[ ]prob_3__t33_prob_3.vmin1out2024-08-03 10:21 32K 
[ ]prob_3__t33_prob_3.vout2024-08-03 08:11 46K 
[ ]prob_3__t34_prob_32024-07-27 03:58 26K 
[ ]prob_3__t34_prob_3.depv12024-08-03 10:19 181  
[ ]prob_3__t34_prob_3.depvmin12024-08-03 10:24 181  
[ ]prob_3__t34_prob_3.vmin12024-08-03 10:20 3.3K 
[ ]prob_3__t34_prob_3.vmin1out2024-08-03 10:23 41K 
[ ]prob_3__t34_prob_3.vout2024-08-03 05:27 50K 
[ ]prob_3__t35_prob_32024-07-27 03:59 26K 
[ ]prob_3__t35_prob_3.depv12024-08-03 10:19 47  
[ ]prob_3__t35_prob_3.depvmin12024-08-03 10:24 47  
[ ]prob_3__t35_prob_3.vmin12024-08-03 10:20 809  
[ ]prob_3__t35_prob_3.vmin1out2024-08-03 10:20 9.9K 
[ ]prob_3__t35_prob_3.vout2024-08-03 04:38 7.6K 
[ ]prob_3__t36_prob_32024-07-27 04:00 23K 
[ ]prob_3__t36_prob_3.depv12024-08-03 10:19 47  
[ ]prob_3__t36_prob_3.depvmin12024-08-03 10:24 47  
[ ]prob_3__t36_prob_3.vmin12024-08-03 10:20 733  
[ ]prob_3__t36_prob_3.vmin1out2024-08-03 10:22 8.9K 
[ ]prob_3__t36_prob_3.vout2024-08-03 06:46 7.4K 
[ ]prob_3__t37_prob_32024-07-27 04:34 30K 
[ ]prob_3__t37_prob_3.depv12024-08-03 10:19 117  
[ ]prob_3__t37_prob_3.depvmin12024-08-03 10:24 56  
[ ]prob_3__t37_prob_3.vmin12024-08-03 10:20 2.9K 
[ ]prob_3__t37_prob_3.vmin1out2024-08-03 10:21 20K 
[ ]prob_3__t37_prob_3.vout2024-08-03 09:55 37K 
[ ]prob_3__t38_prob_32024-07-27 04:35 30K 
[ ]prob_3__t38_prob_3.depv12024-08-03 10:19 117  
[ ]prob_3__t38_prob_3.depvmin12024-08-03 10:24 56  
[ ]prob_3__t38_prob_3.vmin12024-08-03 10:20 2.9K 
[ ]prob_3__t38_prob_3.vmin1out2024-08-03 10:21 20K 
[ ]prob_3__t38_prob_3.vout2024-08-03 06:41 37K 
[ ]prob_3__t39_prob_32024-07-27 04:37 33K 
[ ]prob_3__t39_prob_3.vout2024-08-03 09:21 2.0K 
[ ]prob_3__t40_prob_32024-07-27 04:38 41K 
[ ]prob_3__t40_prob_3.vout2024-08-03 08:54 6.8K 
[ ]prob_3__t41_prob_32024-07-27 04:40 44K 
[ ]prob_3__t41_prob_3.vout2024-08-03 05:41 2.0K 
[ ]prob_3__t42_prob_32024-07-27 04:41 29K 
[ ]prob_3__t42_prob_3.vout2024-08-03 06:24 6.8K 
[ ]prob_3__t43_prob_32024-07-27 04:43 64K 
[ ]prob_3__t43_prob_3.vout2024-08-03 09:07 6.8K 
[ ]prob_3__t44_prob_32024-07-27 04:01 33K 
[ ]prob_3__t44_prob_3.vout2024-08-03 05:26 4.7K 
[ ]prob_3__t45_prob_32024-07-27 04:44 35K 
[ ]prob_3__t45_prob_3.vout2024-08-03 10:08 4.7K 
[ ]prob_3__t46_prob_32024-07-27 04:45 33K 
[ ]prob_3__t46_prob_3.depv12024-08-03 10:19 145  
[ ]prob_3__t46_prob_3.depvmin12024-08-03 10:24 108  
[ ]prob_3__t46_prob_3.vmin12024-08-03 10:20 3.3K 
[ ]prob_3__t46_prob_3.vmin1out2024-08-03 10:21 47K 
[ ]prob_3__t46_prob_3.vout2024-08-03 04:20 48K 
[ ]prob_3__t47_prob_32024-07-27 04:47 33K 
[ ]prob_3__t47_prob_3.depv12024-08-03 10:19 288  
[ ]prob_3__t47_prob_3.depvmin12024-08-03 10:24 226  
[ ]prob_3__t47_prob_3.vmin12024-08-03 10:20 2.1K 
[ ]prob_3__t47_prob_3.vmin1out2024-08-03 10:22 13K 
[ ]prob_3__t47_prob_3.vout2024-08-03 07:45 18K 
[ ]prob_3__t48_prob_32024-07-27 04:02 25K 
[ ]prob_3__t48_prob_3.depv12024-08-03 10:19 134  
[ ]prob_3__t48_prob_3.depvmin12024-08-03 10:24 134  
[ ]prob_3__t48_prob_3.vmin12024-08-03 10:20 1.1K 
[ ]prob_3__t48_prob_3.vmin1out2024-08-03 10:21 8.2K 
[ ]prob_3__t48_prob_3.vout2024-08-03 04:49 7.2K 
[ ]prob_3__t49_prob_32024-07-27 04:48 28K 
[ ]prob_3__t49_prob_3.depv12024-08-03 10:19 242  
[ ]prob_3__t49_prob_3.depvmin12024-08-03 10:24 242  
[ ]prob_3__t49_prob_3.vmin12024-08-03 10:20 2.2K 
[ ]prob_3__t49_prob_3.vmin1out2024-08-03 10:23 37K 
[ ]prob_3__t49_prob_3.vout2024-08-03 07:06 38K 
[ ]prob_3__t50_prob_32024-07-27 04:49 25K 
[ ]prob_3__t50_prob_3.depv12024-08-03 10:19 179  
[ ]prob_3__t50_prob_3.depvmin12024-08-03 10:24 179  
[ ]prob_3__t50_prob_3.vmin12024-08-03 10:20 1.7K 
[ ]prob_3__t50_prob_3.vmin1out2024-08-03 10:22 24K 
[ ]prob_3__t50_prob_3.vout2024-08-03 05:22 24K 
[ ]prob_3__t51_prob_32024-07-27 04:51 31K 
[ ]prob_3__t51_prob_3.vout2024-08-03 08:28 7.3K 
[ ]prob_3__t52_prob_32024-07-27 04:52 28K 
[ ]prob_3__t52_prob_3.vout2024-08-03 08:15 7.3K 
[ ]prob_3__t53_prob_32024-07-27 04:54 29K 
[ ]prob_3__t53_prob_3.vout2024-08-03 07:59 7.3K 
[ ]prob_3__t54_prob_32024-07-27 04:55 32K 
[ ]prob_3__t54_prob_3.vout2024-08-03 09:54 7.3K 
[ ]prob_3__t55_prob_32024-07-27 04:56 34K 
[ ]prob_3__t55_prob_3.vout2024-08-03 07:57 7.3K 
[ ]prob_3__t56_prob_32024-07-27 04:58 33K 
[ ]prob_3__t56_prob_3.vout2024-08-03 08:13 7.3K 
[ ]prob_3__t57_prob_32024-07-27 04:59 35K 
[ ]prob_3__t57_prob_3.vout2024-08-03 08:49 2.0K 
[ ]prob_3__t58_prob_32024-07-27 05:01 28K 
[ ]prob_3__t58_prob_3.vout2024-08-03 04:17 7.3K 
[ ]prob_3__t59_prob_32024-07-27 05:02 34K 
[ ]prob_3__t59_prob_3.vout2024-08-03 06:36 6.8K 
[ ]prob_3__t60_prob_32024-07-27 05:03 37K 
[ ]prob_3__t60_prob_3.vout2024-08-03 08:03 6.8K 
[ ]prob_3__t61_prob_32024-07-27 05:05 34K 
[ ]prob_3__t61_prob_3.depv12024-08-03 10:19 320  
[ ]prob_3__t61_prob_3.depvmin12024-08-03 10:24 266  
[ ]prob_3__t61_prob_3.vmin12024-08-03 10:20 4.2K 
[ ]prob_3__t61_prob_3.vmin1out2024-08-03 10:23 51K 
[ ]prob_3__t61_prob_3.vout2024-08-03 08:38 66K 
[ ]prob_3__t62_prob_32024-07-27 05:06 32K 
[ ]prob_3__t62_prob_3.depv12024-08-03 10:19 280  
[ ]prob_3__t62_prob_3.depvmin12024-08-03 10:24 280  
[ ]prob_3__t62_prob_3.vmin12024-08-03 10:20 3.2K 
[ ]prob_3__t62_prob_3.vmin1out2024-08-03 10:20 32K 
[ ]prob_3__t62_prob_3.vout2024-08-03 06:19 32K 
[ ]prob_3__t63_prob_32024-07-27 05:08 32K 
[ ]prob_3__t63_prob_3.vout2024-08-03 04:26 7.3K 
[ ]prob_3__t64_prob_32024-07-27 05:10 76K 
[ ]prob_3__t64_prob_3.vout2024-08-03 07:36 6.8K 
[ ]prob_3__t65_prob_32024-07-27 05:11 51K 
[ ]prob_3__t65_prob_3.vout2024-08-03 06:45 7.3K 
[ ]prob_3__t66_prob_32024-07-27 05:13 26K 
[ ]prob_3__t66_prob_3.vout2024-08-03 05:50 7.3K 
[ ]prob_3__t67_prob_32024-07-27 05:14 26K 
[ ]prob_3__t67_prob_3.vout2024-08-03 09:07 7.3K 
[ ]prob_3__t68_prob_32024-07-27 04:03 8.7K 
[ ]prob_3__t68_prob_3.vout2024-08-03 08:32 3.1K 
[ ]prob_3__t69_prob_32024-07-27 05:15 27K 
[ ]prob_3__t69_prob_3.depv12024-08-03 10:19 80  
[ ]prob_3__t69_prob_3.depvmin12024-08-03 10:24 80  
[ ]prob_3__t69_prob_3.vmin12024-08-03 10:20 1.6K 
[ ]prob_3__t69_prob_3.vmin1out2024-08-03 10:22 60K 
[ ]prob_3__t69_prob_3.vout2024-08-03 05:07 55K 
[ ]prob_3__t70_prob_32024-07-27 05:17 39K 
[ ]prob_3__t70_prob_3.vout2024-08-03 06:47 7.3K 
[ ]prob_3__t71_prob_32024-07-27 04:04 9.1K 
[ ]prob_3__t71_prob_3.depv12024-08-03 10:19 62  
[ ]prob_3__t71_prob_3.depvmin12024-08-03 10:24 62  
[ ]prob_3__t71_prob_3.vmin12024-08-03 10:20 477  
[ ]prob_3__t71_prob_3.vmin1out2024-08-03 10:20 4.2K 
[ ]prob_3__t71_prob_3.vout2024-08-03 04:43 3.8K 
[ ]prob_3__t72_prob_32024-07-27 05:19 45K 
[ ]prob_3__t72_prob_3.vout2024-08-03 08:31 3.6K 
[ ]prob_3__t73_prob_32024-07-27 05:20 17K 
[ ]prob_3__t73_prob_3.depv12024-08-03 10:19 105  
[ ]prob_3__t73_prob_3.depvmin12024-08-03 10:24 105  
[ ]prob_3__t73_prob_3.vmin12024-08-03 10:20 2.7K 
[ ]prob_3__t73_prob_3.vmin1out2024-08-03 10:22 29K 
[ ]prob_3__t73_prob_3.vout2024-08-03 07:36 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80