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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comput_1__l24_comput_12025-09-09 14:25 56K 
[ ]comput_1__l24_comput_1.vout2025-09-15 15:10 4.2K 
[ ]comput_1__l70_comput_12025-09-09 14:27 86K 
[ ]comput_1__l70_comput_1.vout2025-09-15 17:50 6.8K 
[ ]comput_1__l71_comput_12025-09-09 14:29 99K 
[ ]comput_1__l71_comput_1.vout2025-09-15 13:37 6.8K 
[ ]comput_1__l72_comput_12025-09-09 14:32 105K 
[ ]comput_1__l72_comput_1.vout2025-09-15 15:40 3.7K 
[ ]comput_1__l73_comput_12025-09-09 14:35 118K 
[ ]comput_1__l73_comput_1.vout2025-09-15 15:14 7.3K 
[ ]comput_1__l74_comput_12025-09-09 14:38 131K 
[ ]comput_1__l74_comput_1.vout2025-09-15 15:00 3.7K 
[ ]comput_1__l87_comput_12025-09-09 11:17 55K 
[ ]comput_1__l87_comput_1.depv12025-09-15 19:47 103  
[ ]comput_1__l87_comput_1.depvmin12025-09-15 19:52 103  
[ ]comput_1__l87_comput_1.vmin12025-09-15 19:47 1.1K 
[ ]comput_1__l87_comput_1.vmin1out2025-09-15 19:48 12K 
[ ]comput_1__l87_comput_1.vout2025-09-15 15:31 18K 
[ ]comput_1__l111_comput_12025-09-09 14:41 94K 
[ ]comput_1__l111_comput_1.vout2025-09-15 19:09 3.7K 
[ ]comput_1__t1_comput_12025-09-09 11:18 46K 
[ ]comput_1__t1_comput_1.vout2025-09-15 14:36 11K 
[ ]comput_1__t2_comput_12025-09-09 11:20 35K 
[ ]comput_1__t2_comput_1.vout2025-09-15 16:53 1.1K 
[ ]comput_1__t3_comput_12025-09-09 11:22 70K 
[ ]comput_1__t3_comput_1.vout2025-09-15 17:21 4.7K 
[ ]comput_1__t4_comput_12025-09-09 11:25 80K 
[ ]comput_1__t4_comput_1.vout2025-09-15 13:42 4.7K 
[ ]comput_1__t5_comput_12025-09-09 11:27 51K 
[ ]comput_1__t5_comput_1.vout2025-09-15 19:40 10K 
[ ]comput_1__t6_comput_12025-09-09 11:28 50K 
[ ]comput_1__t6_comput_1.vout2025-09-15 15:14 7.3K 
[ ]comput_1__t7_comput_12025-09-09 11:30 45K 
[ ]comput_1__t7_comput_1.depv12025-09-15 19:47 229  
[ ]comput_1__t7_comput_1.depvmin12025-09-15 19:52 167  
[ ]comput_1__t7_comput_1.vmin12025-09-15 19:47 2.3K 
[ ]comput_1__t7_comput_1.vmin1out2025-09-15 19:50 32K 
[ ]comput_1__t7_comput_1.vout2025-09-15 15:13 38K 
[ ]comput_1__t8_comput_12025-09-09 11:33 57K 
[ ]comput_1__t8_comput_1.vout2025-09-15 19:43 7.3K 
[ ]comput_1__t9_comput_12025-09-09 11:35 62K 
[ ]comput_1__t9_comput_1.vout2025-09-15 14:55 7.3K 
[ ]comput_1__t11_comput_12025-09-09 11:37 39K 
[ ]comput_1__t11_comput_1.vout2025-09-15 14:18 4.1K 
[ ]comput_1__t12_comput_12025-09-09 14:22 33K 
[ ]comput_1__t12_comput_1.vout2025-09-15 18:15 7.9K 
[ ]comput_1__t13_comput_12025-09-09 11:38 41K 
[ ]comput_1__t13_comput_1.depv12025-09-15 19:47 80  
[ ]comput_1__t13_comput_1.depvmin12025-09-15 19:52 80  
[ ]comput_1__t13_comput_1.vmin12025-09-15 19:47 1.0K 
[ ]comput_1__t13_comput_1.vmin1out2025-09-15 19:51 23K 
[ ]comput_1__t13_comput_1.vout2025-09-15 17:46 24K 
[ ]comput_1__t14_comput_12025-09-09 14:23 33K 
[ ]comput_1__t14_comput_1.vout2025-09-15 16:26 7.9K 
[ ]comput_1__t15_comput_12025-09-09 11:41 51K 
[ ]comput_1__t15_comput_1.vout2025-09-15 15:11 7.3K 
[ ]comput_1__t16_comput_12025-09-09 11:05 52K 
[ ]comput_1__t16_comput_1.vout2025-09-15 16:54 4.2K 
[ ]comput_1__t17_comput_12025-09-09 11:42 55K 
[ ]comput_1__t17_comput_1.vout2025-09-15 19:24 7.4K 
[ ]comput_1__t18_comput_12025-09-09 11:44 41K 
[ ]comput_1__t18_comput_1.depv12025-09-15 19:47 204  
[ ]comput_1__t18_comput_1.depvmin12025-09-15 19:52 204  
[ ]comput_1__t18_comput_1.vmin12025-09-15 19:47 1.7K 
[ ]comput_1__t18_comput_1.vmin1out2025-09-15 19:48 19K 
[ ]comput_1__t18_comput_1.vout2025-09-15 17:20 20K 
[ ]comput_1__t19_comput_12025-09-09 11:46 36K 
[ ]comput_1__t19_comput_1.depv12025-09-15 19:47 193  
[ ]comput_1__t19_comput_1.depvmin12025-09-15 19:52 193  
[ ]comput_1__t19_comput_1.vmin12025-09-15 19:47 1.8K 
[ ]comput_1__t19_comput_1.vmin1out2025-09-15 19:48 19K 
[ ]comput_1__t19_comput_1.vout2025-09-15 16:58 20K 
[ ]comput_1__t20_comput_12025-09-09 11:48 58K 
[ ]comput_1__t20_comput_1.vout2025-09-15 14:10 4.2K 
[ ]comput_1__t21_comput_12025-09-09 11:50 54K 
[ ]comput_1__t21_comput_1.vout2025-09-15 18:11 5.3K 
[ ]comput_1__t22_comput_12025-09-09 11:52 60K 
[ ]comput_1__t22_comput_1.depv12025-09-15 19:47 246  
[ ]comput_1__t22_comput_1.depvmin12025-09-15 19:52 246  
[ ]comput_1__t22_comput_1.vmin12025-09-15 19:47 2.1K 
[ ]comput_1__t22_comput_1.vmin1out2025-09-15 19:50 23K 
[ ]comput_1__t22_comput_1.vout2025-09-15 16:16 23K 
[ ]comput_1__t23_comput_12025-09-09 11:54 57K 
[ ]comput_1__t23_comput_1.vout2025-09-15 17:29 5.3K 
[ ]comput_1__t24_comput_12025-09-09 11:56 54K 
[ ]comput_1__t24_comput_1.vout2025-09-15 16:36 4.2K 
[ ]comput_1__t25_comput_12025-09-09 11:58 54K 
[ ]comput_1__t25_comput_1.vout2025-09-15 15:02 7.4K 
[ ]comput_1__t26_comput_12025-09-09 12:00 35K 
[ ]comput_1__t26_comput_1.depv12025-09-15 19:47 180  
[ ]comput_1__t26_comput_1.depvmin12025-09-15 19:52 155  
[ ]comput_1__t26_comput_1.vmin12025-09-15 19:47 1.8K 
[ ]comput_1__t26_comput_1.vmin1out2025-09-15 19:51 21K 
[ ]comput_1__t26_comput_1.vout2025-09-15 17:44 24K 
[ ]comput_1__t27_comput_12025-09-09 12:02 52K 
[ ]comput_1__t27_comput_1.depv12025-09-15 19:47 282  
[ ]comput_1__t27_comput_1.depvmin12025-09-15 19:52 258  
[ ]comput_1__t27_comput_1.vmin12025-09-15 19:47 2.0K 
[ ]comput_1__t27_comput_1.vmin1out2025-09-15 19:48 15K 
[ ]comput_1__t27_comput_1.vout2025-09-15 18:12 20K 
[ ]comput_1__t28_comput_12025-09-09 12:04 53K 
[ ]comput_1__t28_comput_1.vout2025-09-15 18:52 5.3K 
[ ]comput_1__t29_comput_12025-09-09 12:06 56K 
[ ]comput_1__t29_comput_1.vout2025-09-15 14:37 7.9K 
[ ]comput_1__t30_comput_12025-09-09 12:08 65K 
[ ]comput_1__t30_comput_1.vout2025-09-15 17:19 5.3K 
[ ]comput_1__t31_comput_12025-09-09 12:10 62K 
[ ]comput_1__t31_comput_1.vout2025-09-15 15:30 5.3K 
[ ]comput_1__t32_comput_12025-09-09 12:12 59K 
[ ]comput_1__t32_comput_1.vout2025-09-15 19:30 7.3K 
[ ]comput_1__t33_comput_12025-09-09 12:14 53K 
[ ]comput_1__t33_comput_1.vout2025-09-15 17:56 5.3K 
[ ]comput_1__t34_comput_12025-09-09 12:16 60K 
[ ]comput_1__t34_comput_1.vout2025-09-15 17:09 7.3K 
[ ]comput_1__t35_comput_12025-09-09 12:18 61K 
[ ]comput_1__t35_comput_1.vout2025-09-15 18:00 5.3K 
[ ]comput_1__t36_comput_12025-09-09 12:20 68K 
[ ]comput_1__t36_comput_1.vout2025-09-15 16:36 7.3K 
[ ]comput_1__t37_comput_12025-09-09 12:23 67K 
[ ]comput_1__t37_comput_1.vout2025-09-15 19:39 7.4K 
[ ]comput_1__t38_comput_12025-09-09 12:25 68K 
[ ]comput_1__t38_comput_1.vout2025-09-15 16:04 7.3K 
[ ]comput_1__t39_comput_12025-09-09 12:28 63K 
[ ]comput_1__t39_comput_1.vout2025-09-15 15:24 3.7K 
[ ]comput_1__t40_comput_12025-09-09 12:30 85K 
[ ]comput_1__t40_comput_1.vout2025-09-15 19:03 3.7K 
[ ]comput_1__t41_comput_12025-09-09 12:33 65K 
[ ]comput_1__t41_comput_1.vout2025-09-15 13:37 5.3K 
[ ]comput_1__t42_comput_12025-09-09 12:35 66K 
[ ]comput_1__t42_comput_1.vout2025-09-15 19:44 4.2K 
[ ]comput_1__t43_comput_12025-09-09 12:37 47K 
[ ]comput_1__t43_comput_1.depv12025-09-15 19:47 177  
[ ]comput_1__t43_comput_1.depvmin12025-09-15 19:52 177  
[ ]comput_1__t43_comput_1.vmin12025-09-15 19:47 1.8K 
[ ]comput_1__t43_comput_1.vmin1out2025-09-15 19:48 21K 
[ ]comput_1__t43_comput_1.vout2025-09-15 18:58 20K 
[ ]comput_1__t44_comput_12025-09-09 12:39 67K 
[ ]comput_1__t44_comput_1.vout2025-09-15 13:52 4.2K 
[ ]comput_1__t45_comput_12025-09-09 12:41 78K 
[ ]comput_1__t45_comput_1.vout2025-09-15 18:05 3.7K 
[ ]comput_1__t46_comput_12025-09-09 12:44 74K 
[ ]comput_1__t46_comput_1.vout2025-09-15 14:21 6.8K 
[ ]comput_1__t47_comput_12025-09-09 12:46 61K 
[ ]comput_1__t47_comput_1.vout2025-09-15 18:07 7.9K 
[ ]comput_1__t48_comput_12025-09-09 12:48 53K 
[ ]comput_1__t48_comput_1.depv12025-09-15 19:47 77  
[ ]comput_1__t48_comput_1.depvmin12025-09-15 19:52 77  
[ ]comput_1__t48_comput_1.vmin12025-09-15 19:47 1.5K 
[ ]comput_1__t48_comput_1.vmin1out2025-09-15 19:48 13K 
[ ]comput_1__t48_comput_1.vout2025-09-15 17:02 21K 
[ ]comput_1__t49_comput_12025-09-09 12:51 82K 
[ ]comput_1__t49_comput_1.vout2025-09-15 14:01 7.3K 
[ ]comput_1__t50_comput_12025-09-09 12:53 77K 
[ ]comput_1__t50_comput_1.vout2025-09-15 19:42 7.4K 
[ ]comput_1__t51_comput_12025-09-09 12:56 101K 
[ ]comput_1__t51_comput_1.vout2025-09-15 19:06 3.7K 
[ ]comput_1__t52_comput_12025-09-09 12:59 98K 
[ ]comput_1__t52_comput_1.vout2025-09-15 16:09 3.7K 
[ ]comput_1__t53_comput_12025-09-09 13:01 79K 
[ ]comput_1__t53_comput_1.vout2025-09-15 14:59 7.3K 
[ ]comput_1__t54_comput_12025-09-09 13:04 109K 
[ ]comput_1__t54_comput_1.vout2025-09-15 18:10 7.3K 
[ ]comput_1__t55_comput_12025-09-09 13:06 67K 
[ ]comput_1__t55_comput_1.vout2025-09-15 14:51 7.3K 
[ ]comput_1__t56_comput_12025-09-09 13:09 71K 
[ ]comput_1__t56_comput_1.vout2025-09-15 17:39 4.2K 
[ ]comput_1__t57_comput_12025-09-09 13:11 85K 
[ ]comput_1__t57_comput_1.vout2025-09-15 18:55 4.8K 
[ ]comput_1__t58_comput_12025-09-09 11:07 72K 
[ ]comput_1__t58_comput_1.depv12025-09-15 19:47 113  
[ ]comput_1__t58_comput_1.depvmin12025-09-15 19:52 100  
[ ]comput_1__t58_comput_1.vmin12025-09-15 19:47 3.8K 
[ ]comput_1__t58_comput_1.vmin1out2025-09-15 19:48 42K 
[ ]comput_1__t58_comput_1.vout2025-09-15 16:38 53K 
[ ]comput_1__t59_comput_12025-09-09 11:10 72K 
[ ]comput_1__t59_comput_1.depv12025-09-15 19:47 88  
[ ]comput_1__t59_comput_1.depvmin12025-09-15 19:52 75  
[ ]comput_1__t59_comput_1.vmin12025-09-15 19:47 3.7K 
[ ]comput_1__t59_comput_1.vmin1out2025-09-15 19:51 29K 
[ ]comput_1__t59_comput_1.vout2025-09-15 14:08 35K 
[ ]comput_1__t60_comput_12025-09-09 13:14 76K 
[ ]comput_1__t60_comput_1.vout2025-09-15 18:35 7.3K 
[ ]comput_1__t61_comput_12025-09-09 11:12 74K 
[ ]comput_1__t61_comput_1.depv12025-09-15 19:47 76  
[ ]comput_1__t61_comput_1.depvmin12025-09-15 19:52 76  
[ ]comput_1__t61_comput_1.vmin12025-09-15 19:47 4.0K 
[ ]comput_1__t61_comput_1.vmin1out2025-09-15 19:50 59K 
[ ]comput_1__t61_comput_1.vout2025-09-15 19:04 85K 
[ ]comput_1__t62_comput_12025-09-09 11:14 74K 
[ ]comput_1__t62_comput_1.depv12025-09-15 19:47 51  
[ ]comput_1__t62_comput_1.depvmin12025-09-15 19:52 51  
[ ]comput_1__t62_comput_1.vmin12025-09-15 19:47 3.8K 
[ ]comput_1__t62_comput_1.vmin1out2025-09-15 19:49 36K 
[ ]comput_1__t62_comput_1.vout2025-09-15 15:17 40K 
[ ]comput_1__t63_comput_12025-09-09 13:16 94K 
[ ]comput_1__t63_comput_1.vout2025-09-15 17:17 7.3K 
[ ]comput_1__t64_comput_12025-09-09 13:19 123K 
[ ]comput_1__t64_comput_1.vout2025-09-15 17:11 3.7K 
[ ]comput_1__t65_comput_12025-09-09 13:21 101K 
[ ]comput_1__t65_comput_1.vout2025-09-15 17:53 3.7K 
[ ]comput_1__t66_comput_12025-09-09 13:24 94K 
[ ]comput_1__t66_comput_1.vout2025-09-15 13:34 7.3K 
[ ]comput_1__t67_comput_12025-09-09 13:26 88K 
[ ]comput_1__t67_comput_1.vout2025-09-15 18:14 3.7K 
[ ]comput_1__t68_comput_12025-09-09 13:28 97K 
[ ]comput_1__t68_comput_1.vout2025-09-15 19:36 3.7K 
[ ]comput_1__t69_comput_12025-09-09 13:31 121K 
[ ]comput_1__t69_comput_1.vout2025-09-15 14:30 3.7K 
[ ]comput_1__t70_comput_12025-09-09 13:33 95K 
[ ]comput_1__t70_comput_1.vout2025-09-15 19:36 3.7K 
[ ]comput_1__t71_comput_12025-09-09 13:35 79K 
[ ]comput_1__t71_comput_1.vout2025-09-15 13:54 4.2K 
[ ]comput_1__t72_comput_12025-09-09 13:37 78K 
[ ]comput_1__t72_comput_1.vout2025-09-15 13:52 4.2K 
[ ]comput_1__t73_comput_12025-09-09 13:40 100K 
[ ]comput_1__t73_comput_1.vout2025-09-15 15:16 7.3K 
[ ]comput_1__t74_comput_12025-09-09 13:41 51K 
[ ]comput_1__t74_comput_1.depv12025-09-15 19:47 146  
[ ]comput_1__t74_comput_1.depvmin12025-09-15 19:52 117  
[ ]comput_1__t74_comput_1.vmin12025-09-15 19:47 1.3K 
[ ]comput_1__t74_comput_1.vmin1out2025-09-15 19:48 15K 
[ ]comput_1__t74_comput_1.vout2025-09-15 16:59 17K 
[ ]comput_1__t75_comput_12025-09-09 13:43 94K 
[ ]comput_1__t75_comput_1.vout2025-09-15 19:09 4.2K 
[ ]comput_1__t76_comput_12025-09-09 13:46 124K 
[ ]comput_1__t76_comput_1.vout2025-09-15 16:43 9.5K 
[ ]comput_1__t77_comput_12025-09-09 13:49 121K 
[ ]comput_1__t77_comput_1.vout2025-09-15 16:38 5.9K 
[ ]comput_1__t78_comput_12025-09-09 13:51 121K 
[ ]comput_1__t78_comput_1.vout2025-09-15 18:18 4.2K 
[ ]comput_1__t79_comput_12025-09-09 13:53 73K 
[ ]comput_1__t79_comput_1.vout2025-09-15 16:20 7.3K 
[ ]comput_1__t80_comput_12025-09-09 13:56 75K 
[ ]comput_1__t80_comput_1.vout2025-09-15 17:35 7.3K 
[ ]comput_1__t81_comput_12025-09-09 13:58 75K 
[ ]comput_1__t81_comput_1.vout2025-09-15 16:57 7.3K 
[ ]comput_1__t82_comput_12025-09-09 14:00 74K 
[ ]comput_1__t82_comput_1.vout2025-09-15 13:57 7.3K 
[ ]comput_1__t83_comput_12025-09-09 14:02 88K 
[ ]comput_1__t83_comput_1.vout2025-09-15 18:25 7.3K 
[ ]comput_1__t84_comput_12025-09-09 14:05 94K 
[ ]comput_1__t84_comput_1.vout2025-09-15 18:17 4.2K 
[ ]comput_1__t85_comput_12025-09-09 14:07 91K 
[ ]comput_1__t85_comput_1.vout2025-09-15 18:48 7.4K 
[ ]comput_1__t86_comput_12025-09-09 14:10 102K 
[ ]comput_1__t86_comput_1.vout2025-09-15 19:07 7.3K 
[ ]comput_1__t87_comput_12025-09-09 14:12 99K 
[ ]comput_1__t87_comput_1.vout2025-09-15 13:28 7.4K 
[ ]comput_1__t88_comput_12025-09-09 14:15 95K 
[ ]comput_1__t88_comput_1.vout2025-09-15 17:59 7.4K 
[ ]comput_1__t89_comput_12025-09-09 14:17 79K 
[ ]comput_1__t89_comput_1.vout2025-09-15 16:47 7.4K 
[ ]comput_1__t90_comput_12025-09-09 14:20 149K 
[ ]comput_1__t90_comput_1.vout2025-09-15 15:38 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80