Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small/msafree4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msafree4__l2_msafree42021-07-18 06:30 42K 
[ ]msafree4__l2_msafree4.vout2021-07-25 17:22 7.3K 
[ ]msafree4__l26_msafree42021-07-18 06:30 32K 
[ ]msafree4__l26_msafree4.vout2021-07-25 14:28 2.0K 
[ ]msafree4__l102_msafree42021-07-18 06:31 82K 
[ ]msafree4__l102_msafree4.vout2021-07-25 15:42 7.3K 
[ ]msafree4__t1_msafree42021-07-18 05:40 31K 
[ ]msafree4__t1_msafree4.vout2021-07-25 19:54 7.4K 
[ ]msafree4__t2_msafree42021-07-18 05:41 38K 
[ ]msafree4__t2_msafree4.vout2021-07-25 17:22 5.9K 
[ ]msafree4__t3_msafree42021-07-18 05:41 70K 
[ ]msafree4__t3_msafree4.vout2021-07-25 17:06 3.7K 
[ ]msafree4__t4_msafree42021-07-18 05:42 46K 
[ ]msafree4__t4_msafree4.depv12021-07-25 20:57 193  
[ ]msafree4__t4_msafree4.depvmin12021-07-25 21:03 159  
[ ]msafree4__t4_msafree4.vmin12021-07-25 20:57 2.4K 
[ ]msafree4__t4_msafree4.vmin1out2021-07-25 20:57 27K 
[ ]msafree4__t4_msafree4.vout2021-07-25 17:25 24K 
[ ]msafree4__t5_msafree42021-07-18 05:42 44K 
[ ]msafree4__t5_msafree4.depv12021-07-25 20:57 180  
[ ]msafree4__t5_msafree4.depvmin12021-07-25 21:03 159  
[ ]msafree4__t5_msafree4.vmin12021-07-25 20:57 2.0K 
[ ]msafree4__t5_msafree4.vmin1out2021-07-25 20:59 26K 
[ ]msafree4__t5_msafree4.vout2021-07-25 14:35 30K 
[ ]msafree4__t6_msafree42021-07-18 05:43 45K 
[ ]msafree4__t6_msafree4.vout2021-07-25 20:00 7.3K 
[ ]msafree4__t7_msafree42021-07-18 05:43 68K 
[ ]msafree4__t7_msafree4.vout2021-07-25 15:55 6.8K 
[ ]msafree4__t8_msafree42021-07-18 05:44 36K 
[ ]msafree4__t8_msafree4.depv12021-07-25 20:57 101  
[ ]msafree4__t8_msafree4.depvmin12021-07-25 21:03 101  
[ ]msafree4__t8_msafree4.vmin12021-07-25 20:57 1.1K 
[ ]msafree4__t8_msafree4.vmin1out2021-07-25 20:59 19K 
[ ]msafree4__t8_msafree4.vout2021-07-25 15:15 18K 
[ ]msafree4__t9_msafree42021-07-18 05:44 35K 
[ ]msafree4__t9_msafree4.vout2021-07-25 18:31 3.7K 
[ ]msafree4__t10_msafree42021-07-18 05:45 56K 
[ ]msafree4__t10_msafree4.vout2021-07-25 14:37 7.3K 
[ ]msafree4__t11_msafree42021-07-18 05:45 68K 
[ ]msafree4__t11_msafree4.vout2021-07-25 18:05 3.7K 
[ ]msafree4__t12_msafree42021-07-18 05:46 36K 
[ ]msafree4__t12_msafree4.depv12021-07-25 20:57 82  
[ ]msafree4__t12_msafree4.depvmin12021-07-25 21:03 82  
[ ]msafree4__t12_msafree4.vmin12021-07-25 20:57 896  
[ ]msafree4__t12_msafree4.vmin1out2021-07-25 21:01 14K 
[ ]msafree4__t12_msafree4.vout2021-07-25 20:51 14K 
[ ]msafree4__t13_msafree42021-07-18 05:46 80K 
[ ]msafree4__t13_msafree4.vout2021-07-25 18:50 7.3K 
[ ]msafree4__t14_msafree42021-07-18 05:47 40K 
[ ]msafree4__t14_msafree4.vout2021-07-25 14:50 7.3K 
[ ]msafree4__t15_msafree42021-07-18 05:47 42K 
[ ]msafree4__t15_msafree4.vout2021-07-25 16:29 7.4K 
[ ]msafree4__t16_msafree42021-07-18 05:48 35K 
[ ]msafree4__t16_msafree4.vout2021-07-25 19:08 7.4K 
[ ]msafree4__t17_msafree42021-07-18 05:48 26K 
[ ]msafree4__t17_msafree4.depv12021-07-25 20:57 77  
[ ]msafree4__t17_msafree4.depvmin12021-07-25 21:03 77  
[ ]msafree4__t17_msafree4.vmin12021-07-25 20:57 968  
[ ]msafree4__t17_msafree4.vmin1out2021-07-25 21:01 13K 
[ ]msafree4__t17_msafree4.vout2021-07-25 16:49 20K 
[ ]msafree4__t18_msafree42021-07-18 05:48 26K 
[ ]msafree4__t18_msafree4.depv12021-07-25 20:57 77  
[ ]msafree4__t18_msafree4.depvmin12021-07-25 21:03 64  
[ ]msafree4__t18_msafree4.vmin12021-07-25 20:57 879  
[ ]msafree4__t18_msafree4.vmin1out2021-07-25 21:00 7.4K 
[ ]msafree4__t18_msafree4.vout2021-07-25 14:31 13K 
[ ]msafree4__t19_msafree42021-07-18 05:49 42K 
[ ]msafree4__t19_msafree4.vout2021-07-25 17:52 7.3K 
[ ]msafree4__t20_msafree42021-07-18 05:49 53K 
[ ]msafree4__t20_msafree4.vout2021-07-25 17:20 6.8K 
[ ]msafree4__t21_msafree42021-07-18 05:50 25K 
[ ]msafree4__t21_msafree4.depv12021-07-25 20:57 173  
[ ]msafree4__t21_msafree4.depvmin12021-07-25 21:03 173  
[ ]msafree4__t21_msafree4.vmin12021-07-25 20:57 2.1K 
[ ]msafree4__t21_msafree4.vmin1out2021-07-25 20:59 27K 
[ ]msafree4__t21_msafree4.vout2021-07-25 20:54 27K 
[ ]msafree4__t22_msafree42021-07-18 05:50 44K 
[ ]msafree4__t22_msafree4.vout2021-07-25 20:45 7.3K 
[ ]msafree4__t23_msafree42021-07-18 05:51 53K 
[ ]msafree4__t23_msafree4.vout2021-07-25 15:08 7.3K 
[ ]msafree4__t24_msafree42021-07-18 05:36 58K 
[ ]msafree4__t24_msafree4.depv12021-07-25 20:57 178  
[ ]msafree4__t24_msafree4.depvmin12021-07-25 21:03 178  
[ ]msafree4__t24_msafree4.vmin12021-07-25 20:57 3.2K 
[ ]msafree4__t24_msafree4.vmin1out2021-07-25 20:58 36K 
[ ]msafree4__t24_msafree4.vout2021-07-25 17:59 59K 
[ ]msafree4__t25_msafree42021-07-18 05:51 61K 
[ ]msafree4__t25_msafree4.depv12021-07-25 20:57 191  
[ ]msafree4__t25_msafree4.depvmin12021-07-25 21:03 191  
[ ]msafree4__t25_msafree4.vmin12021-07-25 20:57 3.7K 
[ ]msafree4__t25_msafree4.vmin1out2021-07-25 21:00 37K 
[ ]msafree4__t25_msafree4.vout2021-07-25 17:54 62K 
[ ]msafree4__t26_msafree42021-07-18 05:52 60K 
[ ]msafree4__t26_msafree4.vout2021-07-25 20:29 4.7K 
[ ]msafree4__t27_msafree42021-07-18 05:36 59K 
[ ]msafree4__t27_msafree4.vout2021-07-25 16:53 4.7K 
[ ]msafree4__t28_msafree42021-07-18 05:52 54K 
[ ]msafree4__t28_msafree4.vout2021-07-25 18:53 4.7K 
[ ]msafree4__t29_msafree42021-07-18 05:53 64K 
[ ]msafree4__t29_msafree4.vout2021-07-25 17:59 2.0K 
[ ]msafree4__t30_msafree42021-07-18 05:53 62K 
[ ]msafree4__t30_msafree4.vout2021-07-25 17:58 4.7K 
[ ]msafree4__t31_msafree42021-07-18 05:54 75K 
[ ]msafree4__t31_msafree4.vout2021-07-25 16:57 4.7K 
[ ]msafree4__t32_msafree42021-07-18 05:37 70K 
[ ]msafree4__t32_msafree4.vout2021-07-25 20:00 7.3K 
[ ]msafree4__t33_msafree42021-07-18 05:55 62K 
[ ]msafree4__t33_msafree4.vout2021-07-25 19:44 4.7K 
[ ]msafree4__t34_msafree42021-07-18 05:55 59K 
[ ]msafree4__t34_msafree4.vout2021-07-25 18:37 7.3K 
[ ]msafree4__t35_msafree42021-07-18 05:56 83K 
[ ]msafree4__t35_msafree4.vout2021-07-25 15:10 4.7K 
[ ]msafree4__t36_msafree42021-07-18 05:38 70K 
[ ]msafree4__t36_msafree4.vout2021-07-25 18:47 7.3K 
[ ]msafree4__t37_msafree42021-07-18 05:38 50K 
[ ]msafree4__t37_msafree4.vout2021-07-25 16:07 7.3K 
[ ]msafree4__t38_msafree42021-07-18 05:57 75K 
[ ]msafree4__t38_msafree4.vout2021-07-25 18:36 4.7K 
[ ]msafree4__t39_msafree42021-07-18 05:57 62K 
[ ]msafree4__t39_msafree4.vout2021-07-25 18:50 7.4K 
[ ]msafree4__t40_msafree42021-07-18 05:58 70K 
[ ]msafree4__t40_msafree4.vout2021-07-25 14:43 7.3K 
[ ]msafree4__t41_msafree42021-07-18 05:58 73K 
[ ]msafree4__t41_msafree4.vout2021-07-25 17:10 7.3K 
[ ]msafree4__t42_msafree42021-07-18 05:59 82K 
[ ]msafree4__t42_msafree4.vout2021-07-25 16:07 7.3K 
[ ]msafree4__t43_msafree42021-07-18 06:00 69K 
[ ]msafree4__t43_msafree4.vout2021-07-25 14:41 7.4K 
[ ]msafree4__t44_msafree42021-07-18 06:01 137K 
[ ]msafree4__t44_msafree4.vout2021-07-25 20:27 3.7K 
[ ]msafree4__t45_msafree42021-07-18 06:02 133K 
[ ]msafree4__t45_msafree4.vout2021-07-25 20:29 4.2K 
[ ]msafree4__t46_msafree42021-07-18 06:02 83K 
[ ]msafree4__t46_msafree4.vout2021-07-25 16:58 4.7K 
[ ]msafree4__t47_msafree42021-07-18 06:03 132K 
[ ]msafree4__t47_msafree4.vout2021-07-25 16:29 5.3K 
[ ]msafree4__t48_msafree42021-07-18 06:04 72K 
[ ]msafree4__t48_msafree4.vout2021-07-25 20:55 7.3K 
[ ]msafree4__t49_msafree42021-07-18 06:05 138K 
[ ]msafree4__t49_msafree4.vout2021-07-25 15:10 4.2K 
[ ]msafree4__t50_msafree42021-07-18 05:39 65K 
[ ]msafree4__t50_msafree4.depv12021-07-25 20:57 91  
[ ]msafree4__t50_msafree4.depvmin12021-07-25 21:03 91  
[ ]msafree4__t50_msafree4.vmin12021-07-25 20:57 1.8K 
[ ]msafree4__t50_msafree4.vmin1out2021-07-25 20:58 22K 
[ ]msafree4__t50_msafree4.vout2021-07-25 14:44 21K 
[ ]msafree4__t51_msafree42021-07-18 05:39 65K 
[ ]msafree4__t51_msafree4.vout2021-07-25 14:44 7.4K 
[ ]msafree4__t52_msafree42021-07-18 06:05 73K 
[ ]msafree4__t52_msafree4.vout2021-07-25 17:15 7.3K 
[ ]msafree4__t53_msafree42021-07-18 06:06 87K 
[ ]msafree4__t53_msafree4.vout2021-07-25 14:42 4.7K 
[ ]msafree4__t54_msafree42021-07-18 06:07 70K 
[ ]msafree4__t54_msafree4.vout2021-07-25 16:08 7.3K 
[ ]msafree4__t55_msafree42021-07-18 06:08 98K 
[ ]msafree4__t55_msafree4.vout2021-07-25 17:25 4.7K 
[ ]msafree4__t56_msafree42021-07-18 06:09 137K 
[ ]msafree4__t56_msafree4.vout2021-07-25 17:44 3.7K 
[ ]msafree4__t57_msafree42021-07-18 06:09 95K 
[ ]msafree4__t57_msafree4.vout2021-07-25 18:24 4.7K 
[ ]msafree4__t58_msafree42021-07-18 06:10 101K 
[ ]msafree4__t58_msafree4.vout2021-07-25 17:50 7.3K 
[ ]msafree4__t59_msafree42021-07-18 06:11 133K 
[ ]msafree4__t59_msafree4.vout2021-07-25 18:20 4.2K 
[ ]msafree4__t60_msafree42021-07-18 06:12 134K 
[ ]msafree4__t60_msafree4.vout2021-07-25 16:07 4.2K 
[ ]msafree4__t61_msafree42021-07-18 06:13 120K 
[ ]msafree4__t61_msafree4.vout2021-07-25 16:46 3.7K 
[ ]msafree4__t62_msafree42021-07-18 06:14 94K 
[ ]msafree4__t62_msafree4.vout2021-07-25 15:44 6.8K 
[ ]msafree4__t63_msafree42021-07-18 06:14 82K 
[ ]msafree4__t63_msafree4.vout2021-07-25 17:58 7.3K 
[ ]msafree4__t64_msafree42021-07-18 06:15 121K 
[ ]msafree4__t64_msafree4.vout2021-07-25 16:48 7.4K 
[ ]msafree4__t65_msafree42021-07-18 06:16 101K 
[ ]msafree4__t65_msafree4.vout2021-07-25 20:20 7.3K 
[ ]msafree4__t66_msafree42021-07-18 06:17 77K 
[ ]msafree4__t66_msafree4.vout2021-07-25 20:12 4.7K 
[ ]msafree4__t67_msafree42021-07-18 06:17 78K 
[ ]msafree4__t67_msafree4.vout2021-07-25 16:14 7.3K 
[ ]msafree4__t68_msafree42021-07-18 06:18 78K 
[ ]msafree4__t68_msafree4.vout2021-07-25 17:11 6.8K 
[ ]msafree4__t69_msafree42021-07-18 06:19 85K 
[ ]msafree4__t69_msafree4.vout2021-07-25 19:29 7.3K 
[ ]msafree4__t70_msafree42021-07-18 06:19 103K 
[ ]msafree4__t70_msafree4.vout2021-07-25 18:02 7.3K 
[ ]msafree4__t71_msafree42021-07-18 06:21 147K 
[ ]msafree4__t71_msafree4.vout2021-07-25 19:13 3.7K 
[ ]msafree4__t72_msafree42021-07-18 06:21 109K 
[ ]msafree4__t72_msafree4.vout2021-07-25 20:51 4.7K 
[ ]msafree4__t73_msafree42021-07-18 06:22 144K 
[ ]msafree4__t73_msafree4.vout2021-07-25 20:35 6.8K 
[ ]msafree4__t74_msafree42021-07-18 06:23 90K 
[ ]msafree4__t74_msafree4.vout2021-07-25 17:26 4.7K 
[ ]msafree4__t75_msafree42021-07-18 06:24 136K 
[ ]msafree4__t75_msafree4.vout2021-07-25 16:17 4.2K 
[ ]msafree4__t76_msafree42021-07-18 06:25 71K 
[ ]msafree4__t76_msafree4.vout2021-07-25 17:17 4.7K 
[ ]msafree4__t77_msafree42021-07-18 06:25 42K 
[ ]msafree4__t77_msafree4.vout2021-07-25 20:46 7.3K 
[ ]msafree4__t78_msafree42021-07-18 05:40 23K 
[ ]msafree4__t78_msafree4.depv12021-07-25 20:57 116  
[ ]msafree4__t78_msafree4.depvmin12021-07-25 21:03 82  
[ ]msafree4__t78_msafree4.vmin12021-07-25 20:57 715  
[ ]msafree4__t78_msafree4.vmin1out2021-07-25 20:59 4.9K 
[ ]msafree4__t78_msafree4.vout2021-07-25 15:21 5.8K 
[ ]msafree4__t79_msafree42021-07-18 06:26 72K 
[ ]msafree4__t79_msafree4.vout2021-07-25 19:09 7.4K 
[ ]msafree4__t80_msafree42021-07-18 06:27 85K 
[ ]msafree4__t80_msafree4.vout2021-07-25 14:48 4.7K 
[ ]msafree4__t81_msafree42021-07-18 06:27 37K 
[ ]msafree4__t81_msafree4.vout2021-07-25 20:42 6.3K 
[ ]msafree4__t82_msafree42021-07-18 06:28 102K 
[ ]msafree4__t82_msafree4.vout2021-07-25 19:58 3.7K 
[ ]msafree4__t83_msafree42021-07-18 06:28 64K 
[ ]msafree4__t83_msafree4.vout2021-07-25 17:30 7.3K 
[ ]msafree4__t84_msafree42021-07-18 06:28 58K 
[ ]msafree4__t84_msafree4.vout2021-07-25 19:51 7.3K 
[ ]msafree4__t85_msafree42021-07-18 06:29 146K 
[ ]msafree4__t85_msafree4.vout2021-07-25 15:28 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80