Index of /~mptp/mml5.63.1382/MPTP2/problems_small/roughs_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughs_3__t54_roughs_3.vout2021-07-25 17:21 46K 
[ ]roughs_3__t54_roughs_3.vmin1out2021-07-25 21:01 59K 
[ ]roughs_3__t54_roughs_3.vmin12021-07-25 20:57 2.7K 
[ ]roughs_3__t54_roughs_3.depvmin12021-07-25 21:03 104  
[ ]roughs_3__t54_roughs_3.depv12021-07-25 20:57 124  
[ ]roughs_3__t54_roughs_32021-07-17 21:03 19K 
[ ]roughs_3__t53_roughs_3.vout2021-07-25 18:19 38K 
[ ]roughs_3__t53_roughs_3.vmin1out2021-07-25 21:00 39K 
[ ]roughs_3__t53_roughs_3.vmin12021-07-25 20:57 2.9K 
[ ]roughs_3__t53_roughs_3.depvmin12021-07-25 21:03 242  
[ ]roughs_3__t53_roughs_3.depv12021-07-25 20:57 242  
[ ]roughs_3__t53_roughs_32021-07-17 21:03 17K 
[ ]roughs_3__t52_roughs_3.vout2021-07-25 18:40 9.1K 
[ ]roughs_3__t52_roughs_3.vmin1out2021-07-25 20:58 8.8K 
[ ]roughs_3__t52_roughs_3.vmin12021-07-25 20:57 745  
[ ]roughs_3__t52_roughs_3.depvmin12021-07-25 21:03 26  
[ ]roughs_3__t52_roughs_3.depv12021-07-25 20:57 26  
[ ]roughs_3__t52_roughs_32021-07-17 20:47 15K 
[ ]roughs_3__t51_roughs_3.vout2021-07-25 20:39 22K 
[ ]roughs_3__t51_roughs_3.vmin1out2021-07-25 21:01 17K 
[ ]roughs_3__t51_roughs_3.vmin12021-07-25 20:57 1.5K 
[ ]roughs_3__t51_roughs_3.depvmin12021-07-25 21:03 26  
[ ]roughs_3__t51_roughs_3.depv12021-07-25 20:57 74  
[ ]roughs_3__t51_roughs_32021-07-17 20:47 16K 
[ ]roughs_3__t50_roughs_3.vout2021-07-25 15:44 7.2K 
[ ]roughs_3__t50_roughs_3.vmin1out2021-07-25 21:00 8.5K 
[ ]roughs_3__t50_roughs_3.vmin12021-07-25 20:57 767  
[ ]roughs_3__t50_roughs_3.depvmin12021-07-25 21:03 26  
[ ]roughs_3__t50_roughs_3.depv12021-07-25 20:57 26  
[ ]roughs_3__t50_roughs_32021-07-17 20:46 16K 
[ ]roughs_3__t49_roughs_3.vout2021-07-25 15:08 8.6K 
[ ]roughs_3__t49_roughs_3.vmin1out2021-07-25 21:02 8.3K 
[ ]roughs_3__t49_roughs_3.vmin12021-07-25 20:57 745  
[ ]roughs_3__t49_roughs_3.depvmin12021-07-25 21:03 26  
[ ]roughs_3__t49_roughs_3.depv12021-07-25 20:57 26  
[ ]roughs_3__t49_roughs_32021-07-17 20:46 15K 
[ ]roughs_3__t48_roughs_3.vout2021-07-25 14:41 6.8K 
[ ]roughs_3__t48_roughs_32021-07-17 21:03 23K 
[ ]roughs_3__t47_roughs_3.vout2021-07-25 20:49 6.8K 
[ ]roughs_3__t47_roughs_32021-07-17 21:02 22K 
[ ]roughs_3__t46_roughs_3.vout2021-07-25 18:58 6.8K 
[ ]roughs_3__t46_roughs_32021-07-17 21:02 21K 
[ ]roughs_3__t45_roughs_3.vout2021-07-25 16:32 6.8K 
[ ]roughs_3__t45_roughs_32021-07-17 21:01 21K 
[ ]roughs_3__t44_roughs_3.vout2021-07-25 19:00 6.8K 
[ ]roughs_3__t44_roughs_32021-07-17 21:01 19K 
[ ]roughs_3__t43_roughs_3.vout2021-07-25 15:26 6.8K 
[ ]roughs_3__t43_roughs_32021-07-17 21:01 18K 
[ ]roughs_3__t42_roughs_3.vout2021-07-25 20:05 4.1K 
[ ]roughs_3__t42_roughs_32021-07-17 21:00 27K 
[ ]roughs_3__t41_roughs_3.vout2021-07-25 20:34 4.1K 
[ ]roughs_3__t41_roughs_32021-07-17 21:00 25K 
[ ]roughs_3__t40_roughs_3.vout2021-07-25 16:29 4.1K 
[ ]roughs_3__t40_roughs_32021-07-17 20:59 26K 
[ ]roughs_3__t39_roughs_3.vout2021-07-25 19:20 6.8K 
[ ]roughs_3__t39_roughs_32021-07-17 20:59 27K 
[ ]roughs_3__t38_roughs_3.vout2021-07-25 15:56 19K 
[ ]roughs_3__t38_roughs_3.vmin1out2021-07-25 20:59 11K 
[ ]roughs_3__t38_roughs_3.vmin12021-07-25 20:57 1.1K 
[ ]roughs_3__t38_roughs_3.depvmin12021-07-25 21:03 39  
[ ]roughs_3__t38_roughs_3.depv12021-07-25 20:57 39  
[ ]roughs_3__t38_roughs_32021-07-17 20:59 11K 
[ ]roughs_3__t37_roughs_3.vout2021-07-25 18:52 6.8K 
[ ]roughs_3__t37_roughs_32021-07-17 20:58 23K 
[ ]roughs_3__t36_roughs_3.vout2021-07-25 15:45 7.4K 
[ ]roughs_3__t36_roughs_32021-07-17 20:58 31K 
[ ]roughs_3__t35_roughs_3.vout2021-07-25 15:22 4.1K 
[ ]roughs_3__t35_roughs_32021-07-17 20:58 26K 
[ ]roughs_3__t34_roughs_3.vout2021-07-25 15:05 4.1K 
[ ]roughs_3__t34_roughs_32021-07-17 20:57 27K 
[ ]roughs_3__t33_roughs_3.vout2021-07-25 19:33 6.8K 
[ ]roughs_3__t33_roughs_32021-07-17 20:57 30K 
[ ]roughs_3__t32_roughs_3.vout2021-07-25 20:44 4.1K 
[ ]roughs_3__t32_roughs_32021-07-17 20:56 15K 
[ ]roughs_3__t31_roughs_3.vout2021-07-25 19:59 47K 
[ ]roughs_3__t31_roughs_3.vmin1out2021-07-25 20:57 36K 
[ ]roughs_3__t31_roughs_3.vmin12021-07-25 20:57 3.2K 
[ ]roughs_3__t31_roughs_3.depvmin12021-07-25 21:03 171  
[ ]roughs_3__t31_roughs_3.depv12021-07-25 20:57 171  
[ ]roughs_3__t31_roughs_32021-07-17 20:56 15K 
[ ]roughs_3__t30_roughs_3.vout2021-07-25 18:00 4.1K 
[ ]roughs_3__t30_roughs_32021-07-17 20:56 15K 
[ ]roughs_3__t29_roughs_3.vout2021-07-25 14:42 19K 
[ ]roughs_3__t29_roughs_3.vmin1out2021-07-25 21:02 25K 
[ ]roughs_3__t29_roughs_3.vmin12021-07-25 20:57 2.2K 
[ ]roughs_3__t29_roughs_3.depvmin12021-07-25 21:03 146  
[ ]roughs_3__t29_roughs_3.depv12021-07-25 20:57 146  
[ ]roughs_3__t29_roughs_32021-07-17 20:55 12K 
[ ]roughs_3__t28_roughs_3.vout2021-07-25 17:58 4.4K 
[ ]roughs_3__t28_roughs_3.vmin1out2021-07-25 21:01 4.4K 
[ ]roughs_3__t28_roughs_3.vmin12021-07-25 20:57 443  
[ ]roughs_3__t28_roughs_3.depvmin12021-07-25 21:03 39  
[ ]roughs_3__t28_roughs_3.depv12021-07-25 20:57 39  
[ ]roughs_3__t28_roughs_32021-07-17 20:46 4.4K 
[ ]roughs_3__t27_roughs_3.vout2021-07-25 20:00 4.1K 
[ ]roughs_3__t27_roughs_32021-07-17 20:55 24K 
[ ]roughs_3__t26_roughs_3.vout2021-07-25 20:13 2.0K 
[ ]roughs_3__t26_roughs_32021-07-17 20:55 12K 
[ ]roughs_3__t25_roughs_3.vout2021-07-25 20:08 3.2K 
[ ]roughs_3__t25_roughs_32021-07-17 20:46 14K 
[ ]roughs_3__t24_roughs_3.vout2021-07-25 19:27 3.2K 
[ ]roughs_3__t24_roughs_32021-07-17 20:45 14K 
[ ]roughs_3__t23_roughs_3.vout2021-07-25 14:56 3.2K 
[ ]roughs_3__t23_roughs_32021-07-17 20:45 13K 
[ ]roughs_3__t22_roughs_3.vout2021-07-25 20:55 7.3K 
[ ]roughs_3__t22_roughs_32021-07-17 20:55 29K 
[ ]roughs_3__t21_roughs_3.vout2021-07-25 19:52 4.7K 
[ ]roughs_3__t21_roughs_32021-07-17 20:54 31K 
[ ]roughs_3__t20_roughs_3.vout2021-07-25 19:05 7.2K 
[ ]roughs_3__t20_roughs_3.vmin1out2021-07-25 21:02 7.2K 
[ ]roughs_3__t20_roughs_3.vmin12021-07-25 20:57 823  
[ ]roughs_3__t20_roughs_3.depvmin12021-07-25 21:03 52  
[ ]roughs_3__t20_roughs_3.depv12021-07-25 20:57 52  
[ ]roughs_3__t20_roughs_32021-07-17 20:54 10K 
[ ]roughs_3__t19_roughs_3.vout2021-07-25 20:56 7.2K 
[ ]roughs_3__t19_roughs_3.vmin1out2021-07-25 21:01 7.2K 
[ ]roughs_3__t19_roughs_3.vmin12021-07-25 20:57 823  
[ ]roughs_3__t19_roughs_3.depvmin12021-07-25 21:03 52  
[ ]roughs_3__t19_roughs_3.depv12021-07-25 20:57 52  
[ ]roughs_3__t19_roughs_32021-07-17 20:53 10K 
[ ]roughs_3__t18_roughs_3.vout2021-07-25 19:12 4.1K 
[ ]roughs_3__t18_roughs_32021-07-17 20:53 24K 
[ ]roughs_3__t17_roughs_3.vout2021-07-25 15:15 4.7K 
[ ]roughs_3__t17_roughs_32021-07-17 20:53 30K 
[ ]roughs_3__t16_roughs_3.vout2021-07-25 18:30 7.3K 
[ ]roughs_3__t16_roughs_32021-07-17 20:52 17K 
[ ]roughs_3__t15_roughs_3.vout2021-07-25 16:49 7.3K 
[ ]roughs_3__t15_roughs_32021-07-17 20:52 16K 
[ ]roughs_3__t14_roughs_3.vout2021-07-25 15:24 3.7K 
[ ]roughs_3__t14_roughs_32021-07-17 20:52 33K 
[ ]roughs_3__t13_roughs_3.vout2021-07-25 15:39 3.7K 
[ ]roughs_3__t13_roughs_32021-07-17 20:51 35K 
[ ]roughs_3__t12_roughs_3.vout2021-07-25 19:55 7.3K 
[ ]roughs_3__t12_roughs_32021-07-17 20:51 15K 
[ ]roughs_3__t11_roughs_3.vout2021-07-25 19:07 7.3K 
[ ]roughs_3__t11_roughs_32021-07-17 20:50 15K 
[ ]roughs_3__t10_roughs_3.vout2021-07-25 16:48 23K 
[ ]roughs_3__t10_roughs_3.vmin1out2021-07-25 21:02 23K 
[ ]roughs_3__t10_roughs_3.vmin12021-07-25 20:57 1.7K 
[ ]roughs_3__t10_roughs_3.depvmin12021-07-25 21:03 133  
[ ]roughs_3__t10_roughs_3.depv12021-07-25 20:57 133  
[ ]roughs_3__t10_roughs_32021-07-17 20:50 15K 
[ ]roughs_3__t9_roughs_3.vout2021-07-25 19:50 31K 
[ ]roughs_3__t9_roughs_3.vmin1out2021-07-25 21:01 30K 
[ ]roughs_3__t9_roughs_3.vmin12021-07-25 20:57 2.0K 
[ ]roughs_3__t9_roughs_3.depvmin12021-07-25 21:03 93  
[ ]roughs_3__t9_roughs_3.depv12021-07-25 20:57 119  
[ ]roughs_3__t9_roughs_32021-07-17 20:50 17K 
[ ]roughs_3__t8_roughs_3.vout2021-07-25 16:56 34K 
[ ]roughs_3__t8_roughs_3.vmin1out2021-07-25 20:58 34K 
[ ]roughs_3__t8_roughs_3.vmin12021-07-25 20:57 2.1K 
[ ]roughs_3__t8_roughs_3.depvmin12021-07-25 21:03 93  
[ ]roughs_3__t8_roughs_3.depv12021-07-25 20:57 119  
[ ]roughs_3__t8_roughs_32021-07-17 20:49 18K 
[ ]roughs_3__t7_roughs_3.vout2021-07-25 18:50 28K 
[ ]roughs_3__t7_roughs_3.vmin1out2021-07-25 21:01 22K 
[ ]roughs_3__t7_roughs_3.vmin12021-07-25 20:57 2.5K 
[ ]roughs_3__t7_roughs_3.depvmin12021-07-25 21:03 251  
[ ]roughs_3__t7_roughs_3.depv12021-07-25 20:57 251  
[ ]roughs_3__t7_roughs_32021-07-17 20:49 15K 
[ ]roughs_3__t6_roughs_3.vout2021-07-25 16:52 4.1K 
[ ]roughs_3__t6_roughs_32021-07-17 20:49 15K 
[ ]roughs_3__t5_roughs_3.vout2021-07-25 19:31 6.5K 
[ ]roughs_3__t5_roughs_3.vmin1out2021-07-25 21:00 7.5K 
[ ]roughs_3__t5_roughs_3.vmin12021-07-25 20:57 678  
[ ]roughs_3__t5_roughs_3.depvmin12021-07-25 21:03 56  
[ ]roughs_3__t5_roughs_3.depv12021-07-25 20:57 56  
[ ]roughs_3__t5_roughs_32021-07-17 20:48 14K 
[ ]roughs_3__t4_roughs_3.vout2021-07-25 20:46 6.5K 
[ ]roughs_3__t4_roughs_3.vmin1out2021-07-25 20:59 7.5K 
[ ]roughs_3__t4_roughs_3.vmin12021-07-25 20:57 678  
[ ]roughs_3__t4_roughs_3.depvmin12021-07-25 21:03 56  
[ ]roughs_3__t4_roughs_3.depv12021-07-25 20:57 56  
[ ]roughs_3__t4_roughs_32021-07-17 20:48 13K 
[ ]roughs_3__t3_roughs_3.vout2021-07-25 18:22 7.3K 
[ ]roughs_3__t3_roughs_32021-07-17 20:48 16K 
[ ]roughs_3__t2_roughs_3.vout2021-07-25 14:49 7.3K 
[ ]roughs_3__t2_roughs_32021-07-17 20:47 11K 
[ ]roughs_3__t1_roughs_3.vout2021-07-25 20:15 7.3K 
[ ]roughs_3__t1_roughs_32021-07-17 20:47 11K 
[ ]roughs_3__l57_roughs_3.vout2021-07-25 14:54 46K 
[ ]roughs_3__l57_roughs_3.vmin1out2021-07-25 21:00 59K 
[ ]roughs_3__l57_roughs_3.vmin12021-07-25 20:57 2.7K 
[ ]roughs_3__l57_roughs_3.depvmin12021-07-25 21:03 104  
[ ]roughs_3__l57_roughs_3.depv12021-07-25 20:57 124  
[ ]roughs_3__l57_roughs_32021-07-17 21:05 19K 
[ ]roughs_3__l56_roughs_3.vout2021-07-25 19:11 38K 
[ ]roughs_3__l56_roughs_3.vmin1out2021-07-25 21:00 25K 
[ ]roughs_3__l56_roughs_3.vmin12021-07-25 20:57 3.0K 
[ ]roughs_3__l56_roughs_3.depvmin12021-07-25 21:03 148  
[ ]roughs_3__l56_roughs_3.depv12021-07-25 20:57 148  
[ ]roughs_3__l56_roughs_32021-07-17 21:05 18K 
[ ]roughs_3__l27_roughs_3.vout2021-07-25 19:03 39K 
[ ]roughs_3__l27_roughs_3.vmin1out2021-07-25 20:59 39K 
[ ]roughs_3__l27_roughs_3.vmin12021-07-25 20:57 2.9K 
[ ]roughs_3__l27_roughs_3.depvmin12021-07-25 21:03 242  
[ ]roughs_3__l27_roughs_3.depv12021-07-25 20:57 242  
[ ]roughs_3__l27_roughs_32021-07-17 21:04 17K 
[ ]roughs_3__l26_roughs_3.vout2021-07-25 20:46 4.1K 
[ ]roughs_3__l26_roughs_32021-07-17 21:04 22K 
[ ]roughs_3__l10_roughs_3.vout2021-07-25 19:57 40K 
[ ]roughs_3__l10_roughs_3.vmin1out2021-07-25 21:01 39K 
[ ]roughs_3__l10_roughs_3.vmin12021-07-25 20:57 2.7K 
[ ]roughs_3__l10_roughs_3.depvmin12021-07-25 21:03 275  
[ ]roughs_3__l10_roughs_3.depv12021-07-25 20:57 275  
[ ]roughs_3__l10_roughs_32021-07-17 21:04 16K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80