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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]subset_1__t3_subset_12024-07-27 19:17 2.3K 
[ ]subset_1__t9_subset_12024-07-27 19:17 2.6K 
[ ]subset_1__t18_subset_12024-07-27 19:18 2.8K 
[ ]subset_1__t20_subset_12024-07-27 19:18 3.2K 
[ ]subset_1__t21_subset_12024-07-27 19:18 4.0K 
[ ]subset_1__t22_subset_12024-07-27 19:19 3.6K 
[ ]subset_1__t1_subset_12024-07-27 19:19 1.9K 
[ ]subset_1__t2_subset_12024-07-27 19:20 2.4K 
[ ]subset_1__t4_subset_12024-07-27 19:20 2.3K 
[ ]subset_1__t5_subset_12024-07-27 19:20 3.7K 
[ ]subset_1__t6_subset_12024-07-27 19:21 3.4K 
[ ]subset_1__t7_subset_12024-07-27 19:21 3.1K 
[ ]subset_1__t8_subset_12024-07-27 19:22 4.5K 
[ ]subset_1__t10_subset_12024-07-27 19:22 4.2K 
[ ]subset_1__t11_subset_12024-07-27 19:23 3.6K 
[ ]subset_1__t12_subset_12024-07-27 19:23 2.9K 
[ ]subset_1__t13_subset_12024-07-27 19:23 4.6K 
[ ]subset_1__t14_subset_12024-07-27 19:24 5.5K 
[ ]subset_1__t15_subset_12024-07-27 19:24 6.2K 
[ ]subset_1__t16_subset_12024-07-27 19:25 2.8K 
[ ]subset_1__t17_subset_12024-07-27 19:25 2.8K 
[ ]subset_1__t19_subset_12024-07-27 19:26 4.1K 
[ ]subset_1__t23_subset_12024-07-27 19:26 3.7K 
[ ]subset_1__t24_subset_12024-07-27 19:26 3.2K 
[ ]subset_1__t25_subset_12024-07-27 19:27 3.9K 
[ ]subset_1__t26_subset_12024-07-27 19:27 3.4K 
[ ]subset_1__t27_subset_12024-07-27 19:28 2.3K 
[ ]subset_1__t28_subset_12024-07-27 19:28 2.4K 
[ ]subset_1__t29_subset_12024-07-27 19:28 2.7K 
[ ]subset_1__t30_subset_12024-07-27 19:29 3.4K 
[ ]subset_1__t31_subset_12024-07-27 19:29 2.7K 
[ ]subset_1__t32_subset_12024-07-27 19:30 2.7K 
[ ]subset_1__t33_subset_12024-07-27 19:30 2.5K 
[ ]subset_1__t34_subset_12024-07-27 19:30 2.6K 
[ ]subset_1__t35_subset_12024-07-27 19:31 2.7K 
[ ]subset_1__t36_subset_12024-07-27 19:31 2.7K 
[ ]subset_1__t37_subset_12024-07-27 19:32 2.8K 
[ ]subset_1__t38_subset_12024-07-27 19:32 2.9K 
[ ]subset_1__t39_subset_12024-07-27 19:32 3.0K 
[ ]subset_1__t40_subset_12024-07-27 19:33 3.0K 
[ ]subset_1__t41_subset_12024-07-27 19:33 2.5K 
[ ]subset_1__t42_subset_12024-07-27 19:34 2.4K 
[ ]subset_1__t43_subset_12024-07-27 19:34 2.7K 
[ ]subset_1__t44_subset_12024-07-27 19:34 4.5K 
[ ]subset_1__t45_subset_12024-07-27 19:35 3.5K 
[ ]subset_1__t46_subset_12024-07-27 19:35 2.0K 
[ ]subset_1__t47_subset_12024-07-27 19:36 4.0K 
[ ]subset_1__t48_subset_12024-07-27 19:36 1.6K 
[ ]subset_1__t49_subset_12024-07-27 19:36 2.1K 
[ ]subset_1__t50_subset_12024-07-27 19:37 4.3K 
[ ]subset_1__t51_subset_12024-07-27 19:37 4.3K 
[ ]subset_1__t52_subset_12024-07-27 19:38 4.3K 
[ ]subset_1__t53_subset_12024-07-27 19:38 4.4K 
[ ]subset_1__l2_subset_12024-07-27 19:38 2.2K 
[ ]subset_1__l48_subset_12024-07-27 19:39 2.3K 
[ ]subset_1__l49_subset_12024-07-27 19:39 2.1K 
[ ]subset_1__t27_subset_1.vout2024-08-03 04:07 9.2K 
[ ]subset_1__t21_subset_1.vout2024-08-03 04:15 9.4K 
[ ]subset_1__t49_subset_1.vout2024-08-03 04:21 7.3K 
[ ]subset_1__t50_subset_1.vout2024-08-03 04:28 14K 
[ ]subset_1__t52_subset_1.vout2024-08-03 04:36 7.9K 
[ ]subset_1__t48_subset_1.vout2024-08-03 04:37 4.5K 
[ ]subset_1__t1_subset_1.vout2024-08-03 04:48 2.1K 
[ ]subset_1__t11_subset_1.vout2024-08-03 05:00 12K 
[ ]subset_1__t51_subset_1.vout2024-08-03 05:02 13K 
[ ]subset_1__t42_subset_1.vout2024-08-03 05:14 5.1K 
[ ]subset_1__t31_subset_1.vout2024-08-03 05:16 13K 
[ ]subset_1__t37_subset_1.vout2024-08-03 05:19 29K 
[ ]subset_1__t18_subset_1.vout2024-08-03 05:22 12K 
[ ]subset_1__t19_subset_1.vout2024-08-03 05:24 16K 
[ ]subset_1__t16_subset_1.vout2024-08-03 05:47 8.7K 
[ ]subset_1__t9_subset_1.vout2024-08-03 06:02 3.8K 
[ ]subset_1__t36_subset_1.vout2024-08-03 06:03 21K 
[ ]subset_1__t53_subset_1.vout2024-08-03 06:04 38K 
[ ]subset_1__l49_subset_1.vout2024-08-03 06:11 5.6K 
[ ]subset_1__t3_subset_1.vout2024-08-03 06:11 8.4K 
[ ]subset_1__t13_subset_1.vout2024-08-03 06:13 18K 
[ ]subset_1__t47_subset_1.vout2024-08-03 06:43 11K 
[ ]subset_1__t32_subset_1.vout2024-08-03 06:51 13K 
[ ]subset_1__t29_subset_1.vout2024-08-03 06:59 14K 
[ ]subset_1__t10_subset_1.vout2024-08-03 07:16 12K 
[ ]subset_1__t4_subset_1.vout2024-08-03 07:32 9.5K 
[ ]subset_1__t25_subset_1.vout2024-08-03 07:35 24K 
[ ]subset_1__t7_subset_1.vout2024-08-03 07:40 6.8K 
[ ]subset_1__l48_subset_1.vout2024-08-03 07:44 8.2K 
[ ]subset_1__t38_subset_1.vout2024-08-03 07:47 8.4K 
[ ]subset_1__t34_subset_1.vout2024-08-03 07:53 17K 
[ ]subset_1__t15_subset_1.vout2024-08-03 07:53 7.3K 
[ ]subset_1__t33_subset_1.vout2024-08-03 08:01 15K 
[ ]subset_1__t2_subset_1.vout2024-08-03 08:01 12K 
[ ]subset_1__t45_subset_1.vout2024-08-03 08:03 2.0K 
[ ]subset_1__t6_subset_1.vout2024-08-03 08:10 6.8K 
[ ]subset_1__t41_subset_1.vout2024-08-03 08:17 8.0K 
[ ]subset_1__t22_subset_1.vout2024-08-03 08:22 9.8K 
[ ]subset_1__t30_subset_1.vout2024-08-03 08:29 23K 
[ ]subset_1__t40_subset_1.vout2024-08-03 08:35 8.4K 
[ ]subset_1__t35_subset_1.vout2024-08-03 08:37 19K 
[ ]subset_1__t12_subset_1.vout2024-08-03 08:38 14K 
[ ]subset_1__t14_subset_1.vout2024-08-03 08:38 18K 
[ ]subset_1__t46_subset_1.vout2024-08-03 08:43 7.5K 
[ ]subset_1__t23_subset_1.vout2024-08-03 08:49 19K 
[ ]subset_1__t26_subset_1.vout2024-08-03 08:55 9.6K 
[ ]subset_1__t24_subset_1.vout2024-08-03 08:59 11K 
[ ]subset_1__l2_subset_1.vout2024-08-03 09:00 8.8K 
[ ]subset_1__t43_subset_1.vout2024-08-03 09:07 12K 
[ ]subset_1__t5_subset_1.vout2024-08-03 09:16 7.3K 
[ ]subset_1__t39_subset_1.vout2024-08-03 09:18 8.4K 
[ ]subset_1__t44_subset_1.vout2024-08-03 09:25 20K 
[ ]subset_1__t20_subset_1.vout2024-08-03 09:25 7.4K 
[ ]subset_1__t17_subset_1.vout2024-08-03 09:29 8.7K 
[ ]subset_1__t8_subset_1.vout2024-08-03 09:37 7.3K 
[ ]subset_1__t28_subset_1.vout2024-08-03 09:55 13K 
[ ]subset_1__t10_subset_1.depv12024-08-03 10:19 127  
[ ]subset_1__t23_subset_1.depv12024-08-03 10:19 96  
[ ]subset_1__t4_subset_1.depv12024-08-03 10:19 92  
[ ]subset_1__t49_subset_1.depv12024-08-03 10:19 37  
[ ]subset_1__t31_subset_1.depv12024-08-03 10:19 26  
[ ]subset_1__t42_subset_1.depv12024-08-03 10:19 40  
[ ]subset_1__t48_subset_1.depv12024-08-03 10:19 26  
[ ]subset_1__t22_subset_1.depv12024-08-03 10:19 105  
[ ]subset_1__t30_subset_1.depv12024-08-03 10:19 116  
[ ]subset_1__t33_subset_1.depv12024-08-03 10:19 114  
[ ]subset_1__l48_subset_1.depv12024-08-03 10:19 60  
[ ]subset_1__t21_subset_1.depv12024-08-03 10:19 78  
[ ]subset_1__t26_subset_1.depv12024-08-03 10:19 60  
[ ]subset_1__t17_subset_1.depv12024-08-03 10:19 68  
[ ]subset_1__t25_subset_1.depv12024-08-03 10:19 109  
[ ]subset_1__t41_subset_1.depv12024-08-03 10:19 86  
[ ]subset_1__t2_subset_1.depv12024-08-03 10:19 78  
[ ]subset_1__t34_subset_1.depv12024-08-03 10:19 114  
[ ]subset_1__t20_subset_1.depv12024-08-03 10:19 63  
[ ]subset_1__t32_subset_1.depv12024-08-03 10:19 26  
[ ]subset_1__t51_subset_1.depv12024-08-03 10:19 122  
[ ]subset_1__l2_subset_1.depv12024-08-03 10:19 59  
[ ]subset_1__t28_subset_1.depv12024-08-03 10:19 105  
[ ]subset_1__t35_subset_1.depv12024-08-03 10:19 116  
[ ]subset_1__t11_subset_1.depv12024-08-03 10:19 148  
[ ]subset_1__t50_subset_1.depv12024-08-03 10:19 154  
[ ]subset_1__t53_subset_1.depv12024-08-03 10:19 104  
[ ]subset_1__t18_subset_1.depv12024-08-03 10:19 115  
[ ]subset_1__t29_subset_1.depv12024-08-03 10:19 93  
[ ]subset_1__t47_subset_1.depv12024-08-03 10:19 66  
[ ]subset_1__t13_subset_1.depv12024-08-03 10:19 294  
[ ]subset_1__t36_subset_1.depv12024-08-03 10:19 104  
[ ]subset_1__t46_subset_1.depv12024-08-03 10:19 72  
[ ]subset_1__l49_subset_1.depv12024-08-03 10:19 69  
[ ]subset_1__t12_subset_1.depv12024-08-03 10:19 105  
[ ]subset_1__t16_subset_1.depv12024-08-03 10:19 68  
[ ]subset_1__t24_subset_1.depv12024-08-03 10:19 68  
[ ]subset_1__t1_subset_1.depv12024-08-03 10:19 39  
[ ]subset_1__t9_subset_1.depv12024-08-03 10:19 72  
[ ]subset_1__t14_subset_1.depv12024-08-03 10:19 219  
[ ]subset_1__t19_subset_1.depv12024-08-03 10:19 185  
[ ]subset_1__t43_subset_1.depv12024-08-03 10:19 70  
[ ]subset_1__t44_subset_1.depv12024-08-03 10:19 139  
[ ]subset_1__t27_subset_1.depv12024-08-03 10:19 67  
[ ]subset_1__t37_subset_1.depv12024-08-03 10:19 125  
[ ]subset_1__l2_subset_1.vmin12024-08-03 10:19 656  
[ ]subset_1__l48_subset_1.vmin12024-08-03 10:19 657  
[ ]subset_1__l49_subset_1.vmin12024-08-03 10:19 657  
[ ]subset_1__t1_subset_1.vmin12024-08-03 10:19 234  
[ ]subset_1__t2_subset_1.vmin12024-08-03 10:19 875  
[ ]subset_1__t4_subset_1.vmin12024-08-03 10:19 823  
[ ]subset_1__t9_subset_1.vmin12024-08-03 10:19 483  
[ ]subset_1__t10_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t11_subset_1.vmin12024-08-03 10:19 1.0K 
[ ]subset_1__t12_subset_1.vmin12024-08-03 10:19 823  
[ ]subset_1__t13_subset_1.vmin12024-08-03 10:19 1.9K 
[ ]subset_1__t14_subset_1.vmin12024-08-03 10:19 1.7K 
[ ]subset_1__t16_subset_1.vmin12024-08-03 10:19 685  
[ ]subset_1__t17_subset_1.vmin12024-08-03 10:19 685  
[ ]subset_1__t18_subset_1.vmin12024-08-03 10:19 882  
[ ]subset_1__t19_subset_1.vmin12024-08-03 10:19 1.2K 
[ ]subset_1__t20_subset_1.vmin12024-08-03 10:19 589  
[ ]subset_1__t21_subset_1.vmin12024-08-03 10:19 847  
[ ]subset_1__t22_subset_1.vmin12024-08-03 10:19 912  
[ ]subset_1__t23_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t24_subset_1.vmin12024-08-03 10:19 658  
[ ]subset_1__t25_subset_1.vmin12024-08-03 10:19 1.3K 
[ ]subset_1__t26_subset_1.vmin12024-08-03 10:19 691  
[ ]subset_1__t27_subset_1.vmin12024-08-03 10:19 714  
[ ]subset_1__t28_subset_1.vmin12024-08-03 10:19 953  
[ ]subset_1__t29_subset_1.vmin12024-08-03 10:19 918  
[ ]subset_1__t30_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t31_subset_1.vmin12024-08-03 10:19 503  
[ ]subset_1__t32_subset_1.vmin12024-08-03 10:19 503  
[ ]subset_1__t33_subset_1.vmin12024-08-03 10:19 1.0K 
[ ]subset_1__t34_subset_1.vmin12024-08-03 10:19 1.0K 
[ ]subset_1__t35_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t36_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t37_subset_1.vmin12024-08-03 10:19 1.3K 
[ ]subset_1__t41_subset_1.vmin12024-08-03 10:19 704  
[ ]subset_1__t42_subset_1.vmin12024-08-03 10:19 321  
[ ]subset_1__t43_subset_1.vmin12024-08-03 10:19 848  
[ ]subset_1__t44_subset_1.vmin12024-08-03 10:19 1.4K 
[ ]subset_1__t46_subset_1.vmin12024-08-03 10:19 663  
[ ]subset_1__t47_subset_1.vmin12024-08-03 10:19 772  
[ ]subset_1__t48_subset_1.vmin12024-08-03 10:19 288  
[ ]subset_1__t49_subset_1.vmin12024-08-03 10:19 403  
[ ]subset_1__t50_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t51_subset_1.vmin12024-08-03 10:19 1.1K 
[ ]subset_1__t53_subset_1.vmin12024-08-03 10:19 1.6K 
[ ]subset_1__t16_subset_1.vmin1out2024-08-03 10:20 6.1K 
[ ]subset_1__l2_subset_1.vmin1out2024-08-03 10:20 8.7K 
[ ]subset_1__t10_subset_1.vmin1out2024-08-03 10:20 12K 
[ ]subset_1__t1_subset_1.vmin1out2024-08-03 10:20 2.2K 
[ ]subset_1__t21_subset_1.vmin1out2024-08-03 10:20 7.9K 
[ ]subset_1__t4_subset_1.vmin1out2024-08-03 10:20 9.8K 
[ ]subset_1__t37_subset_1.vmin1out2024-08-03 10:20 22K 
[ ]subset_1__t33_subset_1.vmin1out2024-08-03 10:20 14K 
[ ]subset_1__t12_subset_1.vmin1out2024-08-03 10:20 12K 
[ ]subset_1__t48_subset_1.vmin1out2024-08-03 10:21 5.6K 
[ ]subset_1__t51_subset_1.vmin1out2024-08-03 10:21 13K 
[ ]subset_1__t32_subset_1.vmin1out2024-08-03 10:21 12K 
[ ]subset_1__t23_subset_1.vmin1out2024-08-03 10:21 19K 
[ ]subset_1__t31_subset_1.vmin1out2024-08-03 10:21 12K 
[ ]subset_1__t47_subset_1.vmin1out2024-08-03 10:21 10K 
[ ]subset_1__t43_subset_1.vmin1out2024-08-03 10:21 11K 
[ ]subset_1__t36_subset_1.vmin1out2024-08-03 10:21 20K 
[ ]subset_1__t25_subset_1.vmin1out2024-08-03 10:21 24K 
[ ]subset_1__t30_subset_1.vmin1out2024-08-03 10:21 24K 
[ ]subset_1__t46_subset_1.vmin1out2024-08-03 10:21 7.1K 
[ ]subset_1__t20_subset_1.vmin1out2024-08-03 10:21 7.3K 
[ ]subset_1__t9_subset_1.vmin1out2024-08-03 10:21 3.8K 
[ ]subset_1__t44_subset_1.vmin1out2024-08-03 10:21 16K 
[ ]subset_1__t34_subset_1.vmin1out2024-08-03 10:21 17K 
[ ]subset_1__t11_subset_1.vmin1out2024-08-03 10:21 12K 
[ ]subset_1__t42_subset_1.vmin1out2024-08-03 10:21 5.1K 
[ ]subset_1__t19_subset_1.vmin1out2024-08-03 10:21 16K 
[ ]subset_1__l49_subset_1.vmin1out2024-08-03 10:22 5.2K 
[ ]subset_1__l48_subset_1.vmin1out2024-08-03 10:22 8.1K 
[ ]subset_1__t27_subset_1.vmin1out2024-08-03 10:22 6.9K 
[ ]subset_1__t18_subset_1.vmin1out2024-08-03 10:22 12K 
[ ]subset_1__t24_subset_1.vmin1out2024-08-03 10:22 10K 
[ ]subset_1__t22_subset_1.vmin1out2024-08-03 10:22 6.4K 
[ ]subset_1__t28_subset_1.vmin1out2024-08-03 10:22 13K 
[ ]subset_1__t50_subset_1.vmin1out2024-08-03 10:23 8.5K 
[ ]subset_1__t26_subset_1.vmin1out2024-08-03 10:23 6.8K 
[ ]subset_1__t14_subset_1.vmin1out2024-08-03 10:23 18K 
[ ]subset_1__t53_subset_1.vmin1out2024-08-03 10:23 35K 
[ ]subset_1__t29_subset_1.vmin1out2024-08-03 10:23 14K 
[ ]subset_1__t41_subset_1.vmin1out2024-08-03 10:23 8.0K 
[ ]subset_1__t49_subset_1.vmin1out2024-08-03 10:23 7.2K 
[ ]subset_1__t17_subset_1.vmin1out2024-08-03 10:23 6.7K 
[ ]subset_1__t35_subset_1.vmin1out2024-08-03 10:23 19K 
[ ]subset_1__t2_subset_1.vmin1out2024-08-03 10:23 8.4K 
[ ]subset_1__t13_subset_1.vmin1out2024-08-03 10:23 9.1K 
[ ]subset_1__t10_subset_1.depvmin12024-08-03 10:24 127  
[ ]subset_1__t23_subset_1.depvmin12024-08-03 10:24 96  
[ ]subset_1__t49_subset_1.depvmin12024-08-03 10:24 37  
[ ]subset_1__t4_subset_1.depvmin12024-08-03 10:24 92  
[ ]subset_1__t31_subset_1.depvmin12024-08-03 10:24 26  
[ ]subset_1__t42_subset_1.depvmin12024-08-03 10:24 40  
[ ]subset_1__t30_subset_1.depvmin12024-08-03 10:24 107  
[ ]subset_1__t33_subset_1.depvmin12024-08-03 10:24 114  
[ ]subset_1__t48_subset_1.depvmin12024-08-03 10:24 26  
[ ]subset_1__l48_subset_1.depvmin12024-08-03 10:24 60  
[ ]subset_1__t21_subset_1.depvmin12024-08-03 10:24 78  
[ ]subset_1__t22_subset_1.depvmin12024-08-03 10:24 79  
[ ]subset_1__t17_subset_1.depvmin12024-08-03 10:24 68  
[ ]subset_1__t25_subset_1.depvmin12024-08-03 10:24 96  
[ ]subset_1__t26_subset_1.depvmin12024-08-03 10:24 60  
[ ]subset_1__t34_subset_1.depvmin12024-08-03 10:24 114  
[ ]subset_1__t41_subset_1.depvmin12024-08-03 10:24 86  
[ ]subset_1__t2_subset_1.depvmin12024-08-03 10:24 78  
[ ]subset_1__t20_subset_1.depvmin12024-08-03 10:24 63  
[ ]subset_1__t32_subset_1.depvmin12024-08-03 10:24 26  
[ ]subset_1__t28_subset_1.depvmin12024-08-03 10:24 105  
[ ]subset_1__t35_subset_1.depvmin12024-08-03 10:24 116  
[ ]subset_1__t51_subset_1.depvmin12024-08-03 10:24 122  
[ ]subset_1__l2_subset_1.depvmin12024-08-03 10:24 59  
[ ]subset_1__t50_subset_1.depvmin12024-08-03 10:24 106  
[ ]subset_1__t53_subset_1.depvmin12024-08-03 10:24 104  
[ ]subset_1__t11_subset_1.depvmin12024-08-03 10:24 148  
[ ]subset_1__t18_subset_1.depvmin12024-08-03 10:24 115  
[ ]subset_1__t29_subset_1.depvmin12024-08-03 10:24 93  
[ ]subset_1__t13_subset_1.depvmin12024-08-03 10:24 206  
[ ]subset_1__t36_subset_1.depvmin12024-08-03 10:24 104  
[ ]subset_1__t47_subset_1.depvmin12024-08-03 10:24 66  
[ ]subset_1__l49_subset_1.depvmin12024-08-03 10:24 69  
[ ]subset_1__t12_subset_1.depvmin12024-08-03 10:24 80  
[ ]subset_1__t46_subset_1.depvmin12024-08-03 10:24 72  
[ ]subset_1__t1_subset_1.depvmin12024-08-03 10:24 39  
[ ]subset_1__t16_subset_1.depvmin12024-08-03 10:24 68  
[ ]subset_1__t24_subset_1.depvmin12024-08-03 10:24 68  
[ ]subset_1__t9_subset_1.depvmin12024-08-03 10:24 72  
[ ]subset_1__t14_subset_1.depvmin12024-08-03 10:24 219  
[ ]subset_1__t19_subset_1.depvmin12024-08-03 10:24 185  
[ ]subset_1__t37_subset_1.depvmin12024-08-03 10:24 104  
[ ]subset_1__t43_subset_1.depvmin12024-08-03 10:24 70  
[ ]subset_1__t44_subset_1.depvmin12024-08-03 10:24 139  
[ ]subset_1__t27_subset_1.depvmin12024-08-03 10:24 67  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80