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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughs_3__t54_roughs_3.vout2025-09-15 15:43 46K 
[ ]roughs_3__t54_roughs_3.vmin1out2025-09-15 19:48 59K 
[ ]roughs_3__t54_roughs_3.vmin12025-09-15 19:47 2.7K 
[ ]roughs_3__t54_roughs_3.depvmin12025-09-15 19:52 104  
[ ]roughs_3__t54_roughs_3.depv12025-09-15 19:47 124  
[ ]roughs_3__t54_roughs_32025-09-08 09:56 19K 
[ ]roughs_3__t53_roughs_3.vout2025-09-15 17:53 38K 
[ ]roughs_3__t53_roughs_3.vmin1out2025-09-15 19:49 39K 
[ ]roughs_3__t53_roughs_3.vmin12025-09-15 19:47 2.9K 
[ ]roughs_3__t53_roughs_3.depvmin12025-09-15 19:52 242  
[ ]roughs_3__t53_roughs_3.depv12025-09-15 19:47 242  
[ ]roughs_3__t53_roughs_32025-09-08 09:55 17K 
[ ]roughs_3__t52_roughs_3.vout2025-09-15 17:16 9.1K 
[ ]roughs_3__t52_roughs_3.vmin1out2025-09-15 19:48 8.8K 
[ ]roughs_3__t52_roughs_3.vmin12025-09-15 19:47 745  
[ ]roughs_3__t52_roughs_3.depvmin12025-09-15 19:52 26  
[ ]roughs_3__t52_roughs_3.depv12025-09-15 19:47 26  
[ ]roughs_3__t52_roughs_32025-09-08 09:07 15K 
[ ]roughs_3__t51_roughs_3.vout2025-09-15 19:25 22K 
[ ]roughs_3__t51_roughs_3.vmin1out2025-09-15 19:51 17K 
[ ]roughs_3__t51_roughs_3.vmin12025-09-15 19:47 1.5K 
[ ]roughs_3__t51_roughs_3.depvmin12025-09-15 19:52 26  
[ ]roughs_3__t51_roughs_3.depv12025-09-15 19:47 74  
[ ]roughs_3__t51_roughs_32025-09-08 09:07 16K 
[ ]roughs_3__t50_roughs_3.vout2025-09-15 17:02 7.2K 
[ ]roughs_3__t50_roughs_3.vmin1out2025-09-15 19:48 8.5K 
[ ]roughs_3__t50_roughs_3.vmin12025-09-15 19:47 767  
[ ]roughs_3__t50_roughs_3.depvmin12025-09-15 19:52 26  
[ ]roughs_3__t50_roughs_3.depv12025-09-15 19:47 26  
[ ]roughs_3__t50_roughs_32025-09-08 09:06 16K 
[ ]roughs_3__t49_roughs_3.vout2025-09-15 15:09 8.6K 
[ ]roughs_3__t49_roughs_3.vmin1out2025-09-15 19:50 8.3K 
[ ]roughs_3__t49_roughs_3.vmin12025-09-15 19:47 745  
[ ]roughs_3__t49_roughs_3.depvmin12025-09-15 19:52 26  
[ ]roughs_3__t49_roughs_3.depv12025-09-15 19:47 26  
[ ]roughs_3__t49_roughs_32025-09-08 09:05 15K 
[ ]roughs_3__t48_roughs_3.vout2025-09-15 19:01 7.4K 
[ ]roughs_3__t48_roughs_32025-09-08 09:54 23K 
[ ]roughs_3__t47_roughs_3.vout2025-09-15 14:21 6.8K 
[ ]roughs_3__t47_roughs_32025-09-08 09:53 22K 
[ ]roughs_3__t46_roughs_3.vout2025-09-15 17:01 7.3K 
[ ]roughs_3__t46_roughs_32025-09-08 09:52 21K 
[ ]roughs_3__t45_roughs_3.vout2025-09-15 13:32 6.8K 
[ ]roughs_3__t45_roughs_32025-09-08 09:51 21K 
[ ]roughs_3__t44_roughs_3.vout2025-09-15 13:34 6.8K 
[ ]roughs_3__t44_roughs_32025-09-08 09:50 19K 
[ ]roughs_3__t43_roughs_3.vout2025-09-15 16:30 6.8K 
[ ]roughs_3__t43_roughs_32025-09-08 09:49 18K 
[ ]roughs_3__t42_roughs_3.vout2025-09-15 15:06 4.1K 
[ ]roughs_3__t42_roughs_32025-09-08 09:47 27K 
[ ]roughs_3__t41_roughs_3.vout2025-09-15 15:20 4.1K 
[ ]roughs_3__t41_roughs_32025-09-08 09:46 25K 
[ ]roughs_3__t40_roughs_3.vout2025-09-15 19:11 4.1K 
[ ]roughs_3__t40_roughs_32025-09-08 09:45 26K 
[ ]roughs_3__t39_roughs_3.vout2025-09-15 15:20 6.8K 
[ ]roughs_3__t39_roughs_32025-09-08 09:44 27K 
[ ]roughs_3__t38_roughs_3.vout2025-09-15 15:30 19K 
[ ]roughs_3__t38_roughs_3.vmin1out2025-09-15 19:50 11K 
[ ]roughs_3__t38_roughs_3.vmin12025-09-15 19:47 1.1K 
[ ]roughs_3__t38_roughs_3.depvmin12025-09-15 19:52 39  
[ ]roughs_3__t38_roughs_3.depv12025-09-15 19:47 39  
[ ]roughs_3__t38_roughs_32025-09-08 09:43 11K 
[ ]roughs_3__t37_roughs_3.vout2025-09-15 16:40 6.8K 
[ ]roughs_3__t37_roughs_32025-09-08 09:42 23K 
[ ]roughs_3__t36_roughs_3.vout2025-09-15 14:23 7.3K 
[ ]roughs_3__t36_roughs_32025-09-08 09:41 31K 
[ ]roughs_3__t35_roughs_3.vout2025-09-15 18:51 4.1K 
[ ]roughs_3__t35_roughs_32025-09-08 09:39 26K 
[ ]roughs_3__t34_roughs_3.vout2025-09-15 17:36 4.1K 
[ ]roughs_3__t34_roughs_32025-09-08 09:38 27K 
[ ]roughs_3__t33_roughs_3.vout2025-09-15 15:13 6.8K 
[ ]roughs_3__t33_roughs_32025-09-08 09:37 30K 
[ ]roughs_3__t32_roughs_3.vout2025-09-15 13:51 4.1K 
[ ]roughs_3__t32_roughs_32025-09-08 09:36 15K 
[ ]roughs_3__t31_roughs_3.vout2025-09-15 15:39 47K 
[ ]roughs_3__t31_roughs_3.vmin1out2025-09-15 19:49 36K 
[ ]roughs_3__t31_roughs_3.vmin12025-09-15 19:47 3.2K 
[ ]roughs_3__t31_roughs_3.depvmin12025-09-15 19:52 171  
[ ]roughs_3__t31_roughs_3.depv12025-09-15 19:47 171  
[ ]roughs_3__t31_roughs_32025-09-08 09:35 15K 
[ ]roughs_3__t30_roughs_3.vout2025-09-15 13:40 4.2K 
[ ]roughs_3__t30_roughs_32025-09-08 09:34 15K 
[ ]roughs_3__t29_roughs_3.vout2025-09-15 19:28 49K 
[ ]roughs_3__t29_roughs_3.vmin1out2025-09-15 19:48 24K 
[ ]roughs_3__t29_roughs_3.vmin12025-09-15 19:47 2.2K 
[ ]roughs_3__t29_roughs_3.depvmin12025-09-15 19:52 131  
[ ]roughs_3__t29_roughs_3.depv12025-09-15 19:47 146  
[ ]roughs_3__t29_roughs_32025-09-08 09:33 12K 
[ ]roughs_3__t28_roughs_3.vout2025-09-15 18:12 4.4K 
[ ]roughs_3__t28_roughs_3.vmin1out2025-09-15 19:51 4.4K 
[ ]roughs_3__t28_roughs_3.vmin12025-09-15 19:47 443  
[ ]roughs_3__t28_roughs_3.depvmin12025-09-15 19:52 39  
[ ]roughs_3__t28_roughs_3.depv12025-09-15 19:47 39  
[ ]roughs_3__t28_roughs_32025-09-08 09:04 4.4K 
[ ]roughs_3__t27_roughs_3.vout2025-09-15 13:48 4.1K 
[ ]roughs_3__t27_roughs_32025-09-08 09:33 24K 
[ ]roughs_3__t26_roughs_3.vout2025-09-15 15:52 2.0K 
[ ]roughs_3__t26_roughs_32025-09-08 09:32 12K 
[ ]roughs_3__t25_roughs_3.vout2025-09-15 19:39 3.2K 
[ ]roughs_3__t25_roughs_32025-09-08 09:03 14K 
[ ]roughs_3__t24_roughs_3.vout2025-09-15 14:56 3.2K 
[ ]roughs_3__t24_roughs_32025-09-08 09:02 14K 
[ ]roughs_3__t23_roughs_3.vout2025-09-15 15:02 3.2K 
[ ]roughs_3__t23_roughs_32025-09-08 09:01 13K 
[ ]roughs_3__t22_roughs_3.vout2025-09-15 14:33 6.8K 
[ ]roughs_3__t22_roughs_32025-09-08 09:31 29K 
[ ]roughs_3__t21_roughs_3.vout2025-09-15 15:10 4.7K 
[ ]roughs_3__t21_roughs_32025-09-08 09:29 31K 
[ ]roughs_3__t20_roughs_3.vout2025-09-15 13:36 7.2K 
[ ]roughs_3__t20_roughs_3.vmin1out2025-09-15 19:47 7.2K 
[ ]roughs_3__t20_roughs_3.vmin12025-09-15 19:47 823  
[ ]roughs_3__t20_roughs_3.depvmin12025-09-15 19:52 52  
[ ]roughs_3__t20_roughs_3.depv12025-09-15 19:47 52  
[ ]roughs_3__t20_roughs_32025-09-08 09:28 10K 
[ ]roughs_3__t19_roughs_3.vout2025-09-15 15:11 7.2K 
[ ]roughs_3__t19_roughs_3.vmin1out2025-09-15 19:48 7.2K 
[ ]roughs_3__t19_roughs_3.vmin12025-09-15 19:47 823  
[ ]roughs_3__t19_roughs_3.depvmin12025-09-15 19:52 52  
[ ]roughs_3__t19_roughs_3.depv12025-09-15 19:47 52  
[ ]roughs_3__t19_roughs_32025-09-08 09:27 10K 
[ ]roughs_3__t18_roughs_3.vout2025-09-15 15:15 4.1K 
[ ]roughs_3__t18_roughs_32025-09-08 09:26 24K 
[ ]roughs_3__t17_roughs_3.vout2025-09-15 16:53 4.7K 
[ ]roughs_3__t17_roughs_32025-09-08 09:25 30K 
[ ]roughs_3__t16_roughs_3.vout2025-09-15 18:18 7.4K 
[ ]roughs_3__t16_roughs_32025-09-08 09:24 17K 
[ ]roughs_3__t15_roughs_3.vout2025-09-15 13:31 7.3K 
[ ]roughs_3__t15_roughs_32025-09-08 09:23 16K 
[ ]roughs_3__t14_roughs_3.vout2025-09-15 15:36 3.7K 
[ ]roughs_3__t14_roughs_32025-09-08 09:22 33K 
[ ]roughs_3__t13_roughs_3.vout2025-09-15 16:35 3.7K 
[ ]roughs_3__t13_roughs_32025-09-08 09:20 35K 
[ ]roughs_3__t12_roughs_3.vout2025-09-15 18:21 7.3K 
[ ]roughs_3__t12_roughs_32025-09-08 09:18 15K 
[ ]roughs_3__t11_roughs_3.vout2025-09-15 16:40 7.3K 
[ ]roughs_3__t11_roughs_32025-09-08 09:17 15K 
[ ]roughs_3__t10_roughs_3.vout2025-09-15 18:12 23K 
[ ]roughs_3__t10_roughs_3.vmin1out2025-09-15 19:48 23K 
[ ]roughs_3__t10_roughs_3.vmin12025-09-15 19:47 1.7K 
[ ]roughs_3__t10_roughs_3.depvmin12025-09-15 19:52 133  
[ ]roughs_3__t10_roughs_3.depv12025-09-15 19:47 133  
[ ]roughs_3__t10_roughs_32025-09-08 09:16 15K 
[ ]roughs_3__t9_roughs_3.vout2025-09-15 16:59 31K 
[ ]roughs_3__t9_roughs_3.vmin1out2025-09-15 19:47 30K 
[ ]roughs_3__t9_roughs_3.vmin12025-09-15 19:47 2.0K 
[ ]roughs_3__t9_roughs_3.depvmin12025-09-15 19:52 93  
[ ]roughs_3__t9_roughs_3.depv12025-09-15 19:47 119  
[ ]roughs_3__t9_roughs_32025-09-08 09:16 17K 
[ ]roughs_3__t8_roughs_3.vout2025-09-15 16:44 34K 
[ ]roughs_3__t8_roughs_3.vmin1out2025-09-15 19:50 34K 
[ ]roughs_3__t8_roughs_3.vmin12025-09-15 19:47 2.1K 
[ ]roughs_3__t8_roughs_3.depvmin12025-09-15 19:52 93  
[ ]roughs_3__t8_roughs_3.depv12025-09-15 19:47 119  
[ ]roughs_3__t8_roughs_32025-09-08 09:15 18K 
[ ]roughs_3__t7_roughs_3.vout2025-09-15 18:44 28K 
[ ]roughs_3__t7_roughs_3.vmin1out2025-09-15 19:50 22K 
[ ]roughs_3__t7_roughs_3.vmin12025-09-15 19:47 2.5K 
[ ]roughs_3__t7_roughs_3.depvmin12025-09-15 19:52 251  
[ ]roughs_3__t7_roughs_3.depv12025-09-15 19:47 251  
[ ]roughs_3__t7_roughs_32025-09-08 09:14 15K 
[ ]roughs_3__t6_roughs_3.vout2025-09-15 19:21 4.1K 
[ ]roughs_3__t6_roughs_32025-09-08 09:13 15K 
[ ]roughs_3__t5_roughs_3.vout2025-09-15 14:28 6.5K 
[ ]roughs_3__t5_roughs_3.vmin1out2025-09-15 19:49 7.5K 
[ ]roughs_3__t5_roughs_3.vmin12025-09-15 19:47 678  
[ ]roughs_3__t5_roughs_3.depvmin12025-09-15 19:52 56  
[ ]roughs_3__t5_roughs_3.depv12025-09-15 19:47 56  
[ ]roughs_3__t5_roughs_32025-09-08 09:12 14K 
[ ]roughs_3__t4_roughs_3.vout2025-09-15 17:22 6.5K 
[ ]roughs_3__t4_roughs_3.vmin1out2025-09-15 19:48 7.5K 
[ ]roughs_3__t4_roughs_3.vmin12025-09-15 19:47 678  
[ ]roughs_3__t4_roughs_3.depvmin12025-09-15 19:52 56  
[ ]roughs_3__t4_roughs_3.depv12025-09-15 19:47 56  
[ ]roughs_3__t4_roughs_32025-09-08 09:11 13K 
[ ]roughs_3__t3_roughs_3.vout2025-09-15 19:31 7.3K 
[ ]roughs_3__t3_roughs_32025-09-08 09:10 16K 
[ ]roughs_3__t2_roughs_3.vout2025-09-15 16:09 7.3K 
[ ]roughs_3__t2_roughs_32025-09-08 09:09 11K 
[ ]roughs_3__t1_roughs_3.vout2025-09-15 15:44 7.3K 
[ ]roughs_3__t1_roughs_32025-09-08 09:08 11K 
[ ]roughs_3__l57_roughs_3.vout2025-09-15 19:40 46K 
[ ]roughs_3__l57_roughs_3.vmin1out2025-09-15 19:50 59K 
[ ]roughs_3__l57_roughs_3.vmin12025-09-15 19:47 2.7K 
[ ]roughs_3__l57_roughs_3.depvmin12025-09-15 19:52 104  
[ ]roughs_3__l57_roughs_3.depv12025-09-15 19:47 124  
[ ]roughs_3__l57_roughs_32025-09-08 10:01 19K 
[ ]roughs_3__l56_roughs_3.vout2025-09-15 18:14 38K 
[ ]roughs_3__l56_roughs_3.vmin1out2025-09-15 19:50 25K 
[ ]roughs_3__l56_roughs_3.vmin12025-09-15 19:47 3.0K 
[ ]roughs_3__l56_roughs_3.depvmin12025-09-15 19:52 148  
[ ]roughs_3__l56_roughs_3.depv12025-09-15 19:47 148  
[ ]roughs_3__l56_roughs_32025-09-08 10:00 18K 
[ ]roughs_3__l27_roughs_3.vout2025-09-15 15:00 39K 
[ ]roughs_3__l27_roughs_3.vmin1out2025-09-15 19:48 39K 
[ ]roughs_3__l27_roughs_3.vmin12025-09-15 19:47 2.9K 
[ ]roughs_3__l27_roughs_3.depvmin12025-09-15 19:52 242  
[ ]roughs_3__l27_roughs_3.depv12025-09-15 19:47 242  
[ ]roughs_3__l27_roughs_32025-09-08 09:59 17K 
[ ]roughs_3__l26_roughs_3.vout2025-09-15 19:24 4.1K 
[ ]roughs_3__l26_roughs_32025-09-08 09:59 22K 
[ ]roughs_3__l10_roughs_3.vout2025-09-15 16:54 40K 
[ ]roughs_3__l10_roughs_3.vmin1out2025-09-15 19:47 39K 
[ ]roughs_3__l10_roughs_3.vmin12025-09-15 19:47 2.7K 
[ ]roughs_3__l10_roughs_3.depvmin12025-09-15 19:52 275  
[ ]roughs_3__l10_roughs_3.depv12025-09-15 19:47 275  
[ ]roughs_3__l10_roughs_32025-09-08 09:57 16K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80