Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small/jordan1h

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan1h__l6_jordan1h2021-07-18 03:58 30K 
[ ]jordan1h__l6_jordan1h.depv12021-07-25 20:57 196  
[ ]jordan1h__l6_jordan1h.depvmin12021-07-25 21:03 170  
[ ]jordan1h__l6_jordan1h.vmin12021-07-25 20:57 1.3K 
[ ]jordan1h__l6_jordan1h.vmin1out2021-07-25 21:01 14K 
[ ]jordan1h__l6_jordan1h.vout2021-07-25 16:38 15K 
[ ]jordan1h__l7_jordan1h2021-07-18 04:49 30K 
[ ]jordan1h__l7_jordan1h.depv12021-07-25 20:57 144  
[ ]jordan1h__l7_jordan1h.depvmin12021-07-25 21:03 144  
[ ]jordan1h__l7_jordan1h.vmin12021-07-25 20:57 1.2K 
[ ]jordan1h__l7_jordan1h.vmin1out2021-07-25 21:00 19K 
[ ]jordan1h__l7_jordan1h.vout2021-07-25 14:50 20K 
[ ]jordan1h__l8_jordan1h2021-07-18 04:50 30K 
[ ]jordan1h__l8_jordan1h.depv12021-07-25 20:57 168  
[ ]jordan1h__l8_jordan1h.depvmin12021-07-25 21:03 168  
[ ]jordan1h__l8_jordan1h.vmin12021-07-25 20:57 1.5K 
[ ]jordan1h__l8_jordan1h.vmin1out2021-07-25 20:59 26K 
[ ]jordan1h__l8_jordan1h.vout2021-07-25 14:42 28K 
[ ]jordan1h__l9_jordan1h2021-07-18 04:50 30K 
[ ]jordan1h__l9_jordan1h.depv12021-07-25 20:57 170  
[ ]jordan1h__l9_jordan1h.depvmin12021-07-25 21:03 170  
[ ]jordan1h__l9_jordan1h.vmin12021-07-25 20:57 1.2K 
[ ]jordan1h__l9_jordan1h.vmin1out2021-07-25 21:01 19K 
[ ]jordan1h__l9_jordan1h.vout2021-07-25 20:31 20K 
[ ]jordan1h__t1_jordan1h2021-07-18 03:59 106K 
[ ]jordan1h__t1_jordan1h.vout2021-07-25 18:57 5.3K 
[ ]jordan1h__t2_jordan1h2021-07-18 04:00 64K 
[ ]jordan1h__t2_jordan1h.vout2021-07-25 20:00 5.9K 
[ ]jordan1h__t3_jordan1h2021-07-18 04:01 60K 
[ ]jordan1h__t3_jordan1h.depv12021-07-25 20:57 184  
[ ]jordan1h__t3_jordan1h.depvmin12021-07-25 21:03 184  
[ ]jordan1h__t3_jordan1h.vmin12021-07-25 20:57 2.6K 
[ ]jordan1h__t3_jordan1h.vmin1out2021-07-25 21:00 31K 
[ ]jordan1h__t3_jordan1h.vout2021-07-25 17:26 31K 
[ ]jordan1h__t4_jordan1h2021-07-18 04:01 30K 
[ ]jordan1h__t4_jordan1h.depv12021-07-25 20:57 60  
[ ]jordan1h__t4_jordan1h.depvmin12021-07-25 21:03 60  
[ ]jordan1h__t4_jordan1h.vmin12021-07-25 20:57 526  
[ ]jordan1h__t4_jordan1h.vmin1out2021-07-25 20:59 5.9K 
[ ]jordan1h__t4_jordan1h.vout2021-07-25 19:22 8.2K 
[ ]jordan1h__t5_jordan1h2021-07-18 04:02 33K 
[ ]jordan1h__t5_jordan1h.depv12021-07-25 20:57 125  
[ ]jordan1h__t5_jordan1h.depvmin12021-07-25 21:03 113  
[ ]jordan1h__t5_jordan1h.vmin12021-07-25 20:57 864  
[ ]jordan1h__t5_jordan1h.vmin1out2021-07-25 21:00 5.9K 
[ ]jordan1h__t5_jordan1h.vout2021-07-25 14:30 8.6K 
[ ]jordan1h__t6_jordan1h2021-07-18 04:02 32K 
[ ]jordan1h__t6_jordan1h.depv12021-07-25 20:57 244  
[ ]jordan1h__t6_jordan1h.depvmin12021-07-25 21:03 244  
[ ]jordan1h__t6_jordan1h.vmin12021-07-25 20:57 1.7K 
[ ]jordan1h__t6_jordan1h.vmin1out2021-07-25 21:02 18K 
[ ]jordan1h__t6_jordan1h.vout2021-07-25 20:27 19K 
[ ]jordan1h__t7_jordan1h2021-07-18 04:03 42K 
[ ]jordan1h__t7_jordan1h.vout2021-07-25 15:44 4.2K 
[ ]jordan1h__t8_jordan1h2021-07-18 04:03 42K 
[ ]jordan1h__t8_jordan1h.vout2021-07-25 18:14 4.7K 
[ ]jordan1h__t9_jordan1h2021-07-18 04:04 33K 
[ ]jordan1h__t9_jordan1h.depv12021-07-25 20:57 87  
[ ]jordan1h__t9_jordan1h.depvmin12021-07-25 21:03 87  
[ ]jordan1h__t9_jordan1h.vmin12021-07-25 20:57 1.4K 
[ ]jordan1h__t9_jordan1h.vmin1out2021-07-25 21:02 13K 
[ ]jordan1h__t9_jordan1h.vout2021-07-25 15:02 19K 
[ ]jordan1h__t10_jordan1h2021-07-18 04:04 62K 
[ ]jordan1h__t10_jordan1h.vout2021-07-25 17:42 4.7K 
[ ]jordan1h__t11_jordan1h2021-07-18 04:05 62K 
[ ]jordan1h__t11_jordan1h.vout2021-07-25 15:17 4.7K 
[ ]jordan1h__t12_jordan1h2021-07-18 04:06 45K 
[ ]jordan1h__t12_jordan1h.vout2021-07-25 15:12 3.7K 
[ ]jordan1h__t13_jordan1h2021-07-18 04:06 45K 
[ ]jordan1h__t13_jordan1h.vout2021-07-25 18:13 3.7K 
[ ]jordan1h__t14_jordan1h2021-07-18 04:07 75K 
[ ]jordan1h__t14_jordan1h.vout2021-07-25 15:02 7.3K 
[ ]jordan1h__t15_jordan1h2021-07-18 04:08 64K 
[ ]jordan1h__t15_jordan1h.vout2021-07-25 16:49 3.7K 
[ ]jordan1h__t16_jordan1h2021-07-18 04:09 52K 
[ ]jordan1h__t16_jordan1h.vout2021-07-25 20:17 7.9K 
[ ]jordan1h__t17_jordan1h2021-07-18 04:10 75K 
[ ]jordan1h__t17_jordan1h.vout2021-07-25 15:37 7.3K 
[ ]jordan1h__t18_jordan1h2021-07-18 04:11 64K 
[ ]jordan1h__t18_jordan1h.vout2021-07-25 17:46 3.7K 
[ ]jordan1h__t19_jordan1h2021-07-18 04:11 52K 
[ ]jordan1h__t19_jordan1h.depv12021-07-25 20:57 482  
[ ]jordan1h__t19_jordan1h.depvmin12021-07-25 21:03 341  
[ ]jordan1h__t19_jordan1h.vmin12021-07-25 20:57 4.6K 
[ ]jordan1h__t19_jordan1h.vmin1out2021-07-25 21:00 21K 
[ ]jordan1h__t19_jordan1h.vout2021-07-25 18:20 42K 
[ ]jordan1h__t20_jordan1h2021-07-18 04:12 114K 
[ ]jordan1h__t20_jordan1h.vout2021-07-25 19:12 3.7K 
[ ]jordan1h__t21_jordan1h2021-07-18 04:13 77K 
[ ]jordan1h__t21_jordan1h.vout2021-07-25 18:06 4.7K 
[ ]jordan1h__t22_jordan1h2021-07-18 04:14 114K 
[ ]jordan1h__t22_jordan1h.vout2021-07-25 15:54 3.7K 
[ ]jordan1h__t23_jordan1h2021-07-18 04:15 77K 
[ ]jordan1h__t23_jordan1h.vout2021-07-25 16:03 4.7K 
[ ]jordan1h__t24_jordan1h2021-07-18 04:16 51K 
[ ]jordan1h__t24_jordan1h.vout2021-07-25 14:29 4.7K 
[ ]jordan1h__t25_jordan1h2021-07-18 04:17 65K 
[ ]jordan1h__t25_jordan1h.vout2021-07-25 14:47 7.3K 
[ ]jordan1h__t26_jordan1h2021-07-18 04:17 55K 
[ ]jordan1h__t26_jordan1h.depv12021-07-25 20:57 248  
[ ]jordan1h__t26_jordan1h.depvmin12021-07-25 21:03 223  
[ ]jordan1h__t26_jordan1h.vmin12021-07-25 20:57 3.7K 
[ ]jordan1h__t26_jordan1h.vmin1out2021-07-25 21:00 199K 
[ ]jordan1h__t26_jordan1h.vout2021-07-25 18:35 68K 
[ ]jordan1h__t27_jordan1h2021-07-18 04:18 59K 
[ ]jordan1h__t27_jordan1h.vout2021-07-25 17:19 7.3K 
[ ]jordan1h__t28_jordan1h2021-07-18 04:19 73K 
[ ]jordan1h__t28_jordan1h.vout2021-07-25 14:47 3.7K 
[ ]jordan1h__t29_jordan1h2021-07-18 04:20 73K 
[ ]jordan1h__t29_jordan1h.vout2021-07-25 17:40 3.7K 
[ ]jordan1h__t30_jordan1h2021-07-18 04:21 84K 
[ ]jordan1h__t30_jordan1h.vout2021-07-25 15:42 3.7K 
[ ]jordan1h__t31_jordan1h2021-07-18 04:22 84K 
[ ]jordan1h__t31_jordan1h.vout2021-07-25 19:31 3.7K 
[ ]jordan1h__t32_jordan1h2021-07-18 04:23 66K 
[ ]jordan1h__t32_jordan1h.vout2021-07-25 20:33 7.9K 
[ ]jordan1h__t33_jordan1h2021-07-18 04:24 70K 
[ ]jordan1h__t33_jordan1h.vout2021-07-25 19:52 7.4K 
[ ]jordan1h__t34_jordan1h2021-07-18 04:25 58K 
[ ]jordan1h__t34_jordan1h.depv12021-07-25 20:57 52  
[ ]jordan1h__t34_jordan1h.depvmin12021-07-25 21:03 52  
[ ]jordan1h__t34_jordan1h.vmin12021-07-25 20:57 4.0K 
[ ]jordan1h__t34_jordan1h.vmin1out2021-07-25 21:00 65K 
[ ]jordan1h__t34_jordan1h.vout2021-07-25 20:24 30K 
[ ]jordan1h__t35_jordan1h2021-07-18 04:25 42K 
[ ]jordan1h__t35_jordan1h.vout2021-07-25 19:47 7.3K 
[ ]jordan1h__t36_jordan1h2021-07-18 04:26 120K 
[ ]jordan1h__t36_jordan1h.vout2021-07-25 20:21 4.7K 
[ ]jordan1h__t37_jordan1h2021-07-18 04:27 180K 
[ ]jordan1h__t37_jordan1h.vout2021-07-25 16:06 6.8K 
[ ]jordan1h__t38_jordan1h2021-07-18 04:28 107K 
[ ]jordan1h__t38_jordan1h.vout2021-07-25 18:23 6.8K 
[ ]jordan1h__t39_jordan1h2021-07-18 04:29 45K 
[ ]jordan1h__t39_jordan1h.depv12021-07-25 20:57 128  
[ ]jordan1h__t39_jordan1h.depvmin12021-07-25 21:03 128  
[ ]jordan1h__t39_jordan1h.vmin12021-07-25 20:57 1.3K 
[ ]jordan1h__t39_jordan1h.vmin1out2021-07-25 21:00 10K 
[ ]jordan1h__t39_jordan1h.vout2021-07-25 16:21 9.5K 
[ ]jordan1h__t40_jordan1h2021-07-18 04:29 51K 
[ ]jordan1h__t40_jordan1h.vout2021-07-25 16:39 7.3K 
[ ]jordan1h__t41_jordan1h2021-07-18 04:30 56K 
[ ]jordan1h__t41_jordan1h.depv12021-07-25 20:57 235  
[ ]jordan1h__t41_jordan1h.depvmin12021-07-25 21:03 208  
[ ]jordan1h__t41_jordan1h.vmin12021-07-25 20:57 3.6K 
[ ]jordan1h__t41_jordan1h.vmin1out2021-07-25 21:00 40K 
[ ]jordan1h__t41_jordan1h.vout2021-07-25 18:56 57K 
[ ]jordan1h__t42_jordan1h2021-07-18 04:31 59K 
[ ]jordan1h__t42_jordan1h.vout2021-07-25 15:24 7.4K 
[ ]jordan1h__t43_jordan1h2021-07-18 04:32 58K 
[ ]jordan1h__t43_jordan1h.vout2021-07-25 19:56 7.4K 
[ ]jordan1h__t44_jordan1h2021-07-18 04:32 71K 
[ ]jordan1h__t44_jordan1h.vout2021-07-25 20:05 4.7K 
[ ]jordan1h__t45_jordan1h2021-07-18 04:33 102K 
[ ]jordan1h__t45_jordan1h.vout2021-07-25 15:09 4.7K 
[ ]jordan1h__t46_jordan1h2021-07-18 04:34 155K 
[ ]jordan1h__t46_jordan1h.vout2021-07-25 19:43 7.3K 
[ ]jordan1h__t47_jordan1h2021-07-18 04:35 78K 
[ ]jordan1h__t47_jordan1h.vout2021-07-25 18:09 7.3K 
[ ]jordan1h__t48_jordan1h2021-07-18 04:36 52K 
[ ]jordan1h__t48_jordan1h.vout2021-07-25 14:47 7.3K 
[ ]jordan1h__t49_jordan1h2021-07-18 04:37 119K 
[ ]jordan1h__t49_jordan1h.vout2021-07-25 16:29 4.7K 
[ ]jordan1h__t50_jordan1h2021-07-18 04:38 71K 
[ ]jordan1h__t50_jordan1h.vout2021-07-25 17:57 6.8K 
[ ]jordan1h__t51_jordan1h2021-07-18 04:39 201K 
[ ]jordan1h__t51_jordan1h.vout2021-07-25 20:46 3.7K 
[ ]jordan1h__t52_jordan1h2021-07-18 04:40 125K 
[ ]jordan1h__t52_jordan1h.vout2021-07-25 18:41 4.7K 
[ ]jordan1h__t53_jordan1h2021-07-18 04:40 124K 
[ ]jordan1h__t53_jordan1h.vout2021-07-25 15:00 4.7K 
[ ]jordan1h__t54_jordan1h2021-07-18 04:41 75K 
[ ]jordan1h__t54_jordan1h.vout2021-07-25 20:55 6.8K 
[ ]jordan1h__t55_jordan1h2021-07-18 04:42 124K 
[ ]jordan1h__t55_jordan1h.vout2021-07-25 16:14 4.7K 
[ ]jordan1h__t56_jordan1h2021-07-18 04:43 124K 
[ ]jordan1h__t56_jordan1h.vout2021-07-25 17:10 4.7K 
[ ]jordan1h__t57_jordan1h2021-07-18 04:44 124K 
[ ]jordan1h__t57_jordan1h.vout2021-07-25 20:34 4.7K 
[ ]jordan1h__t58_jordan1h2021-07-18 04:45 124K 
[ ]jordan1h__t58_jordan1h.vout2021-07-25 16:50 4.7K 
[ ]jordan1h__t59_jordan1h2021-07-18 04:45 75K 
[ ]jordan1h__t59_jordan1h.vout2021-07-25 16:49 7.3K 
[ ]jordan1h__t60_jordan1h2021-07-18 04:46 124K 
[ ]jordan1h__t60_jordan1h.vout2021-07-25 18:29 4.7K 
[ ]jordan1h__t61_jordan1h2021-07-18 04:47 75K 
[ ]jordan1h__t61_jordan1h.vout2021-07-25 20:00 7.3K 
[ ]jordan1h__t62_jordan1h2021-07-18 04:48 124K 
[ ]jordan1h__t62_jordan1h.vout2021-07-25 19:01 4.7K 
[ ]jordan1h__t63_jordan1h2021-07-18 04:49 124K 
[ ]jordan1h__t63_jordan1h.vout2021-07-25 17:44 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80