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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ideal_1__l26_ideal_12024-07-27 00:46 56K 
[ ]ideal_1__l26_ideal_1.vout2024-08-03 07:18 3.7K 
[ ]ideal_1__l86_ideal_12024-07-27 00:44 30K 
[ ]ideal_1__l86_ideal_1.depv12024-08-03 10:19 42  
[ ]ideal_1__l86_ideal_1.depvmin12024-08-03 10:24 42  
[ ]ideal_1__l86_ideal_1.vmin12024-08-03 10:19 466  
[ ]ideal_1__l86_ideal_1.vmin1out2024-08-03 10:22 8.7K 
[ ]ideal_1__l86_ideal_1.vout2024-08-03 07:36 9.2K 
[ ]ideal_1__t1_ideal_12024-07-26 21:36 59K 
[ ]ideal_1__t1_ideal_1.depv12024-08-03 10:19 249  
[ ]ideal_1__t1_ideal_1.depvmin12024-08-03 10:24 230  
[ ]ideal_1__t1_ideal_1.vmin12024-08-03 10:19 2.2K 
[ ]ideal_1__t1_ideal_1.vmin1out2024-08-03 10:21 24K 
[ ]ideal_1__t1_ideal_1.vout2024-08-03 05:00 25K 
[ ]ideal_1__t2_ideal_12024-07-26 21:38 52K 
[ ]ideal_1__t2_ideal_1.vout2024-08-03 05:17 2.0K 
[ ]ideal_1__t3_ideal_12024-07-26 21:40 51K 
[ ]ideal_1__t3_ideal_1.vout2024-08-03 07:34 2.0K 
[ ]ideal_1__t4_ideal_12024-07-26 21:42 48K 
[ ]ideal_1__t4_ideal_1.depv12024-08-03 10:19 194  
[ ]ideal_1__t4_ideal_1.depvmin12024-08-03 10:24 194  
[ ]ideal_1__t4_ideal_1.vmin12024-08-03 10:19 1.8K 
[ ]ideal_1__t4_ideal_1.vmin1out2024-08-03 10:22 20K 
[ ]ideal_1__t4_ideal_1.vout2024-08-03 05:48 30K 
[ ]ideal_1__t5_ideal_12024-07-26 21:44 52K 
[ ]ideal_1__t5_ideal_1.depv12024-08-03 10:19 207  
[ ]ideal_1__t5_ideal_1.depvmin12024-08-03 10:24 207  
[ ]ideal_1__t5_ideal_1.vmin12024-08-03 10:19 1.9K 
[ ]ideal_1__t5_ideal_1.vmin1out2024-08-03 10:23 19K 
[ ]ideal_1__t5_ideal_1.vout2024-08-03 08:35 28K 
[ ]ideal_1__t6_ideal_12024-07-26 21:47 53K 
[ ]ideal_1__t6_ideal_1.depv12024-08-03 10:19 207  
[ ]ideal_1__t6_ideal_1.depvmin12024-08-03 10:24 207  
[ ]ideal_1__t6_ideal_1.vmin12024-08-03 10:19 1.9K 
[ ]ideal_1__t6_ideal_1.vmin1out2024-08-03 10:23 19K 
[ ]ideal_1__t6_ideal_1.vout2024-08-03 08:53 28K 
[ ]ideal_1__t7_ideal_12024-07-26 21:11 40K 
[ ]ideal_1__t7_ideal_1.vout2024-08-03 05:12 2.0K 
[ ]ideal_1__t8_ideal_12024-07-26 21:13 40K 
[ ]ideal_1__t8_ideal_1.depv12024-08-03 10:19 184  
[ ]ideal_1__t8_ideal_1.depvmin12024-08-03 10:24 184  
[ ]ideal_1__t8_ideal_1.vmin12024-08-03 10:19 2.2K 
[ ]ideal_1__t8_ideal_1.vmin1out2024-08-03 10:20 25K 
[ ]ideal_1__t8_ideal_1.vout2024-08-03 06:22 21K 
[ ]ideal_1__t9_ideal_12024-07-26 21:15 40K 
[ ]ideal_1__t9_ideal_1.vout2024-08-03 06:28 2.0K 
[ ]ideal_1__t10_ideal_12024-07-26 21:48 37K 
[ ]ideal_1__t10_ideal_1.vout2024-08-03 08:28 7.8K 
[ ]ideal_1__t11_ideal_12024-07-26 21:50 37K 
[ ]ideal_1__t11_ideal_1.vout2024-08-03 08:43 7.8K 
[ ]ideal_1__t12_ideal_12024-07-26 21:52 37K 
[ ]ideal_1__t12_ideal_1.vout2024-08-03 09:21 7.8K 
[ ]ideal_1__t13_ideal_12024-07-26 21:54 54K 
[ ]ideal_1__t13_ideal_1.vout2024-08-03 04:51 7.3K 
[ ]ideal_1__t14_ideal_12024-07-26 21:56 53K 
[ ]ideal_1__t14_ideal_1.vout2024-08-03 07:35 7.3K 
[ ]ideal_1__t15_ideal_12024-07-26 21:58 52K 
[ ]ideal_1__t15_ideal_1.vout2024-08-03 08:10 2.0K 
[ ]ideal_1__t16_ideal_12024-07-26 22:00 51K 
[ ]ideal_1__t16_ideal_1.depv12024-08-03 10:19 78  
[ ]ideal_1__t16_ideal_1.depvmin12024-08-03 10:24 78  
[ ]ideal_1__t16_ideal_1.vmin12024-08-03 10:19 1.7K 
[ ]ideal_1__t16_ideal_1.vmin1out2024-08-03 10:21 23K 
[ ]ideal_1__t16_ideal_1.vout2024-08-03 05:17 21K 
[ ]ideal_1__t17_ideal_12024-07-26 22:02 57K 
[ ]ideal_1__t17_ideal_1.vout2024-08-03 07:05 2.0K 
[ ]ideal_1__t18_ideal_12024-07-26 22:05 58K 
[ ]ideal_1__t18_ideal_1.vout2024-08-03 04:10 7.3K 
[ ]ideal_1__t19_ideal_12024-07-26 22:07 50K 
[ ]ideal_1__t19_ideal_1.vout2024-08-03 08:24 8.4K 
[ ]ideal_1__t20_ideal_12024-07-26 22:09 51K 
[ ]ideal_1__t20_ideal_1.vout2024-08-03 05:40 8.4K 
[ ]ideal_1__t21_ideal_12024-07-26 22:11 52K 
[ ]ideal_1__t21_ideal_1.vout2024-08-03 06:28 8.4K 
[ ]ideal_1__t22_ideal_12024-07-26 22:13 60K 
[ ]ideal_1__t22_ideal_1.vout2024-08-03 09:45 6.8K 
[ ]ideal_1__t23_ideal_12024-07-26 22:15 51K 
[ ]ideal_1__t23_ideal_1.vout2024-08-03 04:35 7.3K 
[ ]ideal_1__t24_ideal_12024-07-26 22:17 51K 
[ ]ideal_1__t24_ideal_1.vout2024-08-03 10:00 7.3K 
[ ]ideal_1__t25_ideal_12024-07-26 22:19 51K 
[ ]ideal_1__t25_ideal_1.vout2024-08-03 09:31 2.0K 
[ ]ideal_1__t26_ideal_12024-07-26 22:21 51K 
[ ]ideal_1__t26_ideal_1.vout2024-08-03 08:07 7.3K 
[ ]ideal_1__t27_ideal_12024-07-26 22:22 52K 
[ ]ideal_1__t27_ideal_1.vout2024-08-03 07:01 7.3K 
[ ]ideal_1__t28_ideal_12024-07-26 22:24 52K 
[ ]ideal_1__t28_ideal_1.vout2024-08-03 09:22 2.0K 
[ ]ideal_1__t29_ideal_12024-07-26 22:26 51K 
[ ]ideal_1__t29_ideal_1.vout2024-08-03 08:06 7.3K 
[ ]ideal_1__t30_ideal_12024-07-26 22:28 52K 
[ ]ideal_1__t30_ideal_1.vout2024-08-03 05:56 7.3K 
[ ]ideal_1__t31_ideal_12024-07-26 22:30 53K 
[ ]ideal_1__t31_ideal_1.vout2024-08-03 04:23 2.0K 
[ ]ideal_1__t32_ideal_12024-07-26 22:33 78K 
[ ]ideal_1__t32_ideal_1.vout2024-08-03 07:01 6.8K 
[ ]ideal_1__t33_ideal_12024-07-26 22:35 78K 
[ ]ideal_1__t33_ideal_1.vout2024-08-03 09:42 6.8K 
[ ]ideal_1__t34_ideal_12024-07-26 22:38 78K 
[ ]ideal_1__t34_ideal_1.vout2024-08-03 05:16 6.8K 
[ ]ideal_1__t35_ideal_12024-07-26 22:40 58K 
[ ]ideal_1__t35_ideal_1.vout2024-08-03 05:52 6.8K 
[ ]ideal_1__t36_ideal_12024-07-26 22:42 59K 
[ ]ideal_1__t36_ideal_1.vout2024-08-03 09:54 6.8K 
[ ]ideal_1__t37_ideal_12024-07-26 22:45 56K 
[ ]ideal_1__t37_ideal_1.vout2024-08-03 08:01 6.8K 
[ ]ideal_1__t38_ideal_12024-07-26 22:47 58K 
[ ]ideal_1__t38_ideal_1.vout2024-08-03 06:32 6.8K 
[ ]ideal_1__t39_ideal_12024-07-26 22:49 56K 
[ ]ideal_1__t39_ideal_1.vout2024-08-03 08:13 6.8K 
[ ]ideal_1__t40_ideal_12024-07-26 22:51 58K 
[ ]ideal_1__t40_ideal_1.vout2024-08-03 08:41 6.8K 
[ ]ideal_1__t41_ideal_12024-07-26 22:53 57K 
[ ]ideal_1__t41_ideal_1.vout2024-08-03 07:45 7.3K 
[ ]ideal_1__t42_ideal_12024-07-26 22:55 57K 
[ ]ideal_1__t42_ideal_1.vout2024-08-03 08:53 7.3K 
[ ]ideal_1__t43_ideal_12024-07-26 22:57 57K 
[ ]ideal_1__t43_ideal_1.vout2024-08-03 05:37 7.3K 
[ ]ideal_1__t44_ideal_12024-07-26 21:16 38K 
[ ]ideal_1__t44_ideal_1.depv12024-08-03 10:19 46  
[ ]ideal_1__t44_ideal_1.depvmin12024-08-03 10:24 46  
[ ]ideal_1__t44_ideal_1.vmin12024-08-03 10:19 921  
[ ]ideal_1__t44_ideal_1.vmin1out2024-08-03 10:20 16K 
[ ]ideal_1__t44_ideal_1.vout2024-08-03 07:33 17K 
[ ]ideal_1__t45_ideal_12024-07-26 21:18 38K 
[ ]ideal_1__t45_ideal_1.depv12024-08-03 10:19 46  
[ ]ideal_1__t45_ideal_1.depvmin12024-08-03 10:24 46  
[ ]ideal_1__t45_ideal_1.vmin12024-08-03 10:19 852  
[ ]ideal_1__t45_ideal_1.vmin1out2024-08-03 10:21 17K 
[ ]ideal_1__t45_ideal_1.vout2024-08-03 09:39 17K 
[ ]ideal_1__t46_ideal_12024-07-26 21:20 38K 
[ ]ideal_1__t46_ideal_1.depv12024-08-03 10:19 46  
[ ]ideal_1__t46_ideal_1.depvmin12024-08-03 10:24 46  
[ ]ideal_1__t46_ideal_1.vmin12024-08-03 10:19 852  
[ ]ideal_1__t46_ideal_1.vmin1out2024-08-03 10:22 17K 
[ ]ideal_1__t46_ideal_1.vout2024-08-03 09:55 17K 
[ ]ideal_1__t47_ideal_12024-07-26 21:22 41K 
[ ]ideal_1__t47_ideal_1.vout2024-08-03 04:24 2.0K 
[ ]ideal_1__t48_ideal_12024-07-26 21:23 41K 
[ ]ideal_1__t48_ideal_1.vout2024-08-03 08:34 2.0K 
[ ]ideal_1__t49_ideal_12024-07-26 21:25 40K 
[ ]ideal_1__t49_ideal_1.depv12024-08-03 10:19 171  
[ ]ideal_1__t49_ideal_1.depvmin12024-08-03 10:24 171  
[ ]ideal_1__t49_ideal_1.vmin12024-08-03 10:19 1.8K 
[ ]ideal_1__t49_ideal_1.vmin1out2024-08-03 10:20 19K 
[ ]ideal_1__t49_ideal_1.vout2024-08-03 05:28 18K 
[ ]ideal_1__t50_ideal_12024-07-26 21:27 41K 
[ ]ideal_1__t50_ideal_1.depv12024-08-03 10:19 204  
[ ]ideal_1__t50_ideal_1.depvmin12024-08-03 10:24 174  
[ ]ideal_1__t50_ideal_1.vmin12024-08-03 10:19 1.8K 
[ ]ideal_1__t50_ideal_1.vmin1out2024-08-03 10:22 16K 
[ ]ideal_1__t50_ideal_1.vout2024-08-03 09:46 21K 
[ ]ideal_1__t51_ideal_12024-07-26 22:59 53K 
[ ]ideal_1__t51_ideal_1.vout2024-08-03 09:04 7.3K 
[ ]ideal_1__t52_ideal_12024-07-26 23:01 53K 
[ ]ideal_1__t52_ideal_1.vout2024-08-03 09:06 7.3K 
[ ]ideal_1__t53_ideal_12024-07-26 23:03 53K 
[ ]ideal_1__t53_ideal_1.vout2024-08-03 05:42 7.3K 
[ ]ideal_1__t54_ideal_12024-07-26 21:29 38K 
[ ]ideal_1__t54_ideal_1.vout2024-08-03 07:37 7.3K 
[ ]ideal_1__t55_ideal_12024-07-26 21:31 38K 
[ ]ideal_1__t55_ideal_1.vout2024-08-03 04:20 7.3K 
[ ]ideal_1__t56_ideal_12024-07-26 21:32 38K 
[ ]ideal_1__t56_ideal_1.vout2024-08-03 10:02 7.3K 
[ ]ideal_1__t57_ideal_12024-07-26 23:04 38K 
[ ]ideal_1__t57_ideal_1.vout2024-08-03 06:59 7.3K 
[ ]ideal_1__t58_ideal_12024-07-26 23:06 38K 
[ ]ideal_1__t58_ideal_1.depv12024-08-03 10:19 48  
[ ]ideal_1__t58_ideal_1.depvmin12024-08-03 10:24 48  
[ ]ideal_1__t58_ideal_1.vmin12024-08-03 10:19 1.3K 
[ ]ideal_1__t58_ideal_1.vmin1out2024-08-03 10:22 30K 
[ ]ideal_1__t58_ideal_1.vout2024-08-03 07:34 30K 
[ ]ideal_1__t59_ideal_12024-07-26 23:08 38K 
[ ]ideal_1__t59_ideal_1.depv12024-08-03 10:19 48  
[ ]ideal_1__t59_ideal_1.depvmin12024-08-03 10:24 48  
[ ]ideal_1__t59_ideal_1.vmin12024-08-03 10:19 1.3K 
[ ]ideal_1__t59_ideal_1.vmin1out2024-08-03 10:21 30K 
[ ]ideal_1__t59_ideal_1.vout2024-08-03 08:59 30K 
[ ]ideal_1__t60_ideal_12024-07-26 23:11 98K 
[ ]ideal_1__t60_ideal_1.vout2024-08-03 08:44 4.2K 
[ ]ideal_1__t61_ideal_12024-07-26 23:15 97K 
[ ]ideal_1__t61_ideal_1.vout2024-08-03 10:00 4.2K 
[ ]ideal_1__t62_ideal_12024-07-26 23:18 97K 
[ ]ideal_1__t62_ideal_1.vout2024-08-03 10:07 4.7K 
[ ]ideal_1__t63_ideal_12024-07-26 23:20 54K 
[ ]ideal_1__t63_ideal_1.depv12024-08-03 10:19 194  
[ ]ideal_1__t63_ideal_1.depvmin12024-08-03 10:24 160  
[ ]ideal_1__t63_ideal_1.vmin12024-08-03 10:19 3.6K 
[ ]ideal_1__t63_ideal_1.vmin1out2024-08-03 10:21 55K 
[ ]ideal_1__t63_ideal_1.vout2024-08-03 04:18 59K 
[ ]ideal_1__t64_ideal_12024-07-27 00:39 82K 
[ ]ideal_1__t64_ideal_1.vout2024-08-03 04:30 7.3K 
[ ]ideal_1__t65_ideal_12024-07-27 00:42 83K 
[ ]ideal_1__t65_ideal_1.vout2024-08-03 08:37 7.3K 
[ ]ideal_1__t66_ideal_12024-07-26 23:22 39K 
[ ]ideal_1__t66_ideal_1.depv12024-08-03 10:19 251  
[ ]ideal_1__t66_ideal_1.depvmin12024-08-03 10:24 206  
[ ]ideal_1__t66_ideal_1.vmin12024-08-03 10:19 2.9K 
[ ]ideal_1__t66_ideal_1.vmin1out2024-08-03 10:21 35K 
[ ]ideal_1__t66_ideal_1.vout2024-08-03 09:07 39K 
[ ]ideal_1__t67_ideal_12024-07-26 23:24 63K 
[ ]ideal_1__t67_ideal_1.vout2024-08-03 06:21 3.7K 
[ ]ideal_1__t68_ideal_12024-07-26 23:26 41K 
[ ]ideal_1__t68_ideal_1.vout2024-08-03 05:14 7.3K 
[ ]ideal_1__t69_ideal_12024-07-26 21:34 41K 
[ ]ideal_1__t69_ideal_1.depv12024-08-03 10:19 250  
[ ]ideal_1__t69_ideal_1.depvmin12024-08-03 10:24 224  
[ ]ideal_1__t69_ideal_1.vmin12024-08-03 10:19 2.2K 
[ ]ideal_1__t69_ideal_1.vmin1out2024-08-03 10:22 22K 
[ ]ideal_1__t69_ideal_1.vout2024-08-03 05:20 32K 
[ ]ideal_1__t70_ideal_12024-07-26 23:28 57K 
[ ]ideal_1__t70_ideal_1.vout2024-08-03 08:52 7.3K 
[ ]ideal_1__t71_ideal_12024-07-26 23:30 50K 
[ ]ideal_1__t71_ideal_1.vout2024-08-03 09:02 8.4K 
[ ]ideal_1__t72_ideal_12024-07-26 23:32 48K 
[ ]ideal_1__t72_ideal_1.vout2024-08-03 06:26 7.8K 
[ ]ideal_1__t73_ideal_12024-07-26 23:34 53K 
[ ]ideal_1__t73_ideal_1.vout2024-08-03 04:57 4.2K 
[ ]ideal_1__t74_ideal_12024-07-26 23:36 53K 
[ ]ideal_1__t74_ideal_1.vout2024-08-03 05:45 4.2K 
[ ]ideal_1__t75_ideal_12024-07-26 23:38 48K 
[ ]ideal_1__t75_ideal_1.vout2024-08-03 06:07 4.2K 
[ ]ideal_1__t76_ideal_12024-07-26 23:41 63K 
[ ]ideal_1__t76_ideal_1.vout2024-08-03 07:43 7.3K 
[ ]ideal_1__t77_ideal_12024-07-26 23:43 63K 
[ ]ideal_1__t77_ideal_1.vout2024-08-03 09:08 4.2K 
[ ]ideal_1__t78_ideal_12024-07-26 23:46 70K 
[ ]ideal_1__t78_ideal_1.vout2024-08-03 05:24 7.3K 
[ ]ideal_1__t79_ideal_12024-07-26 23:49 77K 
[ ]ideal_1__t79_ideal_1.vout2024-08-03 05:05 4.2K 
[ ]ideal_1__t80_ideal_12024-07-26 23:52 100K 
[ ]ideal_1__t80_ideal_1.vout2024-08-03 06:02 7.3K 
[ ]ideal_1__t81_ideal_12024-07-26 23:54 72K 
[ ]ideal_1__t81_ideal_1.vout2024-08-03 08:24 3.7K 
[ ]ideal_1__t82_ideal_12024-07-26 23:57 78K 
[ ]ideal_1__t82_ideal_1.vout2024-08-03 04:26 4.2K 
[ ]ideal_1__t83_ideal_12024-07-26 23:59 68K 
[ ]ideal_1__t83_ideal_1.vout2024-08-03 09:18 4.2K 
[ ]ideal_1__t84_ideal_12024-07-27 00:02 70K 
[ ]ideal_1__t84_ideal_1.vout2024-08-03 09:57 3.7K 
[ ]ideal_1__t85_ideal_12024-07-27 00:03 47K 
[ ]ideal_1__t85_ideal_1.vout2024-08-03 06:49 3.7K 
[ ]ideal_1__t86_ideal_12024-07-27 00:06 75K 
[ ]ideal_1__t86_ideal_1.vout2024-08-03 05:20 4.2K 
[ ]ideal_1__t87_ideal_12024-07-27 00:08 71K 
[ ]ideal_1__t87_ideal_1.vout2024-08-03 09:50 3.7K 
[ ]ideal_1__t88_ideal_12024-07-27 00:11 71K 
[ ]ideal_1__t88_ideal_1.vout2024-08-03 07:51 3.7K 
[ ]ideal_1__t89_ideal_12024-07-27 00:13 50K 
[ ]ideal_1__t89_ideal_1.vout2024-08-03 04:45 3.7K 
[ ]ideal_1__t90_ideal_12024-07-27 00:15 63K 
[ ]ideal_1__t90_ideal_1.vout2024-08-03 05:55 4.2K 
[ ]ideal_1__t91_ideal_12024-07-27 00:17 40K 
[ ]ideal_1__t91_ideal_1.vout2024-08-03 08:05 7.3K 
[ ]ideal_1__t92_ideal_12024-07-27 00:20 82K 
[ ]ideal_1__t92_ideal_1.vout2024-08-03 09:51 7.3K 
[ ]ideal_1__t93_ideal_12024-07-27 00:21 40K 
[ ]ideal_1__t93_ideal_1.depv12024-08-03 10:19 144  
[ ]ideal_1__t93_ideal_1.depvmin12024-08-03 10:24 122  
[ ]ideal_1__t93_ideal_1.vmin12024-08-03 10:19 1.3K 
[ ]ideal_1__t93_ideal_1.vmin1out2024-08-03 10:20 14K 
[ ]ideal_1__t93_ideal_1.vout2024-08-03 08:22 20K 
[ ]ideal_1__t94_ideal_12024-07-27 00:24 66K 
[ ]ideal_1__t94_ideal_1.vout2024-08-03 05:21 5.3K 
[ ]ideal_1__t95_ideal_12024-07-27 00:26 40K 
[ ]ideal_1__t95_ideal_1.vout2024-08-03 07:14 7.9K 
[ ]ideal_1__t96_ideal_12024-07-27 00:29 86K 
[ ]ideal_1__t96_ideal_1.vout2024-08-03 06:02 7.3K 
[ ]ideal_1__t97_ideal_12024-07-27 00:31 75K 
[ ]ideal_1__t97_ideal_1.vout2024-08-03 04:34 6.8K 
[ ]ideal_1__t98_ideal_12024-07-27 00:34 93K 
[ ]ideal_1__t98_ideal_1.vout2024-08-03 10:05 7.3K 
[ ]ideal_1__t99_ideal_12024-07-27 00:36 80K 
[ ]ideal_1__t99_ideal_1.vout2024-08-03 06:59 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80