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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_1__l1_int_12021-07-18 00:02 35K 
[ ]int_1__l1_int_1.vout2021-07-25 18:40 7.8K 
[ ]int_1__l2_int_12021-07-18 00:03 35K 
[ ]int_1__l2_int_1.vout2021-07-25 16:15 6.7K 
[ ]int_1__l11_int_12021-07-18 00:03 14K 
[ ]int_1__l11_int_1.vout2021-07-25 20:27 7.3K 
[ ]int_1__l12_int_12021-07-18 00:03 11K 
[ ]int_1__l12_int_1.depv12021-07-25 20:57 241  
[ ]int_1__l12_int_1.depvmin12021-07-25 21:03 160  
[ ]int_1__l12_int_1.vmin12021-07-25 20:57 1.6K 
[ ]int_1__l12_int_1.vmin1out2021-07-25 20:59 8.3K 
[ ]int_1__l12_int_1.vout2021-07-25 14:40 12K 
[ ]int_1__l17_int_12021-07-18 00:04 32K 
[ ]int_1__l17_int_1.vout2021-07-25 20:33 7.3K 
[ ]int_1__l18_int_12021-07-18 00:04 28K 
[ ]int_1__l18_int_1.vout2021-07-25 20:19 7.8K 
[ ]int_1__l36_int_12021-07-18 00:04 30K 
[ ]int_1__l36_int_1.vout2021-07-25 20:49 7.8K 
[ ]int_1__t1_int_12021-07-17 23:45 13K 
[ ]int_1__t1_int_1.depv12021-07-25 20:57 61  
[ ]int_1__t1_int_1.depvmin12021-07-25 21:03 61  
[ ]int_1__t1_int_1.vmin12021-07-25 20:57 575  
[ ]int_1__t1_int_1.vmin1out2021-07-25 21:01 9.8K 
[ ]int_1__t1_int_1.vout2021-07-25 15:34 10K 
[ ]int_1__t2_int_12021-07-17 23:46 9.9K 
[ ]int_1__t2_int_1.depv12021-07-25 20:57 27  
[ ]int_1__t2_int_1.depvmin12021-07-25 21:03 27  
[ ]int_1__t2_int_1.vmin12021-07-25 20:57 409  
[ ]int_1__t2_int_1.vmin1out2021-07-25 20:58 8.2K 
[ ]int_1__t2_int_1.vout2021-07-25 14:25 8.4K 
[ ]int_1__t3_int_12021-07-17 23:46 17K 
[ ]int_1__t3_int_1.depv12021-07-25 20:57 184  
[ ]int_1__t3_int_1.depvmin12021-07-25 21:03 184  
[ ]int_1__t3_int_1.vmin12021-07-25 20:57 1.4K 
[ ]int_1__t3_int_1.vmin1out2021-07-25 20:58 13K 
[ ]int_1__t3_int_1.vout2021-07-25 20:13 13K 
[ ]int_1__t4_int_12021-07-17 23:44 13K 
[ ]int_1__t4_int_1.depv12021-07-25 20:57 66  
[ ]int_1__t4_int_1.depvmin12021-07-25 21:03 66  
[ ]int_1__t4_int_1.vmin12021-07-25 20:57 586  
[ ]int_1__t4_int_1.vmin1out2021-07-25 21:01 5.4K 
[ ]int_1__t4_int_1.vout2021-07-25 17:19 4.6K 
[ ]int_1__t5_int_12021-07-17 23:46 17K 
[ ]int_1__t5_int_1.vout2021-07-25 15:12 2.0K 
[ ]int_1__t6_int_12021-07-17 23:46 28K 
[ ]int_1__t6_int_1.vout2021-07-25 15:52 2.0K 
[ ]int_1__t7_int_12021-07-17 23:47 15K 
[ ]int_1__t7_int_1.vout2021-07-25 16:02 2.0K 
[ ]int_1__t8_int_12021-07-17 23:47 13K 
[ ]int_1__t8_int_1.depv12021-07-25 20:57 194  
[ ]int_1__t8_int_1.depvmin12021-07-25 21:03 163  
[ ]int_1__t8_int_1.vmin12021-07-25 20:57 1.4K 
[ ]int_1__t8_int_1.vmin1out2021-07-25 21:02 13K 
[ ]int_1__t8_int_1.vout2021-07-25 17:41 9.7K 
[ ]int_1__t9_int_12021-07-17 23:47 27K 
[ ]int_1__t9_int_1.vout2021-07-25 16:46 6.7K 
[ ]int_1__t10_int_12021-07-17 23:48 21K 
[ ]int_1__t10_int_1.depv12021-07-25 20:57 179  
[ ]int_1__t10_int_1.depvmin12021-07-25 21:03 179  
[ ]int_1__t10_int_1.vmin12021-07-25 20:57 1.4K 
[ ]int_1__t10_int_1.vmin1out2021-07-25 21:01 31K 
[ ]int_1__t10_int_1.vout2021-07-25 20:22 30K 
[ ]int_1__t11_int_12021-07-17 23:48 17K 
[ ]int_1__t11_int_1.vout2021-07-25 15:51 2.0K 
[ ]int_1__t12_int_12021-07-17 23:48 14K 
[ ]int_1__t12_int_1.vout2021-07-25 15:09 2.0K 
[ ]int_1__t13_int_12021-07-17 23:48 13K 
[ ]int_1__t13_int_1.vout2021-07-25 18:00 2.0K 
[ ]int_1__t14_int_12021-07-17 23:49 21K 
[ ]int_1__t14_int_1.vout2021-07-25 16:56 2.0K 
[ ]int_1__t15_int_12021-07-17 23:49 27K 
[ ]int_1__t15_int_1.vout2021-07-25 18:02 2.0K 
[ ]int_1__t16_int_12021-07-17 23:49 27K 
[ ]int_1__t16_int_1.vout2021-07-25 16:34 2.0K 
[ ]int_1__t17_int_12021-07-17 23:50 21K 
[ ]int_1__t17_int_1.vout2021-07-25 14:31 2.0K 
[ ]int_1__t18_int_12021-07-17 23:50 27K 
[ ]int_1__t18_int_1.vout2021-07-25 16:17 2.0K 
[ ]int_1__t19_int_12021-07-17 23:44 27K 
[ ]int_1__t19_int_1.vout2021-07-25 17:50 2.0K 
[ ]int_1__t20_int_12021-07-17 23:50 21K 
[ ]int_1__t20_int_1.vout2021-07-25 17:19 2.0K 
[ ]int_1__t21_int_12021-07-17 23:51 26K 
[ ]int_1__t21_int_1.vout2021-07-25 18:16 2.0K 
[ ]int_1__t22_int_12021-07-17 23:51 26K 
[ ]int_1__t22_int_1.vout2021-07-25 17:39 2.0K 
[ ]int_1__t23_int_12021-07-17 23:51 29K 
[ ]int_1__t23_int_1.vout2021-07-25 18:15 7.2K 
[ ]int_1__t24_int_12021-07-17 23:51 29K 
[ ]int_1__t24_int_1.vout2021-07-25 16:30 7.8K 
[ ]int_1__t25_int_12021-07-17 23:52 18K 
[ ]int_1__t25_int_1.vout2021-07-25 15:35 7.8K 
[ ]int_1__t26_int_12021-07-17 23:52 12K 
[ ]int_1__t26_int_1.depv12021-07-25 20:57 99  
[ ]int_1__t26_int_1.depvmin12021-07-25 21:03 99  
[ ]int_1__t26_int_1.vmin12021-07-25 20:57 933  
[ ]int_1__t26_int_1.vmin1out2021-07-25 21:02 9.5K 
[ ]int_1__t26_int_1.vout2021-07-25 16:34 8.8K 
[ ]int_1__t27_int_12021-07-17 23:52 18K 
[ ]int_1__t27_int_1.vout2021-07-25 19:47 7.8K 
[ ]int_1__t28_int_12021-07-17 23:52 16K 
[ ]int_1__t28_int_1.vout2021-07-25 14:33 7.8K 
[ ]int_1__t29_int_12021-07-17 23:53 17K 
[ ]int_1__t29_int_1.vout2021-07-25 16:34 7.8K 
[ ]int_1__t30_int_12021-07-17 23:53 14K 
[ ]int_1__t30_int_1.depv12021-07-25 20:57 325  
[ ]int_1__t30_int_1.depvmin12021-07-25 21:03 305  
[ ]int_1__t30_int_1.vmin12021-07-25 20:57 1.8K 
[ ]int_1__t30_int_1.vmin1out2021-07-25 20:58 27K 
[ ]int_1__t30_int_1.vout2021-07-25 18:49 22K 
[ ]int_1__t31_int_12021-07-17 23:53 13K 
[ ]int_1__t31_int_1.depv12021-07-25 20:57 99  
[ ]int_1__t31_int_1.depvmin12021-07-25 21:03 99  
[ ]int_1__t31_int_1.vmin12021-07-25 20:57 933  
[ ]int_1__t31_int_1.vmin1out2021-07-25 20:59 9.5K 
[ ]int_1__t31_int_1.vout2021-07-25 15:35 8.8K 
[ ]int_1__t32_int_12021-07-17 23:53 18K 
[ ]int_1__t32_int_1.vout2021-07-25 14:29 7.8K 
[ ]int_1__t33_int_12021-07-17 23:54 13K 
[ ]int_1__t33_int_1.vout2021-07-25 20:44 7.8K 
[ ]int_1__t34_int_12021-07-17 23:54 1.9K 
[ ]int_1__t34_int_1.depv12021-07-25 20:57 110  
[ ]int_1__t34_int_1.depvmin12021-07-25 21:03 110  
[ ]int_1__t34_int_1.vmin12021-07-25 20:57 1.0K 
[ ]int_1__t34_int_1.vmin1out2021-07-25 20:59 10K 
[ ]int_1__t34_int_1.vout2021-07-25 14:58 10K 
[ ]int_1__t35_int_12021-07-17 23:54 2.1K 
[ ]int_1__t35_int_1.depv12021-07-25 20:57 146  
[ ]int_1__t35_int_1.depvmin12021-07-25 21:03 146  
[ ]int_1__t35_int_1.vmin12021-07-25 20:57 1.4K 
[ ]int_1__t35_int_1.vmin1out2021-07-25 21:00 16K 
[ ]int_1__t35_int_1.vout2021-07-25 17:46 16K 
[ ]int_1__t36_int_12021-07-17 23:54 14K 
[ ]int_1__t36_int_1.depv12021-07-25 20:57 86  
[ ]int_1__t36_int_1.depvmin12021-07-25 21:03 86  
[ ]int_1__t36_int_1.vmin12021-07-25 20:57 946  
[ ]int_1__t36_int_1.vmin1out2021-07-25 21:02 12K 
[ ]int_1__t36_int_1.vout2021-07-25 17:15 13K 
[ ]int_1__t37_int_12021-07-17 23:44 1.2K 
[ ]int_1__t37_int_1.depv12021-07-25 20:57 64  
[ ]int_1__t37_int_1.depvmin12021-07-25 21:03 64  
[ ]int_1__t37_int_1.vmin12021-07-25 20:57 440  
[ ]int_1__t37_int_1.vmin1out2021-07-25 20:59 4.7K 
[ ]int_1__t37_int_1.vout2021-07-25 15:27 4.7K 
[ ]int_1__t40_int_12021-07-17 23:44 1.2K 
[ ]int_1__t40_int_1.depv12021-07-25 20:57 64  
[ ]int_1__t40_int_1.depvmin12021-07-25 21:03 64  
[ ]int_1__t40_int_1.vmin12021-07-25 20:57 440  
[ ]int_1__t40_int_1.vmin1out2021-07-25 20:58 4.7K 
[ ]int_1__t40_int_1.vout2021-07-25 16:28 4.7K 
[ ]int_1__t41_int_12021-07-17 23:54 35K 
[ ]int_1__t41_int_1.vout2021-07-25 16:52 4.7K 
[ ]int_1__t42_int_12021-07-17 23:44 22K 
[ ]int_1__t42_int_1.vout2021-07-25 14:58 2.0K 
[ ]int_1__t43_int_12021-07-17 23:55 33K 
[ ]int_1__t43_int_1.vout2021-07-25 17:31 7.2K 
[ ]int_1__t44_int_12021-07-17 23:55 15K 
[ ]int_1__t44_int_1.vout2021-07-25 17:32 2.0K 
[ ]int_1__t45_int_12021-07-17 23:55 23K 
[ ]int_1__t45_int_1.vout2021-07-25 17:33 2.0K 
[ ]int_1__t46_int_12021-07-17 23:56 28K 
[ ]int_1__t46_int_1.vout2021-07-25 18:02 2.0K 
[ ]int_1__t47_int_12021-07-17 23:56 10K 
[ ]int_1__t47_int_1.depv12021-07-25 20:57 116  
[ ]int_1__t47_int_1.depvmin12021-07-25 21:03 116  
[ ]int_1__t47_int_1.vmin12021-07-25 20:57 756  
[ ]int_1__t47_int_1.vmin1out2021-07-25 21:00 8.1K 
[ ]int_1__t47_int_1.vout2021-07-25 15:55 8.1K 
[ ]int_1__t49_int_12021-07-17 23:45 10K 
[ ]int_1__t49_int_1.depv12021-07-25 20:57 63  
[ ]int_1__t49_int_1.depvmin12021-07-25 21:03 63  
[ ]int_1__t49_int_1.vmin12021-07-25 20:57 474  
[ ]int_1__t49_int_1.vmin1out2021-07-25 21:00 5.8K 
[ ]int_1__t49_int_1.vout2021-07-25 19:55 5.9K 
[ ]int_1__t50_int_12021-07-17 23:56 19K 
[ ]int_1__t50_int_1.vout2021-07-25 17:41 7.3K 
[ ]int_1__t51_int_12021-07-17 23:56 28K 
[ ]int_1__t51_int_1.vout2021-07-25 20:29 7.8K 
[ ]int_1__t52_int_12021-07-17 23:57 17K 
[ ]int_1__t52_int_1.vout2021-07-25 15:52 2.0K 
[ ]int_1__t53_int_12021-07-17 23:57 18K 
[ ]int_1__t53_int_1.depv12021-07-25 20:57 342  
[ ]int_1__t53_int_1.depvmin12021-07-25 21:03 312  
[ ]int_1__t53_int_1.vmin12021-07-25 20:57 2.9K 
[ ]int_1__t53_int_1.vmin1out2021-07-25 20:59 34K 
[ ]int_1__t53_int_1.vout2021-07-25 18:41 38K 
[ ]int_1__t54_int_12021-07-17 23:57 18K 
[ ]int_1__t54_int_1.depv12021-07-25 20:57 142  
[ ]int_1__t54_int_1.depvmin12021-07-25 21:03 142  
[ ]int_1__t54_int_1.vmin12021-07-25 20:57 1.2K 
[ ]int_1__t54_int_1.vmin1out2021-07-25 20:58 17K 
[ ]int_1__t54_int_1.vout2021-07-25 17:01 15K 
[ ]int_1__t55_int_12021-07-17 23:45 12K 
[ ]int_1__t55_int_1.depv12021-07-25 20:57 154  
[ ]int_1__t55_int_1.depvmin12021-07-25 21:03 154  
[ ]int_1__t55_int_1.vmin12021-07-25 20:57 1.4K 
[ ]int_1__t55_int_1.vmin1out2021-07-25 21:01 13K 
[ ]int_1__t55_int_1.vout2021-07-25 16:03 13K 
[ ]int_1__t56_int_12021-07-17 23:57 23K 
[ ]int_1__t56_int_1.vout2021-07-25 15:50 7.2K 
[ ]int_1__t57_int_12021-07-17 23:58 19K 
[ ]int_1__t57_int_1.vout2021-07-25 19:09 7.3K 
[ ]int_1__t58_int_12021-07-17 23:58 19K 
[ ]int_1__t58_int_1.vout2021-07-25 20:39 7.3K 
[ ]int_1__t59_int_12021-07-17 23:58 19K 
[ ]int_1__t59_int_1.vout2021-07-25 17:14 7.3K 
[ ]int_1__t60_int_12021-07-17 23:45 14K 
[ ]int_1__t60_int_1.vout2021-07-25 19:51 2.0K 
[ ]int_1__t61_int_12021-07-17 23:59 19K 
[ ]int_1__t61_int_1.vout2021-07-25 16:13 7.2K 
[ ]int_1__t63_int_12021-07-17 23:59 29K 
[ ]int_1__t63_int_1.vout2021-07-25 16:31 7.8K 
[ ]int_1__t64_int_12021-07-17 23:59 28K 
[ ]int_1__t64_int_1.depv12021-07-25 20:57 66  
[ ]int_1__t64_int_1.depvmin12021-07-25 21:03 66  
[ ]int_1__t64_int_1.vmin12021-07-25 20:57 718  
[ ]int_1__t64_int_1.vmin1out2021-07-25 20:58 6.6K 
[ ]int_1__t64_int_1.vout2021-07-25 17:19 12K 
[ ]int_1__t65_int_12021-07-18 00:00 18K 
[ ]int_1__t65_int_1.depv12021-07-25 20:57 142  
[ ]int_1__t65_int_1.depvmin12021-07-25 21:03 142  
[ ]int_1__t65_int_1.vmin12021-07-25 20:57 1.2K 
[ ]int_1__t65_int_1.vmin1out2021-07-25 20:58 17K 
[ ]int_1__t65_int_1.vout2021-07-25 20:18 15K 
[ ]int_1__t66_int_12021-07-18 00:00 15K 
[ ]int_1__t66_int_1.vout2021-07-25 14:25 2.0K 
[ ]int_1__t67_int_12021-07-18 00:00 17K 
[ ]int_1__t67_int_1.vout2021-07-25 15:40 7.8K 
[ ]int_1__t68_int_12021-07-18 00:00 32K 
[ ]int_1__t68_int_1.depv12021-07-25 20:57 62  
[ ]int_1__t68_int_1.depvmin12021-07-25 21:03 62  
[ ]int_1__t68_int_1.vmin12021-07-25 20:57 843  
[ ]int_1__t68_int_1.vmin1out2021-07-25 21:02 8.7K 
[ ]int_1__t68_int_1.vout2021-07-25 19:51 8.2K 
[ ]int_1__t69_int_12021-07-18 00:01 24K 
[ ]int_1__t69_int_1.depv12021-07-25 20:57 100  
[ ]int_1__t69_int_1.depvmin12021-07-25 21:03 100  
[ ]int_1__t69_int_1.vmin12021-07-25 20:57 1.0K 
[ ]int_1__t69_int_1.vmin1out2021-07-25 20:58 10K 
[ ]int_1__t69_int_1.vout2021-07-25 20:08 10K 
[ ]int_1__t70_int_12021-07-18 00:01 18K 
[ ]int_1__t70_int_1.vout2021-07-25 16:38 7.8K 
[ ]int_1__t71_int_12021-07-18 00:01 33K 
[ ]int_1__t71_int_1.vout2021-07-25 17:58 2.0K 
[ ]int_1__t72_int_12021-07-18 00:01 33K 
[ ]int_1__t72_int_1.vout2021-07-25 18:19 7.2K 
[ ]int_1__t73_int_12021-07-18 00:02 19K 
[ ]int_1__t73_int_1.depv12021-07-25 20:57 186  
[ ]int_1__t73_int_1.depvmin12021-07-25 21:03 174  
[ ]int_1__t73_int_1.vmin12021-07-25 20:57 1.5K 
[ ]int_1__t73_int_1.vmin1out2021-07-25 20:59 20K 
[ ]int_1__t73_int_1.vout2021-07-25 17:35 20K 
[ ]int_1__t74_int_12021-07-18 00:02 18K 
[ ]int_1__t74_int_1.vout2021-07-25 20:51 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80