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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lexbfs__t79_lexbfs.vout2024-08-03 05:44 7.3K 
[ ]lexbfs__t79_lexbfs2024-07-27 04:34 437K 
[ ]lexbfs__t78_lexbfs.vout2024-08-03 05:55 2.0K 
[ ]lexbfs__t78_lexbfs2024-07-27 04:30 69K 
[ ]lexbfs__t77_lexbfs.vout2024-08-03 05:27 7.3K 
[ ]lexbfs__t77_lexbfs2024-07-27 04:28 128K 
[ ]lexbfs__t76_lexbfs.vout2024-08-03 06:06 6.8K 
[ ]lexbfs__t76_lexbfs2024-07-27 04:25 107K 
[ ]lexbfs__t75_lexbfs.vout2024-08-03 06:34 7.3K 
[ ]lexbfs__t75_lexbfs2024-07-27 04:22 103K 
[ ]lexbfs__t74_lexbfs.vout2024-08-03 08:38 4.7K 
[ ]lexbfs__t74_lexbfs2024-07-27 04:19 92K 
[ ]lexbfs__t73_lexbfs.vout2024-08-03 05:27 4.7K 
[ ]lexbfs__t73_lexbfs2024-07-27 04:17 91K 
[ ]lexbfs__t72_lexbfs.vout2024-08-03 10:01 4.7K 
[ ]lexbfs__t72_lexbfs2024-07-27 04:14 79K 
[ ]lexbfs__t71_lexbfs.vout2024-08-03 07:57 6.2K 
[ ]lexbfs__t71_lexbfs2024-07-27 04:12 64K 
[ ]lexbfs__t70_lexbfs.vout2024-08-03 08:48 4.7K 
[ ]lexbfs__t70_lexbfs2024-07-27 04:10 90K 
[ ]lexbfs__t69_lexbfs.vout2024-08-03 05:53 7.3K 
[ ]lexbfs__t69_lexbfs2024-07-27 04:07 69K 
[ ]lexbfs__t68_lexbfs.vout2024-08-03 06:57 29K 
[ ]lexbfs__t68_lexbfs.vmin1out2024-08-03 10:21 29K 
[ ]lexbfs__t68_lexbfs.vmin12024-08-03 10:19 2.1K 
[ ]lexbfs__t68_lexbfs.depvmin12024-08-03 10:24 112  
[ ]lexbfs__t68_lexbfs.depv12024-08-03 10:19 149  
[ ]lexbfs__t68_lexbfs2024-07-27 04:05 53K 
[ ]lexbfs__t67_lexbfs.vout2024-08-03 09:00 44K 
[ ]lexbfs__t67_lexbfs.vmin1out2024-08-03 10:23 21K 
[ ]lexbfs__t67_lexbfs.vmin12024-08-03 10:19 2.2K 
[ ]lexbfs__t67_lexbfs.depvmin12024-08-03 10:24 145  
[ ]lexbfs__t67_lexbfs.depv12024-08-03 10:19 187  
[ ]lexbfs__t67_lexbfs2024-07-27 04:03 52K 
[ ]lexbfs__t66_lexbfs.vout2024-08-03 04:54 7.3K 
[ ]lexbfs__t66_lexbfs2024-07-27 04:01 89K 
[ ]lexbfs__t65_lexbfs.vout2024-08-03 10:09 7.3K 
[ ]lexbfs__t65_lexbfs2024-07-27 03:59 89K 
[ ]lexbfs__t64_lexbfs.vout2024-08-03 04:48 7.3K 
[ ]lexbfs__t64_lexbfs2024-07-27 03:56 90K 
[ ]lexbfs__t63_lexbfs.vout2024-08-03 09:05 7.3K 
[ ]lexbfs__t63_lexbfs2024-07-27 01:35 74K 
[ ]lexbfs__t62_lexbfs.vout2024-08-03 10:11 7.3K 
[ ]lexbfs__t62_lexbfs2024-07-27 03:54 75K 
[ ]lexbfs__t61_lexbfs.vout2024-08-03 09:48 7.3K 
[ ]lexbfs__t61_lexbfs2024-07-27 03:52 74K 
[ ]lexbfs__t60_lexbfs.vout2024-08-03 06:47 7.3K 
[ ]lexbfs__t60_lexbfs2024-07-27 03:49 74K 
[ ]lexbfs__t59_lexbfs.vout2024-08-03 07:05 7.3K 
[ ]lexbfs__t59_lexbfs2024-07-27 03:47 85K 
[ ]lexbfs__t58_lexbfs.vout2024-08-03 09:16 4.7K 
[ ]lexbfs__t58_lexbfs2024-07-27 03:45 87K 
[ ]lexbfs__t57_lexbfs.vout2024-08-03 05:41 30K 
[ ]lexbfs__t57_lexbfs.vmin1out2024-08-03 10:20 27K 
[ ]lexbfs__t57_lexbfs.vmin12024-08-03 10:19 3.2K 
[ ]lexbfs__t57_lexbfs.depvmin12024-08-03 10:24 360  
[ ]lexbfs__t57_lexbfs.depv12024-08-03 10:19 382  
[ ]lexbfs__t57_lexbfs2024-07-27 01:33 65K 
[ ]lexbfs__t56_lexbfs.vout2024-08-03 09:04 7.3K 
[ ]lexbfs__t56_lexbfs2024-07-27 03:42 68K 
[ ]lexbfs__t55_lexbfs.vout2024-08-03 08:11 7.3K 
[ ]lexbfs__t55_lexbfs2024-07-27 03:40 75K 
[ ]lexbfs__t54_lexbfs.vout2024-08-03 06:15 6.8K 
[ ]lexbfs__t54_lexbfs2024-07-27 03:38 1.0M 
[ ]lexbfs__t53_lexbfs.vout2024-08-03 06:15 5.3K 
[ ]lexbfs__t53_lexbfs2024-07-27 03:34 127K 
[ ]lexbfs__t52_lexbfs.vout2024-08-03 10:08 7.3K 
[ ]lexbfs__t52_lexbfs2024-07-27 03:31 115K 
[ ]lexbfs__t51_lexbfs.vout2024-08-03 04:35 4.8K 
[ ]lexbfs__t51_lexbfs2024-07-27 03:28 105K 
[ ]lexbfs__t50_lexbfs.vout2024-08-03 06:49 7.3K 
[ ]lexbfs__t50_lexbfs2024-07-27 03:25 85K 
[ ]lexbfs__t49_lexbfs.vout2024-08-03 09:58 29K 
[ ]lexbfs__t49_lexbfs.vmin1out2024-08-03 10:22 30K 
[ ]lexbfs__t49_lexbfs.vmin12024-08-03 10:19 2.6K 
[ ]lexbfs__t49_lexbfs.depvmin12024-08-03 10:24 187  
[ ]lexbfs__t49_lexbfs.depv12024-08-03 10:19 187  
[ ]lexbfs__t49_lexbfs2024-07-27 03:23 71K 
[ ]lexbfs__t48_lexbfs.vout2024-08-03 08:15 7.3K 
[ ]lexbfs__t48_lexbfs2024-07-27 03:20 116K 
[ ]lexbfs__t47_lexbfs.vout2024-08-03 05:48 6.8K 
[ ]lexbfs__t47_lexbfs2024-07-27 03:18 74K 
[ ]lexbfs__t46_lexbfs.vout2024-08-03 06:20 4.7K 
[ ]lexbfs__t46_lexbfs2024-07-27 03:16 111K 
[ ]lexbfs__t45_lexbfs.vout2024-08-03 06:43 7.3K 
[ ]lexbfs__t45_lexbfs2024-07-27 03:13 86K 
[ ]lexbfs__t44_lexbfs.vout2024-08-03 08:08 6.8K 
[ ]lexbfs__t44_lexbfs2024-07-27 03:10 103K 
[ ]lexbfs__t43_lexbfs.vout2024-08-03 06:31 6.8K 
[ ]lexbfs__t43_lexbfs2024-07-27 03:08 101K 
[ ]lexbfs__t42_lexbfs.vout2024-08-03 06:39 6.8K 
[ ]lexbfs__t42_lexbfs2024-07-27 03:05 101K 
[ ]lexbfs__t41_lexbfs.vout2024-08-03 08:17 4.7K 
[ ]lexbfs__t41_lexbfs2024-07-27 03:03 94K 
[ ]lexbfs__t40_lexbfs.vout2024-08-03 05:51 6.2K 
[ ]lexbfs__t40_lexbfs2024-07-27 03:00 66K 
[ ]lexbfs__t39_lexbfs.vout2024-08-03 08:57 4.7K 
[ ]lexbfs__t39_lexbfs2024-07-27 02:58 81K 
[ ]lexbfs__t38_lexbfs.vout2024-08-03 06:05 6.2K 
[ ]lexbfs__t38_lexbfs2024-07-27 02:56 66K 
[ ]lexbfs__t37_lexbfs.vout2024-08-03 07:12 4.7K 
[ ]lexbfs__t37_lexbfs2024-07-27 02:54 92K 
[ ]lexbfs__t36_lexbfs.vout2024-08-03 10:13 79K 
[ ]lexbfs__t36_lexbfs.vmin1out2024-08-03 10:22 78K 
[ ]lexbfs__t36_lexbfs.vmin12024-08-03 10:19 5.5K 
[ ]lexbfs__t36_lexbfs.depvmin12024-08-03 10:24 460  
[ ]lexbfs__t36_lexbfs.depv12024-08-03 10:19 512  
[ ]lexbfs__t36_lexbfs2024-07-27 02:51 71K 
[ ]lexbfs__t35_lexbfs.vout2024-08-03 06:23 29K 
[ ]lexbfs__t35_lexbfs.vmin1out2024-08-03 10:21 29K 
[ ]lexbfs__t35_lexbfs.vmin12024-08-03 10:19 2.1K 
[ ]lexbfs__t35_lexbfs.depvmin12024-08-03 10:24 112  
[ ]lexbfs__t35_lexbfs.depv12024-08-03 10:19 149  
[ ]lexbfs__t35_lexbfs2024-07-27 02:49 54K 
[ ]lexbfs__t34_lexbfs.vout2024-08-03 05:45 43K 
[ ]lexbfs__t34_lexbfs.vmin1out2024-08-03 10:22 21K 
[ ]lexbfs__t34_lexbfs.vmin12024-08-03 10:19 2.2K 
[ ]lexbfs__t34_lexbfs.depvmin12024-08-03 10:24 145  
[ ]lexbfs__t34_lexbfs.depv12024-08-03 10:19 187  
[ ]lexbfs__t34_lexbfs2024-07-27 02:47 52K 
[ ]lexbfs__t33_lexbfs.vout2024-08-03 05:37 7.3K 
[ ]lexbfs__t33_lexbfs2024-07-27 02:45 101K 
[ ]lexbfs__t32_lexbfs.vout2024-08-03 09:43 7.3K 
[ ]lexbfs__t32_lexbfs2024-07-27 02:43 91K 
[ ]lexbfs__t31_lexbfs.vout2024-08-03 09:21 7.3K 
[ ]lexbfs__t31_lexbfs2024-07-27 02:40 91K 
[ ]lexbfs__t30_lexbfs.vout2024-08-03 08:46 4.7K 
[ ]lexbfs__t30_lexbfs2024-07-27 02:38 92K 
[ ]lexbfs__t29_lexbfs.vout2024-08-03 07:07 4.7K 
[ ]lexbfs__t29_lexbfs2024-07-27 02:35 96K 
[ ]lexbfs__t28_lexbfs.vout2024-08-03 04:48 7.3K 
[ ]lexbfs__t28_lexbfs2024-07-27 02:33 70K 
[ ]lexbfs__t27_lexbfs.vout2024-08-03 05:39 7.3K 
[ ]lexbfs__t27_lexbfs2024-07-27 02:31 87K 
[ ]lexbfs__t26_lexbfs.vout2024-08-03 05:33 7.3K 
[ ]lexbfs__t26_lexbfs2024-07-27 02:28 87K 
[ ]lexbfs__t25_lexbfs.vout2024-08-03 06:51 7.3K 
[ ]lexbfs__t25_lexbfs2024-07-27 02:26 87K 
[ ]lexbfs__t24_lexbfs.vout2024-08-03 04:18 7.3K 
[ ]lexbfs__t24_lexbfs2024-07-27 02:23 98K 
[ ]lexbfs__t23_lexbfs.vout2024-08-03 08:54 7.3K 
[ ]lexbfs__t23_lexbfs2024-07-27 02:21 100K 
[ ]lexbfs__t22_lexbfs.vout2024-08-03 09:31 7.4K 
[ ]lexbfs__t22_lexbfs2024-07-27 02:19 99K 
[ ]lexbfs__t21_lexbfs.vout2024-08-03 08:17 7.3K 
[ ]lexbfs__t21_lexbfs2024-07-27 02:16 77K 
[ ]lexbfs__t20_lexbfs.vout2024-08-03 05:08 7.3K 
[ ]lexbfs__t20_lexbfs2024-07-27 02:14 107K 
[ ]lexbfs__t19_lexbfs.vout2024-08-03 07:09 7.3K 
[ ]lexbfs__t19_lexbfs2024-07-27 02:12 66K 
[ ]lexbfs__t18_lexbfs.vout2024-08-03 09:22 7.3K 
[ ]lexbfs__t18_lexbfs2024-07-27 02:10 89K 
[ ]lexbfs__t17_lexbfs.vout2024-08-03 05:27 7.3K 
[ ]lexbfs__t17_lexbfs2024-07-27 02:07 96K 
[ ]lexbfs__t16_lexbfs.vout2024-08-03 08:53 7.3K 
[ ]lexbfs__t16_lexbfs2024-07-27 02:05 72K 
[ ]lexbfs__t15_lexbfs.vout2024-08-03 08:12 7.3K 
[ ]lexbfs__t15_lexbfs2024-07-27 02:03 76K 
[ ]lexbfs__t14_lexbfs.vout2024-08-03 04:31 7.3K 
[ ]lexbfs__t14_lexbfs2024-07-27 02:00 99K 
[ ]lexbfs__t13_lexbfs.vout2024-08-03 05:05 7.3K 
[ ]lexbfs__t13_lexbfs2024-07-27 01:58 88K 
[ ]lexbfs__t12_lexbfs.vout2024-08-03 10:13 4.7K 
[ ]lexbfs__t12_lexbfs2024-07-27 01:55 79K 
[ ]lexbfs__t11_lexbfs.vout2024-08-03 05:05 5.3K 
[ ]lexbfs__t11_lexbfs2024-07-27 01:53 82K 
[ ]lexbfs__t10_lexbfs.vout2024-08-03 08:17 15K 
[ ]lexbfs__t10_lexbfs.vmin1out2024-08-03 10:22 13K 
[ ]lexbfs__t10_lexbfs.vmin12024-08-03 10:19 1.3K 
[ ]lexbfs__t10_lexbfs.depvmin12024-08-03 10:24 75  
[ ]lexbfs__t10_lexbfs.depv12024-08-03 10:19 99  
[ ]lexbfs__t10_lexbfs2024-07-27 01:51 47K 
[ ]lexbfs__t9_lexbfs.vout2024-08-03 08:53 7.8K 
[ ]lexbfs__t9_lexbfs2024-07-27 01:49 59K 
[ ]lexbfs__t8_lexbfs.vout2024-08-03 05:18 1.1K 
[ ]lexbfs__t8_lexbfs2024-07-27 01:48 48K 
[ ]lexbfs__t7_lexbfs.vout2024-08-03 08:18 8.3K 
[ ]lexbfs__t7_lexbfs2024-07-27 01:46 56K 
[ ]lexbfs__t6_lexbfs.vout2024-08-03 09:26 7.3K 
[ ]lexbfs__t6_lexbfs2024-07-27 01:44 53K 
[ ]lexbfs__t5_lexbfs.vout2024-08-03 05:08 7.3K 
[ ]lexbfs__t5_lexbfs2024-07-27 01:42 59K 
[ ]lexbfs__t4_lexbfs.vout2024-08-03 05:06 6.8K 
[ ]lexbfs__t4_lexbfs2024-07-27 01:40 46K 
[ ]lexbfs__t3_lexbfs.vout2024-08-03 07:16 48K 
[ ]lexbfs__t3_lexbfs.vmin1out2024-08-03 10:20 42K 
[ ]lexbfs__t3_lexbfs.vmin12024-08-03 10:19 3.8K 
[ ]lexbfs__t3_lexbfs.depvmin12024-08-03 10:24 413  
[ ]lexbfs__t3_lexbfs.depv12024-08-03 10:19 466  
[ ]lexbfs__t3_lexbfs2024-07-27 01:38 48K 
[ ]lexbfs__t2_lexbfs.vout2024-08-03 09:46 1.0K 
[ ]lexbfs__t2_lexbfs2024-07-27 01:37 41K 
[ ]lexbfs__t1_lexbfs.vout2024-08-03 05:08 7.3K 
[ ]lexbfs__t1_lexbfs2024-07-27 04:36 100K 
[ ]lexbfs__l17_lexbfs.vout2024-08-03 06:53 7.3K 
[ ]lexbfs__l17_lexbfs2024-07-27 04:48 104K 
[ ]lexbfs__l16_lexbfs.vout2024-08-03 06:20 2.0K 
[ ]lexbfs__l16_lexbfs2024-07-27 04:46 97K 
[ ]lexbfs__l15_lexbfs.vout2024-08-03 06:39 7.3K 
[ ]lexbfs__l15_lexbfs2024-07-27 04:44 88K 
[ ]lexbfs__l4_lexbfs.vout2024-08-03 05:08 11K 
[ ]lexbfs__l4_lexbfs.vmin1out2024-08-03 10:21 10K 
[ ]lexbfs__l4_lexbfs.vmin12024-08-03 10:19 1.1K 
[ ]lexbfs__l4_lexbfs.depvmin12024-08-03 10:24 116  
[ ]lexbfs__l4_lexbfs.depv12024-08-03 10:19 116  
[ ]lexbfs__l4_lexbfs2024-07-27 04:41 39K 
[ ]lexbfs__l2_lexbfs.vout2024-08-03 05:25 24K 
[ ]lexbfs__l2_lexbfs.vmin1out2024-08-03 10:22 27K 
[ ]lexbfs__l2_lexbfs.vmin12024-08-03 10:19 1.7K 
[ ]lexbfs__l2_lexbfs.depvmin12024-08-03 10:24 129  
[ ]lexbfs__l2_lexbfs.depv12024-08-03 10:19 129  
[ ]lexbfs__l2_lexbfs2024-07-27 04:40 56K 
[ ]lexbfs__l1_lexbfs.vout2024-08-03 04:34 7.3K 
[ ]lexbfs__l1_lexbfs2024-07-27 04:38 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80