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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]subset_1__t53_subset_1.vout2021-07-25 18:32 38K 
[ ]subset_1__t53_subset_1.vmin1out2021-07-25 21:00 35K 
[ ]subset_1__t53_subset_1.vmin12021-07-25 20:57 1.6K 
[ ]subset_1__t53_subset_1.depvmin12021-07-25 21:03 104  
[ ]subset_1__t53_subset_1.depv12021-07-25 20:57 104  
[ ]subset_1__t53_subset_12021-07-17 21:40 4.4K 
[ ]subset_1__t52_subset_1.vout2021-07-25 14:36 7.9K 
[ ]subset_1__t52_subset_12021-07-17 21:40 4.3K 
[ ]subset_1__t51_subset_1.vout2021-07-25 15:22 13K 
[ ]subset_1__t51_subset_1.vmin1out2021-07-25 20:58 13K 
[ ]subset_1__t51_subset_1.vmin12021-07-25 20:57 1.1K 
[ ]subset_1__t51_subset_1.depvmin12021-07-25 21:03 122  
[ ]subset_1__t51_subset_1.depv12021-07-25 20:57 122  
[ ]subset_1__t51_subset_12021-07-17 21:39 4.3K 
[ ]subset_1__t50_subset_1.vout2021-07-25 18:19 14K 
[ ]subset_1__t50_subset_1.vmin1out2021-07-25 21:02 8.5K 
[ ]subset_1__t50_subset_1.vmin12021-07-25 20:57 1.1K 
[ ]subset_1__t50_subset_1.depvmin12021-07-25 21:03 106  
[ ]subset_1__t50_subset_1.depv12021-07-25 20:57 154  
[ ]subset_1__t50_subset_12021-07-17 21:39 4.3K 
[ ]subset_1__t49_subset_1.vout2021-07-25 16:16 7.3K 
[ ]subset_1__t49_subset_1.vmin1out2021-07-25 20:57 7.2K 
[ ]subset_1__t49_subset_1.vmin12021-07-25 20:57 403  
[ ]subset_1__t49_subset_1.depvmin12021-07-25 21:03 37  
[ ]subset_1__t49_subset_1.depv12021-07-25 20:57 37  
[ ]subset_1__t49_subset_12021-07-17 21:39 2.1K 
[ ]subset_1__t48_subset_1.vout2021-07-25 19:17 4.5K 
[ ]subset_1__t48_subset_1.vmin1out2021-07-25 21:01 5.6K 
[ ]subset_1__t48_subset_1.vmin12021-07-25 20:57 288  
[ ]subset_1__t48_subset_1.depvmin12021-07-25 21:03 26  
[ ]subset_1__t48_subset_1.depv12021-07-25 20:57 26  
[ ]subset_1__t48_subset_12021-07-17 21:39 1.6K 
[ ]subset_1__t47_subset_1.vout2021-07-25 17:41 11K 
[ ]subset_1__t47_subset_1.vmin1out2021-07-25 21:01 10K 
[ ]subset_1__t47_subset_1.vmin12021-07-25 20:57 772  
[ ]subset_1__t47_subset_1.depvmin12021-07-25 21:03 66  
[ ]subset_1__t47_subset_1.depv12021-07-25 20:57 66  
[ ]subset_1__t47_subset_12021-07-17 21:39 4.0K 
[ ]subset_1__t46_subset_1.vout2021-07-25 15:53 7.5K 
[ ]subset_1__t46_subset_1.vmin1out2021-07-25 21:00 7.1K 
[ ]subset_1__t46_subset_1.vmin12021-07-25 20:57 663  
[ ]subset_1__t46_subset_1.depvmin12021-07-25 21:03 72  
[ ]subset_1__t46_subset_1.depv12021-07-25 20:57 72  
[ ]subset_1__t46_subset_12021-07-17 21:39 2.0K 
[ ]subset_1__t45_subset_1.vout2021-07-25 18:37 2.0K 
[ ]subset_1__t45_subset_12021-07-17 21:39 3.5K 
[ ]subset_1__t44_subset_1.vout2021-07-25 19:27 20K 
[ ]subset_1__t44_subset_1.vmin1out2021-07-25 21:02 16K 
[ ]subset_1__t44_subset_1.vmin12021-07-25 20:57 1.4K 
[ ]subset_1__t44_subset_1.depvmin12021-07-25 21:03 139  
[ ]subset_1__t44_subset_1.depv12021-07-25 20:57 139  
[ ]subset_1__t44_subset_12021-07-17 21:38 4.5K 
[ ]subset_1__t43_subset_1.vout2021-07-25 18:14 12K 
[ ]subset_1__t43_subset_1.vmin1out2021-07-25 20:58 11K 
[ ]subset_1__t43_subset_1.vmin12021-07-25 20:57 848  
[ ]subset_1__t43_subset_1.depvmin12021-07-25 21:03 70  
[ ]subset_1__t43_subset_1.depv12021-07-25 20:57 70  
[ ]subset_1__t43_subset_12021-07-17 21:38 2.7K 
[ ]subset_1__t42_subset_1.vout2021-07-25 15:26 5.1K 
[ ]subset_1__t42_subset_1.vmin1out2021-07-25 21:02 5.1K 
[ ]subset_1__t42_subset_1.vmin12021-07-25 20:57 321  
[ ]subset_1__t42_subset_1.depvmin12021-07-25 21:03 40  
[ ]subset_1__t42_subset_1.depv12021-07-25 20:57 40  
[ ]subset_1__t42_subset_12021-07-17 21:38 2.4K 
[ ]subset_1__t41_subset_1.vout2021-07-25 14:33 8.0K 
[ ]subset_1__t41_subset_1.vmin1out2021-07-25 20:58 8.0K 
[ ]subset_1__t41_subset_1.vmin12021-07-25 20:57 704  
[ ]subset_1__t41_subset_1.depvmin12021-07-25 21:03 86  
[ ]subset_1__t41_subset_1.depv12021-07-25 20:57 86  
[ ]subset_1__t41_subset_12021-07-17 21:38 2.5K 
[ ]subset_1__t40_subset_1.vout2021-07-25 15:28 8.4K 
[ ]subset_1__t40_subset_12021-07-17 21:38 3.0K 
[ ]subset_1__t39_subset_1.vout2021-07-25 18:59 8.4K 
[ ]subset_1__t39_subset_12021-07-17 21:38 3.0K 
[ ]subset_1__t38_subset_1.vout2021-07-25 20:52 8.4K 
[ ]subset_1__t38_subset_12021-07-17 21:37 2.9K 
[ ]subset_1__t37_subset_1.vout2021-07-25 15:27 29K 
[ ]subset_1__t37_subset_1.vmin1out2021-07-25 21:00 22K 
[ ]subset_1__t37_subset_1.vmin12021-07-25 20:57 1.3K 
[ ]subset_1__t37_subset_1.depvmin12021-07-25 21:03 104  
[ ]subset_1__t37_subset_1.depv12021-07-25 20:57 125  
[ ]subset_1__t37_subset_12021-07-17 21:37 2.8K 
[ ]subset_1__t36_subset_1.vout2021-07-25 18:22 26K 
[ ]subset_1__t36_subset_1.vmin1out2021-07-25 21:00 20K 
[ ]subset_1__t36_subset_1.vmin12021-07-25 20:57 1.3K 
[ ]subset_1__t36_subset_1.depvmin12021-07-25 21:03 104  
[ ]subset_1__t36_subset_1.depv12021-07-25 20:57 125  
[ ]subset_1__t36_subset_12021-07-17 21:37 2.7K 
[ ]subset_1__t35_subset_1.vout2021-07-25 20:09 19K 
[ ]subset_1__t35_subset_1.vmin1out2021-07-25 21:00 19K 
[ ]subset_1__t35_subset_1.vmin12021-07-25 20:57 1.1K 
[ ]subset_1__t35_subset_1.depvmin12021-07-25 21:03 116  
[ ]subset_1__t35_subset_1.depv12021-07-25 20:57 116  
[ ]subset_1__t35_subset_12021-07-17 21:37 2.7K 
[ ]subset_1__t34_subset_1.vout2021-07-25 16:07 17K 
[ ]subset_1__t34_subset_1.vmin1out2021-07-25 21:02 17K 
[ ]subset_1__t34_subset_1.vmin12021-07-25 20:57 1.0K 
[ ]subset_1__t34_subset_1.depvmin12021-07-25 21:03 114  
[ ]subset_1__t34_subset_1.depv12021-07-25 20:57 114  
[ ]subset_1__t34_subset_12021-07-17 21:37 2.6K 
[ ]subset_1__t33_subset_1.vout2021-07-25 17:10 15K 
[ ]subset_1__t33_subset_1.vmin1out2021-07-25 21:01 14K 
[ ]subset_1__t33_subset_1.vmin12021-07-25 20:57 1.0K 
[ ]subset_1__t33_subset_1.depvmin12021-07-25 21:03 114  
[ ]subset_1__t33_subset_1.depv12021-07-25 20:57 114  
[ ]subset_1__t33_subset_12021-07-17 21:37 2.5K 
[ ]subset_1__t32_subset_1.vout2021-07-25 16:47 13K 
[ ]subset_1__t32_subset_1.vmin1out2021-07-25 21:00 12K 
[ ]subset_1__t32_subset_1.vmin12021-07-25 20:57 503  
[ ]subset_1__t32_subset_1.depvmin12021-07-25 21:03 26  
[ ]subset_1__t32_subset_1.depv12021-07-25 20:57 26  
[ ]subset_1__t32_subset_12021-07-17 21:36 2.7K 
[ ]subset_1__t31_subset_1.vout2021-07-25 20:44 13K 
[ ]subset_1__t31_subset_1.vmin1out2021-07-25 21:02 12K 
[ ]subset_1__t31_subset_1.vmin12021-07-25 20:57 503  
[ ]subset_1__t31_subset_1.depvmin12021-07-25 21:03 26  
[ ]subset_1__t31_subset_1.depv12021-07-25 20:57 26  
[ ]subset_1__t31_subset_12021-07-17 21:36 2.7K 
[ ]subset_1__t30_subset_1.vout2021-07-25 19:53 23K 
[ ]subset_1__t30_subset_1.vmin1out2021-07-25 21:02 22K 
[ ]subset_1__t30_subset_1.vmin12021-07-25 20:57 1.1K 
[ ]subset_1__t30_subset_1.depvmin12021-07-25 21:03 116  
[ ]subset_1__t30_subset_1.depv12021-07-25 20:57 116  
[ ]subset_1__t30_subset_12021-07-17 21:36 3.4K 
[ ]subset_1__t29_subset_1.vout2021-07-25 15:50 14K 
[ ]subset_1__t29_subset_1.vmin1out2021-07-25 21:00 14K 
[ ]subset_1__t29_subset_1.vmin12021-07-25 20:57 918  
[ ]subset_1__t29_subset_1.depvmin12021-07-25 21:03 93  
[ ]subset_1__t29_subset_1.depv12021-07-25 20:57 93  
[ ]subset_1__t29_subset_12021-07-17 21:36 2.7K 
[ ]subset_1__t28_subset_1.vout2021-07-25 19:23 13K 
[ ]subset_1__t28_subset_1.vmin1out2021-07-25 21:01 13K 
[ ]subset_1__t28_subset_1.vmin12021-07-25 20:57 953  
[ ]subset_1__t28_subset_1.depvmin12021-07-25 21:03 105  
[ ]subset_1__t28_subset_1.depv12021-07-25 20:57 105  
[ ]subset_1__t28_subset_12021-07-17 21:36 2.4K 
[ ]subset_1__t27_subset_1.vout2021-07-25 17:23 9.2K 
[ ]subset_1__t27_subset_1.vmin1out2021-07-25 21:00 6.9K 
[ ]subset_1__t27_subset_1.vmin12021-07-25 20:57 714  
[ ]subset_1__t27_subset_1.depvmin12021-07-25 21:03 67  
[ ]subset_1__t27_subset_1.depv12021-07-25 20:57 67  
[ ]subset_1__t27_subset_12021-07-17 21:36 2.3K 
[ ]subset_1__t26_subset_1.vout2021-07-25 17:04 9.6K 
[ ]subset_1__t26_subset_1.vmin1out2021-07-25 20:59 6.8K 
[ ]subset_1__t26_subset_1.vmin12021-07-25 20:57 691  
[ ]subset_1__t26_subset_1.depvmin12021-07-25 21:03 60  
[ ]subset_1__t26_subset_1.depv12021-07-25 20:57 60  
[ ]subset_1__t26_subset_12021-07-17 21:36 3.4K 
[ ]subset_1__t25_subset_1.vout2021-07-25 19:50 24K 
[ ]subset_1__t25_subset_1.vmin1out2021-07-25 20:58 24K 
[ ]subset_1__t25_subset_1.vmin12021-07-25 20:57 1.3K 
[ ]subset_1__t25_subset_1.depvmin12021-07-25 21:03 96  
[ ]subset_1__t25_subset_1.depv12021-07-25 20:57 109  
[ ]subset_1__t25_subset_12021-07-17 21:35 3.9K 
[ ]subset_1__t24_subset_1.vout2021-07-25 15:28 11K 
[ ]subset_1__t24_subset_1.vmin1out2021-07-25 20:58 10K 
[ ]subset_1__t24_subset_1.vmin12021-07-25 20:57 658  
[ ]subset_1__t24_subset_1.depvmin12021-07-25 21:03 68  
[ ]subset_1__t24_subset_1.depv12021-07-25 20:57 68  
[ ]subset_1__t24_subset_12021-07-17 21:35 3.2K 
[ ]subset_1__t23_subset_1.vout2021-07-25 16:15 19K 
[ ]subset_1__t23_subset_1.vmin1out2021-07-25 21:02 19K 
[ ]subset_1__t23_subset_1.vmin12021-07-25 20:57 1.1K 
[ ]subset_1__t23_subset_1.depvmin12021-07-25 21:03 96  
[ ]subset_1__t23_subset_1.depv12021-07-25 20:57 96  
[ ]subset_1__t23_subset_12021-07-17 21:35 3.7K 
[ ]subset_1__t22_subset_1.vout2021-07-25 18:43 9.8K 
[ ]subset_1__t22_subset_1.vmin1out2021-07-25 20:59 6.4K 
[ ]subset_1__t22_subset_1.vmin12021-07-25 20:57 912  
[ ]subset_1__t22_subset_1.depvmin12021-07-25 21:03 79  
[ ]subset_1__t22_subset_1.depv12021-07-25 20:57 105  
[ ]subset_1__t22_subset_12021-07-17 21:32 3.6K 
[ ]subset_1__t21_subset_1.vout2021-07-25 20:00 9.4K 
[ ]subset_1__t21_subset_1.vmin1out2021-07-25 20:58 7.9K 
[ ]subset_1__t21_subset_1.vmin12021-07-25 20:57 847  
[ ]subset_1__t21_subset_1.depvmin12021-07-25 21:03 78  
[ ]subset_1__t21_subset_1.depv12021-07-25 20:57 78  
[ ]subset_1__t21_subset_12021-07-17 21:32 4.0K 
[ ]subset_1__t20_subset_1.vout2021-07-25 20:20 7.4K 
[ ]subset_1__t20_subset_1.vmin1out2021-07-25 20:58 7.3K 
[ ]subset_1__t20_subset_1.vmin12021-07-25 20:57 589  
[ ]subset_1__t20_subset_1.depvmin12021-07-25 21:03 63  
[ ]subset_1__t20_subset_1.depv12021-07-25 20:57 63  
[ ]subset_1__t20_subset_12021-07-17 21:32 3.2K 
[ ]subset_1__t19_subset_1.vout2021-07-25 15:07 16K 
[ ]subset_1__t19_subset_1.vmin1out2021-07-25 21:02 16K 
[ ]subset_1__t19_subset_1.vmin12021-07-25 20:57 1.2K 
[ ]subset_1__t19_subset_1.depvmin12021-07-25 21:03 185  
[ ]subset_1__t19_subset_1.depv12021-07-25 20:57 185  
[ ]subset_1__t19_subset_12021-07-17 21:35 4.1K 
[ ]subset_1__t18_subset_1.vout2021-07-25 16:29 12K 
[ ]subset_1__t18_subset_1.vmin1out2021-07-25 21:02 12K 
[ ]subset_1__t18_subset_1.vmin12021-07-25 20:57 882  
[ ]subset_1__t18_subset_1.depvmin12021-07-25 21:03 115  
[ ]subset_1__t18_subset_1.depv12021-07-25 20:57 115  
[ ]subset_1__t18_subset_12021-07-17 21:32 2.8K 
[ ]subset_1__t17_subset_1.vout2021-07-25 16:04 8.7K 
[ ]subset_1__t17_subset_1.vmin1out2021-07-25 21:02 6.7K 
[ ]subset_1__t17_subset_1.vmin12021-07-25 20:57 685  
[ ]subset_1__t17_subset_1.depvmin12021-07-25 21:03 68  
[ ]subset_1__t17_subset_1.depv12021-07-25 20:57 68  
[ ]subset_1__t17_subset_12021-07-17 21:35 2.8K 
[ ]subset_1__t16_subset_1.vout2021-07-25 17:05 8.7K 
[ ]subset_1__t16_subset_1.vmin1out2021-07-25 21:00 6.1K 
[ ]subset_1__t16_subset_1.vmin12021-07-25 20:57 685  
[ ]subset_1__t16_subset_1.depvmin12021-07-25 21:03 68  
[ ]subset_1__t16_subset_1.depv12021-07-25 20:57 68  
[ ]subset_1__t16_subset_12021-07-17 21:35 2.8K 
[ ]subset_1__t15_subset_1.vout2021-07-25 14:35 7.4K 
[ ]subset_1__t15_subset_12021-07-17 21:34 6.2K 
[ ]subset_1__t14_subset_1.vout2021-07-25 16:34 18K 
[ ]subset_1__t14_subset_1.vmin1out2021-07-25 21:02 18K 
[ ]subset_1__t14_subset_1.vmin12021-07-25 20:57 1.7K 
[ ]subset_1__t14_subset_1.depvmin12021-07-25 21:03 219  
[ ]subset_1__t14_subset_1.depv12021-07-25 20:57 219  
[ ]subset_1__t14_subset_12021-07-17 21:34 5.5K 
[ ]subset_1__t13_subset_1.vout2021-07-25 15:22 18K 
[ ]subset_1__t13_subset_1.vmin1out2021-07-25 21:02 9.1K 
[ ]subset_1__t13_subset_1.vmin12021-07-25 20:57 1.9K 
[ ]subset_1__t13_subset_1.depvmin12021-07-25 21:03 206  
[ ]subset_1__t13_subset_1.depv12021-07-25 20:57 294  
[ ]subset_1__t13_subset_12021-07-17 21:34 4.6K 
[ ]subset_1__t12_subset_1.vout2021-07-25 16:04 14K 
[ ]subset_1__t12_subset_1.vmin1out2021-07-25 20:57 12K 
[ ]subset_1__t12_subset_1.vmin12021-07-25 20:57 823  
[ ]subset_1__t12_subset_1.depvmin12021-07-25 21:03 80  
[ ]subset_1__t12_subset_1.depv12021-07-25 20:57 105  
[ ]subset_1__t12_subset_12021-07-17 21:34 2.9K 
[ ]subset_1__t11_subset_1.vout2021-07-25 19:03 12K 
[ ]subset_1__t11_subset_1.vmin1out2021-07-25 21:02 12K 
[ ]subset_1__t11_subset_1.vmin12021-07-25 20:57 1.0K 
[ ]subset_1__t11_subset_1.depvmin12021-07-25 21:03 148  
[ ]subset_1__t11_subset_1.depv12021-07-25 20:57 148  
[ ]subset_1__t11_subset_12021-07-17 21:34 3.6K 
[ ]subset_1__t10_subset_1.vout2021-07-25 20:01 12K 
[ ]subset_1__t10_subset_1.vmin1out2021-07-25 21:00 12K 
[ ]subset_1__t10_subset_1.vmin12021-07-25 20:57 1.1K 
[ ]subset_1__t10_subset_1.depvmin12021-07-25 21:03 127  
[ ]subset_1__t10_subset_1.depv12021-07-25 20:57 127  
[ ]subset_1__t10_subset_12021-07-17 21:34 4.2K 
[ ]subset_1__t9_subset_1.vout2021-07-25 20:34 3.8K 
[ ]subset_1__t9_subset_1.vmin1out2021-07-25 21:00 3.8K 
[ ]subset_1__t9_subset_1.vmin12021-07-25 20:57 483  
[ ]subset_1__t9_subset_1.depvmin12021-07-25 21:03 72  
[ ]subset_1__t9_subset_1.depv12021-07-25 20:57 72  
[ ]subset_1__t9_subset_12021-07-17 21:32 2.6K 
[ ]subset_1__t8_subset_1.vout2021-07-25 20:52 7.3K 
[ ]subset_1__t8_subset_12021-07-17 21:34 4.5K 
[ ]subset_1__t7_subset_1.vout2021-07-25 20:31 6.8K 
[ ]subset_1__t7_subset_12021-07-17 21:33 3.1K 
[ ]subset_1__t6_subset_1.vout2021-07-25 17:45 6.8K 
[ ]subset_1__t6_subset_12021-07-17 21:33 3.4K 
[ ]subset_1__t5_subset_1.vout2021-07-25 20:25 6.8K 
[ ]subset_1__t5_subset_12021-07-17 21:33 3.7K 
[ ]subset_1__t4_subset_1.vout2021-07-25 18:23 9.5K 
[ ]subset_1__t4_subset_1.vmin1out2021-07-25 20:58 9.8K 
[ ]subset_1__t4_subset_1.vmin12021-07-25 20:57 823  
[ ]subset_1__t4_subset_1.depvmin12021-07-25 21:03 92  
[ ]subset_1__t4_subset_1.depv12021-07-25 20:57 92  
[ ]subset_1__t4_subset_12021-07-17 21:33 2.3K 
[ ]subset_1__t3_subset_1.vout2021-07-25 16:54 8.4K 
[ ]subset_1__t3_subset_12021-07-17 21:32 2.3K 
[ ]subset_1__t2_subset_1.vout2021-07-25 20:46 12K 
[ ]subset_1__t2_subset_1.vmin1out2021-07-25 20:58 8.4K 
[ ]subset_1__t2_subset_1.vmin12021-07-25 20:57 875  
[ ]subset_1__t2_subset_1.depvmin12021-07-25 21:03 78  
[ ]subset_1__t2_subset_1.depv12021-07-25 20:57 78  
[ ]subset_1__t2_subset_12021-07-17 21:33 2.4K 
[ ]subset_1__t1_subset_1.vout2021-07-25 19:33 2.1K 
[ ]subset_1__t1_subset_1.vmin1out2021-07-25 20:59 2.2K 
[ ]subset_1__t1_subset_1.vmin12021-07-25 20:57 234  
[ ]subset_1__t1_subset_1.depvmin12021-07-25 21:03 39  
[ ]subset_1__t1_subset_1.depv12021-07-25 20:57 39  
[ ]subset_1__t1_subset_12021-07-17 21:33 1.9K 
[ ]subset_1__l49_subset_1.vout2021-07-25 20:13 5.6K 
[ ]subset_1__l49_subset_1.vmin1out2021-07-25 21:02 5.2K 
[ ]subset_1__l49_subset_1.vmin12021-07-25 20:57 657  
[ ]subset_1__l49_subset_1.depvmin12021-07-25 21:03 69  
[ ]subset_1__l49_subset_1.depv12021-07-25 20:57 69  
[ ]subset_1__l49_subset_12021-07-17 21:40 2.1K 
[ ]subset_1__l48_subset_1.vout2021-07-25 20:42 8.2K 
[ ]subset_1__l48_subset_1.vmin1out2021-07-25 21:00 8.1K 
[ ]subset_1__l48_subset_1.vmin12021-07-25 20:57 657  
[ ]subset_1__l48_subset_1.depvmin12021-07-25 21:03 60  
[ ]subset_1__l48_subset_1.depv12021-07-25 20:57 60  
[ ]subset_1__l48_subset_12021-07-17 21:40 2.3K 
[ ]subset_1__l2_subset_1.vout2021-07-25 18:10 8.8K 
[ ]subset_1__l2_subset_1.vmin1out2021-07-25 21:02 8.7K 
[ ]subset_1__l2_subset_1.vmin12021-07-25 20:57 656  
[ ]subset_1__l2_subset_1.depvmin12021-07-25 21:03 59  
[ ]subset_1__l2_subset_1.depv12021-07-25 20:57 59  
[ ]subset_1__l2_subset_12021-07-17 21:40 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80