Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/comput_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comput_1__l24_comput_12024-07-27 19:29 56K 
[ ]comput_1__l24_comput_1.vout2024-08-03 09:45 4.2K 
[ ]comput_1__l70_comput_12024-07-27 19:31 86K 
[ ]comput_1__l70_comput_1.vout2024-08-03 06:34 6.8K 
[ ]comput_1__l71_comput_12024-07-27 19:33 99K 
[ ]comput_1__l71_comput_1.vout2024-08-03 08:28 6.8K 
[ ]comput_1__l72_comput_12024-07-27 19:36 104K 
[ ]comput_1__l72_comput_1.vout2024-08-03 06:51 3.7K 
[ ]comput_1__l73_comput_12024-07-27 19:38 116K 
[ ]comput_1__l73_comput_1.vout2024-08-03 05:41 6.8K 
[ ]comput_1__l74_comput_12024-07-27 19:41 130K 
[ ]comput_1__l74_comput_1.vout2024-08-03 10:05 4.2K 
[ ]comput_1__l87_comput_12024-07-27 16:36 55K 
[ ]comput_1__l87_comput_1.depv12024-08-03 10:19 103  
[ ]comput_1__l87_comput_1.depvmin12024-08-03 10:24 103  
[ ]comput_1__l87_comput_1.vmin12024-08-03 10:20 1.1K 
[ ]comput_1__l87_comput_1.vmin1out2024-08-03 10:22 12K 
[ ]comput_1__l87_comput_1.vout2024-08-03 09:57 18K 
[ ]comput_1__l111_comput_12024-07-27 19:43 96K 
[ ]comput_1__l111_comput_1.vout2024-08-03 08:40 3.7K 
[ ]comput_1__t1_comput_12024-07-27 16:38 46K 
[ ]comput_1__t1_comput_1.vout2024-08-03 05:21 11K 
[ ]comput_1__t2_comput_12024-07-27 16:40 35K 
[ ]comput_1__t2_comput_1.vout2024-08-03 09:32 1.1K 
[ ]comput_1__t3_comput_12024-07-27 16:42 70K 
[ ]comput_1__t3_comput_1.vout2024-08-03 09:53 4.7K 
[ ]comput_1__t4_comput_12024-07-27 16:43 80K 
[ ]comput_1__t4_comput_1.vout2024-08-03 08:00 4.7K 
[ ]comput_1__t5_comput_12024-07-27 16:45 51K 
[ ]comput_1__t5_comput_1.vout2024-08-03 05:13 10K 
[ ]comput_1__t6_comput_12024-07-27 16:47 50K 
[ ]comput_1__t6_comput_1.depv12024-08-03 10:19 328  
[ ]comput_1__t6_comput_1.depvmin12024-08-03 10:24 303  
[ ]comput_1__t6_comput_1.vmin12024-08-03 10:20 2.4K 
[ ]comput_1__t6_comput_1.vmin1out2024-08-03 10:20 28K 
[ ]comput_1__t6_comput_1.vout2024-08-03 09:36 31K 
[ ]comput_1__t7_comput_12024-07-27 16:48 45K 
[ ]comput_1__t7_comput_1.depv12024-08-03 10:19 229  
[ ]comput_1__t7_comput_1.depvmin12024-08-03 10:24 167  
[ ]comput_1__t7_comput_1.vmin12024-08-03 10:20 2.3K 
[ ]comput_1__t7_comput_1.vmin1out2024-08-03 10:23 32K 
[ ]comput_1__t7_comput_1.vout2024-08-03 05:57 38K 
[ ]comput_1__t8_comput_12024-07-27 16:50 57K 
[ ]comput_1__t8_comput_1.vout2024-08-03 08:53 7.3K 
[ ]comput_1__t9_comput_12024-07-27 16:52 62K 
[ ]comput_1__t9_comput_1.vout2024-08-03 04:16 7.3K 
[ ]comput_1__t11_comput_12024-07-27 16:54 39K 
[ ]comput_1__t11_comput_1.vout2024-08-03 09:33 4.1K 
[ ]comput_1__t12_comput_12024-07-27 19:25 33K 
[ ]comput_1__t12_comput_1.vout2024-08-03 06:06 7.4K 
[ ]comput_1__t13_comput_12024-07-27 16:55 41K 
[ ]comput_1__t13_comput_1.depv12024-08-03 10:19 80  
[ ]comput_1__t13_comput_1.depvmin12024-08-03 10:24 80  
[ ]comput_1__t13_comput_1.vmin12024-08-03 10:20 1.0K 
[ ]comput_1__t13_comput_1.vmin1out2024-08-03 10:20 23K 
[ ]comput_1__t13_comput_1.vout2024-08-03 05:18 24K 
[ ]comput_1__t14_comput_12024-07-27 19:27 33K 
[ ]comput_1__t14_comput_1.vout2024-08-03 09:22 7.4K 
[ ]comput_1__t15_comput_12024-07-27 16:57 51K 
[ ]comput_1__t15_comput_1.vout2024-08-03 07:00 7.4K 
[ ]comput_1__t16_comput_12024-07-27 16:27 52K 
[ ]comput_1__t16_comput_1.vout2024-08-03 07:38 5.3K 
[ ]comput_1__t17_comput_12024-07-27 16:59 55K 
[ ]comput_1__t17_comput_1.vout2024-08-03 08:30 7.4K 
[ ]comput_1__t18_comput_12024-07-27 17:00 41K 
[ ]comput_1__t18_comput_1.depv12024-08-03 10:19 204  
[ ]comput_1__t18_comput_1.depvmin12024-08-03 10:24 204  
[ ]comput_1__t18_comput_1.vmin12024-08-03 10:20 1.7K 
[ ]comput_1__t18_comput_1.vmin1out2024-08-03 10:21 19K 
[ ]comput_1__t18_comput_1.vout2024-08-03 09:33 20K 
[ ]comput_1__t19_comput_12024-07-27 17:02 36K 
[ ]comput_1__t19_comput_1.depv12024-08-03 10:19 193  
[ ]comput_1__t19_comput_1.depvmin12024-08-03 10:24 193  
[ ]comput_1__t19_comput_1.vmin12024-08-03 10:20 1.8K 
[ ]comput_1__t19_comput_1.vmin1out2024-08-03 10:23 19K 
[ ]comput_1__t19_comput_1.vout2024-08-03 09:41 20K 
[ ]comput_1__t20_comput_12024-07-27 17:03 58K 
[ ]comput_1__t20_comput_1.vout2024-08-03 07:44 4.2K 
[ ]comput_1__t21_comput_12024-07-27 17:05 54K 
[ ]comput_1__t21_comput_1.vout2024-08-03 09:40 5.3K 
[ ]comput_1__t22_comput_12024-07-27 17:07 60K 
[ ]comput_1__t22_comput_1.depv12024-08-03 10:19 246  
[ ]comput_1__t22_comput_1.depvmin12024-08-03 10:24 246  
[ ]comput_1__t22_comput_1.vmin12024-08-03 10:20 2.1K 
[ ]comput_1__t22_comput_1.vmin1out2024-08-03 10:20 23K 
[ ]comput_1__t22_comput_1.vout2024-08-03 05:29 23K 
[ ]comput_1__t23_comput_12024-07-27 17:09 57K 
[ ]comput_1__t23_comput_1.vout2024-08-03 09:14 5.3K 
[ ]comput_1__t24_comput_12024-07-27 17:11 54K 
[ ]comput_1__t24_comput_1.vout2024-08-03 04:19 4.2K 
[ ]comput_1__t25_comput_12024-07-27 17:12 54K 
[ ]comput_1__t25_comput_1.vout2024-08-03 07:55 7.3K 
[ ]comput_1__t26_comput_12024-07-27 17:14 35K 
[ ]comput_1__t26_comput_1.depv12024-08-03 10:19 180  
[ ]comput_1__t26_comput_1.depvmin12024-08-03 10:24 155  
[ ]comput_1__t26_comput_1.vmin12024-08-03 10:20 1.8K 
[ ]comput_1__t26_comput_1.vmin1out2024-08-03 10:21 21K 
[ ]comput_1__t26_comput_1.vout2024-08-03 04:53 24K 
[ ]comput_1__t27_comput_12024-07-27 17:16 52K 
[ ]comput_1__t27_comput_1.depv12024-08-03 10:19 282  
[ ]comput_1__t27_comput_1.depvmin12024-08-03 10:24 258  
[ ]comput_1__t27_comput_1.vmin12024-08-03 10:20 2.0K 
[ ]comput_1__t27_comput_1.vmin1out2024-08-03 10:22 15K 
[ ]comput_1__t27_comput_1.vout2024-08-03 07:15 20K 
[ ]comput_1__t28_comput_12024-07-27 17:17 53K 
[ ]comput_1__t28_comput_1.vout2024-08-03 08:40 5.3K 
[ ]comput_1__t29_comput_12024-07-27 17:19 56K 
[ ]comput_1__t29_comput_1.vout2024-08-03 09:08 7.4K 
[ ]comput_1__t30_comput_12024-07-27 17:21 65K 
[ ]comput_1__t30_comput_1.vout2024-08-03 06:43 5.3K 
[ ]comput_1__t31_comput_12024-07-27 17:23 62K 
[ ]comput_1__t31_comput_1.vout2024-08-03 05:49 5.3K 
[ ]comput_1__t32_comput_12024-07-27 17:25 59K 
[ ]comput_1__t32_comput_1.vout2024-08-03 05:11 7.3K 
[ ]comput_1__t33_comput_12024-07-27 17:26 53K 
[ ]comput_1__t33_comput_1.vout2024-08-03 05:24 5.3K 
[ ]comput_1__t34_comput_12024-07-27 17:28 61K 
[ ]comput_1__t34_comput_1.vout2024-08-03 05:16 7.4K 
[ ]comput_1__t35_comput_12024-07-27 17:30 61K 
[ ]comput_1__t35_comput_1.vout2024-08-03 06:22 5.3K 
[ ]comput_1__t36_comput_12024-07-27 17:32 68K 
[ ]comput_1__t36_comput_1.vout2024-08-03 06:46 7.3K 
[ ]comput_1__t37_comput_12024-07-27 17:34 67K 
[ ]comput_1__t37_comput_1.vout2024-08-03 06:55 7.4K 
[ ]comput_1__t38_comput_12024-07-27 17:36 68K 
[ ]comput_1__t38_comput_1.vout2024-08-03 04:55 7.3K 
[ ]comput_1__t39_comput_12024-07-27 17:38 63K 
[ ]comput_1__t39_comput_1.vout2024-08-03 07:35 3.7K 
[ ]comput_1__t40_comput_12024-07-27 17:41 85K 
[ ]comput_1__t40_comput_1.vout2024-08-03 08:03 3.7K 
[ ]comput_1__t41_comput_12024-07-27 17:43 65K 
[ ]comput_1__t41_comput_1.vout2024-08-03 05:14 5.3K 
[ ]comput_1__t42_comput_12024-07-27 17:45 66K 
[ ]comput_1__t42_comput_1.vout2024-08-03 08:29 4.2K 
[ ]comput_1__t43_comput_12024-07-27 17:46 47K 
[ ]comput_1__t43_comput_1.depv12024-08-03 10:19 177  
[ ]comput_1__t43_comput_1.depvmin12024-08-03 10:24 177  
[ ]comput_1__t43_comput_1.vmin12024-08-03 10:20 1.8K 
[ ]comput_1__t43_comput_1.vmin1out2024-08-03 10:21 21K 
[ ]comput_1__t43_comput_1.vout2024-08-03 07:18 20K 
[ ]comput_1__t44_comput_12024-07-27 17:48 67K 
[ ]comput_1__t44_comput_1.vout2024-08-03 05:08 4.2K 
[ ]comput_1__t45_comput_12024-07-27 17:51 78K 
[ ]comput_1__t45_comput_1.vout2024-08-03 07:13 3.7K 
[ ]comput_1__t46_comput_12024-07-27 17:53 74K 
[ ]comput_1__t46_comput_1.vout2024-08-03 06:33 6.8K 
[ ]comput_1__t47_comput_12024-07-27 17:55 61K 
[ ]comput_1__t47_comput_1.vout2024-08-03 05:20 7.9K 
[ ]comput_1__t48_comput_12024-07-27 17:56 53K 
[ ]comput_1__t48_comput_1.depv12024-08-03 10:19 77  
[ ]comput_1__t48_comput_1.depvmin12024-08-03 10:24 77  
[ ]comput_1__t48_comput_1.vmin12024-08-03 10:20 1.5K 
[ ]comput_1__t48_comput_1.vmin1out2024-08-03 10:20 13K 
[ ]comput_1__t48_comput_1.vout2024-08-03 09:10 21K 
[ ]comput_1__t49_comput_12024-07-27 17:58 82K 
[ ]comput_1__t49_comput_1.vout2024-08-03 09:53 7.3K 
[ ]comput_1__t50_comput_12024-07-27 18:00 77K 
[ ]comput_1__t50_comput_1.vout2024-08-03 08:11 7.4K 
[ ]comput_1__t51_comput_12024-07-27 18:03 101K 
[ ]comput_1__t51_comput_1.vout2024-08-03 05:54 3.7K 
[ ]comput_1__t52_comput_12024-07-27 18:05 98K 
[ ]comput_1__t52_comput_1.vout2024-08-03 07:21 3.7K 
[ ]comput_1__t53_comput_12024-07-27 18:08 79K 
[ ]comput_1__t53_comput_1.vout2024-08-03 04:28 7.3K 
[ ]comput_1__t54_comput_12024-07-27 18:10 109K 
[ ]comput_1__t54_comput_1.vout2024-08-03 05:59 7.3K 
[ ]comput_1__t55_comput_12024-07-27 18:12 67K 
[ ]comput_1__t55_comput_1.vout2024-08-03 07:20 7.4K 
[ ]comput_1__t56_comput_12024-07-27 18:14 71K 
[ ]comput_1__t56_comput_1.vout2024-08-03 07:05 3.7K 
[ ]comput_1__t57_comput_12024-07-27 18:16 85K 
[ ]comput_1__t57_comput_1.vout2024-08-03 07:00 3.7K 
[ ]comput_1__t58_comput_12024-07-27 16:29 72K 
[ ]comput_1__t58_comput_1.vout2024-08-03 07:28 7.4K 
[ ]comput_1__t59_comput_12024-07-27 16:31 72K 
[ ]comput_1__t59_comput_1.vout2024-08-03 06:46 7.3K 
[ ]comput_1__t60_comput_12024-07-27 18:18 77K 
[ ]comput_1__t60_comput_1.vout2024-08-03 06:46 7.3K 
[ ]comput_1__t61_comput_12024-07-27 16:33 74K 
[ ]comput_1__t61_comput_1.vout2024-08-03 04:26 7.3K 
[ ]comput_1__t62_comput_12024-07-27 16:35 74K 
[ ]comput_1__t62_comput_1.vout2024-08-03 08:57 7.3K 
[ ]comput_1__t63_comput_12024-07-27 18:21 94K 
[ ]comput_1__t63_comput_1.vout2024-08-03 04:54 7.3K 
[ ]comput_1__t64_comput_12024-07-27 18:23 123K 
[ ]comput_1__t64_comput_1.vout2024-08-03 05:13 3.7K 
[ ]comput_1__t65_comput_12024-07-27 18:25 96K 
[ ]comput_1__t65_comput_1.vout2024-08-03 05:46 3.7K 
[ ]comput_1__t66_comput_12024-07-27 18:27 94K 
[ ]comput_1__t66_comput_1.vout2024-08-03 06:45 7.3K 
[ ]comput_1__t67_comput_12024-07-27 18:29 89K 
[ ]comput_1__t67_comput_1.vout2024-08-03 09:09 4.2K 
[ ]comput_1__t68_comput_12024-07-27 18:32 97K 
[ ]comput_1__t68_comput_1.vout2024-08-03 04:31 3.7K 
[ ]comput_1__t69_comput_12024-07-27 18:35 219K 
[ ]comput_1__t69_comput_1.vout2024-08-03 09:56 3.7K 
[ ]comput_1__t70_comput_12024-07-27 18:37 97K 
[ ]comput_1__t70_comput_1.vout2024-08-03 09:23 3.7K 
[ ]comput_1__t71_comput_12024-07-27 18:39 79K 
[ ]comput_1__t71_comput_1.vout2024-08-03 05:29 4.2K 
[ ]comput_1__t72_comput_12024-07-27 18:41 78K 
[ ]comput_1__t72_comput_1.vout2024-08-03 05:21 4.2K 
[ ]comput_1__t73_comput_12024-07-27 18:44 100K 
[ ]comput_1__t73_comput_1.vout2024-08-03 04:32 7.3K 
[ ]comput_1__t74_comput_12024-07-27 18:45 51K 
[ ]comput_1__t74_comput_1.depv12024-08-03 10:19 146  
[ ]comput_1__t74_comput_1.depvmin12024-08-03 10:24 117  
[ ]comput_1__t74_comput_1.vmin12024-08-03 10:20 1.3K 
[ ]comput_1__t74_comput_1.vmin1out2024-08-03 10:20 15K 
[ ]comput_1__t74_comput_1.vout2024-08-03 06:31 17K 
[ ]comput_1__t75_comput_12024-07-27 18:48 94K 
[ ]comput_1__t75_comput_1.vout2024-08-03 09:59 3.7K 
[ ]comput_1__t76_comput_12024-07-27 18:51 124K 
[ ]comput_1__t76_comput_1.vout2024-08-03 09:50 9.5K 
[ ]comput_1__t77_comput_12024-07-27 18:54 121K 
[ ]comput_1__t77_comput_1.vout2024-08-03 07:00 5.9K 
[ ]comput_1__t78_comput_12024-07-27 18:56 120K 
[ ]comput_1__t78_comput_1.vout2024-08-03 05:20 3.7K 
[ ]comput_1__t79_comput_12024-07-27 18:58 74K 
[ ]comput_1__t79_comput_1.vout2024-08-03 04:10 7.3K 
[ ]comput_1__t80_comput_12024-07-27 19:00 75K 
[ ]comput_1__t80_comput_1.vout2024-08-03 07:53 7.3K 
[ ]comput_1__t81_comput_12024-07-27 19:03 76K 
[ ]comput_1__t81_comput_1.vout2024-08-03 05:52 7.3K 
[ ]comput_1__t82_comput_12024-07-27 19:05 74K 
[ ]comput_1__t82_comput_1.vout2024-08-03 10:11 7.3K 
[ ]comput_1__t83_comput_12024-07-27 19:07 89K 
[ ]comput_1__t83_comput_1.vout2024-08-03 07:14 7.4K 
[ ]comput_1__t84_comput_12024-07-27 19:09 97K 
[ ]comput_1__t84_comput_1.vout2024-08-03 05:09 4.2K 
[ ]comput_1__t85_comput_12024-07-27 19:12 95K 
[ ]comput_1__t85_comput_1.vout2024-08-03 09:45 7.4K 
[ ]comput_1__t86_comput_12024-07-27 19:14 106K 
[ ]comput_1__t86_comput_1.vout2024-08-03 06:18 7.3K 
[ ]comput_1__t87_comput_12024-07-27 19:16 104K 
[ ]comput_1__t87_comput_1.vout2024-08-03 07:54 7.4K 
[ ]comput_1__t88_comput_12024-07-27 19:19 98K 
[ ]comput_1__t88_comput_1.vout2024-08-03 04:42 7.3K 
[ ]comput_1__t89_comput_12024-07-27 19:21 81K 
[ ]comput_1__t89_comput_1.vout2024-08-03 08:04 7.3K 
[ ]comput_1__t90_comput_12024-07-27 19:24 153K 
[ ]comput_1__t90_comput_1.vout2024-08-03 04:57 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80