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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_1__l1_int_12024-07-27 13:33 35K 
[ ]int_1__l1_int_1.vout2024-08-03 08:01 4.7K 
[ ]int_1__l2_int_12024-07-27 13:34 35K 
[ ]int_1__l2_int_1.vout2024-08-03 06:49 4.6K 
[ ]int_1__l11_int_12024-07-27 13:35 13K 
[ ]int_1__l11_int_1.vout2024-08-03 07:48 7.3K 
[ ]int_1__l12_int_12024-07-27 13:36 11K 
[ ]int_1__l12_int_1.depv12024-08-03 10:19 227  
[ ]int_1__l12_int_1.depvmin12024-08-03 10:24 160  
[ ]int_1__l12_int_1.vmin12024-08-03 10:19 1.6K 
[ ]int_1__l12_int_1.vmin1out2024-08-03 10:20 8.3K 
[ ]int_1__l12_int_1.vout2024-08-03 08:37 12K 
[ ]int_1__l17_int_12024-07-27 13:37 32K 
[ ]int_1__l17_int_1.vout2024-08-03 07:56 7.3K 
[ ]int_1__l18_int_12024-07-27 13:37 28K 
[ ]int_1__l18_int_1.vout2024-08-03 07:34 7.8K 
[ ]int_1__l36_int_12024-07-27 13:38 30K 
[ ]int_1__l36_int_1.vout2024-08-03 09:17 2.0K 
[ ]int_1__t1_int_12024-07-27 12:46 13K 
[ ]int_1__t1_int_1.depv12024-08-03 10:19 61  
[ ]int_1__t1_int_1.depvmin12024-08-03 10:24 61  
[ ]int_1__t1_int_1.vmin12024-08-03 10:19 575  
[ ]int_1__t1_int_1.vmin1out2024-08-03 10:20 9.8K 
[ ]int_1__t1_int_1.vout2024-08-03 05:34 10K 
[ ]int_1__t2_int_12024-07-27 12:46 9.9K 
[ ]int_1__t2_int_1.depv12024-08-03 10:19 27  
[ ]int_1__t2_int_1.depvmin12024-08-03 10:24 27  
[ ]int_1__t2_int_1.vmin12024-08-03 10:19 409  
[ ]int_1__t2_int_1.vmin1out2024-08-03 10:23 8.2K 
[ ]int_1__t2_int_1.vout2024-08-03 08:06 8.4K 
[ ]int_1__t3_int_12024-07-27 12:47 17K 
[ ]int_1__t3_int_1.depv12024-08-03 10:19 160  
[ ]int_1__t3_int_1.depvmin12024-08-03 10:24 160  
[ ]int_1__t3_int_1.vmin12024-08-03 10:19 1.3K 
[ ]int_1__t3_int_1.vmin1out2024-08-03 10:22 12K 
[ ]int_1__t3_int_1.vout2024-08-03 08:47 12K 
[ ]int_1__t4_int_12024-07-27 12:40 13K 
[ ]int_1__t4_int_1.depv12024-08-03 10:19 66  
[ ]int_1__t4_int_1.depvmin12024-08-03 10:24 66  
[ ]int_1__t4_int_1.vmin12024-08-03 10:19 586  
[ ]int_1__t4_int_1.vmin1out2024-08-03 10:23 5.4K 
[ ]int_1__t4_int_1.vout2024-08-03 08:05 4.6K 
[ ]int_1__t5_int_12024-07-27 12:48 17K 
[ ]int_1__t5_int_1.vout2024-08-03 05:14 2.0K 
[ ]int_1__t6_int_12024-07-27 12:49 28K 
[ ]int_1__t6_int_1.vout2024-08-03 06:45 2.1K 
[ ]int_1__t7_int_12024-07-27 12:49 15K 
[ ]int_1__t7_int_1.vout2024-08-03 04:41 2.0K 
[ ]int_1__t8_int_12024-07-27 12:50 13K 
[ ]int_1__t8_int_1.depv12024-08-03 10:19 169  
[ ]int_1__t8_int_1.depvmin12024-08-03 10:24 169  
[ ]int_1__t8_int_1.vmin12024-08-03 10:19 1.3K 
[ ]int_1__t8_int_1.vmin1out2024-08-03 10:23 9.5K 
[ ]int_1__t8_int_1.vout2024-08-03 04:18 8.6K 
[ ]int_1__t9_int_12024-07-27 12:51 27K 
[ ]int_1__t9_int_1.vout2024-08-03 06:36 6.7K 
[ ]int_1__t10_int_12024-07-27 12:52 21K 
[ ]int_1__t10_int_1.depv12024-08-03 10:19 191  
[ ]int_1__t10_int_1.depvmin12024-08-03 10:24 191  
[ ]int_1__t10_int_1.vmin12024-08-03 10:19 1.5K 
[ ]int_1__t10_int_1.vmin1out2024-08-03 10:21 30K 
[ ]int_1__t10_int_1.vout2024-08-03 05:11 31K 
[ ]int_1__t11_int_12024-07-27 12:53 17K 
[ ]int_1__t11_int_1.vout2024-08-03 09:47 2.0K 
[ ]int_1__t12_int_12024-07-27 12:53 14K 
[ ]int_1__t12_int_1.vout2024-08-03 05:37 2.0K 
[ ]int_1__t13_int_12024-07-27 12:54 13K 
[ ]int_1__t13_int_1.vout2024-08-03 09:37 2.0K 
[ ]int_1__t14_int_12024-07-27 12:55 21K 
[ ]int_1__t14_int_1.vout2024-08-03 09:34 2.0K 
[ ]int_1__t15_int_12024-07-27 12:56 26K 
[ ]int_1__t15_int_1.vout2024-08-03 06:44 2.0K 
[ ]int_1__t16_int_12024-07-27 12:56 27K 
[ ]int_1__t16_int_1.vout2024-08-03 08:48 2.0K 
[ ]int_1__t17_int_12024-07-27 12:57 21K 
[ ]int_1__t17_int_1.vout2024-08-03 08:46 2.0K 
[ ]int_1__t18_int_12024-07-27 12:58 27K 
[ ]int_1__t18_int_1.vout2024-08-03 05:50 2.0K 
[ ]int_1__t19_int_12024-07-27 12:41 26K 
[ ]int_1__t19_int_1.vout2024-08-03 08:42 2.0K 
[ ]int_1__t20_int_12024-07-27 12:59 21K 
[ ]int_1__t20_int_1.vout2024-08-03 07:01 2.0K 
[ ]int_1__t21_int_12024-07-27 13:00 26K 
[ ]int_1__t21_int_1.vout2024-08-03 05:47 2.0K 
[ ]int_1__t22_int_12024-07-27 13:01 26K 
[ ]int_1__t22_int_1.vout2024-08-03 08:24 2.0K 
[ ]int_1__t23_int_12024-07-27 13:01 29K 
[ ]int_1__t23_int_1.vout2024-08-03 05:26 7.2K 
[ ]int_1__t24_int_12024-07-27 13:02 29K 
[ ]int_1__t24_int_1.vout2024-08-03 09:52 7.8K 
[ ]int_1__t25_int_12024-07-27 13:03 18K 
[ ]int_1__t25_int_1.vout2024-08-03 06:31 7.8K 
[ ]int_1__t26_int_12024-07-27 13:04 12K 
[ ]int_1__t26_int_1.depv12024-08-03 10:19 99  
[ ]int_1__t26_int_1.depvmin12024-08-03 10:24 99  
[ ]int_1__t26_int_1.vmin12024-08-03 10:19 911  
[ ]int_1__t26_int_1.vmin1out2024-08-03 10:23 9.0K 
[ ]int_1__t26_int_1.vout2024-08-03 09:51 8.5K 
[ ]int_1__t27_int_12024-07-27 13:04 18K 
[ ]int_1__t27_int_1.vout2024-08-03 09:14 7.8K 
[ ]int_1__t28_int_12024-07-27 13:05 16K 
[ ]int_1__t28_int_1.vout2024-08-03 06:32 7.8K 
[ ]int_1__t29_int_12024-07-27 13:06 17K 
[ ]int_1__t29_int_1.vout2024-08-03 05:56 7.8K 
[ ]int_1__t30_int_12024-07-27 13:07 13K 
[ ]int_1__t30_int_1.depv12024-08-03 10:19 325  
[ ]int_1__t30_int_1.depvmin12024-08-03 10:24 305  
[ ]int_1__t30_int_1.vmin12024-08-03 10:19 1.8K 
[ ]int_1__t30_int_1.vmin1out2024-08-03 10:22 27K 
[ ]int_1__t30_int_1.vout2024-08-03 09:40 22K 
[ ]int_1__t31_int_12024-07-27 13:07 13K 
[ ]int_1__t31_int_1.depv12024-08-03 10:19 99  
[ ]int_1__t31_int_1.depvmin12024-08-03 10:24 99  
[ ]int_1__t31_int_1.vmin12024-08-03 10:19 911  
[ ]int_1__t31_int_1.vmin1out2024-08-03 10:23 9.0K 
[ ]int_1__t31_int_1.vout2024-08-03 05:39 8.5K 
[ ]int_1__t32_int_12024-07-27 13:08 18K 
[ ]int_1__t32_int_1.vout2024-08-03 05:19 7.8K 
[ ]int_1__t33_int_12024-07-27 13:09 13K 
[ ]int_1__t33_int_1.vout2024-08-03 05:51 7.8K 
[ ]int_1__t34_int_12024-07-27 13:09 1.8K 
[ ]int_1__t34_int_1.depv12024-08-03 10:19 110  
[ ]int_1__t34_int_1.depvmin12024-08-03 10:24 110  
[ ]int_1__t34_int_1.vmin12024-08-03 10:19 966  
[ ]int_1__t34_int_1.vmin1out2024-08-03 10:21 9.4K 
[ ]int_1__t34_int_1.vout2024-08-03 10:03 9.4K 
[ ]int_1__t35_int_12024-07-27 13:09 2.1K 
[ ]int_1__t35_int_1.depv12024-08-03 10:19 134  
[ ]int_1__t35_int_1.depvmin12024-08-03 10:24 134  
[ ]int_1__t35_int_1.vmin12024-08-03 10:19 1.3K 
[ ]int_1__t35_int_1.vmin1out2024-08-03 10:23 15K 
[ ]int_1__t35_int_1.vout2024-08-03 08:53 15K 
[ ]int_1__t36_int_12024-07-27 13:10 14K 
[ ]int_1__t36_int_1.depv12024-08-03 10:19 86  
[ ]int_1__t36_int_1.depvmin12024-08-03 10:24 86  
[ ]int_1__t36_int_1.vmin12024-08-03 10:19 946  
[ ]int_1__t36_int_1.vmin1out2024-08-03 10:22 12K 
[ ]int_1__t36_int_1.vout2024-08-03 09:21 13K 
[ ]int_1__t37_int_12024-07-27 12:41 1.2K 
[ ]int_1__t37_int_1.depv12024-08-03 10:19 64  
[ ]int_1__t37_int_1.depvmin12024-08-03 10:24 32  
[ ]int_1__t37_int_1.vmin12024-08-03 10:19 418  
[ ]int_1__t37_int_1.vmin1out2024-08-03 10:23 2.5K 
[ ]int_1__t37_int_1.vout2024-08-03 04:16 4.3K 
[ ]int_1__t40_int_12024-07-27 12:41 1.2K 
[ ]int_1__t40_int_1.depv12024-08-03 10:19 64  
[ ]int_1__t40_int_1.depvmin12024-08-03 10:24 32  
[ ]int_1__t40_int_1.vmin12024-08-03 10:19 418  
[ ]int_1__t40_int_1.vmin1out2024-08-03 10:22 2.5K 
[ ]int_1__t40_int_1.vout2024-08-03 04:13 4.4K 
[ ]int_1__t41_int_12024-07-27 13:11 35K 
[ ]int_1__t41_int_1.vout2024-08-03 05:06 4.7K 
[ ]int_1__t42_int_12024-07-27 12:42 22K 
[ ]int_1__t42_int_1.vout2024-08-03 09:59 2.0K 
[ ]int_1__t43_int_12024-07-27 13:12 33K 
[ ]int_1__t43_int_1.vout2024-08-03 08:53 7.3K 
[ ]int_1__t44_int_12024-07-27 13:12 15K 
[ ]int_1__t44_int_1.vout2024-08-03 08:47 2.0K 
[ ]int_1__t45_int_12024-07-27 12:43 22K 
[ ]int_1__t45_int_1.vout2024-08-03 05:54 2.0K 
[ ]int_1__t46_int_12024-07-27 13:13 28K 
[ ]int_1__t46_int_1.vout2024-08-03 06:15 2.0K 
[ ]int_1__t47_int_12024-07-27 13:14 10K 
[ ]int_1__t47_int_1.depv12024-08-03 10:19 106  
[ ]int_1__t47_int_1.depvmin12024-08-03 10:24 106  
[ ]int_1__t47_int_1.vmin12024-08-03 10:19 665  
[ ]int_1__t47_int_1.vmin1out2024-08-03 10:23 7.4K 
[ ]int_1__t47_int_1.vout2024-08-03 06:07 7.4K 
[ ]int_1__t49_int_12024-07-27 12:44 11K 
[ ]int_1__t49_int_1.depv12024-08-03 10:19 63  
[ ]int_1__t49_int_1.depvmin12024-08-03 10:24 63  
[ ]int_1__t49_int_1.vmin12024-08-03 10:19 474  
[ ]int_1__t49_int_1.vmin1out2024-08-03 10:22 5.8K 
[ ]int_1__t49_int_1.vout2024-08-03 04:54 5.9K 
[ ]int_1__t50_int_12024-07-27 13:15 19K 
[ ]int_1__t50_int_1.vout2024-08-03 06:35 7.3K 
[ ]int_1__t51_int_12024-07-27 13:16 28K 
[ ]int_1__t51_int_1.vout2024-08-03 04:24 7.8K 
[ ]int_1__t52_int_12024-07-27 13:16 17K 
[ ]int_1__t52_int_1.vout2024-08-03 04:20 2.0K 
[ ]int_1__t53_int_12024-07-27 13:17 19K 
[ ]int_1__t53_int_1.depv12024-08-03 10:19 284  
[ ]int_1__t53_int_1.depvmin12024-08-03 10:24 276  
[ ]int_1__t53_int_1.vmin12024-08-03 10:19 2.6K 
[ ]int_1__t53_int_1.vmin1out2024-08-03 10:20 31K 
[ ]int_1__t53_int_1.vout2024-08-03 04:10 34K 
[ ]int_1__t54_int_12024-07-27 13:18 18K 
[ ]int_1__t54_int_1.depv12024-08-03 10:19 142  
[ ]int_1__t54_int_1.depvmin12024-08-03 10:24 142  
[ ]int_1__t54_int_1.vmin12024-08-03 10:19 1.2K 
[ ]int_1__t54_int_1.vmin1out2024-08-03 10:23 17K 
[ ]int_1__t54_int_1.vout2024-08-03 10:17 15K 
[ ]int_1__t55_int_12024-07-27 12:44 13K 
[ ]int_1__t55_int_1.depv12024-08-03 10:19 154  
[ ]int_1__t55_int_1.depvmin12024-08-03 10:24 154  
[ ]int_1__t55_int_1.vmin12024-08-03 10:19 1.4K 
[ ]int_1__t55_int_1.vmin1out2024-08-03 10:23 13K 
[ ]int_1__t55_int_1.vout2024-08-03 06:24 13K 
[ ]int_1__t56_int_12024-07-27 13:19 23K 
[ ]int_1__t56_int_1.vout2024-08-03 05:13 7.3K 
[ ]int_1__t57_int_12024-07-27 13:19 19K 
[ ]int_1__t57_int_1.vout2024-08-03 08:01 7.3K 
[ ]int_1__t58_int_12024-07-27 13:20 19K 
[ ]int_1__t58_int_1.vout2024-08-03 05:24 7.3K 
[ ]int_1__t59_int_12024-07-27 13:21 19K 
[ ]int_1__t59_int_1.vout2024-08-03 05:09 7.3K 
[ ]int_1__t60_int_12024-07-27 12:45 14K 
[ ]int_1__t60_int_1.vout2024-08-03 07:00 2.0K 
[ ]int_1__t61_int_12024-07-27 13:22 20K 
[ ]int_1__t61_int_1.vout2024-08-03 09:55 7.2K 
[ ]int_1__t63_int_12024-07-27 13:23 29K 
[ ]int_1__t63_int_1.vout2024-08-03 05:59 7.8K 
[ ]int_1__t64_int_12024-07-27 13:23 17K 
[ ]int_1__t64_int_1.depv12024-08-03 10:19 56  
[ ]int_1__t64_int_1.depvmin12024-08-03 10:24 56  
[ ]int_1__t64_int_1.vmin12024-08-03 10:19 627  
[ ]int_1__t64_int_1.vmin1out2024-08-03 10:21 5.9K 
[ ]int_1__t64_int_1.vout2024-08-03 06:34 6.6K 
[ ]int_1__t65_int_12024-07-27 13:24 18K 
[ ]int_1__t65_int_1.depv12024-08-03 10:19 142  
[ ]int_1__t65_int_1.depvmin12024-08-03 10:24 142  
[ ]int_1__t65_int_1.vmin12024-08-03 10:19 1.2K 
[ ]int_1__t65_int_1.vmin1out2024-08-03 10:22 17K 
[ ]int_1__t65_int_1.vout2024-08-03 10:04 15K 
[ ]int_1__t66_int_12024-07-27 13:25 15K 
[ ]int_1__t66_int_1.vout2024-08-03 08:40 2.0K 
[ ]int_1__t67_int_12024-07-27 13:26 17K 
[ ]int_1__t67_int_1.vout2024-08-03 07:12 7.8K 
[ ]int_1__t68_int_12024-07-27 13:26 32K 
[ ]int_1__t68_int_1.depv12024-08-03 10:19 62  
[ ]int_1__t68_int_1.depvmin12024-08-03 10:24 62  
[ ]int_1__t68_int_1.vmin12024-08-03 10:19 843  
[ ]int_1__t68_int_1.vmin1out2024-08-03 10:20 8.7K 
[ ]int_1__t68_int_1.vout2024-08-03 06:04 8.2K 
[ ]int_1__t69_int_12024-07-27 13:27 24K 
[ ]int_1__t69_int_1.depv12024-08-03 10:19 100  
[ ]int_1__t69_int_1.depvmin12024-08-03 10:24 100  
[ ]int_1__t69_int_1.vmin12024-08-03 10:19 1.0K 
[ ]int_1__t69_int_1.vmin1out2024-08-03 10:21 10K 
[ ]int_1__t69_int_1.vout2024-08-03 05:09 10K 
[ ]int_1__t70_int_12024-07-27 13:28 18K 
[ ]int_1__t70_int_1.vout2024-08-03 09:13 7.8K 
[ ]int_1__t71_int_12024-07-27 13:29 33K 
[ ]int_1__t71_int_1.vout2024-08-03 09:06 2.0K 
[ ]int_1__t72_int_12024-07-27 13:30 33K 
[ ]int_1__t72_int_1.vout2024-08-03 06:41 7.2K 
[ ]int_1__t73_int_12024-07-27 13:30 20K 
[ ]int_1__t73_int_1.depv12024-08-03 10:19 155  
[ ]int_1__t73_int_1.depvmin12024-08-03 10:24 145  
[ ]int_1__t73_int_1.vmin12024-08-03 10:19 1.1K 
[ ]int_1__t73_int_1.vmin1out2024-08-03 10:21 13K 
[ ]int_1__t73_int_1.vout2024-08-03 09:22 17K 
[ ]int_1__t74_int_12024-07-27 13:31 18K 
[ ]int_1__t74_int_1.vout2024-08-03 04:13 2.0K 
[ ]int_1__t75_int_12024-07-27 13:32 76K 
[ ]int_1__t75_int_1.vout2024-08-03 07:20 7.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80