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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zmodul06__l6_zmodul062025-09-08 13:42 38K 
[ ]zmodul06__l6_zmodul06.vout2025-09-15 19:36 8.4K 
[ ]zmodul06__l16_zmodul062025-09-08 13:44 49K 
[ ]zmodul06__l16_zmodul06.vout2025-09-15 14:52 5.9K 
[ ]zmodul06__l27_zmodul062025-09-08 11:11 45K 
[ ]zmodul06__l27_zmodul06.depv12025-09-15 19:47 68  
[ ]zmodul06__l27_zmodul06.depvmin12025-09-15 19:52 68  
[ ]zmodul06__l27_zmodul06.vmin12025-09-15 19:47 1.5K 
[ ]zmodul06__l27_zmodul06.vmin1out2025-09-15 19:48 17K 
[ ]zmodul06__l27_zmodul06.vout2025-09-15 14:10 22K 
[ ]zmodul06__l30_zmodul062025-09-08 13:46 59K 
[ ]zmodul06__l30_zmodul06.depv12025-09-15 19:47 241  
[ ]zmodul06__l30_zmodul06.depvmin12025-09-15 19:52 229  
[ ]zmodul06__l30_zmodul06.vmin12025-09-15 19:47 6.1K 
[ ]zmodul06__l30_zmodul06.vmin1out2025-09-15 19:50 107K 
[ ]zmodul06__l30_zmodul06.vout2025-09-15 14:05 121K 
[ ]zmodul06__l32_zmodul062025-09-08 13:48 55K 
[ ]zmodul06__l32_zmodul06.vout2025-09-15 15:46 4.7K 
[ ]zmodul06__l33_zmodul062025-09-08 13:50 62K 
[ ]zmodul06__l33_zmodul06.vout2025-09-15 16:54 5.8K 
[ ]zmodul06__l54_zmodul062025-09-08 13:52 58K 
[ ]zmodul06__l54_zmodul06.vout2025-09-15 13:51 6.8K 
[ ]zmodul06__l58_zmodul062025-09-08 13:54 50K 
[ ]zmodul06__l58_zmodul06.vout2025-09-15 13:46 4.1K 
[ ]zmodul06__l60_zmodul062025-09-08 13:56 70K 
[ ]zmodul06__l60_zmodul06.vout2025-09-15 15:14 4.7K 
[ ]zmodul06__l62_zmodul062025-09-08 13:58 50K 
[ ]zmodul06__l62_zmodul06.vout2025-09-15 19:22 7.4K 
[ ]zmodul06__t1_zmodul062025-09-08 11:13 53K 
[ ]zmodul06__t1_zmodul06.vout2025-09-15 18:22 7.3K 
[ ]zmodul06__t2_zmodul062025-09-08 11:15 42K 
[ ]zmodul06__t2_zmodul06.vout2025-09-15 15:32 3.2K 
[ ]zmodul06__t3_zmodul062025-09-08 11:17 44K 
[ ]zmodul06__t3_zmodul06.vout2025-09-15 16:49 4.1K 
[ ]zmodul06__t4_zmodul062025-09-08 11:20 90K 
[ ]zmodul06__t4_zmodul06.vout2025-09-15 17:38 3.7K 
[ ]zmodul06__t5_zmodul062025-09-08 11:22 59K 
[ ]zmodul06__t5_zmodul06.vout2025-09-15 15:59 4.7K 
[ ]zmodul06__t6_zmodul062025-09-08 11:23 40K 
[ ]zmodul06__t6_zmodul06.vout2025-09-15 19:27 5.8K 
[ ]zmodul06__t7_zmodul062025-09-08 11:26 60K 
[ ]zmodul06__t7_zmodul06.vout2025-09-15 17:13 5.8K 
[ ]zmodul06__t8_zmodul062025-09-08 11:28 57K 
[ ]zmodul06__t8_zmodul06.vout2025-09-15 13:46 5.8K 
[ ]zmodul06__t9_zmodul062025-09-08 11:30 40K 
[ ]zmodul06__t9_zmodul06.vout2025-09-15 18:07 5.8K 
[ ]zmodul06__t10_zmodul062025-09-08 11:32 53K 
[ ]zmodul06__t10_zmodul06.vout2025-09-15 18:27 5.8K 
[ ]zmodul06__t11_zmodul062025-09-08 11:34 57K 
[ ]zmodul06__t11_zmodul06.vout2025-09-15 14:22 5.9K 
[ ]zmodul06__t12_zmodul062025-09-08 11:36 52K 
[ ]zmodul06__t12_zmodul06.vout2025-09-15 17:14 3.7K 
[ ]zmodul06__t13_zmodul062025-09-08 11:38 63K 
[ ]zmodul06__t13_zmodul06.vout2025-09-15 17:26 4.7K 
[ ]zmodul06__t14_zmodul062025-09-08 11:40 57K 
[ ]zmodul06__t14_zmodul06.vout2025-09-15 15:40 4.7K 
[ ]zmodul06__t15_zmodul062025-09-08 11:42 38K 
[ ]zmodul06__t15_zmodul06.vout2025-09-15 16:37 8.4K 
[ ]zmodul06__t16_zmodul062025-09-08 11:04 39K 
[ ]zmodul06__t16_zmodul06.depv12025-09-15 19:47 38  
[ ]zmodul06__t16_zmodul06.depvmin12025-09-15 19:52 38  
[ ]zmodul06__t16_zmodul06.vmin12025-09-15 19:47 1.2K 
[ ]zmodul06__t16_zmodul06.vmin1out2025-09-15 19:49 24K 
[ ]zmodul06__t16_zmodul06.vout2025-09-15 18:28 13K 
[ ]zmodul06__t17_zmodul062025-09-08 11:44 60K 
[ ]zmodul06__t17_zmodul06.vout2025-09-15 15:20 4.7K 
[ ]zmodul06__t18_zmodul062025-09-08 11:46 41K 
[ ]zmodul06__t18_zmodul06.depv12025-09-15 19:47 179  
[ ]zmodul06__t18_zmodul06.depvmin12025-09-15 19:52 179  
[ ]zmodul06__t18_zmodul06.vmin12025-09-15 19:47 2.7K 
[ ]zmodul06__t18_zmodul06.vmin1out2025-09-15 19:51 33K 
[ ]zmodul06__t18_zmodul06.vout2025-09-15 19:41 43K 
[ ]zmodul06__t19_zmodul062025-09-08 11:48 51K 
[ ]zmodul06__t19_zmodul06.vout2025-09-15 15:30 4.7K 
[ ]zmodul06__t20_zmodul062025-09-08 11:06 47K 
[ ]zmodul06__t20_zmodul06.depv12025-09-15 19:47 239  
[ ]zmodul06__t20_zmodul06.depvmin12025-09-15 19:52 239  
[ ]zmodul06__t20_zmodul06.vmin12025-09-15 19:47 2.5K 
[ ]zmodul06__t20_zmodul06.vmin1out2025-09-15 19:48 26K 
[ ]zmodul06__t20_zmodul06.vout2025-09-15 15:33 35K 
[ ]zmodul06__t21_zmodul062025-09-08 11:07 47K 
[ ]zmodul06__t21_zmodul06.depv12025-09-15 19:47 306  
[ ]zmodul06__t21_zmodul06.depvmin12025-09-15 19:52 184  
[ ]zmodul06__t21_zmodul06.vmin12025-09-15 19:47 4.7K 
[ ]zmodul06__t21_zmodul06.vmin1out2025-09-15 19:48 53K 
[ ]zmodul06__t21_zmodul06.vout2025-09-15 18:05 35K 
[ ]zmodul06__t22_zmodul062025-09-08 11:50 50K 
[ ]zmodul06__t22_zmodul06.vout2025-09-15 13:27 4.1K 
[ ]zmodul06__t23_zmodul062025-09-08 11:52 87K 
[ ]zmodul06__t23_zmodul06.vout2025-09-15 15:11 3.7K 
[ ]zmodul06__t24_zmodul062025-09-08 11:55 100K 
[ ]zmodul06__t24_zmodul06.vout2025-09-15 19:18 3.7K 
[ ]zmodul06__t25_zmodul062025-09-08 11:57 65K 
[ ]zmodul06__t25_zmodul06.vout2025-09-15 15:24 7.3K 
[ ]zmodul06__t26_zmodul062025-09-08 11:59 68K 
[ ]zmodul06__t26_zmodul06.depv12025-09-15 19:47 183  
[ ]zmodul06__t26_zmodul06.depvmin12025-09-15 19:52 173  
[ ]zmodul06__t26_zmodul06.vmin12025-09-15 19:47 6.1K 
[ ]zmodul06__t26_zmodul06.vmin1out2025-09-15 19:49 162K 
[ ]zmodul06__t26_zmodul06.vout2025-09-15 19:17 126K 
[ ]zmodul06__t27_zmodul062025-09-08 12:02 106K 
[ ]zmodul06__t27_zmodul06.vout2025-09-15 17:32 5.8K 
[ ]zmodul06__t28_zmodul062025-09-08 12:05 116K 
[ ]zmodul06__t28_zmodul06.vout2025-09-15 16:16 7.3K 
[ ]zmodul06__t29_zmodul062025-09-08 12:08 113K 
[ ]zmodul06__t29_zmodul06.vout2025-09-15 18:27 4.7K 
[ ]zmodul06__t30_zmodul062025-09-08 12:11 160K 
[ ]zmodul06__t30_zmodul06.vout2025-09-15 15:03 7.4K 
[ ]zmodul06__t31_zmodul062025-09-08 12:13 50K 
[ ]zmodul06__t31_zmodul06.vout2025-09-15 13:59 7.3K 
[ ]zmodul06__t32_zmodul062025-09-08 12:15 96K 
[ ]zmodul06__t32_zmodul06.vout2025-09-15 17:20 8.4K 
[ ]zmodul06__t33_zmodul062025-09-08 12:17 71K 
[ ]zmodul06__t33_zmodul06.depv12025-09-15 19:47 142  
[ ]zmodul06__t33_zmodul06.depvmin12025-09-15 19:52 142  
[ ]zmodul06__t33_zmodul06.vmin12025-09-15 19:47 4.6K 
[ ]zmodul06__t33_zmodul06.vmin1out2025-09-15 19:49 76K 
[ ]zmodul06__t33_zmodul06.vout2025-09-15 19:07 99K 
[ ]zmodul06__t34_zmodul062025-09-08 12:19 56K 
[ ]zmodul06__t34_zmodul06.depv12025-09-15 19:47 96  
[ ]zmodul06__t34_zmodul06.depvmin12025-09-15 19:52 96  
[ ]zmodul06__t34_zmodul06.vmin12025-09-15 19:47 2.8K 
[ ]zmodul06__t34_zmodul06.vmin1out2025-09-15 19:50 39K 
[ ]zmodul06__t34_zmodul06.vout2025-09-15 17:04 49K 
[ ]zmodul06__t35_zmodul062025-09-08 12:21 64K 
[ ]zmodul06__t35_zmodul06.vout2025-09-15 18:16 7.3K 
[ ]zmodul06__t36_zmodul062025-09-08 12:23 56K 
[ ]zmodul06__t36_zmodul06.depv12025-09-15 19:47 255  
[ ]zmodul06__t36_zmodul06.depvmin12025-09-15 19:52 255  
[ ]zmodul06__t36_zmodul06.vmin12025-09-15 19:47 5.3K 
[ ]zmodul06__t36_zmodul06.vmin1out2025-09-15 19:51 113K 
[ ]zmodul06__t36_zmodul06.vout2025-09-15 14:44 91K 
[ ]zmodul06__t37_zmodul062025-09-08 12:26 75K 
[ ]zmodul06__t37_zmodul06.vout2025-09-15 19:43 7.3K 
[ ]zmodul06__t38_zmodul062025-09-08 12:29 209K 
[ ]zmodul06__t38_zmodul06.vout2025-09-15 17:14 7.3K 
[ ]zmodul06__t39_zmodul062025-09-08 12:31 89K 
[ ]zmodul06__t39_zmodul06.vout2025-09-15 15:06 4.7K 
[ ]zmodul06__t40_zmodul062025-09-08 12:33 57K 
[ ]zmodul06__t40_zmodul06.vout2025-09-15 19:29 7.3K 
[ ]zmodul06__t41_zmodul062025-09-08 12:35 38K 
[ ]zmodul06__t41_zmodul06.vout2025-09-15 18:24 1.1K 
[ ]zmodul06__t43_zmodul062025-09-08 12:37 58K 
[ ]zmodul06__t43_zmodul06.vout2025-09-15 15:18 6.8K 
[ ]zmodul06__t44_zmodul062025-09-08 12:39 55K 
[ ]zmodul06__t44_zmodul06.vout2025-09-15 14:03 7.4K 
[ ]zmodul06__t45_zmodul062025-09-08 12:41 40K 
[ ]zmodul06__t45_zmodul06.vout2025-09-15 18:04 6.8K 
[ ]zmodul06__t46_zmodul062025-09-08 12:43 53K 
[ ]zmodul06__t46_zmodul06.vout2025-09-15 16:55 6.8K 
[ ]zmodul06__t47_zmodul062025-09-08 12:45 45K 
[ ]zmodul06__t47_zmodul06.vout2025-09-15 15:01 7.4K 
[ ]zmodul06__t48_zmodul062025-09-08 12:46 36K 
[ ]zmodul06__t48_zmodul06.depv12025-09-15 19:47 39  
[ ]zmodul06__t48_zmodul06.depvmin12025-09-15 19:52 39  
[ ]zmodul06__t48_zmodul06.vmin12025-09-15 19:47 3.3K 
[ ]zmodul06__t48_zmodul06.vmin1out2025-09-15 19:51 193K 
[ ]zmodul06__t48_zmodul06.vout2025-09-15 18:38 197K 
[ ]zmodul06__t49_zmodul062025-09-08 12:48 50K 
[ ]zmodul06__t49_zmodul06.vout2025-09-15 15:45 7.3K 
[ ]zmodul06__t50_zmodul062025-09-08 12:50 48K 
[ ]zmodul06__t50_zmodul06.depv12025-09-15 19:47 81  
[ ]zmodul06__t50_zmodul06.depvmin12025-09-15 19:52 81  
[ ]zmodul06__t50_zmodul06.vmin12025-09-15 19:47 3.6K 
[ ]zmodul06__t50_zmodul06.vmin1out2025-09-15 19:49 203K 
[ ]zmodul06__t50_zmodul06.vout2025-09-15 18:22 47K 
[ ]zmodul06__t51_zmodul062025-09-08 12:53 55K 
[ ]zmodul06__t51_zmodul06.vout2025-09-15 19:43 7.3K 
[ ]zmodul06__t52_zmodul062025-09-08 12:55 96K 
[ ]zmodul06__t52_zmodul06.vout2025-09-15 14:43 5.9K 
[ ]zmodul06__t53_zmodul062025-09-08 12:58 77K 
[ ]zmodul06__t53_zmodul06.vout2025-09-15 18:37 7.3K 
[ ]zmodul06__t54_zmodul062025-09-08 13:00 82K 
[ ]zmodul06__t54_zmodul06.vout2025-09-15 15:12 7.9K 
[ ]zmodul06__t55_zmodul062025-09-08 13:03 114K 
[ ]zmodul06__t55_zmodul06.vout2025-09-15 18:51 7.3K 
[ ]zmodul06__t56_zmodul062025-09-08 11:09 64K 
[ ]zmodul06__t56_zmodul06.depv12025-09-15 19:47 135  
[ ]zmodul06__t56_zmodul06.depvmin12025-09-15 19:52 135  
[ ]zmodul06__t56_zmodul06.vmin12025-09-15 19:47 3.5K 
[ ]zmodul06__t56_zmodul06.vmin1out2025-09-15 19:47 71K 
[ ]zmodul06__t56_zmodul06.vout2025-09-15 15:50 70K 
[ ]zmodul06__t57_zmodul062025-09-08 13:05 94K 
[ ]zmodul06__t57_zmodul06.vout2025-09-15 13:34 4.7K 
[ ]zmodul06__t58_zmodul062025-09-08 13:08 111K 
[ ]zmodul06__t58_zmodul06.vout2025-09-15 14:35 7.3K 
[ ]zmodul06__t59_zmodul062025-09-08 13:10 68K 
[ ]zmodul06__t59_zmodul06.depv12025-09-15 19:47 57  
[ ]zmodul06__t59_zmodul06.depvmin12025-09-15 19:52 57  
[ ]zmodul06__t59_zmodul06.vmin12025-09-15 19:47 2.9K 
[ ]zmodul06__t59_zmodul06.vmin1out2025-09-15 19:50 76K 
[ ]zmodul06__t59_zmodul06.vout2025-09-15 18:54 84K 
[ ]zmodul06__t60_zmodul062025-09-08 13:12 47K 
[ ]zmodul06__t60_zmodul06.vout2025-09-15 19:15 6.8K 
[ ]zmodul06__t61_zmodul062025-09-08 13:16 141K 
[ ]zmodul06__t61_zmodul06.vout2025-09-15 15:28 3.7K 
[ ]zmodul06__t62_zmodul062025-09-08 13:18 75K 
[ ]zmodul06__t62_zmodul06.vout2025-09-15 15:42 4.7K 
[ ]zmodul06__t63_zmodul062025-09-08 13:21 66K 
[ ]zmodul06__t63_zmodul06.vout2025-09-15 16:29 8.4K 
[ ]zmodul06__t64_zmodul062025-09-08 13:23 90K 
[ ]zmodul06__t64_zmodul06.vout2025-09-15 13:25 4.7K 
[ ]zmodul06__t65_zmodul062025-09-08 13:25 71K 
[ ]zmodul06__t65_zmodul06.vout2025-09-15 15:21 5.3K 
[ ]zmodul06__t66_zmodul062025-09-08 13:27 70K 
[ ]zmodul06__t66_zmodul06.vout2025-09-15 14:01 4.7K 
[ ]zmodul06__t67_zmodul062025-09-08 13:30 97K 
[ ]zmodul06__t67_zmodul06.vout2025-09-15 18:00 4.7K 
[ ]zmodul06__t68_zmodul062025-09-08 13:32 124K 
[ ]zmodul06__t68_zmodul06.vout2025-09-15 15:52 7.3K 
[ ]zmodul06__t69_zmodul062025-09-08 13:34 65K 
[ ]zmodul06__t69_zmodul06.vout2025-09-15 18:30 4.7K 
[ ]zmodul06__t70_zmodul062025-09-08 13:37 89K 
[ ]zmodul06__t70_zmodul06.vout2025-09-15 15:36 6.8K 
[ ]zmodul06__t71_zmodul062025-09-08 13:40 148K 
[ ]zmodul06__t71_zmodul06.vout2025-09-15 17:58 4.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80