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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughs_5__l19_roughs_52024-07-28 15:33 11K 
[ ]roughs_5__l19_roughs_5.depv12024-08-03 10:19 121  
[ ]roughs_5__l19_roughs_5.depvmin12024-08-03 10:24 121  
[ ]roughs_5__l19_roughs_5.vmin12024-08-03 10:19 1.2K 
[ ]roughs_5__l19_roughs_5.vmin1out2024-08-03 10:20 14K 
[ ]roughs_5__l19_roughs_5.vout2024-08-03 08:59 14K 
[ ]roughs_5__l47_roughs_52024-07-28 16:13 19K 
[ ]roughs_5__l47_roughs_5.vout2024-08-03 08:35 5.3K 
[ ]roughs_5__l48_roughs_52024-07-28 16:14 17K 
[ ]roughs_5__l48_roughs_5.vout2024-08-03 04:23 5.9K 
[ ]roughs_5__t1_roughs_52024-07-28 15:34 16K 
[ ]roughs_5__t1_roughs_5.vout2024-08-03 09:21 7.3K 
[ ]roughs_5__t2_roughs_52024-07-28 15:35 21K 
[ ]roughs_5__t2_roughs_5.vout2024-08-03 09:23 5.3K 
[ ]roughs_5__t3_roughs_52024-07-28 15:36 21K 
[ ]roughs_5__t3_roughs_5.vout2024-08-03 07:31 5.3K 
[ ]roughs_5__t4_roughs_52024-07-28 15:24 15K 
[ ]roughs_5__t4_roughs_5.depv12024-08-03 10:19 50  
[ ]roughs_5__t4_roughs_5.depvmin12024-08-03 10:24 50  
[ ]roughs_5__t4_roughs_5.vmin12024-08-03 10:19 932  
[ ]roughs_5__t4_roughs_5.vmin1out2024-08-03 10:21 11K 
[ ]roughs_5__t4_roughs_5.vout2024-08-03 08:30 9.8K 
[ ]roughs_5__t5_roughs_52024-07-28 15:37 21K 
[ ]roughs_5__t5_roughs_5.vout2024-08-03 05:24 4.7K 
[ ]roughs_5__t6_roughs_52024-07-28 15:38 15K 
[ ]roughs_5__t6_roughs_5.depv12024-08-03 10:19 115  
[ ]roughs_5__t6_roughs_5.depvmin12024-08-03 10:24 115  
[ ]roughs_5__t6_roughs_5.vmin12024-08-03 10:19 2.0K 
[ ]roughs_5__t6_roughs_5.vmin1out2024-08-03 10:23 40K 
[ ]roughs_5__t6_roughs_5.vout2024-08-03 06:13 18K 
[ ]roughs_5__t7_roughs_52024-07-28 15:39 17K 
[ ]roughs_5__t7_roughs_5.depv12024-08-03 10:19 149  
[ ]roughs_5__t7_roughs_5.depvmin12024-08-03 10:24 149  
[ ]roughs_5__t7_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t7_roughs_5.vmin1out2024-08-03 10:21 32K 
[ ]roughs_5__t7_roughs_5.vout2024-08-03 08:12 33K 
[ ]roughs_5__t8_roughs_52024-07-28 15:40 15K 
[ ]roughs_5__t8_roughs_5.vout2024-08-03 04:26 4.1K 
[ ]roughs_5__t9_roughs_52024-07-28 15:41 18K 
[ ]roughs_5__t9_roughs_5.depv12024-08-03 10:19 128  
[ ]roughs_5__t9_roughs_5.depvmin12024-08-03 10:24 128  
[ ]roughs_5__t9_roughs_5.vmin12024-08-03 10:19 1.8K 
[ ]roughs_5__t9_roughs_5.vmin1out2024-08-03 10:23 30K 
[ ]roughs_5__t9_roughs_5.vout2024-08-03 06:22 32K 
[ ]roughs_5__t10_roughs_52024-07-28 15:41 18K 
[ ]roughs_5__t10_roughs_5.vout2024-08-03 04:11 7.9K 
[ ]roughs_5__t11_roughs_52024-07-28 15:25 16K 
[ ]roughs_5__t11_roughs_5.depv12024-08-03 10:19 144  
[ ]roughs_5__t11_roughs_5.depvmin12024-08-03 10:24 144  
[ ]roughs_5__t11_roughs_5.vmin12024-08-03 10:19 2.0K 
[ ]roughs_5__t11_roughs_5.vmin1out2024-08-03 10:22 15K 
[ ]roughs_5__t11_roughs_5.vout2024-08-03 09:29 23K 
[ ]roughs_5__t12_roughs_52024-07-28 15:42 18K 
[ ]roughs_5__t12_roughs_5.depv12024-08-03 10:19 235  
[ ]roughs_5__t12_roughs_5.depvmin12024-08-03 10:24 127  
[ ]roughs_5__t12_roughs_5.vmin12024-08-03 10:19 3.5K 
[ ]roughs_5__t12_roughs_5.vmin1out2024-08-03 10:23 29K 
[ ]roughs_5__t12_roughs_5.vout2024-08-03 09:09 50K 
[ ]roughs_5__t13_roughs_52024-07-28 15:44 22K 
[ ]roughs_5__t13_roughs_5.vout2024-08-03 04:34 3.7K 
[ ]roughs_5__t14_roughs_52024-07-28 15:44 16K 
[ ]roughs_5__t14_roughs_5.depv12024-08-03 10:19 118  
[ ]roughs_5__t14_roughs_5.depvmin12024-08-03 10:24 118  
[ ]roughs_5__t14_roughs_5.vmin12024-08-03 10:19 1.6K 
[ ]roughs_5__t14_roughs_5.vmin1out2024-08-03 10:22 17K 
[ ]roughs_5__t14_roughs_5.vout2024-08-03 07:04 16K 
[ ]roughs_5__t15_roughs_52024-07-28 15:45 20K 
[ ]roughs_5__t15_roughs_5.depv12024-08-03 10:19 131  
[ ]roughs_5__t15_roughs_5.depvmin12024-08-03 10:24 131  
[ ]roughs_5__t15_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t15_roughs_5.vmin1out2024-08-03 10:20 27K 
[ ]roughs_5__t15_roughs_5.vout2024-08-03 05:39 32K 
[ ]roughs_5__t16_roughs_52024-07-28 15:47 27K 
[ ]roughs_5__t16_roughs_5.vout2024-08-03 09:56 3.7K 
[ ]roughs_5__t17_roughs_52024-07-28 15:48 19K 
[ ]roughs_5__t17_roughs_5.depv12024-08-03 10:19 132  
[ ]roughs_5__t17_roughs_5.depvmin12024-08-03 10:24 132  
[ ]roughs_5__t17_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t17_roughs_5.vmin1out2024-08-03 10:21 26K 
[ ]roughs_5__t17_roughs_5.vout2024-08-03 07:06 22K 
[ ]roughs_5__t18_roughs_52024-07-28 15:49 27K 
[ ]roughs_5__t18_roughs_5.vout2024-08-03 04:12 4.8K 
[ ]roughs_5__t19_roughs_52024-07-28 15:50 17K 
[ ]roughs_5__t19_roughs_5.vout2024-08-03 05:10 3.7K 
[ ]roughs_5__t20_roughs_52024-07-28 15:51 17K 
[ ]roughs_5__t20_roughs_5.vout2024-08-03 07:57 5.3K 
[ ]roughs_5__t21_roughs_52024-07-28 15:52 17K 
[ ]roughs_5__t21_roughs_5.vout2024-08-03 04:19 5.3K 
[ ]roughs_5__t22_roughs_52024-07-28 15:52 18K 
[ ]roughs_5__t22_roughs_5.vout2024-08-03 07:39 3.7K 
[ ]roughs_5__t23_roughs_52024-07-28 15:54 24K 
[ ]roughs_5__t23_roughs_5.vout2024-08-03 04:32 5.3K 
[ ]roughs_5__t24_roughs_52024-07-28 15:55 23K 
[ ]roughs_5__t24_roughs_5.vout2024-08-03 07:15 5.3K 
[ ]roughs_5__t25_roughs_52024-07-28 15:56 17K 
[ ]roughs_5__t25_roughs_5.depv12024-08-03 10:19 177  
[ ]roughs_5__t25_roughs_5.depvmin12024-08-03 10:24 164  
[ ]roughs_5__t25_roughs_5.vmin12024-08-03 10:19 3.5K 
[ ]roughs_5__t25_roughs_5.vmin1out2024-08-03 10:20 63K 
[ ]roughs_5__t25_roughs_5.vout2024-08-03 07:31 79K 
[ ]roughs_5__t26_roughs_52024-07-28 15:57 18K 
[ ]roughs_5__t26_roughs_5.depv12024-08-03 10:19 204  
[ ]roughs_5__t26_roughs_5.depvmin12024-08-03 10:24 139  
[ ]roughs_5__t26_roughs_5.vmin12024-08-03 10:19 3.7K 
[ ]roughs_5__t26_roughs_5.vmin1out2024-08-03 10:23 76K 
[ ]roughs_5__t26_roughs_5.vout2024-08-03 07:46 85K 
[ ]roughs_5__t27_roughs_52024-07-28 15:57 18K 
[ ]roughs_5__t27_roughs_5.depv12024-08-03 10:19 204  
[ ]roughs_5__t27_roughs_5.depvmin12024-08-03 10:24 139  
[ ]roughs_5__t27_roughs_5.vmin12024-08-03 10:19 3.7K 
[ ]roughs_5__t27_roughs_5.vmin1out2024-08-03 10:22 76K 
[ ]roughs_5__t27_roughs_5.vout2024-08-03 09:49 85K 
[ ]roughs_5__t28_roughs_52024-07-28 16:10 20K 
[ ]roughs_5__t28_roughs_5.vout2024-08-03 08:39 4.2K 
[ ]roughs_5__t29_roughs_52024-07-28 16:11 20K 
[ ]roughs_5__t29_roughs_5.vout2024-08-03 05:31 3.7K 
[ ]roughs_5__t30_roughs_52024-07-28 16:12 20K 
[ ]roughs_5__t30_roughs_5.vout2024-08-03 04:12 4.2K 
[ ]roughs_5__t31_roughs_52024-07-28 15:58 16K 
[ ]roughs_5__t31_roughs_5.depv12024-08-03 10:19 125  
[ ]roughs_5__t31_roughs_5.depvmin12024-08-03 10:24 125  
[ ]roughs_5__t31_roughs_5.vmin12024-08-03 10:19 2.3K 
[ ]roughs_5__t31_roughs_5.vmin1out2024-08-03 10:21 64K 
[ ]roughs_5__t31_roughs_5.vout2024-08-03 07:18 35K 
[ ]roughs_5__t32_roughs_52024-07-28 15:59 16K 
[ ]roughs_5__t32_roughs_5.depv12024-08-03 10:19 140  
[ ]roughs_5__t32_roughs_5.depvmin12024-08-03 10:24 140  
[ ]roughs_5__t32_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t32_roughs_5.vmin1out2024-08-03 10:21 32K 
[ ]roughs_5__t32_roughs_5.vout2024-08-03 05:21 32K 
[ ]roughs_5__t33_roughs_52024-07-28 16:00 16K 
[ ]roughs_5__t33_roughs_5.depv12024-08-03 10:19 140  
[ ]roughs_5__t33_roughs_5.depvmin12024-08-03 10:24 140  
[ ]roughs_5__t33_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t33_roughs_5.vmin1out2024-08-03 10:21 32K 
[ ]roughs_5__t33_roughs_5.vout2024-08-03 06:38 32K 
[ ]roughs_5__t34_roughs_52024-07-28 16:01 18K 
[ ]roughs_5__t34_roughs_5.depv12024-08-03 10:19 141  
[ ]roughs_5__t34_roughs_5.depvmin12024-08-03 10:24 141  
[ ]roughs_5__t34_roughs_5.vmin12024-08-03 10:19 1.8K 
[ ]roughs_5__t34_roughs_5.vmin1out2024-08-03 10:20 16K 
[ ]roughs_5__t34_roughs_5.vout2024-08-03 06:43 19K 
[ ]roughs_5__t35_roughs_52024-07-28 16:02 18K 
[ ]roughs_5__t35_roughs_5.depv12024-08-03 10:19 141  
[ ]roughs_5__t35_roughs_5.depvmin12024-08-03 10:24 141  
[ ]roughs_5__t35_roughs_5.vmin12024-08-03 10:19 1.8K 
[ ]roughs_5__t35_roughs_5.vmin1out2024-08-03 10:23 16K 
[ ]roughs_5__t35_roughs_5.vout2024-08-03 08:52 19K 
[ ]roughs_5__t36_roughs_52024-07-28 16:03 20K 
[ ]roughs_5__t36_roughs_5.vout2024-08-03 09:19 5.3K 
[ ]roughs_5__t37_roughs_52024-07-28 16:04 20K 
[ ]roughs_5__t37_roughs_5.depv12024-08-03 10:19 199  
[ ]roughs_5__t37_roughs_5.depvmin12024-08-03 10:24 189  
[ ]roughs_5__t37_roughs_5.vmin12024-08-03 10:19 4.2K 
[ ]roughs_5__t37_roughs_5.vmin1out2024-08-03 10:20 113K 
[ ]roughs_5__t37_roughs_5.vout2024-08-03 07:54 79K 
[ ]roughs_5__t38_roughs_52024-07-28 16:05 18K 
[ ]roughs_5__t38_roughs_5.vout2024-08-03 05:39 7.3K 
[ ]roughs_5__t39_roughs_52024-07-28 16:05 15K 
[ ]roughs_5__t39_roughs_5.vout2024-08-03 08:27 6.8K 
[ ]roughs_5__t40_roughs_52024-07-28 15:25 15K 
[ ]roughs_5__t40_roughs_5.depv12024-08-03 10:19 54  
[ ]roughs_5__t40_roughs_5.depvmin12024-08-03 10:24 54  
[ ]roughs_5__t40_roughs_5.vmin12024-08-03 10:19 1.1K 
[ ]roughs_5__t40_roughs_5.vmin1out2024-08-03 10:21 8.3K 
[ ]roughs_5__t40_roughs_5.vout2024-08-03 05:30 8.6K 
[ ]roughs_5__t41_roughs_52024-07-28 15:26 15K 
[ ]roughs_5__t41_roughs_5.depv12024-08-03 10:19 54  
[ ]roughs_5__t41_roughs_5.depvmin12024-08-03 10:24 54  
[ ]roughs_5__t41_roughs_5.vmin12024-08-03 10:19 1.1K 
[ ]roughs_5__t41_roughs_5.vmin1out2024-08-03 10:20 8.3K 
[ ]roughs_5__t41_roughs_5.vout2024-08-03 06:23 8.6K 
[ ]roughs_5__t42_roughs_52024-07-28 16:06 19K 
[ ]roughs_5__t42_roughs_5.vout2024-08-03 07:13 3.7K 
[ ]roughs_5__t43_roughs_52024-07-28 15:27 18K 
[ ]roughs_5__t43_roughs_5.vout2024-08-03 09:15 2.0K 
[ ]roughs_5__t44_roughs_52024-07-28 15:28 18K 
[ ]roughs_5__t44_roughs_5.vout2024-08-03 04:38 2.0K 
[ ]roughs_5__t45_roughs_52024-07-28 16:07 19K 
[ ]roughs_5__t45_roughs_5.vout2024-08-03 10:13 3.7K 
[ ]roughs_5__t46_roughs_52024-07-28 15:29 18K 
[ ]roughs_5__t46_roughs_5.depv12024-08-03 10:19 103  
[ ]roughs_5__t46_roughs_5.depvmin12024-08-03 10:24 53  
[ ]roughs_5__t46_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t46_roughs_5.vmin1out2024-08-03 10:22 18K 
[ ]roughs_5__t46_roughs_5.vout2024-08-03 06:43 32K 
[ ]roughs_5__t47_roughs_52024-07-28 15:29 18K 
[ ]roughs_5__t47_roughs_5.depv12024-08-03 10:19 103  
[ ]roughs_5__t47_roughs_5.depvmin12024-08-03 10:24 53  
[ ]roughs_5__t47_roughs_5.vmin12024-08-03 10:19 2.1K 
[ ]roughs_5__t47_roughs_5.vmin1out2024-08-03 10:20 18K 
[ ]roughs_5__t47_roughs_5.vout2024-08-03 10:08 32K 
[ ]roughs_5__t48_roughs_52024-07-28 16:08 18K 
[ ]roughs_5__t48_roughs_5.vout2024-08-03 04:17 4.2K 
[ ]roughs_5__t49_roughs_52024-07-28 15:30 17K 
[ ]roughs_5__t49_roughs_5.depv12024-08-03 10:19 168  
[ ]roughs_5__t49_roughs_5.depvmin12024-08-03 10:24 78  
[ ]roughs_5__t49_roughs_5.vmin12024-08-03 10:19 2.8K 
[ ]roughs_5__t49_roughs_5.vmin1out2024-08-03 10:20 18K 
[ ]roughs_5__t49_roughs_5.vout2024-08-03 08:17 45K 
[ ]roughs_5__t50_roughs_52024-07-28 15:31 17K 
[ ]roughs_5__t50_roughs_5.depv12024-08-03 10:19 168  
[ ]roughs_5__t50_roughs_5.depvmin12024-08-03 10:24 78  
[ ]roughs_5__t50_roughs_5.vmin12024-08-03 10:19 2.8K 
[ ]roughs_5__t50_roughs_5.vmin1out2024-08-03 10:20 18K 
[ ]roughs_5__t50_roughs_5.vout2024-08-03 06:44 45K 
[ ]roughs_5__t51_roughs_52024-07-28 16:09 23K 
[ ]roughs_5__t51_roughs_5.vout2024-08-03 06:06 3.7K 
[ ]roughs_5__t52_roughs_52024-07-28 15:32 18K 
[ ]roughs_5__t52_roughs_5.vout2024-08-03 05:12 2.0K 
[ ]roughs_5__t53_roughs_52024-07-28 15:33 18K 
[ ]roughs_5__t53_roughs_5.vout2024-08-03 06:10 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80