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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mssubfam__l61_mssubfam2024-07-27 18:24 32K 
[ ]mssubfam__l61_mssubfam.vout2024-08-03 08:18 4.7K 
[ ]mssubfam__t1_mssubfam2024-07-27 17:43 9.2K 
[ ]mssubfam__t1_mssubfam.depv12024-08-03 10:19 86  
[ ]mssubfam__t1_mssubfam.depvmin12024-08-03 10:24 86  
[ ]mssubfam__t1_mssubfam.vmin12024-08-03 10:20 744  
[ ]mssubfam__t1_mssubfam.vmin1out2024-08-03 10:22 6.8K 
[ ]mssubfam__t1_mssubfam.vout2024-08-03 08:52 6.9K 
[ ]mssubfam__t2_mssubfam2024-07-27 17:43 8.8K 
[ ]mssubfam__t2_mssubfam.depv12024-08-03 10:19 83  
[ ]mssubfam__t2_mssubfam.depvmin12024-08-03 10:24 83  
[ ]mssubfam__t2_mssubfam.vmin12024-08-03 10:20 766  
[ ]mssubfam__t2_mssubfam.vmin1out2024-08-03 10:23 7.9K 
[ ]mssubfam__t2_mssubfam.vout2024-08-03 05:41 8.0K 
[ ]mssubfam__t3_mssubfam2024-07-27 17:44 8.7K 
[ ]mssubfam__t3_mssubfam.depv12024-08-03 10:19 83  
[ ]mssubfam__t3_mssubfam.depvmin12024-08-03 10:24 83  
[ ]mssubfam__t3_mssubfam.vmin12024-08-03 10:20 758  
[ ]mssubfam__t3_mssubfam.vmin1out2024-08-03 10:22 7.4K 
[ ]mssubfam__t3_mssubfam.vout2024-08-03 07:10 7.5K 
[ ]mssubfam__t4_mssubfam2024-07-27 17:45 8.9K 
[ ]mssubfam__t4_mssubfam.depv12024-08-03 10:19 71  
[ ]mssubfam__t4_mssubfam.depvmin12024-08-03 10:24 71  
[ ]mssubfam__t4_mssubfam.vmin12024-08-03 10:20 855  
[ ]mssubfam__t4_mssubfam.vmin1out2024-08-03 10:20 13K 
[ ]mssubfam__t4_mssubfam.vout2024-08-03 04:57 12K 
[ ]mssubfam__t5_mssubfam2024-07-27 17:45 8.9K 
[ ]mssubfam__t5_mssubfam.depv12024-08-03 10:19 71  
[ ]mssubfam__t5_mssubfam.depvmin12024-08-03 10:24 71  
[ ]mssubfam__t5_mssubfam.vmin12024-08-03 10:20 837  
[ ]mssubfam__t5_mssubfam.vmin1out2024-08-03 10:23 9.9K 
[ ]mssubfam__t5_mssubfam.vout2024-08-03 08:34 9.6K 
[ ]mssubfam__t6_mssubfam2024-07-27 17:46 8.8K 
[ ]mssubfam__t6_mssubfam.depv12024-08-03 10:19 83  
[ ]mssubfam__t6_mssubfam.depvmin12024-08-03 10:24 83  
[ ]mssubfam__t6_mssubfam.vmin12024-08-03 10:20 834  
[ ]mssubfam__t6_mssubfam.vmin1out2024-08-03 10:21 8.9K 
[ ]mssubfam__t6_mssubfam.vout2024-08-03 07:54 9.2K 
[ ]mssubfam__t7_mssubfam2024-07-27 17:47 9.6K 
[ ]mssubfam__t7_mssubfam.depv12024-08-03 10:19 83  
[ ]mssubfam__t7_mssubfam.depvmin12024-08-03 10:24 83  
[ ]mssubfam__t7_mssubfam.vmin12024-08-03 10:20 842  
[ ]mssubfam__t7_mssubfam.vmin1out2024-08-03 10:21 8.9K 
[ ]mssubfam__t7_mssubfam.vout2024-08-03 10:03 9.2K 
[ ]mssubfam__t8_mssubfam2024-07-27 17:47 12K 
[ ]mssubfam__t8_mssubfam.depv12024-08-03 10:19 349  
[ ]mssubfam__t8_mssubfam.depvmin12024-08-03 10:24 308  
[ ]mssubfam__t8_mssubfam.vmin12024-08-03 10:20 2.8K 
[ ]mssubfam__t8_mssubfam.vmin1out2024-08-03 10:20 38K 
[ ]mssubfam__t8_mssubfam.vout2024-08-03 07:13 49K 
[ ]mssubfam__t9_mssubfam2024-07-27 17:48 9.2K 
[ ]mssubfam__t9_mssubfam.depv12024-08-03 10:19 88  
[ ]mssubfam__t9_mssubfam.depvmin12024-08-03 10:24 88  
[ ]mssubfam__t9_mssubfam.vmin12024-08-03 10:20 737  
[ ]mssubfam__t9_mssubfam.vmin1out2024-08-03 10:23 7.4K 
[ ]mssubfam__t9_mssubfam.vout2024-08-03 09:32 7.5K 
[ ]mssubfam__t10_mssubfam2024-07-27 17:49 10K 
[ ]mssubfam__t10_mssubfam.depv12024-08-03 10:19 114  
[ ]mssubfam__t10_mssubfam.depvmin12024-08-03 10:24 114  
[ ]mssubfam__t10_mssubfam.vmin12024-08-03 10:20 1.0K 
[ ]mssubfam__t10_mssubfam.vmin1out2024-08-03 10:20 10K 
[ ]mssubfam__t10_mssubfam.vout2024-08-03 04:06 11K 
[ ]mssubfam__t11_mssubfam2024-07-27 17:49 10K 
[ ]mssubfam__t11_mssubfam.depv12024-08-03 10:19 44  
[ ]mssubfam__t11_mssubfam.depvmin12024-08-03 10:24 44  
[ ]mssubfam__t11_mssubfam.vmin12024-08-03 10:20 1.0K 
[ ]mssubfam__t11_mssubfam.vmin1out2024-08-03 10:20 17K 
[ ]mssubfam__t11_mssubfam.vout2024-08-03 05:38 17K 
[ ]mssubfam__t12_mssubfam2024-07-27 17:50 10K 
[ ]mssubfam__t12_mssubfam.depv12024-08-03 10:19 110  
[ ]mssubfam__t12_mssubfam.depvmin12024-08-03 10:24 110  
[ ]mssubfam__t12_mssubfam.vmin12024-08-03 10:20 1.8K 
[ ]mssubfam__t12_mssubfam.vmin1out2024-08-03 10:20 25K 
[ ]mssubfam__t12_mssubfam.vout2024-08-03 08:40 26K 
[ ]mssubfam__t13_mssubfam2024-07-27 17:51 15K 
[ ]mssubfam__t13_mssubfam.depv12024-08-03 10:19 75  
[ ]mssubfam__t13_mssubfam.depvmin12024-08-03 10:24 75  
[ ]mssubfam__t13_mssubfam.vmin12024-08-03 10:20 1.1K 
[ ]mssubfam__t13_mssubfam.vmin1out2024-08-03 10:23 15K 
[ ]mssubfam__t13_mssubfam.vout2024-08-03 06:31 15K 
[ ]mssubfam__t14_mssubfam2024-07-27 17:52 15K 
[ ]mssubfam__t14_mssubfam.depv12024-08-03 10:19 75  
[ ]mssubfam__t14_mssubfam.depvmin12024-08-03 10:24 75  
[ ]mssubfam__t14_mssubfam.vmin12024-08-03 10:20 1.1K 
[ ]mssubfam__t14_mssubfam.vmin1out2024-08-03 10:23 15K 
[ ]mssubfam__t14_mssubfam.vout2024-08-03 04:50 15K 
[ ]mssubfam__t15_mssubfam2024-07-27 17:52 16K 
[ ]mssubfam__t15_mssubfam.depv12024-08-03 10:19 169  
[ ]mssubfam__t15_mssubfam.depvmin12024-08-03 10:24 147  
[ ]mssubfam__t15_mssubfam.vmin12024-08-03 10:20 2.0K 
[ ]mssubfam__t15_mssubfam.vmin1out2024-08-03 10:20 34K 
[ ]mssubfam__t15_mssubfam.vout2024-08-03 05:16 25K 
[ ]mssubfam__t16_mssubfam2024-07-27 17:53 22K 
[ ]mssubfam__t16_mssubfam.vout2024-08-03 05:29 4.7K 
[ ]mssubfam__t17_mssubfam2024-07-27 17:54 25K 
[ ]mssubfam__t17_mssubfam.vout2024-08-03 07:37 4.1K 
[ ]mssubfam__t18_mssubfam2024-07-27 17:55 12K 
[ ]mssubfam__t18_mssubfam.depv12024-08-03 10:19 72  
[ ]mssubfam__t18_mssubfam.depvmin12024-08-03 10:24 72  
[ ]mssubfam__t18_mssubfam.vmin12024-08-03 10:20 1.2K 
[ ]mssubfam__t18_mssubfam.vmin1out2024-08-03 10:21 16K 
[ ]mssubfam__t18_mssubfam.vout2024-08-03 09:32 13K 
[ ]mssubfam__t19_mssubfam2024-07-27 17:55 11K 
[ ]mssubfam__t19_mssubfam.depv12024-08-03 10:19 128  
[ ]mssubfam__t19_mssubfam.depvmin12024-08-03 10:24 128  
[ ]mssubfam__t19_mssubfam.vmin12024-08-03 10:20 2.1K 
[ ]mssubfam__t19_mssubfam.vmin1out2024-08-03 10:20 40K 
[ ]mssubfam__t19_mssubfam.vout2024-08-03 08:31 37K 
[ ]mssubfam__t20_mssubfam2024-07-27 17:56 11K 
[ ]mssubfam__t20_mssubfam.depv12024-08-03 10:19 128  
[ ]mssubfam__t20_mssubfam.depvmin12024-08-03 10:24 128  
[ ]mssubfam__t20_mssubfam.vmin12024-08-03 10:20 2.1K 
[ ]mssubfam__t20_mssubfam.vmin1out2024-08-03 10:21 40K 
[ ]mssubfam__t20_mssubfam.vout2024-08-03 07:41 37K 
[ ]mssubfam__t21_mssubfam2024-07-27 17:57 13K 
[ ]mssubfam__t21_mssubfam.depv12024-08-03 10:19 115  
[ ]mssubfam__t21_mssubfam.depvmin12024-08-03 10:24 115  
[ ]mssubfam__t21_mssubfam.vmin12024-08-03 10:20 1.4K 
[ ]mssubfam__t21_mssubfam.vmin1out2024-08-03 10:23 35K 
[ ]mssubfam__t21_mssubfam.vout2024-08-03 09:55 30K 
[ ]mssubfam__t22_mssubfam2024-07-27 17:58 25K 
[ ]mssubfam__t22_mssubfam.vout2024-08-03 09:26 4.7K 
[ ]mssubfam__t23_mssubfam2024-07-27 17:58 11K 
[ ]mssubfam__t23_mssubfam.depv12024-08-03 10:19 88  
[ ]mssubfam__t23_mssubfam.depvmin12024-08-03 10:24 88  
[ ]mssubfam__t23_mssubfam.vmin12024-08-03 10:20 1.7K 
[ ]mssubfam__t23_mssubfam.vmin1out2024-08-03 10:23 39K 
[ ]mssubfam__t23_mssubfam.vout2024-08-03 04:56 40K 
[ ]mssubfam__t24_mssubfam2024-07-27 17:59 13K 
[ ]mssubfam__t24_mssubfam.depv12024-08-03 10:19 131  
[ ]mssubfam__t24_mssubfam.depvmin12024-08-03 10:24 131  
[ ]mssubfam__t24_mssubfam.vmin12024-08-03 10:20 2.0K 
[ ]mssubfam__t24_mssubfam.vmin1out2024-08-03 10:23 31K 
[ ]mssubfam__t24_mssubfam.vout2024-08-03 08:07 30K 
[ ]mssubfam__t25_mssubfam2024-07-27 18:00 15K 
[ ]mssubfam__t25_mssubfam.depv12024-08-03 10:19 136  
[ ]mssubfam__t25_mssubfam.depvmin12024-08-03 10:24 136  
[ ]mssubfam__t25_mssubfam.vmin12024-08-03 10:20 2.4K 
[ ]mssubfam__t25_mssubfam.vmin1out2024-08-03 10:22 36K 
[ ]mssubfam__t25_mssubfam.vout2024-08-03 06:49 38K 
[ ]mssubfam__t26_mssubfam2024-07-27 18:01 22K 
[ ]mssubfam__t26_mssubfam.vout2024-08-03 08:27 7.3K 
[ ]mssubfam__t27_mssubfam2024-07-27 18:02 20K 
[ ]mssubfam__t27_mssubfam.vout2024-08-03 08:33 7.3K 
[ ]mssubfam__t28_mssubfam2024-07-27 18:03 26K 
[ ]mssubfam__t28_mssubfam.vout2024-08-03 09:41 4.7K 
[ ]mssubfam__t29_mssubfam2024-07-27 18:04 26K 
[ ]mssubfam__t29_mssubfam.vout2024-08-03 09:23 4.7K 
[ ]mssubfam__t30_mssubfam2024-07-27 18:05 20K 
[ ]mssubfam__t30_mssubfam.vout2024-08-03 04:23 4.1K 
[ ]mssubfam__t31_mssubfam2024-07-27 17:42 23K 
[ ]mssubfam__t31_mssubfam.depv12024-08-03 10:19 76  
[ ]mssubfam__t31_mssubfam.depvmin12024-08-03 10:24 63  
[ ]mssubfam__t31_mssubfam.vmin12024-08-03 10:20 1.3K 
[ ]mssubfam__t31_mssubfam.vmin1out2024-08-03 10:22 15K 
[ ]mssubfam__t31_mssubfam.vout2024-08-03 06:58 14K 
[ ]mssubfam__t32_mssubfam2024-07-27 18:05 16K 
[ ]mssubfam__t32_mssubfam.depv12024-08-03 10:19 82  
[ ]mssubfam__t32_mssubfam.depvmin12024-08-03 10:24 82  
[ ]mssubfam__t32_mssubfam.vmin12024-08-03 10:20 1.9K 
[ ]mssubfam__t32_mssubfam.vmin1out2024-08-03 10:22 39K 
[ ]mssubfam__t32_mssubfam.vout2024-08-03 04:34 39K 
[ ]mssubfam__t33_mssubfam2024-07-27 18:06 17K 
[ ]mssubfam__t33_mssubfam.depv12024-08-03 10:19 73  
[ ]mssubfam__t33_mssubfam.depvmin12024-08-03 10:24 73  
[ ]mssubfam__t33_mssubfam.vmin12024-08-03 10:20 1.8K 
[ ]mssubfam__t33_mssubfam.vmin1out2024-08-03 10:20 29K 
[ ]mssubfam__t33_mssubfam.vout2024-08-03 08:03 17K 
[ ]mssubfam__t34_mssubfam2024-07-27 18:07 17K 
[ ]mssubfam__t34_mssubfam.depv12024-08-03 10:19 74  
[ ]mssubfam__t34_mssubfam.depvmin12024-08-03 10:24 74  
[ ]mssubfam__t34_mssubfam.vmin12024-08-03 10:20 1.9K 
[ ]mssubfam__t34_mssubfam.vmin1out2024-08-03 10:20 29K 
[ ]mssubfam__t34_mssubfam.vout2024-08-03 06:54 38K 
[ ]mssubfam__t35_mssubfam2024-07-27 18:08 18K 
[ ]mssubfam__t35_mssubfam.depv12024-08-03 10:19 96  
[ ]mssubfam__t35_mssubfam.depvmin12024-08-03 10:24 96  
[ ]mssubfam__t35_mssubfam.vmin12024-08-03 10:20 2.3K 
[ ]mssubfam__t35_mssubfam.vmin1out2024-08-03 10:20 56K 
[ ]mssubfam__t35_mssubfam.vout2024-08-03 10:07 20K 
[ ]mssubfam__t36_mssubfam2024-07-27 18:08 18K 
[ ]mssubfam__t36_mssubfam.vout2024-08-03 05:12 2.0K 
[ ]mssubfam__t37_mssubfam2024-07-27 18:09 5.4K 
[ ]mssubfam__t37_mssubfam.vout2024-08-03 06:02 2.0K 
[ ]mssubfam__t38_mssubfam2024-07-27 18:10 17K 
[ ]mssubfam__t38_mssubfam.depv12024-08-03 10:19 80  
[ ]mssubfam__t38_mssubfam.depvmin12024-08-03 10:24 80  
[ ]mssubfam__t38_mssubfam.vmin12024-08-03 10:20 1.7K 
[ ]mssubfam__t38_mssubfam.vmin1out2024-08-03 10:23 26K 
[ ]mssubfam__t38_mssubfam.vout2024-08-03 08:01 43K 
[ ]mssubfam__t39_mssubfam2024-07-27 18:10 20K 
[ ]mssubfam__t39_mssubfam.vout2024-08-03 07:01 4.1K 
[ ]mssubfam__t40_mssubfam2024-07-27 18:11 16K 
[ ]mssubfam__t40_mssubfam.depv12024-08-03 10:19 139  
[ ]mssubfam__t40_mssubfam.depvmin12024-08-03 10:24 139  
[ ]mssubfam__t40_mssubfam.vmin12024-08-03 10:20 2.4K 
[ ]mssubfam__t40_mssubfam.vmin1out2024-08-03 10:20 36K 
[ ]mssubfam__t40_mssubfam.vout2024-08-03 08:18 34K 
[ ]mssubfam__t41_mssubfam2024-07-27 18:12 26K 
[ ]mssubfam__t41_mssubfam.vout2024-08-03 07:29 4.7K 
[ ]mssubfam__t42_mssubfam2024-07-27 18:13 18K 
[ ]mssubfam__t42_mssubfam.vout2024-08-03 08:28 7.3K 
[ ]mssubfam__t43_mssubfam2024-07-27 18:14 17K 
[ ]mssubfam__t43_mssubfam.vout2024-08-03 09:10 7.3K 
[ ]mssubfam__t44_mssubfam2024-07-27 18:15 26K 
[ ]mssubfam__t44_mssubfam.vout2024-08-03 09:03 4.7K 
[ ]mssubfam__t45_mssubfam2024-07-27 18:16 30K 
[ ]mssubfam__t45_mssubfam.vout2024-08-03 06:14 4.7K 
[ ]mssubfam__t46_mssubfam2024-07-27 18:16 17K 
[ ]mssubfam__t46_mssubfam.vout2024-08-03 06:05 7.3K 
[ ]mssubfam__t47_mssubfam2024-07-27 18:17 18K 
[ ]mssubfam__t47_mssubfam.vout2024-08-03 08:24 7.3K 
[ ]mssubfam__t48_mssubfam2024-07-27 18:18 30K 
[ ]mssubfam__t48_mssubfam.vout2024-08-03 04:45 4.7K 
[ ]mssubfam__t49_mssubfam2024-07-27 18:19 24K 
[ ]mssubfam__t49_mssubfam.vout2024-08-03 09:25 4.1K 
[ ]mssubfam__t50_mssubfam2024-07-27 18:20 19K 
[ ]mssubfam__t50_mssubfam.vout2024-08-03 06:04 4.1K 
[ ]mssubfam__t51_mssubfam2024-07-27 18:21 23K 
[ ]mssubfam__t51_mssubfam.vout2024-08-03 10:02 6.3K 
[ ]mssubfam__t52_mssubfam2024-07-27 18:22 17K 
[ ]mssubfam__t52_mssubfam.vout2024-08-03 04:35 7.3K 
[ ]mssubfam__t53_mssubfam2024-07-27 18:23 29K 
[ ]mssubfam__t53_mssubfam.vout2024-08-03 07:58 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80