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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_5__t1_rusub_52024-07-28 19:16 15K 
[ ]rusub_5__t1_rusub_5.vout2024-08-03 07:44 7.3K 
[ ]rusub_5__t2_rusub_52024-07-28 19:17 18K 
[ ]rusub_5__t2_rusub_5.vout2024-08-03 04:59 7.3K 
[ ]rusub_5__t3_rusub_52024-07-28 19:19 21K 
[ ]rusub_5__t3_rusub_5.vout2024-08-03 07:09 7.3K 
[ ]rusub_5__t4_rusub_52024-07-28 19:20 20K 
[ ]rusub_5__t4_rusub_5.vout2024-08-03 08:31 7.3K 
[ ]rusub_5__t5_rusub_52024-07-28 19:21 13K 
[ ]rusub_5__t5_rusub_5.depv12024-08-03 10:19 109  
[ ]rusub_5__t5_rusub_5.depvmin12024-08-03 10:24 109  
[ ]rusub_5__t5_rusub_5.vmin12024-08-03 10:20 1.3K 
[ ]rusub_5__t5_rusub_5.vmin1out2024-08-03 10:22 18K 
[ ]rusub_5__t5_rusub_5.vout2024-08-03 07:32 20K 
[ ]rusub_5__t6_rusub_52024-07-28 19:22 13K 
[ ]rusub_5__t6_rusub_5.depv12024-08-03 10:19 99  
[ ]rusub_5__t6_rusub_5.depvmin12024-08-03 10:24 99  
[ ]rusub_5__t6_rusub_5.vmin12024-08-03 10:20 1.3K 
[ ]rusub_5__t6_rusub_5.vmin1out2024-08-03 10:23 21K 
[ ]rusub_5__t6_rusub_5.vout2024-08-03 06:30 21K 
[ ]rusub_5__t7_rusub_52024-07-28 19:23 13K 
[ ]rusub_5__t7_rusub_5.depv12024-08-03 10:19 109  
[ ]rusub_5__t7_rusub_5.depvmin12024-08-03 10:24 109  
[ ]rusub_5__t7_rusub_5.vmin12024-08-03 10:20 1.3K 
[ ]rusub_5__t7_rusub_5.vmin1out2024-08-03 10:22 18K 
[ ]rusub_5__t7_rusub_5.vout2024-08-03 05:15 20K 
[ ]rusub_5__t8_rusub_52024-07-28 19:24 14K 
[ ]rusub_5__t8_rusub_5.depv12024-08-03 10:19 99  
[ ]rusub_5__t8_rusub_5.depvmin12024-08-03 10:24 99  
[ ]rusub_5__t8_rusub_5.vmin12024-08-03 10:20 1.3K 
[ ]rusub_5__t8_rusub_5.vmin1out2024-08-03 10:20 21K 
[ ]rusub_5__t8_rusub_5.vout2024-08-03 07:51 21K 
[ ]rusub_5__t9_rusub_52024-07-28 19:25 21K 
[ ]rusub_5__t9_rusub_5.vout2024-08-03 04:33 7.3K 
[ ]rusub_5__t10_rusub_52024-07-28 19:26 16K 
[ ]rusub_5__t10_rusub_5.vout2024-08-03 08:03 7.3K 
[ ]rusub_5__t11_rusub_52024-07-28 19:27 14K 
[ ]rusub_5__t11_rusub_5.vout2024-08-03 05:17 7.3K 
[ ]rusub_5__t12_rusub_52024-07-28 19:28 17K 
[ ]rusub_5__t12_rusub_5.depv12024-08-03 10:19 139  
[ ]rusub_5__t12_rusub_5.depvmin12024-08-03 10:24 139  
[ ]rusub_5__t12_rusub_5.vmin12024-08-03 10:20 1.8K 
[ ]rusub_5__t12_rusub_5.vmin1out2024-08-03 10:23 25K 
[ ]rusub_5__t12_rusub_5.vout2024-08-03 07:17 24K 
[ ]rusub_5__t13_rusub_52024-07-28 19:30 20K 
[ ]rusub_5__t13_rusub_5.vout2024-08-03 05:18 7.3K 
[ ]rusub_5__t14_rusub_52024-07-28 19:31 24K 
[ ]rusub_5__t14_rusub_5.vout2024-08-03 08:09 6.8K 
[ ]rusub_5__t15_rusub_52024-07-28 19:32 17K 
[ ]rusub_5__t15_rusub_5.depv12024-08-03 10:19 170  
[ ]rusub_5__t15_rusub_5.depvmin12024-08-03 10:24 170  
[ ]rusub_5__t15_rusub_5.vmin12024-08-03 10:20 2.2K 
[ ]rusub_5__t15_rusub_5.vmin1out2024-08-03 10:21 29K 
[ ]rusub_5__t15_rusub_5.vout2024-08-03 05:29 31K 
[ ]rusub_5__t16_rusub_52024-07-28 19:33 24K 
[ ]rusub_5__t16_rusub_5.depv12024-08-03 10:19 243  
[ ]rusub_5__t16_rusub_5.depvmin12024-08-03 10:24 220  
[ ]rusub_5__t16_rusub_5.vmin12024-08-03 10:20 4.9K 
[ ]rusub_5__t16_rusub_5.vmin1out2024-08-03 10:21 81K 
[ ]rusub_5__t16_rusub_5.vout2024-08-03 06:38 67K 
[ ]rusub_5__t17_rusub_52024-07-28 19:34 17K 
[ ]rusub_5__t17_rusub_5.depv12024-08-03 10:19 36  
[ ]rusub_5__t17_rusub_5.depvmin12024-08-03 10:24 36  
[ ]rusub_5__t17_rusub_5.vmin12024-08-03 10:20 1.9K 
[ ]rusub_5__t17_rusub_5.vmin1out2024-08-03 10:22 38K 
[ ]rusub_5__t17_rusub_5.vout2024-08-03 07:04 39K 
[ ]rusub_5__t18_rusub_52024-07-28 20:12 16K 
[ ]rusub_5__t18_rusub_5.vout2024-08-03 05:13 7.3K 
[ ]rusub_5__t19_rusub_52024-07-28 20:14 16K 
[ ]rusub_5__t19_rusub_5.vout2024-08-03 07:03 7.3K 
[ ]rusub_5__t20_rusub_52024-07-28 19:36 26K 
[ ]rusub_5__t20_rusub_5.vout2024-08-03 08:25 6.8K 
[ ]rusub_5__t21_rusub_52024-07-28 19:37 20K 
[ ]rusub_5__t21_rusub_5.depv12024-08-03 10:19 180  
[ ]rusub_5__t21_rusub_5.depvmin12024-08-03 10:24 180  
[ ]rusub_5__t21_rusub_5.vmin12024-08-03 10:20 3.5K 
[ ]rusub_5__t21_rusub_5.vmin1out2024-08-03 10:23 27K 
[ ]rusub_5__t21_rusub_5.vout2024-08-03 07:33 71K 
[ ]rusub_5__t22_rusub_52024-07-28 19:38 24K 
[ ]rusub_5__t22_rusub_5.vout2024-08-03 05:45 4.2K 
[ ]rusub_5__t23_rusub_52024-07-28 19:40 30K 
[ ]rusub_5__t23_rusub_5.vout2024-08-03 05:19 4.2K 
[ ]rusub_5__t24_rusub_52024-07-28 19:41 27K 
[ ]rusub_5__t24_rusub_5.depv12024-08-03 10:19 199  
[ ]rusub_5__t24_rusub_5.depvmin12024-08-03 10:24 199  
[ ]rusub_5__t24_rusub_5.vmin12024-08-03 10:20 4.3K 
[ ]rusub_5__t24_rusub_5.vmin1out2024-08-03 10:21 44K 
[ ]rusub_5__t24_rusub_5.vout2024-08-03 07:41 71K 
[ ]rusub_5__t25_rusub_52024-07-28 19:42 20K 
[ ]rusub_5__t25_rusub_5.vout2024-08-03 06:51 7.3K 
[ ]rusub_5__t26_rusub_52024-07-28 19:43 18K 
[ ]rusub_5__t26_rusub_5.depv12024-08-03 10:19 100  
[ ]rusub_5__t26_rusub_5.depvmin12024-08-03 10:24 100  
[ ]rusub_5__t26_rusub_5.vmin12024-08-03 10:20 2.4K 
[ ]rusub_5__t26_rusub_5.vmin1out2024-08-03 10:21 93K 
[ ]rusub_5__t26_rusub_5.vout2024-08-03 04:16 73K 
[ ]rusub_5__t27_rusub_52024-07-28 19:45 20K 
[ ]rusub_5__t27_rusub_5.vout2024-08-03 07:42 7.3K 
[ ]rusub_5__t28_rusub_52024-07-28 19:46 21K 
[ ]rusub_5__t28_rusub_5.vout2024-08-03 05:34 7.3K 
[ ]rusub_5__t29_rusub_52024-07-28 19:48 142K 
[ ]rusub_5__t29_rusub_5.vout2024-08-03 07:39 4.7K 
[ ]rusub_5__t30_rusub_52024-07-28 19:49 31K 
[ ]rusub_5__t30_rusub_5.depv12024-08-03 10:19 222  
[ ]rusub_5__t30_rusub_5.depvmin12024-08-03 10:24 222  
[ ]rusub_5__t30_rusub_5.vmin12024-08-03 10:20 2.9K 
[ ]rusub_5__t30_rusub_5.vmin1out2024-08-03 10:21 54K 
[ ]rusub_5__t30_rusub_5.vout2024-08-03 06:17 53K 
[ ]rusub_5__t31_rusub_52024-07-28 19:50 103K 
[ ]rusub_5__t31_rusub_5.vout2024-08-03 06:52 1.5K 
[ ]rusub_5__t32_rusub_52024-07-28 20:15 31K 
[ ]rusub_5__t32_rusub_5.vout2024-08-03 04:19 3.7K 
[ ]rusub_5__t33_rusub_52024-07-28 19:51 22K 
[ ]rusub_5__t33_rusub_5.vout2024-08-03 05:03 7.3K 
[ ]rusub_5__t34_rusub_52024-07-28 19:52 14K 
[ ]rusub_5__t34_rusub_5.depv12024-08-03 10:19 143  
[ ]rusub_5__t34_rusub_5.depvmin12024-08-03 10:24 143  
[ ]rusub_5__t34_rusub_5.vmin12024-08-03 10:20 1.6K 
[ ]rusub_5__t34_rusub_5.vmin1out2024-08-03 10:23 16K 
[ ]rusub_5__t34_rusub_5.vout2024-08-03 04:36 22K 
[ ]rusub_5__t35_rusub_52024-07-28 19:53 21K 
[ ]rusub_5__t35_rusub_5.vout2024-08-03 04:41 7.3K 
[ ]rusub_5__t36_rusub_52024-07-28 19:54 17K 
[ ]rusub_5__t36_rusub_5.vout2024-08-03 06:40 7.3K 
[ ]rusub_5__t37_rusub_52024-07-28 19:55 16K 
[ ]rusub_5__t37_rusub_5.depv12024-08-03 10:19 72  
[ ]rusub_5__t37_rusub_5.depvmin12024-08-03 10:24 62  
[ ]rusub_5__t37_rusub_5.vmin12024-08-03 10:20 2.5K 
[ ]rusub_5__t37_rusub_5.vmin1out2024-08-03 10:22 74K 
[ ]rusub_5__t37_rusub_5.vout2024-08-03 09:02 70K 
[ ]rusub_5__t38_rusub_52024-07-28 19:56 16K 
[ ]rusub_5__t38_rusub_5.depv12024-08-03 10:19 190  
[ ]rusub_5__t38_rusub_5.depvmin12024-08-03 10:24 190  
[ ]rusub_5__t38_rusub_5.vmin12024-08-03 10:20 2.6K 
[ ]rusub_5__t38_rusub_5.vmin1out2024-08-03 10:21 44K 
[ ]rusub_5__t38_rusub_5.vout2024-08-03 06:34 45K 
[ ]rusub_5__t39_rusub_52024-07-28 19:57 18K 
[ ]rusub_5__t39_rusub_5.vout2024-08-03 05:49 7.3K 
[ ]rusub_5__t40_rusub_52024-07-28 19:58 16K 
[ ]rusub_5__t40_rusub_5.vout2024-08-03 08:26 7.3K 
[ ]rusub_5__t41_rusub_52024-07-28 20:00 21K 
[ ]rusub_5__t41_rusub_5.depv12024-08-03 10:19 247  
[ ]rusub_5__t41_rusub_5.depvmin12024-08-03 10:24 196  
[ ]rusub_5__t41_rusub_5.vmin12024-08-03 10:20 3.6K 
[ ]rusub_5__t41_rusub_5.vmin1out2024-08-03 10:23 63K 
[ ]rusub_5__t41_rusub_5.vout2024-08-03 05:46 71K 
[ ]rusub_5__t42_rusub_52024-07-28 20:01 20K 
[ ]rusub_5__t42_rusub_5.depv12024-08-03 10:19 245  
[ ]rusub_5__t42_rusub_5.depvmin12024-08-03 10:24 245  
[ ]rusub_5__t42_rusub_5.vmin12024-08-03 10:20 3.0K 
[ ]rusub_5__t42_rusub_5.vmin1out2024-08-03 10:22 29K 
[ ]rusub_5__t42_rusub_5.vout2024-08-03 10:06 30K 
[ ]rusub_5__t43_rusub_52024-07-28 19:12 19K 
[ ]rusub_5__t43_rusub_5.depv12024-08-03 10:19 167  
[ ]rusub_5__t43_rusub_5.depvmin12024-08-03 10:24 167  
[ ]rusub_5__t43_rusub_5.vmin12024-08-03 10:20 2.0K 
[ ]rusub_5__t43_rusub_5.vmin1out2024-08-03 10:23 21K 
[ ]rusub_5__t43_rusub_5.vout2024-08-03 08:02 15K 
[ ]rusub_5__t44_rusub_52024-07-28 20:02 18K 
[ ]rusub_5__t44_rusub_5.depv12024-08-03 10:19 410  
[ ]rusub_5__t44_rusub_5.depvmin12024-08-03 10:24 319  
[ ]rusub_5__t44_rusub_5.vmin12024-08-03 10:20 5.4K 
[ ]rusub_5__t44_rusub_5.vmin1out2024-08-03 10:22 75K 
[ ]rusub_5__t44_rusub_5.vout2024-08-03 09:39 90K 
[ ]rusub_5__t45_rusub_52024-07-28 20:03 47K 
[ ]rusub_5__t45_rusub_5.vout2024-08-03 07:20 3.6K 
[ ]rusub_5__t46_rusub_52024-07-28 20:05 17K 
[ ]rusub_5__t46_rusub_5.depv12024-08-03 10:19 153  
[ ]rusub_5__t46_rusub_5.depvmin12024-08-03 10:24 153  
[ ]rusub_5__t46_rusub_5.vmin12024-08-03 10:20 2.3K 
[ ]rusub_5__t46_rusub_5.vmin1out2024-08-03 10:22 32K 
[ ]rusub_5__t46_rusub_5.vout2024-08-03 06:57 29K 
[ ]rusub_5__t47_rusub_52024-07-28 20:06 20K 
[ ]rusub_5__t47_rusub_5.vout2024-08-03 10:11 3.7K 
[ ]rusub_5__t48_rusub_52024-07-28 20:07 48K 
[ ]rusub_5__t48_rusub_5.vout2024-08-03 04:35 3.7K 
[ ]rusub_5__t49_rusub_52024-07-28 19:13 18K 
[ ]rusub_5__t49_rusub_5.depv12024-08-03 10:19 108  
[ ]rusub_5__t49_rusub_5.depvmin12024-08-03 10:24 108  
[ ]rusub_5__t49_rusub_5.vmin12024-08-03 10:20 1.8K 
[ ]rusub_5__t49_rusub_5.vmin1out2024-08-03 10:20 15K 
[ ]rusub_5__t49_rusub_5.vout2024-08-03 07:20 13K 
[ ]rusub_5__t50_rusub_52024-07-28 19:14 19K 
[ ]rusub_5__t50_rusub_5.vout2024-08-03 09:37 3.2K 
[ ]rusub_5__t51_rusub_52024-07-28 19:15 22K 
[ ]rusub_5__t51_rusub_5.vout2024-08-03 08:10 7.3K 
[ ]rusub_5__t52_rusub_52024-07-28 20:08 36K 
[ ]rusub_5__t52_rusub_5.vout2024-08-03 04:15 7.3K 
[ ]rusub_5__t53_rusub_52024-07-28 20:10 33K 
[ ]rusub_5__t53_rusub_5.vout2024-08-03 06:30 7.3K 
[ ]rusub_5__t54_rusub_52024-07-28 20:11 28K 
[ ]rusub_5__t54_rusub_5.vout2024-08-03 10:05 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80