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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mssubfam__t53_mssubfam.vout2021-07-25 19:03 4.7K 
[ ]mssubfam__t53_mssubfam2021-07-18 09:34 28K 
[ ]mssubfam__t52_mssubfam.vout2021-07-25 17:14 7.3K 
[ ]mssubfam__t52_mssubfam2021-07-18 09:34 17K 
[ ]mssubfam__t51_mssubfam.vout2021-07-25 15:18 6.3K 
[ ]mssubfam__t51_mssubfam2021-07-18 09:34 22K 
[ ]mssubfam__t50_mssubfam.vout2021-07-25 17:34 4.1K 
[ ]mssubfam__t50_mssubfam2021-07-18 09:34 19K 
[ ]mssubfam__t49_mssubfam.vout2021-07-25 16:51 4.1K 
[ ]mssubfam__t49_mssubfam2021-07-18 09:33 24K 
[ ]mssubfam__t48_mssubfam.vout2021-07-25 17:05 4.7K 
[ ]mssubfam__t48_mssubfam2021-07-18 09:33 30K 
[ ]mssubfam__t47_mssubfam.vout2021-07-25 17:08 7.3K 
[ ]mssubfam__t47_mssubfam2021-07-18 09:33 18K 
[ ]mssubfam__t46_mssubfam.vout2021-07-25 18:42 7.3K 
[ ]mssubfam__t46_mssubfam2021-07-18 09:33 17K 
[ ]mssubfam__t45_mssubfam.vout2021-07-25 20:53 4.7K 
[ ]mssubfam__t45_mssubfam2021-07-18 09:32 29K 
[ ]mssubfam__t44_mssubfam.vout2021-07-25 20:22 4.7K 
[ ]mssubfam__t44_mssubfam2021-07-18 09:32 26K 
[ ]mssubfam__t43_mssubfam.vout2021-07-25 19:36 7.3K 
[ ]mssubfam__t43_mssubfam2021-07-18 09:32 17K 
[ ]mssubfam__t42_mssubfam.vout2021-07-25 19:01 7.3K 
[ ]mssubfam__t42_mssubfam2021-07-18 09:31 18K 
[ ]mssubfam__t41_mssubfam.vout2021-07-25 15:33 4.7K 
[ ]mssubfam__t41_mssubfam2021-07-18 09:31 26K 
[ ]mssubfam__t40_mssubfam.vout2021-07-25 17:08 34K 
[ ]mssubfam__t40_mssubfam.vmin1out2021-07-25 21:00 36K 
[ ]mssubfam__t40_mssubfam.vmin12021-07-25 20:57 2.4K 
[ ]mssubfam__t40_mssubfam.depvmin12021-07-25 21:03 139  
[ ]mssubfam__t40_mssubfam.depv12021-07-25 20:57 139  
[ ]mssubfam__t40_mssubfam2021-07-18 09:31 16K 
[ ]mssubfam__t39_mssubfam.vout2021-07-25 14:46 4.1K 
[ ]mssubfam__t39_mssubfam2021-07-18 09:31 20K 
[ ]mssubfam__t38_mssubfam.vout2021-07-25 19:25 43K 
[ ]mssubfam__t38_mssubfam.vmin1out2021-07-25 20:58 26K 
[ ]mssubfam__t38_mssubfam.vmin12021-07-25 20:57 1.7K 
[ ]mssubfam__t38_mssubfam.depvmin12021-07-25 21:03 80  
[ ]mssubfam__t38_mssubfam.depv12021-07-25 20:57 80  
[ ]mssubfam__t38_mssubfam2021-07-18 09:31 17K 
[ ]mssubfam__t37_mssubfam.vout2021-07-25 16:49 2.0K 
[ ]mssubfam__t37_mssubfam2021-07-18 09:30 5.4K 
[ ]mssubfam__t36_mssubfam.vout2021-07-25 16:33 2.0K 
[ ]mssubfam__t36_mssubfam2021-07-18 09:30 17K 
[ ]mssubfam__t35_mssubfam.vout2021-07-25 17:04 20K 
[ ]mssubfam__t35_mssubfam.vmin1out2021-07-25 20:59 56K 
[ ]mssubfam__t35_mssubfam.vmin12021-07-25 20:57 2.3K 
[ ]mssubfam__t35_mssubfam.depvmin12021-07-25 21:03 96  
[ ]mssubfam__t35_mssubfam.depv12021-07-25 20:57 96  
[ ]mssubfam__t35_mssubfam2021-07-18 09:30 18K 
[ ]mssubfam__t34_mssubfam.vout2021-07-25 19:09 38K 
[ ]mssubfam__t34_mssubfam.vmin1out2021-07-25 21:02 29K 
[ ]mssubfam__t34_mssubfam.vmin12021-07-25 20:57 1.9K 
[ ]mssubfam__t34_mssubfam.depvmin12021-07-25 21:03 74  
[ ]mssubfam__t34_mssubfam.depv12021-07-25 20:57 74  
[ ]mssubfam__t34_mssubfam2021-07-18 09:30 17K 
[ ]mssubfam__t33_mssubfam.vout2021-07-25 20:42 17K 
[ ]mssubfam__t33_mssubfam.vmin1out2021-07-25 21:01 29K 
[ ]mssubfam__t33_mssubfam.vmin12021-07-25 20:57 1.8K 
[ ]mssubfam__t33_mssubfam.depvmin12021-07-25 21:03 73  
[ ]mssubfam__t33_mssubfam.depv12021-07-25 20:57 73  
[ ]mssubfam__t33_mssubfam2021-07-18 09:30 17K 
[ ]mssubfam__t32_mssubfam.vout2021-07-25 19:44 39K 
[ ]mssubfam__t32_mssubfam.vmin1out2021-07-25 21:02 39K 
[ ]mssubfam__t32_mssubfam.vmin12021-07-25 20:57 1.9K 
[ ]mssubfam__t32_mssubfam.depvmin12021-07-25 21:03 82  
[ ]mssubfam__t32_mssubfam.depv12021-07-25 20:57 82  
[ ]mssubfam__t32_mssubfam2021-07-18 09:29 16K 
[ ]mssubfam__t31_mssubfam.vout2021-07-25 17:14 14K 
[ ]mssubfam__t31_mssubfam.vmin1out2021-07-25 21:00 15K 
[ ]mssubfam__t31_mssubfam.vmin12021-07-25 20:57 1.3K 
[ ]mssubfam__t31_mssubfam.depvmin12021-07-25 21:03 63  
[ ]mssubfam__t31_mssubfam.depv12021-07-25 20:57 76  
[ ]mssubfam__t31_mssubfam2021-07-18 09:23 23K 
[ ]mssubfam__t30_mssubfam.vout2021-07-25 19:06 4.1K 
[ ]mssubfam__t30_mssubfam2021-07-18 09:29 20K 
[ ]mssubfam__t29_mssubfam.vout2021-07-25 16:48 4.7K 
[ ]mssubfam__t29_mssubfam2021-07-18 09:29 26K 
[ ]mssubfam__t28_mssubfam.vout2021-07-25 14:30 4.7K 
[ ]mssubfam__t28_mssubfam2021-07-18 09:29 26K 
[ ]mssubfam__t27_mssubfam.vout2021-07-25 16:08 7.3K 
[ ]mssubfam__t27_mssubfam2021-07-18 09:28 20K 
[ ]mssubfam__t26_mssubfam.vout2021-07-25 19:23 7.3K 
[ ]mssubfam__t26_mssubfam2021-07-18 09:28 22K 
[ ]mssubfam__t25_mssubfam.vout2021-07-25 15:08 38K 
[ ]mssubfam__t25_mssubfam.vmin1out2021-07-25 20:59 36K 
[ ]mssubfam__t25_mssubfam.vmin12021-07-25 20:57 2.4K 
[ ]mssubfam__t25_mssubfam.depvmin12021-07-25 21:03 136  
[ ]mssubfam__t25_mssubfam.depv12021-07-25 20:57 136  
[ ]mssubfam__t25_mssubfam2021-07-18 09:28 15K 
[ ]mssubfam__t24_mssubfam.vout2021-07-25 19:00 30K 
[ ]mssubfam__t24_mssubfam.vmin1out2021-07-25 21:02 31K 
[ ]mssubfam__t24_mssubfam.vmin12021-07-25 20:57 2.0K 
[ ]mssubfam__t24_mssubfam.depvmin12021-07-25 21:03 131  
[ ]mssubfam__t24_mssubfam.depv12021-07-25 20:57 131  
[ ]mssubfam__t24_mssubfam2021-07-18 09:28 13K 
[ ]mssubfam__t23_mssubfam.vout2021-07-25 17:56 40K 
[ ]mssubfam__t23_mssubfam.vmin1out2021-07-25 20:58 39K 
[ ]mssubfam__t23_mssubfam.vmin12021-07-25 20:57 1.7K 
[ ]mssubfam__t23_mssubfam.depvmin12021-07-25 21:03 88  
[ ]mssubfam__t23_mssubfam.depv12021-07-25 20:57 88  
[ ]mssubfam__t23_mssubfam2021-07-18 09:27 11K 
[ ]mssubfam__t22_mssubfam.vout2021-07-25 18:32 4.7K 
[ ]mssubfam__t22_mssubfam2021-07-18 09:27 25K 
[ ]mssubfam__t21_mssubfam.vout2021-07-25 17:10 30K 
[ ]mssubfam__t21_mssubfam.vmin1out2021-07-25 20:58 35K 
[ ]mssubfam__t21_mssubfam.vmin12021-07-25 20:57 1.4K 
[ ]mssubfam__t21_mssubfam.depvmin12021-07-25 21:03 115  
[ ]mssubfam__t21_mssubfam.depv12021-07-25 20:57 115  
[ ]mssubfam__t21_mssubfam2021-07-18 09:27 13K 
[ ]mssubfam__t20_mssubfam.vout2021-07-25 14:23 37K 
[ ]mssubfam__t20_mssubfam.vmin1out2021-07-25 21:01 40K 
[ ]mssubfam__t20_mssubfam.vmin12021-07-25 20:57 2.1K 
[ ]mssubfam__t20_mssubfam.depvmin12021-07-25 21:03 128  
[ ]mssubfam__t20_mssubfam.depv12021-07-25 20:57 128  
[ ]mssubfam__t20_mssubfam2021-07-18 09:27 11K 
[ ]mssubfam__t19_mssubfam.vout2021-07-25 15:45 37K 
[ ]mssubfam__t19_mssubfam.vmin1out2021-07-25 21:00 40K 
[ ]mssubfam__t19_mssubfam.vmin12021-07-25 20:57 2.1K 
[ ]mssubfam__t19_mssubfam.depvmin12021-07-25 21:03 128  
[ ]mssubfam__t19_mssubfam.depv12021-07-25 20:57 128  
[ ]mssubfam__t19_mssubfam2021-07-18 09:26 11K 
[ ]mssubfam__t18_mssubfam.vout2021-07-25 18:06 13K 
[ ]mssubfam__t18_mssubfam.vmin1out2021-07-25 21:01 16K 
[ ]mssubfam__t18_mssubfam.vmin12021-07-25 20:57 1.2K 
[ ]mssubfam__t18_mssubfam.depvmin12021-07-25 21:03 72  
[ ]mssubfam__t18_mssubfam.depv12021-07-25 20:57 72  
[ ]mssubfam__t18_mssubfam2021-07-18 09:26 12K 
[ ]mssubfam__t17_mssubfam.vout2021-07-25 20:54 4.1K 
[ ]mssubfam__t17_mssubfam2021-07-18 09:26 25K 
[ ]mssubfam__t16_mssubfam.vout2021-07-25 18:02 4.7K 
[ ]mssubfam__t16_mssubfam2021-07-18 09:26 22K 
[ ]mssubfam__t15_mssubfam.vout2021-07-25 15:11 25K 
[ ]mssubfam__t15_mssubfam.vmin1out2021-07-25 21:01 34K 
[ ]mssubfam__t15_mssubfam.vmin12021-07-25 20:57 2.0K 
[ ]mssubfam__t15_mssubfam.depvmin12021-07-25 21:03 147  
[ ]mssubfam__t15_mssubfam.depv12021-07-25 20:57 169  
[ ]mssubfam__t15_mssubfam2021-07-18 09:26 16K 
[ ]mssubfam__t14_mssubfam.vout2021-07-25 14:47 15K 
[ ]mssubfam__t14_mssubfam.vmin1out2021-07-25 21:01 15K 
[ ]mssubfam__t14_mssubfam.vmin12021-07-25 20:57 1.1K 
[ ]mssubfam__t14_mssubfam.depvmin12021-07-25 21:03 75  
[ ]mssubfam__t14_mssubfam.depv12021-07-25 20:57 75  
[ ]mssubfam__t14_mssubfam2021-07-18 09:25 15K 
[ ]mssubfam__t13_mssubfam.vout2021-07-25 17:19 15K 
[ ]mssubfam__t13_mssubfam.vmin1out2021-07-25 21:01 15K 
[ ]mssubfam__t13_mssubfam.vmin12021-07-25 20:57 1.1K 
[ ]mssubfam__t13_mssubfam.depvmin12021-07-25 21:03 75  
[ ]mssubfam__t13_mssubfam.depv12021-07-25 20:57 75  
[ ]mssubfam__t13_mssubfam2021-07-18 09:25 15K 
[ ]mssubfam__t12_mssubfam.vout2021-07-25 14:54 26K 
[ ]mssubfam__t12_mssubfam.vmin1out2021-07-25 21:00 25K 
[ ]mssubfam__t12_mssubfam.vmin12021-07-25 20:57 1.8K 
[ ]mssubfam__t12_mssubfam.depvmin12021-07-25 21:03 110  
[ ]mssubfam__t12_mssubfam.depv12021-07-25 20:57 110  
[ ]mssubfam__t12_mssubfam2021-07-18 09:25 10K 
[ ]mssubfam__t11_mssubfam.vout2021-07-25 14:46 17K 
[ ]mssubfam__t11_mssubfam.vmin1out2021-07-25 20:58 17K 
[ ]mssubfam__t11_mssubfam.vmin12021-07-25 20:57 1.0K 
[ ]mssubfam__t11_mssubfam.depvmin12021-07-25 21:03 44  
[ ]mssubfam__t11_mssubfam.depv12021-07-25 20:57 44  
[ ]mssubfam__t11_mssubfam2021-07-18 09:25 10K 
[ ]mssubfam__t10_mssubfam.vout2021-07-25 14:28 11K 
[ ]mssubfam__t10_mssubfam.vmin1out2021-07-25 20:58 10K 
[ ]mssubfam__t10_mssubfam.vmin12021-07-25 20:57 1.0K 
[ ]mssubfam__t10_mssubfam.depvmin12021-07-25 21:03 114  
[ ]mssubfam__t10_mssubfam.depv12021-07-25 20:57 114  
[ ]mssubfam__t10_mssubfam2021-07-18 09:25 10K 
[ ]mssubfam__t9_mssubfam.vout2021-07-25 14:38 7.5K 
[ ]mssubfam__t9_mssubfam.vmin1out2021-07-25 20:58 7.4K 
[ ]mssubfam__t9_mssubfam.vmin12021-07-25 20:57 737  
[ ]mssubfam__t9_mssubfam.depvmin12021-07-25 21:03 88  
[ ]mssubfam__t9_mssubfam.depv12021-07-25 20:57 88  
[ ]mssubfam__t9_mssubfam2021-07-18 09:24 9.0K 
[ ]mssubfam__t8_mssubfam.vout2021-07-25 15:54 38K 
[ ]mssubfam__t8_mssubfam.vmin1out2021-07-25 21:00 38K 
[ ]mssubfam__t8_mssubfam.vmin12021-07-25 20:57 2.5K 
[ ]mssubfam__t8_mssubfam.depvmin12021-07-25 21:03 308  
[ ]mssubfam__t8_mssubfam.depv12021-07-25 20:57 308  
[ ]mssubfam__t8_mssubfam2021-07-18 09:24 12K 
[ ]mssubfam__t7_mssubfam.vout2021-07-25 18:13 9.2K 
[ ]mssubfam__t7_mssubfam.vmin1out2021-07-25 21:00 8.9K 
[ ]mssubfam__t7_mssubfam.vmin12021-07-25 20:57 842  
[ ]mssubfam__t7_mssubfam.depvmin12021-07-25 21:03 83  
[ ]mssubfam__t7_mssubfam.depv12021-07-25 20:57 83  
[ ]mssubfam__t7_mssubfam2021-07-18 09:24 9.5K 
[ ]mssubfam__t6_mssubfam.vout2021-07-25 16:03 9.2K 
[ ]mssubfam__t6_mssubfam.vmin1out2021-07-25 20:59 8.9K 
[ ]mssubfam__t6_mssubfam.vmin12021-07-25 20:57 834  
[ ]mssubfam__t6_mssubfam.depvmin12021-07-25 21:03 83  
[ ]mssubfam__t6_mssubfam.depv12021-07-25 20:57 83  
[ ]mssubfam__t6_mssubfam2021-07-18 09:24 8.7K 
[ ]mssubfam__t5_mssubfam.vout2021-07-25 17:25 9.6K 
[ ]mssubfam__t5_mssubfam.vmin1out2021-07-25 21:00 9.9K 
[ ]mssubfam__t5_mssubfam.vmin12021-07-25 20:57 837  
[ ]mssubfam__t5_mssubfam.depvmin12021-07-25 21:03 71  
[ ]mssubfam__t5_mssubfam.depv12021-07-25 20:57 71  
[ ]mssubfam__t5_mssubfam2021-07-18 09:24 8.7K 
[ ]mssubfam__t4_mssubfam.vout2021-07-25 19:52 12K 
[ ]mssubfam__t4_mssubfam.vmin1out2021-07-25 21:00 13K 
[ ]mssubfam__t4_mssubfam.vmin12021-07-25 20:57 855  
[ ]mssubfam__t4_mssubfam.depvmin12021-07-25 21:03 71  
[ ]mssubfam__t4_mssubfam.depv12021-07-25 20:57 71  
[ ]mssubfam__t4_mssubfam2021-07-18 09:23 8.8K 
[ ]mssubfam__t3_mssubfam.vout2021-07-25 18:19 7.5K 
[ ]mssubfam__t3_mssubfam.vmin1out2021-07-25 21:00 7.4K 
[ ]mssubfam__t3_mssubfam.vmin12021-07-25 20:57 758  
[ ]mssubfam__t3_mssubfam.depvmin12021-07-25 21:03 83  
[ ]mssubfam__t3_mssubfam.depv12021-07-25 20:57 83  
[ ]mssubfam__t3_mssubfam2021-07-18 09:23 8.6K 
[ ]mssubfam__t2_mssubfam.vout2021-07-25 16:02 8.0K 
[ ]mssubfam__t2_mssubfam.vmin1out2021-07-25 21:02 7.9K 
[ ]mssubfam__t2_mssubfam.vmin12021-07-25 20:57 766  
[ ]mssubfam__t2_mssubfam.depvmin12021-07-25 21:03 83  
[ ]mssubfam__t2_mssubfam.depv12021-07-25 20:57 83  
[ ]mssubfam__t2_mssubfam2021-07-18 09:23 8.6K 
[ ]mssubfam__t1_mssubfam.vout2021-07-25 20:42 6.9K 
[ ]mssubfam__t1_mssubfam.vmin1out2021-07-25 21:01 6.8K 
[ ]mssubfam__t1_mssubfam.vmin12021-07-25 20:57 744  
[ ]mssubfam__t1_mssubfam.depvmin12021-07-25 21:03 86  
[ ]mssubfam__t1_mssubfam.depv12021-07-25 20:57 86  
[ ]mssubfam__t1_mssubfam2021-07-18 09:23 9.0K 
[ ]mssubfam__l61_mssubfam.vout2021-07-25 17:07 4.7K 
[ ]mssubfam__l61_mssubfam2021-07-18 09:35 32K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80