Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/roughs_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughs_5__t4_roughs_5.depv12025-09-15 19:46 50  
[ ]roughs_5__t4_roughs_5.depvmin12025-09-15 19:51 50  
[ ]roughs_5__t46_roughs_5.depvmin12025-09-15 19:51 53  
[ ]roughs_5__t47_roughs_5.depvmin12025-09-15 19:51 53  
[ ]roughs_5__t40_roughs_5.depv12025-09-15 19:46 54  
[ ]roughs_5__t40_roughs_5.depvmin12025-09-15 19:51 54  
[ ]roughs_5__t41_roughs_5.depv12025-09-15 19:46 54  
[ ]roughs_5__t41_roughs_5.depvmin12025-09-15 19:51 54  
[ ]roughs_5__t49_roughs_5.depvmin12025-09-15 19:51 78  
[ ]roughs_5__t50_roughs_5.depvmin12025-09-15 19:51 78  
[ ]roughs_5__t46_roughs_5.depv12025-09-15 19:46 103  
[ ]roughs_5__t47_roughs_5.depv12025-09-15 19:46 103  
[ ]roughs_5__t6_roughs_5.depv12025-09-15 19:46 115  
[ ]roughs_5__t6_roughs_5.depvmin12025-09-15 19:51 115  
[ ]roughs_5__t14_roughs_5.depv12025-09-15 19:46 118  
[ ]roughs_5__t14_roughs_5.depvmin12025-09-15 19:51 118  
[ ]roughs_5__l19_roughs_5.depv12025-09-15 19:46 121  
[ ]roughs_5__l19_roughs_5.depvmin12025-09-15 19:51 121  
[ ]roughs_5__t31_roughs_5.depv12025-09-15 19:46 125  
[ ]roughs_5__t31_roughs_5.depvmin12025-09-15 19:51 125  
[ ]roughs_5__t12_roughs_5.depvmin12025-09-15 19:51 127  
[ ]roughs_5__t9_roughs_5.depv12025-09-15 19:46 128  
[ ]roughs_5__t9_roughs_5.depvmin12025-09-15 19:51 128  
[ ]roughs_5__t15_roughs_5.depv12025-09-15 19:46 131  
[ ]roughs_5__t15_roughs_5.depvmin12025-09-15 19:51 131  
[ ]roughs_5__t17_roughs_5.depv12025-09-15 19:46 132  
[ ]roughs_5__t17_roughs_5.depvmin12025-09-15 19:51 132  
[ ]roughs_5__t26_roughs_5.depvmin12025-09-15 19:51 139  
[ ]roughs_5__t27_roughs_5.depvmin12025-09-15 19:51 139  
[ ]roughs_5__t32_roughs_5.depv12025-09-15 19:46 140  
[ ]roughs_5__t32_roughs_5.depvmin12025-09-15 19:51 140  
[ ]roughs_5__t33_roughs_5.depv12025-09-15 19:46 140  
[ ]roughs_5__t33_roughs_5.depvmin12025-09-15 19:51 140  
[ ]roughs_5__t34_roughs_5.depv12025-09-15 19:46 141  
[ ]roughs_5__t34_roughs_5.depvmin12025-09-15 19:51 141  
[ ]roughs_5__t35_roughs_5.depv12025-09-15 19:46 141  
[ ]roughs_5__t35_roughs_5.depvmin12025-09-15 19:51 141  
[ ]roughs_5__t11_roughs_5.depv12025-09-15 19:46 144  
[ ]roughs_5__t11_roughs_5.depvmin12025-09-15 19:51 144  
[ ]roughs_5__t7_roughs_5.depv12025-09-15 19:46 149  
[ ]roughs_5__t7_roughs_5.depvmin12025-09-15 19:51 149  
[ ]roughs_5__t25_roughs_5.depvmin12025-09-15 19:51 164  
[ ]roughs_5__t49_roughs_5.depv12025-09-15 19:46 168  
[ ]roughs_5__t50_roughs_5.depv12025-09-15 19:46 168  
[ ]roughs_5__t25_roughs_5.depv12025-09-15 19:46 177  
[ ]roughs_5__t37_roughs_5.depv12025-09-15 19:46 199  
[ ]roughs_5__t37_roughs_5.depvmin12025-09-15 19:51 199  
[ ]roughs_5__t26_roughs_5.depv12025-09-15 19:46 204  
[ ]roughs_5__t27_roughs_5.depv12025-09-15 19:46 204  
[ ]roughs_5__t12_roughs_5.depv12025-09-15 19:46 235  
[ ]roughs_5__t4_roughs_5.vmin12025-09-15 19:47 932  
[ ]roughs_5__t40_roughs_5.vmin12025-09-15 19:47 1.1K 
[ ]roughs_5__t41_roughs_5.vmin12025-09-15 19:47 1.1K 
[ ]roughs_5__l19_roughs_5.vmin12025-09-15 19:47 1.2K 
[ ]roughs_5__t14_roughs_5.vmin12025-09-15 19:47 1.6K 
[ ]roughs_5__t34_roughs_5.vmin12025-09-15 19:47 1.8K 
[ ]roughs_5__t35_roughs_5.vmin12025-09-15 19:47 1.8K 
[ ]roughs_5__t9_roughs_5.vmin12025-09-15 19:47 1.8K 
[ ]roughs_5__t11_roughs_5.vmin12025-09-15 19:47 2.0K 
[ ]roughs_5__t6_roughs_5.vmin12025-09-15 19:47 2.0K 
[ ]roughs_5__t43_roughs_5.vout2025-09-15 17:21 2.0K 
[ ]roughs_5__t44_roughs_5.vout2025-09-15 15:21 2.0K 
[ ]roughs_5__t53_roughs_5.vout2025-09-15 15:19 2.0K 
[ ]roughs_5__t52_roughs_5.vout2025-09-15 15:57 2.0K 
[ ]roughs_5__t17_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t7_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t32_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t33_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t46_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t47_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t15_roughs_5.vmin12025-09-15 19:47 2.1K 
[ ]roughs_5__t31_roughs_5.vmin12025-09-15 19:47 2.3K 
[ ]roughs_5__t49_roughs_5.vmin12025-09-15 19:47 2.8K 
[ ]roughs_5__t50_roughs_5.vmin12025-09-15 19:47 2.8K 
[ ]roughs_5__t25_roughs_5.vmin12025-09-15 19:47 3.5K 
[ ]roughs_5__t12_roughs_5.vmin12025-09-15 19:47 3.5K 
[ ]roughs_5__t19_roughs_5.vout2025-09-15 15:10 3.7K 
[ ]roughs_5__t28_roughs_5.vout2025-09-15 19:45 3.7K 
[ ]roughs_5__t16_roughs_5.vout2025-09-15 18:22 3.7K 
[ ]roughs_5__t22_roughs_5.vout2025-09-15 17:48 3.7K 
[ ]roughs_5__t45_roughs_5.vout2025-09-15 13:50 3.7K 
[ ]roughs_5__t18_roughs_5.vout2025-09-15 17:38 3.7K 
[ ]roughs_5__t30_roughs_5.vout2025-09-15 16:47 3.7K 
[ ]roughs_5__t42_roughs_5.vout2025-09-15 18:50 3.7K 
[ ]roughs_5__t13_roughs_5.vout2025-09-15 17:08 3.7K 
[ ]roughs_5__t29_roughs_5.vout2025-09-15 19:05 3.7K 
[ ]roughs_5__t26_roughs_5.vmin12025-09-15 19:47 3.7K 
[ ]roughs_5__t27_roughs_5.vmin12025-09-15 19:47 3.7K 
[ ]roughs_5__t8_roughs_5.vout2025-09-15 16:14 4.1K 
[ ]roughs_5__t37_roughs_5.vmin12025-09-15 19:47 4.2K 
[ ]roughs_5__t48_roughs_5.vout2025-09-15 14:05 4.2K 
[ ]roughs_5__t51_roughs_5.vout2025-09-15 17:03 4.2K 
[ ]roughs_5__t5_roughs_5.vout2025-09-15 17:21 4.7K 
[ ]roughs_5__t2_roughs_5.vout2025-09-15 15:42 5.3K 
[ ]roughs_5__t3_roughs_5.vout2025-09-15 18:17 5.3K 
[ ]roughs_5__t21_roughs_5.vout2025-09-15 14:16 5.3K 
[ ]roughs_5__l47_roughs_5.vout2025-09-15 13:32 5.3K 
[ ]roughs_5__t24_roughs_5.vout2025-09-15 15:35 5.3K 
[ ]roughs_5__t36_roughs_5.vout2025-09-15 13:28 5.3K 
[ ]roughs_5__t20_roughs_5.vout2025-09-15 18:01 5.3K 
[ ]roughs_5__t23_roughs_5.vout2025-09-15 16:07 5.3K 
[ ]roughs_5__l48_roughs_5.vout2025-09-15 14:09 5.9K 
[ ]roughs_5__t39_roughs_5.vout2025-09-15 17:09 7.3K 
[ ]roughs_5__t1_roughs_5.vout2025-09-15 16:25 7.3K 
[ ]roughs_5__t38_roughs_5.vout2025-09-15 16:06 7.3K 
[ ]roughs_5__t10_roughs_5.vout2025-09-15 18:23 7.9K 
[ ]roughs_5__t40_roughs_5.vmin1out2025-09-15 19:50 8.3K 
[ ]roughs_5__t41_roughs_5.vmin1out2025-09-15 19:48 8.3K 
[ ]roughs_5__t40_roughs_5.vout2025-09-15 13:41 8.6K 
[ ]roughs_5__t41_roughs_5.vout2025-09-15 19:32 8.6K 
[ ]roughs_5__t4_roughs_5.vout2025-09-15 14:27 9.8K 
[ ]roughs_5__t4_roughs_5.vmin1out2025-09-15 19:48 11K 
[ ]roughs_5__l19_roughs_52025-09-08 14:29 11K 
[ ]roughs_5__l19_roughs_5.vmin1out2025-09-15 19:48 14K 
[ ]roughs_5__l19_roughs_5.vout2025-09-15 18:42 14K 
[ ]roughs_5__t8_roughs_52025-09-08 14:35 15K 
[ ]roughs_5__t4_roughs_52025-09-08 14:19 15K 
[ ]roughs_5__t40_roughs_52025-09-08 14:20 15K 
[ ]roughs_5__t41_roughs_52025-09-08 14:21 15K 
[ ]roughs_5__t6_roughs_52025-09-08 14:34 15K 
[ ]roughs_5__t11_roughs_5.vmin1out2025-09-15 19:50 15K 
[ ]roughs_5__t39_roughs_52025-09-08 15:02 15K 
[ ]roughs_5__t14_roughs_5.vout2025-09-15 16:57 16K 
[ ]roughs_5__t1_roughs_52025-09-08 14:30 16K 
[ ]roughs_5__t11_roughs_52025-09-08 14:20 16K 
[ ]roughs_5__t31_roughs_52025-09-08 14:54 16K 
[ ]roughs_5__t32_roughs_52025-09-08 14:55 16K 
[ ]roughs_5__t33_roughs_52025-09-08 14:56 16K 
[ ]roughs_5__t34_roughs_5.vmin1out2025-09-15 19:51 16K 
[ ]roughs_5__t35_roughs_5.vmin1out2025-09-15 19:49 16K 
[ ]roughs_5__t14_roughs_52025-09-08 14:40 16K 
[ ]roughs_5__t25_roughs_52025-09-08 14:51 17K 
[ ]roughs_5__t19_roughs_52025-09-08 14:46 17K 
[ ]roughs_5__t35_roughs_5.vout2025-09-15 18:38 17K 
[ ]roughs_5__t7_roughs_52025-09-08 14:35 17K 
[ ]roughs_5__t14_roughs_5.vmin1out2025-09-15 19:47 17K 
[ ]roughs_5__t49_roughs_52025-09-08 14:26 17K 
[ ]roughs_5__t50_roughs_52025-09-08 14:26 17K 
[ ]roughs_5__l48_roughs_52025-09-08 15:10 17K 
[ ]roughs_5__t20_roughs_52025-09-08 14:46 17K 
[ ]roughs_5__t21_roughs_52025-09-08 14:47 17K 
[ ]roughs_5__t46_roughs_5.vmin1out2025-09-15 19:50 18K 
[ ]roughs_5__t47_roughs_5.vmin1out2025-09-15 19:47 18K 
[ ]roughs_5__t38_roughs_52025-09-08 15:01 18K 
[ ]roughs_5__t43_roughs_52025-09-08 14:22 18K 
[ ]roughs_5__t44_roughs_52025-09-08 14:23 18K 
[ ]roughs_5__t26_roughs_52025-09-08 14:52 18K 
[ ]roughs_5__t27_roughs_52025-09-08 14:53 18K 
[ ]roughs_5__t22_roughs_52025-09-08 14:48 18K 
[ ]roughs_5__t52_roughs_52025-09-08 14:28 18K 
[ ]roughs_5__t53_roughs_52025-09-08 14:28 18K 
[ ]roughs_5__t9_roughs_52025-09-08 14:36 18K 
[ ]roughs_5__t10_roughs_52025-09-08 14:37 18K 
[ ]roughs_5__t34_roughs_52025-09-08 14:57 18K 
[ ]roughs_5__t35_roughs_52025-09-08 14:58 18K 
[ ]roughs_5__t49_roughs_5.vmin1out2025-09-15 19:49 18K 
[ ]roughs_5__t50_roughs_5.vmin1out2025-09-15 19:51 18K 
[ ]roughs_5__t6_roughs_5.vout2025-09-15 19:19 18K 
[ ]roughs_5__t12_roughs_52025-09-08 14:38 18K 
[ ]roughs_5__t48_roughs_52025-09-08 15:04 18K 
[ ]roughs_5__t46_roughs_52025-09-08 14:24 18K 
[ ]roughs_5__t47_roughs_52025-09-08 14:25 18K 
[ ]roughs_5__t45_roughs_52025-09-08 15:04 19K 
[ ]roughs_5__t17_roughs_52025-09-08 14:43 19K 
[ ]roughs_5__t34_roughs_5.vout2025-09-15 16:02 19K 
[ ]roughs_5__l47_roughs_52025-09-08 15:09 19K 
[ ]roughs_5__t42_roughs_52025-09-08 15:03 19K 
[ ]roughs_5__t28_roughs_52025-09-08 15:06 20K 
[ ]roughs_5__t29_roughs_52025-09-08 15:07 20K 
[ ]roughs_5__t30_roughs_52025-09-08 15:08 20K 
[ ]roughs_5__t36_roughs_52025-09-08 14:59 20K 
[ ]roughs_5__t15_roughs_52025-09-08 14:41 20K 
[ ]roughs_5__t37_roughs_52025-09-08 15:00 20K 
[ ]roughs_5__t2_roughs_52025-09-08 14:31 21K 
[ ]roughs_5__t5_roughs_52025-09-08 14:33 21K 
[ ]roughs_5__t3_roughs_52025-09-08 14:32 21K 
[ ]roughs_5__t13_roughs_52025-09-08 14:39 22K 
[ ]roughs_5__t17_roughs_5.vout2025-09-15 17:27 22K 
[ ]roughs_5__t24_roughs_52025-09-08 14:50 23K 
[ ]roughs_5__t11_roughs_5.vout2025-09-15 18:47 23K 
[ ]roughs_5__t51_roughs_52025-09-08 15:05 23K 
[ ]roughs_5__t23_roughs_52025-09-08 14:49 24K 
[ ]roughs_5__t17_roughs_5.vmin1out2025-09-15 19:49 26K 
[ ]roughs_5__t15_roughs_5.vmin1out2025-09-15 19:49 27K 
[ ]roughs_5__t16_roughs_52025-09-08 14:43 27K 
[ ]roughs_5__t18_roughs_52025-09-08 14:45 27K 
[ ]roughs_5__t12_roughs_5.vmin1out2025-09-15 19:50 29K 
[ ]roughs_5__t9_roughs_5.vmin1out2025-09-15 19:48 30K 
[ ]roughs_5__t9_roughs_5.vout2025-09-15 19:12 32K 
[ ]roughs_5__t15_roughs_5.vout2025-09-15 16:19 32K 
[ ]roughs_5__t7_roughs_5.vmin1out2025-09-15 19:50 32K 
[ ]roughs_5__t32_roughs_5.vmin1out2025-09-15 19:48 32K 
[ ]roughs_5__t33_roughs_5.vmin1out2025-09-15 19:49 32K 
[ ]roughs_5__t32_roughs_5.vout2025-09-15 13:30 32K 
[ ]roughs_5__t33_roughs_5.vout2025-09-15 19:41 32K 
[ ]roughs_5__t46_roughs_5.vout2025-09-15 16:29 32K 
[ ]roughs_5__t47_roughs_5.vout2025-09-15 18:57 32K 
[ ]roughs_5__t7_roughs_5.vout2025-09-15 13:32 33K 
[ ]roughs_5__t31_roughs_5.vout2025-09-15 15:50 35K 
[ ]roughs_5__t6_roughs_5.vmin1out2025-09-15 19:47 40K 
[ ]roughs_5__t49_roughs_5.vout2025-09-15 19:28 45K 
[ ]roughs_5__t50_roughs_5.vout2025-09-15 18:25 45K 
[ ]roughs_5__t12_roughs_5.vout2025-09-15 17:55 50K 
[ ]roughs_5__t25_roughs_5.vmin1out2025-09-15 19:50 63K 
[ ]roughs_5__t31_roughs_5.vmin1out2025-09-15 19:48 64K 
[ ]roughs_5__t26_roughs_5.vmin1out2025-09-15 19:47 76K 
[ ]roughs_5__t27_roughs_5.vmin1out2025-09-15 19:48 76K 
[ ]roughs_5__t37_roughs_5.vout2025-09-15 14:02 79K 
[ ]roughs_5__t25_roughs_5.vout2025-09-15 13:57 79K 
[ ]roughs_5__t37_roughs_5.vmin1out2025-09-15 19:50 82K 
[ ]roughs_5__t26_roughs_5.vout2025-09-15 19:15 85K 
[ ]roughs_5__t27_roughs_5.vout2025-09-15 15:24 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80