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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_3__l3_rusub_32024-07-27 14:12 8.0K 
[ ]rusub_3__l3_rusub_3.depv12024-08-03 10:19 134  
[ ]rusub_3__l3_rusub_3.depvmin12024-08-03 10:24 110  
[ ]rusub_3__l3_rusub_3.vmin12024-08-03 10:19 771  
[ ]rusub_3__l3_rusub_3.vmin1out2024-08-03 10:22 4.7K 
[ ]rusub_3__l3_rusub_3.vout2024-08-03 04:47 5.2K 
[ ]rusub_3__l5_rusub_32024-07-27 15:20 28K 
[ ]rusub_3__l5_rusub_3.depv12024-08-03 10:19 195  
[ ]rusub_3__l5_rusub_3.depvmin12024-08-03 10:24 195  
[ ]rusub_3__l5_rusub_3.vmin12024-08-03 10:19 2.8K 
[ ]rusub_3__l5_rusub_3.vmin1out2024-08-03 10:23 24K 
[ ]rusub_3__l5_rusub_3.vout2024-08-03 06:41 41K 
[ ]rusub_3__l10_rusub_32024-07-27 15:21 28K 
[ ]rusub_3__l10_rusub_3.depv12024-08-03 10:19 50  
[ ]rusub_3__l10_rusub_3.depvmin12024-08-03 10:24 50  
[ ]rusub_3__l10_rusub_3.vmin12024-08-03 10:19 2.2K 
[ ]rusub_3__l10_rusub_3.vmin1out2024-08-03 10:20 43K 
[ ]rusub_3__l10_rusub_3.vout2024-08-03 06:49 68K 
[ ]rusub_3__l11_rusub_32024-07-27 15:22 28K 
[ ]rusub_3__l11_rusub_3.depv12024-08-03 10:19 60  
[ ]rusub_3__l11_rusub_3.depvmin12024-08-03 10:24 60  
[ ]rusub_3__l11_rusub_3.vmin12024-08-03 10:19 2.1K 
[ ]rusub_3__l11_rusub_3.vmin1out2024-08-03 10:20 58K 
[ ]rusub_3__l11_rusub_3.vout2024-08-03 09:49 54K 
[ ]rusub_3__l12_rusub_32024-07-27 15:24 28K 
[ ]rusub_3__l12_rusub_3.depv12024-08-03 10:19 63  
[ ]rusub_3__l12_rusub_3.depvmin12024-08-03 10:24 63  
[ ]rusub_3__l12_rusub_3.vmin12024-08-03 10:19 2.6K 
[ ]rusub_3__l12_rusub_3.vmin1out2024-08-03 10:22 45K 
[ ]rusub_3__l12_rusub_3.vout2024-08-03 09:41 70K 
[ ]rusub_3__l13_rusub_32024-07-27 15:25 29K 
[ ]rusub_3__l13_rusub_3.vout2024-08-03 06:43 5.3K 
[ ]rusub_3__l34_rusub_32024-07-27 15:26 13K 
[ ]rusub_3__l34_rusub_3.depv12024-08-03 10:19 133  
[ ]rusub_3__l34_rusub_3.depvmin12024-08-03 10:24 107  
[ ]rusub_3__l34_rusub_3.vmin12024-08-03 10:19 1.0K 
[ ]rusub_3__l34_rusub_3.vmin1out2024-08-03 10:21 11K 
[ ]rusub_3__l34_rusub_3.vout2024-08-03 07:20 11K 
[ ]rusub_3__t1_rusub_32024-07-27 14:14 30K 
[ ]rusub_3__t1_rusub_3.depv12024-08-03 10:19 195  
[ ]rusub_3__t1_rusub_3.depvmin12024-08-03 10:24 143  
[ ]rusub_3__t1_rusub_3.vmin12024-08-03 10:19 3.0K 
[ ]rusub_3__t1_rusub_3.vmin1out2024-08-03 10:20 62K 
[ ]rusub_3__t1_rusub_3.vout2024-08-03 06:19 38K 
[ ]rusub_3__t2_rusub_32024-07-27 14:15 36K 
[ ]rusub_3__t2_rusub_3.vout2024-08-03 05:25 3.6K 
[ ]rusub_3__t3_rusub_32024-07-27 14:17 33K 
[ ]rusub_3__t3_rusub_3.vout2024-08-03 06:59 7.3K 
[ ]rusub_3__t4_rusub_32024-07-27 14:18 29K 
[ ]rusub_3__t4_rusub_3.depv12024-08-03 10:19 238  
[ ]rusub_3__t4_rusub_3.depvmin12024-08-03 10:24 213  
[ ]rusub_3__t4_rusub_3.vmin12024-08-03 10:19 2.7K 
[ ]rusub_3__t4_rusub_3.vmin1out2024-08-03 10:20 49K 
[ ]rusub_3__t4_rusub_3.vout2024-08-03 09:42 29K 
[ ]rusub_3__t5_rusub_32024-07-27 14:20 31K 
[ ]rusub_3__t5_rusub_3.depv12024-08-03 10:19 234  
[ ]rusub_3__t5_rusub_3.depvmin12024-08-03 10:24 234  
[ ]rusub_3__t5_rusub_3.vmin12024-08-03 10:19 4.2K 
[ ]rusub_3__t5_rusub_3.vmin1out2024-08-03 10:22 74K 
[ ]rusub_3__t5_rusub_3.vout2024-08-03 07:17 66K 
[ ]rusub_3__t6_rusub_32024-07-27 14:21 28K 
[ ]rusub_3__t6_rusub_3.depv12024-08-03 10:19 70  
[ ]rusub_3__t6_rusub_3.depvmin12024-08-03 10:24 70  
[ ]rusub_3__t6_rusub_3.vmin12024-08-03 10:19 1.7K 
[ ]rusub_3__t6_rusub_3.vmin1out2024-08-03 10:20 31K 
[ ]rusub_3__t6_rusub_3.vout2024-08-03 04:13 22K 
[ ]rusub_3__t7_rusub_32024-07-27 14:22 30K 
[ ]rusub_3__t7_rusub_3.depv12024-08-03 10:19 74  
[ ]rusub_3__t7_rusub_3.depvmin12024-08-03 10:24 74  
[ ]rusub_3__t7_rusub_3.vmin12024-08-03 10:19 2.3K 
[ ]rusub_3__t7_rusub_3.vmin1out2024-08-03 10:21 63K 
[ ]rusub_3__t7_rusub_3.vout2024-08-03 08:58 36K 
[ ]rusub_3__t8_rusub_32024-07-27 14:24 28K 
[ ]rusub_3__t8_rusub_3.depv12024-08-03 10:19 62  
[ ]rusub_3__t8_rusub_3.depvmin12024-08-03 10:24 62  
[ ]rusub_3__t8_rusub_3.vmin12024-08-03 10:19 2.4K 
[ ]rusub_3__t8_rusub_3.vmin1out2024-08-03 10:23 18K 
[ ]rusub_3__t8_rusub_3.vout2024-08-03 04:49 58K 
[ ]rusub_3__t9_rusub_32024-07-27 14:26 48K 
[ ]rusub_3__t9_rusub_3.vout2024-08-03 09:33 3.7K 
[ ]rusub_3__t10_rusub_32024-07-27 14:27 29K 
[ ]rusub_3__t10_rusub_3.depv12024-08-03 10:19 154  
[ ]rusub_3__t10_rusub_3.depvmin12024-08-03 10:24 128  
[ ]rusub_3__t10_rusub_3.vmin12024-08-03 10:19 2.4K 
[ ]rusub_3__t10_rusub_3.vmin1out2024-08-03 10:20 37K 
[ ]rusub_3__t10_rusub_3.vout2024-08-03 09:59 53K 
[ ]rusub_3__t11_rusub_32024-07-27 14:30 76K 
[ ]rusub_3__t11_rusub_3.vout2024-08-03 06:43 3.7K 
[ ]rusub_3__t12_rusub_32024-07-27 14:33 78K 
[ ]rusub_3__t12_rusub_3.vout2024-08-03 10:15 3.7K 
[ ]rusub_3__t13_rusub_32024-07-27 14:34 29K 
[ ]rusub_3__t13_rusub_3.depv12024-08-03 10:19 58  
[ ]rusub_3__t13_rusub_3.depvmin12024-08-03 10:24 58  
[ ]rusub_3__t13_rusub_3.vmin12024-08-03 10:19 1.7K 
[ ]rusub_3__t13_rusub_3.vmin1out2024-08-03 10:21 33K 
[ ]rusub_3__t13_rusub_3.vout2024-08-03 06:07 45K 
[ ]rusub_3__t14_rusub_32024-07-27 14:35 29K 
[ ]rusub_3__t14_rusub_3.depv12024-08-03 10:19 72  
[ ]rusub_3__t14_rusub_3.depvmin12024-08-03 10:24 72  
[ ]rusub_3__t14_rusub_3.vmin12024-08-03 10:19 1.9K 
[ ]rusub_3__t14_rusub_3.vmin1out2024-08-03 10:23 38K 
[ ]rusub_3__t14_rusub_3.vout2024-08-03 05:09 49K 
[ ]rusub_3__t15_rusub_32024-07-27 14:37 29K 
[ ]rusub_3__t15_rusub_3.depv12024-08-03 10:19 35  
[ ]rusub_3__t15_rusub_3.depvmin12024-08-03 10:24 35  
[ ]rusub_3__t15_rusub_3.vmin12024-08-03 10:19 1.5K 
[ ]rusub_3__t15_rusub_3.vmin1out2024-08-03 10:21 32K 
[ ]rusub_3__t15_rusub_3.vout2024-08-03 09:18 42K 
[ ]rusub_3__t16_rusub_32024-07-27 14:39 63K 
[ ]rusub_3__t16_rusub_3.vout2024-08-03 10:17 7.3K 
[ ]rusub_3__t17_rusub_32024-07-27 14:41 36K 
[ ]rusub_3__t17_rusub_3.vout2024-08-03 04:28 4.7K 
[ ]rusub_3__t18_rusub_32024-07-27 14:43 55K 
[ ]rusub_3__t18_rusub_3.vout2024-08-03 09:40 3.7K 
[ ]rusub_3__t19_rusub_32024-07-27 14:45 40K 
[ ]rusub_3__t19_rusub_3.vout2024-08-03 06:05 4.2K 
[ ]rusub_3__t20_rusub_32024-07-27 14:47 34K 
[ ]rusub_3__t20_rusub_3.vout2024-08-03 07:47 4.2K 
[ ]rusub_3__t21_rusub_32024-07-27 14:48 28K 
[ ]rusub_3__t21_rusub_3.depv12024-08-03 10:19 276  
[ ]rusub_3__t21_rusub_3.depvmin12024-08-03 10:24 276  
[ ]rusub_3__t21_rusub_3.vmin12024-08-03 10:19 4.7K 
[ ]rusub_3__t21_rusub_3.vmin1out2024-08-03 10:23 36K 
[ ]rusub_3__t21_rusub_3.vout2024-08-03 06:27 61K 
[ ]rusub_3__t22_rusub_32024-07-27 14:50 32K 
[ ]rusub_3__t22_rusub_3.vout2024-08-03 06:36 4.2K 
[ ]rusub_3__t23_rusub_32024-07-27 14:51 29K 
[ ]rusub_3__t23_rusub_3.vout2024-08-03 08:35 4.2K 
[ ]rusub_3__t24_rusub_32024-07-27 14:53 29K 
[ ]rusub_3__t24_rusub_3.depv12024-08-03 10:19 75  
[ ]rusub_3__t24_rusub_3.depvmin12024-08-03 10:24 75  
[ ]rusub_3__t24_rusub_3.vmin12024-08-03 10:19 2.6K 
[ ]rusub_3__t24_rusub_3.vmin1out2024-08-03 10:20 47K 
[ ]rusub_3__t24_rusub_3.vout2024-08-03 06:01 57K 
[ ]rusub_3__t25_rusub_32024-07-27 14:55 48K 
[ ]rusub_3__t25_rusub_3.vout2024-08-03 08:03 3.7K 
[ ]rusub_3__t26_rusub_32024-07-27 14:56 35K 
[ ]rusub_3__t26_rusub_3.vout2024-08-03 09:08 7.3K 
[ ]rusub_3__t27_rusub_32024-07-27 14:58 33K 
[ ]rusub_3__t27_rusub_3.vout2024-08-03 05:57 4.2K 
[ ]rusub_3__t28_rusub_32024-07-27 14:59 34K 
[ ]rusub_3__t28_rusub_3.vout2024-08-03 09:07 4.2K 
[ ]rusub_3__t29_rusub_32024-07-27 15:01 36K 
[ ]rusub_3__t29_rusub_3.vout2024-08-03 07:46 3.7K 
[ ]rusub_3__t30_rusub_32024-07-27 15:02 28K 
[ ]rusub_3__t30_rusub_3.depv12024-08-03 10:19 186  
[ ]rusub_3__t30_rusub_3.depvmin12024-08-03 10:24 167  
[ ]rusub_3__t30_rusub_3.vmin12024-08-03 10:19 1.9K 
[ ]rusub_3__t30_rusub_3.vmin1out2024-08-03 10:23 14K 
[ ]rusub_3__t30_rusub_3.vout2024-08-03 04:35 18K 
[ ]rusub_3__t31_rusub_32024-07-27 15:04 30K 
[ ]rusub_3__t31_rusub_3.depv12024-08-03 10:19 195  
[ ]rusub_3__t31_rusub_3.depvmin12024-08-03 10:24 176  
[ ]rusub_3__t31_rusub_3.vmin12024-08-03 10:19 3.0K 
[ ]rusub_3__t31_rusub_3.vmin1out2024-08-03 10:22 81K 
[ ]rusub_3__t31_rusub_3.vout2024-08-03 06:09 78K 
[ ]rusub_3__t32_rusub_32024-07-27 15:06 40K 
[ ]rusub_3__t32_rusub_3.vout2024-08-03 10:09 3.7K 
[ ]rusub_3__t33_rusub_32024-07-27 15:07 28K 
[ ]rusub_3__t33_rusub_3.depv12024-08-03 10:19 186  
[ ]rusub_3__t33_rusub_3.depvmin12024-08-03 10:24 167  
[ ]rusub_3__t33_rusub_3.vmin12024-08-03 10:19 2.1K 
[ ]rusub_3__t33_rusub_3.vmin1out2024-08-03 10:22 19K 
[ ]rusub_3__t33_rusub_3.vout2024-08-03 08:02 24K 
[ ]rusub_3__t34_rusub_32024-07-27 15:09 31K 
[ ]rusub_3__t34_rusub_3.vout2024-08-03 07:15 4.7K 
[ ]rusub_3__t35_rusub_32024-07-27 15:11 41K 
[ ]rusub_3__t35_rusub_3.vout2024-08-03 06:46 3.7K 
[ ]rusub_3__t36_rusub_32024-07-27 15:12 28K 
[ ]rusub_3__t36_rusub_3.depv12024-08-03 10:19 188  
[ ]rusub_3__t36_rusub_3.depvmin12024-08-03 10:24 169  
[ ]rusub_3__t36_rusub_3.vmin12024-08-03 10:19 2.3K 
[ ]rusub_3__t36_rusub_3.vmin1out2024-08-03 10:21 48K 
[ ]rusub_3__t36_rusub_3.vout2024-08-03 06:24 29K 
[ ]rusub_3__t37_rusub_32024-07-27 15:14 31K 
[ ]rusub_3__t37_rusub_3.vout2024-08-03 04:38 4.7K 
[ ]rusub_3__t38_rusub_32024-07-27 15:15 37K 
[ ]rusub_3__t38_rusub_3.vout2024-08-03 04:22 4.7K 
[ ]rusub_3__t39_rusub_32024-07-27 15:17 58K 
[ ]rusub_3__t39_rusub_3.vout2024-08-03 04:08 4.7K 
[ ]rusub_3__t40_rusub_32024-07-27 14:07 27K 
[ ]rusub_3__t40_rusub_3.depv12024-08-03 10:19 23  
[ ]rusub_3__t40_rusub_3.depvmin12024-08-03 10:24 23  
[ ]rusub_3__t40_rusub_3.vmin12024-08-03 10:19 684  
[ ]rusub_3__t40_rusub_3.vmin1out2024-08-03 10:20 19K 
[ ]rusub_3__t40_rusub_3.vout2024-08-03 07:27 9.3K 
[ ]rusub_3__t41_rusub_32024-07-27 14:08 27K 
[ ]rusub_3__t41_rusub_3.depv12024-08-03 10:19 24  
[ ]rusub_3__t41_rusub_3.depvmin12024-08-03 10:24 24  
[ ]rusub_3__t41_rusub_3.vmin12024-08-03 10:19 885  
[ ]rusub_3__t41_rusub_3.vmin1out2024-08-03 10:20 11K 
[ ]rusub_3__t41_rusub_3.vout2024-08-03 04:21 18K 
[ ]rusub_3__t42_rusub_32024-07-27 14:09 27K 
[ ]rusub_3__t42_rusub_3.depv12024-08-03 10:19 24  
[ ]rusub_3__t42_rusub_3.depvmin12024-08-03 10:24 24  
[ ]rusub_3__t42_rusub_3.vmin12024-08-03 10:19 931  
[ ]rusub_3__t42_rusub_3.vmin1out2024-08-03 10:21 12K 
[ ]rusub_3__t42_rusub_3.vout2024-08-03 04:50 19K 
[ ]rusub_3__t43_rusub_32024-07-27 14:10 27K 
[ ]rusub_3__t43_rusub_3.depv12024-08-03 10:19 24  
[ ]rusub_3__t43_rusub_3.depvmin12024-08-03 10:24 24  
[ ]rusub_3__t43_rusub_3.vmin12024-08-03 10:19 931  
[ ]rusub_3__t43_rusub_3.vmin1out2024-08-03 10:23 12K 
[ ]rusub_3__t43_rusub_3.vout2024-08-03 04:07 19K 
[ ]rusub_3__t44_rusub_32024-07-27 14:11 27K 
[ ]rusub_3__t44_rusub_3.depv12024-08-03 10:19 24  
[ ]rusub_3__t44_rusub_3.depvmin12024-08-03 10:24 24  
[ ]rusub_3__t44_rusub_3.vmin12024-08-03 10:19 885  
[ ]rusub_3__t44_rusub_3.vmin1out2024-08-03 10:21 11K 
[ ]rusub_3__t44_rusub_3.vout2024-08-03 08:27 18K 
[ ]rusub_3__t45_rusub_32024-07-27 15:18 18K 
[ ]rusub_3__t45_rusub_3.depv12024-08-03 10:19 68  
[ ]rusub_3__t45_rusub_3.depvmin12024-08-03 10:24 68  
[ ]rusub_3__t45_rusub_3.vmin12024-08-03 10:19 1.6K 
[ ]rusub_3__t45_rusub_3.vmin1out2024-08-03 10:21 53K 
[ ]rusub_3__t45_rusub_3.vout2024-08-03 09:30 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80