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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_3__t40_rusub_32021-07-18 06:54 26K 
[ ]rusub_3__t41_rusub_32021-07-18 06:54 26K 
[ ]rusub_3__t42_rusub_32021-07-18 06:55 26K 
[ ]rusub_3__t43_rusub_32021-07-18 06:55 26K 
[ ]rusub_3__t44_rusub_32021-07-18 06:55 26K 
[ ]rusub_3__l3_rusub_32021-07-18 06:56 7.7K 
[ ]rusub_3__t1_rusub_32021-07-18 06:56 29K 
[ ]rusub_3__t2_rusub_32021-07-18 06:56 35K 
[ ]rusub_3__t3_rusub_32021-07-18 06:57 32K 
[ ]rusub_3__t4_rusub_32021-07-18 06:57 28K 
[ ]rusub_3__t5_rusub_32021-07-18 06:58 30K 
[ ]rusub_3__t6_rusub_32021-07-18 06:58 27K 
[ ]rusub_3__t7_rusub_32021-07-18 06:58 30K 
[ ]rusub_3__t8_rusub_32021-07-18 06:59 27K 
[ ]rusub_3__t9_rusub_32021-07-18 06:59 47K 
[ ]rusub_3__t10_rusub_32021-07-18 07:00 29K 
[ ]rusub_3__t11_rusub_32021-07-18 07:01 74K 
[ ]rusub_3__t12_rusub_32021-07-18 07:01 77K 
[ ]rusub_3__t13_rusub_32021-07-18 07:02 28K 
[ ]rusub_3__t14_rusub_32021-07-18 07:02 28K 
[ ]rusub_3__t15_rusub_32021-07-18 07:02 28K 
[ ]rusub_3__t16_rusub_32021-07-18 07:03 59K 
[ ]rusub_3__t17_rusub_32021-07-18 07:04 35K 
[ ]rusub_3__t18_rusub_32021-07-18 07:04 53K 
[ ]rusub_3__t19_rusub_32021-07-18 07:05 39K 
[ ]rusub_3__t20_rusub_32021-07-18 07:05 33K 
[ ]rusub_3__t21_rusub_32021-07-18 07:05 27K 
[ ]rusub_3__t22_rusub_32021-07-18 07:06 31K 
[ ]rusub_3__t23_rusub_32021-07-18 07:06 28K 
[ ]rusub_3__t24_rusub_32021-07-18 07:07 28K 
[ ]rusub_3__t25_rusub_32021-07-18 07:07 46K 
[ ]rusub_3__t26_rusub_32021-07-18 07:08 33K 
[ ]rusub_3__t27_rusub_32021-07-18 07:08 32K 
[ ]rusub_3__t28_rusub_32021-07-18 07:09 34K 
[ ]rusub_3__t29_rusub_32021-07-18 07:09 35K 
[ ]rusub_3__t30_rusub_32021-07-18 07:09 27K 
[ ]rusub_3__t31_rusub_32021-07-18 07:10 29K 
[ ]rusub_3__t32_rusub_32021-07-18 07:10 39K 
[ ]rusub_3__t33_rusub_32021-07-18 07:11 27K 
[ ]rusub_3__t34_rusub_32021-07-18 07:11 30K 
[ ]rusub_3__t35_rusub_32021-07-18 07:12 41K 
[ ]rusub_3__t36_rusub_32021-07-18 07:12 27K 
[ ]rusub_3__t37_rusub_32021-07-18 07:12 30K 
[ ]rusub_3__t38_rusub_32021-07-18 07:13 36K 
[ ]rusub_3__t39_rusub_32021-07-18 07:13 57K 
[ ]rusub_3__t45_rusub_32021-07-18 07:14 17K 
[ ]rusub_3__l5_rusub_32021-07-18 07:14 28K 
[ ]rusub_3__l10_rusub_32021-07-18 07:15 27K 
[ ]rusub_3__l11_rusub_32021-07-18 07:15 27K 
[ ]rusub_3__l12_rusub_32021-07-18 07:15 27K 
[ ]rusub_3__l13_rusub_32021-07-18 07:16 28K 
[ ]rusub_3__l34_rusub_32021-07-18 07:16 13K 
[ ]rusub_3__t23_rusub_3.vout2021-07-25 14:23 4.2K 
[ ]rusub_3__t34_rusub_3.vout2021-07-25 14:45 4.7K 
[ ]rusub_3__t11_rusub_3.vout2021-07-25 14:47 3.7K 
[ ]rusub_3__t9_rusub_3.vout2021-07-25 14:52 3.7K 
[ ]rusub_3__t5_rusub_3.vout2021-07-25 15:05 95K 
[ ]rusub_3__t27_rusub_3.vout2021-07-25 15:09 4.2K 
[ ]rusub_3__t44_rusub_3.vout2021-07-25 15:17 18K 
[ ]rusub_3__t17_rusub_3.vout2021-07-25 15:26 4.7K 
[ ]rusub_3__t10_rusub_3.vout2021-07-25 15:27 53K 
[ ]rusub_3__t29_rusub_3.vout2021-07-25 15:36 5.4K 
[ ]rusub_3__t36_rusub_3.vout2021-07-25 15:37 29K 
[ ]rusub_3__t24_rusub_3.vout2021-07-25 15:39 57K 
[ ]rusub_3__t12_rusub_3.vout2021-07-25 15:49 3.7K 
[ ]rusub_3__l3_rusub_3.vout2021-07-25 15:51 5.2K 
[ ]rusub_3__t38_rusub_3.vout2021-07-25 15:53 4.7K 
[ ]rusub_3__l34_rusub_3.vout2021-07-25 15:57 12K 
[ ]rusub_3__t3_rusub_3.vout2021-07-25 16:07 7.3K 
[ ]rusub_3__t18_rusub_3.vout2021-07-25 16:42 3.7K 
[ ]rusub_3__t42_rusub_3.vout2021-07-25 16:44 19K 
[ ]rusub_3__t6_rusub_3.vout2021-07-25 16:49 22K 
[ ]rusub_3__t8_rusub_3.vout2021-07-25 16:58 58K 
[ ]rusub_3__t20_rusub_3.vout2021-07-25 17:01 4.2K 
[ ]rusub_3__t37_rusub_3.vout2021-07-25 17:03 4.7K 
[ ]rusub_3__t35_rusub_3.vout2021-07-25 17:04 4.2K 
[ ]rusub_3__t41_rusub_3.vout2021-07-25 17:10 18K 
[ ]rusub_3__l12_rusub_3.vout2021-07-25 17:13 70K 
[ ]rusub_3__t32_rusub_3.vout2021-07-25 17:14 3.7K 
[ ]rusub_3__l10_rusub_3.vout2021-07-25 17:16 67K 
[ ]rusub_3__t28_rusub_3.vout2021-07-25 17:43 4.2K 
[ ]rusub_3__t1_rusub_3.vout2021-07-25 17:44 38K 
[ ]rusub_3__t30_rusub_3.vout2021-07-25 17:58 18K 
[ ]rusub_3__t22_rusub_3.vout2021-07-25 18:00 4.2K 
[ ]rusub_3__t13_rusub_3.vout2021-07-25 18:07 45K 
[ ]rusub_3__t19_rusub_3.vout2021-07-25 18:14 4.2K 
[ ]rusub_3__t15_rusub_3.vout2021-07-25 18:25 42K 
[ ]rusub_3__t25_rusub_3.vout2021-07-25 18:26 3.7K 
[ ]rusub_3__t21_rusub_3.vout2021-07-25 18:26 62K 
[ ]rusub_3__t39_rusub_3.vout2021-07-25 18:30 4.7K 
[ ]rusub_3__t45_rusub_3.vout2021-07-25 18:30 34K 
[ ]rusub_3__l11_rusub_3.vout2021-07-25 18:34 7.3K 
[ ]rusub_3__t4_rusub_3.vout2021-07-25 18:57 29K 
[ ]rusub_3__t26_rusub_3.vout2021-07-25 19:02 7.3K 
[ ]rusub_3__l5_rusub_3.vout2021-07-25 19:23 41K 
[ ]rusub_3__t14_rusub_3.vout2021-07-25 19:40 49K 
[ ]rusub_3__t16_rusub_3.vout2021-07-25 20:04 7.3K 
[ ]rusub_3__l13_rusub_3.vout2021-07-25 20:09 4.7K 
[ ]rusub_3__t2_rusub_3.vout2021-07-25 20:13 3.7K 
[ ]rusub_3__t43_rusub_3.vout2021-07-25 20:19 19K 
[ ]rusub_3__t33_rusub_3.vout2021-07-25 20:23 24K 
[ ]rusub_3__t7_rusub_3.vout2021-07-25 20:26 36K 
[ ]rusub_3__t40_rusub_3.vout2021-07-25 20:41 9.3K 
[ ]rusub_3__t31_rusub_3.vout2021-07-25 20:48 78K 
[ ]rusub_3__t13_rusub_3.depv12021-07-25 20:57 58  
[ ]rusub_3__t42_rusub_3.depv12021-07-25 20:57 24  
[ ]rusub_3__l5_rusub_3.depv12021-07-25 20:57 195  
[ ]rusub_3__l10_rusub_3.depv12021-07-25 20:57 50  
[ ]rusub_3__t31_rusub_3.depv12021-07-25 20:57 195  
[ ]rusub_3__t1_rusub_3.depv12021-07-25 20:57 195  
[ ]rusub_3__t14_rusub_3.depv12021-07-25 20:57 72  
[ ]rusub_3__t24_rusub_3.depv12021-07-25 20:57 75  
[ ]rusub_3__l12_rusub_3.depv12021-07-25 20:57 63  
[ ]rusub_3__t21_rusub_3.depv12021-07-25 20:57 276  
[ ]rusub_3__t36_rusub_3.depv12021-07-25 20:57 188  
[ ]rusub_3__l34_rusub_3.depv12021-07-25 20:57 154  
[ ]rusub_3__t8_rusub_3.depv12021-07-25 20:57 62  
[ ]rusub_3__t41_rusub_3.depv12021-07-25 20:57 24  
[ ]rusub_3__t4_rusub_3.depv12021-07-25 20:57 238  
[ ]rusub_3__t5_rusub_3.depv12021-07-25 20:57 234  
[ ]rusub_3__t6_rusub_3.depv12021-07-25 20:57 70  
[ ]rusub_3__t15_rusub_3.depv12021-07-25 20:57 35  
[ ]rusub_3__t40_rusub_3.depv12021-07-25 20:57 23  
[ ]rusub_3__t45_rusub_3.depv12021-07-25 20:57 68  
[ ]rusub_3__l3_rusub_3.depv12021-07-25 20:57 134  
[ ]rusub_3__t7_rusub_3.depv12021-07-25 20:57 74  
[ ]rusub_3__t10_rusub_3.depv12021-07-25 20:57 154  
[ ]rusub_3__t30_rusub_3.depv12021-07-25 20:57 186  
[ ]rusub_3__t33_rusub_3.depv12021-07-25 20:57 186  
[ ]rusub_3__t43_rusub_3.depv12021-07-25 20:57 24  
[ ]rusub_3__t44_rusub_3.depv12021-07-25 20:57 24  
[ ]rusub_3__l3_rusub_3.vmin12021-07-25 20:57 771  
[ ]rusub_3__l5_rusub_3.vmin12021-07-25 20:57 2.8K 
[ ]rusub_3__l10_rusub_3.vmin12021-07-25 20:57 2.2K 
[ ]rusub_3__l12_rusub_3.vmin12021-07-25 20:57 2.6K 
[ ]rusub_3__l34_rusub_3.vmin12021-07-25 20:57 1.0K 
[ ]rusub_3__t1_rusub_3.vmin12021-07-25 20:57 3.0K 
[ ]rusub_3__t4_rusub_3.vmin12021-07-25 20:57 2.7K 
[ ]rusub_3__t5_rusub_3.vmin12021-07-25 20:57 4.2K 
[ ]rusub_3__t6_rusub_3.vmin12021-07-25 20:57 1.7K 
[ ]rusub_3__t7_rusub_3.vmin12021-07-25 20:57 2.3K 
[ ]rusub_3__t8_rusub_3.vmin12021-07-25 20:57 2.4K 
[ ]rusub_3__t10_rusub_3.vmin12021-07-25 20:57 2.4K 
[ ]rusub_3__t13_rusub_3.vmin12021-07-25 20:57 1.7K 
[ ]rusub_3__t14_rusub_3.vmin12021-07-25 20:57 1.9K 
[ ]rusub_3__t15_rusub_3.vmin12021-07-25 20:57 1.5K 
[ ]rusub_3__t21_rusub_3.vmin12021-07-25 20:57 4.7K 
[ ]rusub_3__t24_rusub_3.vmin12021-07-25 20:57 2.6K 
[ ]rusub_3__t30_rusub_3.vmin12021-07-25 20:57 1.9K 
[ ]rusub_3__t31_rusub_3.vmin12021-07-25 20:57 3.0K 
[ ]rusub_3__t33_rusub_3.vmin12021-07-25 20:57 2.1K 
[ ]rusub_3__t36_rusub_3.vmin12021-07-25 20:57 2.3K 
[ ]rusub_3__t40_rusub_3.vmin12021-07-25 20:57 684  
[ ]rusub_3__t41_rusub_3.vmin12021-07-25 20:57 885  
[ ]rusub_3__t42_rusub_3.vmin12021-07-25 20:57 931  
[ ]rusub_3__t43_rusub_3.vmin12021-07-25 20:57 931  
[ ]rusub_3__t44_rusub_3.vmin12021-07-25 20:57 885  
[ ]rusub_3__t45_rusub_3.vmin12021-07-25 20:57 1.6K 
[ ]rusub_3__t8_rusub_3.vmin1out2021-07-25 20:57 18K 
[ ]rusub_3__t36_rusub_3.vmin1out2021-07-25 20:58 48K 
[ ]rusub_3__l34_rusub_3.vmin1out2021-07-25 20:58 11K 
[ ]rusub_3__t14_rusub_3.vmin1out2021-07-25 20:58 38K 
[ ]rusub_3__t1_rusub_3.vmin1out2021-07-25 20:58 62K 
[ ]rusub_3__t41_rusub_3.vmin1out2021-07-25 20:58 11K 
[ ]rusub_3__t6_rusub_3.vmin1out2021-07-25 20:59 31K 
[ ]rusub_3__t33_rusub_3.vmin1out2021-07-25 20:59 19K 
[ ]rusub_3__t24_rusub_3.vmin1out2021-07-25 20:59 47K 
[ ]rusub_3__t4_rusub_3.vmin1out2021-07-25 20:59 49K 
[ ]rusub_3__t40_rusub_3.vmin1out2021-07-25 20:59 19K 
[ ]rusub_3__l3_rusub_3.vmin1out2021-07-25 20:59 4.7K 
[ ]rusub_3__t44_rusub_3.vmin1out2021-07-25 21:00 11K 
[ ]rusub_3__t5_rusub_3.vmin1out2021-07-25 21:00 74K 
[ ]rusub_3__t21_rusub_3.vmin1out2021-07-25 21:00 36K 
[ ]rusub_3__t10_rusub_3.vmin1out2021-07-25 21:00 37K 
[ ]rusub_3__t43_rusub_3.vmin1out2021-07-25 21:00 12K 
[ ]rusub_3__t31_rusub_3.vmin1out2021-07-25 21:00 81K 
[ ]rusub_3__t42_rusub_3.vmin1out2021-07-25 21:01 12K 
[ ]rusub_3__l5_rusub_3.vmin1out2021-07-25 21:01 24K 
[ ]rusub_3__l12_rusub_3.vmin1out2021-07-25 21:01 45K 
[ ]rusub_3__t13_rusub_3.vmin1out2021-07-25 21:02 33K 
[ ]rusub_3__l10_rusub_3.vmin1out2021-07-25 21:02 43K 
[ ]rusub_3__t15_rusub_3.vmin1out2021-07-25 21:02 32K 
[ ]rusub_3__t7_rusub_3.vmin1out2021-07-25 21:02 63K 
[ ]rusub_3__t30_rusub_3.vmin1out2021-07-25 21:02 14K 
[ ]rusub_3__t45_rusub_3.vmin1out2021-07-25 21:02 53K 
[ ]rusub_3__l10_rusub_3.depvmin12021-07-25 21:03 50  
[ ]rusub_3__t13_rusub_3.depvmin12021-07-25 21:03 58  
[ ]rusub_3__t42_rusub_3.depvmin12021-07-25 21:03 24  
[ ]rusub_3__l5_rusub_3.depvmin12021-07-25 21:03 195  
[ ]rusub_3__t1_rusub_3.depvmin12021-07-25 21:03 143  
[ ]rusub_3__t31_rusub_3.depvmin12021-07-25 21:03 176  
[ ]rusub_3__t14_rusub_3.depvmin12021-07-25 21:03 72  
[ ]rusub_3__t21_rusub_3.depvmin12021-07-25 21:03 276  
[ ]rusub_3__t24_rusub_3.depvmin12021-07-25 21:03 75  
[ ]rusub_3__l12_rusub_3.depvmin12021-07-25 21:03 63  
[ ]rusub_3__t8_rusub_3.depvmin12021-07-25 21:03 62  
[ ]rusub_3__t36_rusub_3.depvmin12021-07-25 21:03 169  
[ ]rusub_3__l34_rusub_3.depvmin12021-07-25 21:03 107  
[ ]rusub_3__t4_rusub_3.depvmin12021-07-25 21:03 213  
[ ]rusub_3__t5_rusub_3.depvmin12021-07-25 21:03 234  
[ ]rusub_3__t41_rusub_3.depvmin12021-07-25 21:03 24  
[ ]rusub_3__t6_rusub_3.depvmin12021-07-25 21:03 70  
[ ]rusub_3__t15_rusub_3.depvmin12021-07-25 21:03 35  
[ ]rusub_3__t45_rusub_3.depvmin12021-07-25 21:03 68  
[ ]rusub_3__t7_rusub_3.depvmin12021-07-25 21:03 74  
[ ]rusub_3__t30_rusub_3.depvmin12021-07-25 21:03 167  
[ ]rusub_3__t40_rusub_3.depvmin12021-07-25 21:03 23  
[ ]rusub_3__l3_rusub_3.depvmin12021-07-25 21:03 110  
[ ]rusub_3__t10_rusub_3.depvmin12021-07-25 21:03 128  
[ ]rusub_3__t33_rusub_3.depvmin12021-07-25 21:03 167  
[ ]rusub_3__t43_rusub_3.depvmin12021-07-25 21:03 24  
[ ]rusub_3__t44_rusub_3.depvmin12021-07-25 21:03 24  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80