Index of /~mptp/mml5.63.1382/MPTP2/problems_small/lexbfs

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lexbfs__l1_lexbfs2021-07-17 18:32 66K 
[ ]lexbfs__l1_lexbfs.vout2021-07-25 18:11 7.3K 
[ ]lexbfs__l2_lexbfs2021-07-17 18:32 51K 
[ ]lexbfs__l2_lexbfs.depv12021-07-25 20:57 129  
[ ]lexbfs__l2_lexbfs.depvmin12021-07-25 21:03 129  
[ ]lexbfs__l2_lexbfs.vmin12021-07-25 20:57 1.7K 
[ ]lexbfs__l2_lexbfs.vmin1out2021-07-25 20:58 27K 
[ ]lexbfs__l2_lexbfs.vout2021-07-25 15:51 24K 
[ ]lexbfs__l4_lexbfs2021-07-17 18:33 34K 
[ ]lexbfs__l4_lexbfs.depv12021-07-25 20:57 116  
[ ]lexbfs__l4_lexbfs.depvmin12021-07-25 21:03 116  
[ ]lexbfs__l4_lexbfs.vmin12021-07-25 20:57 1.1K 
[ ]lexbfs__l4_lexbfs.vmin1out2021-07-25 20:59 10K 
[ ]lexbfs__l4_lexbfs.vout2021-07-25 20:51 11K 
[ ]lexbfs__l15_lexbfs2021-07-17 18:34 79K 
[ ]lexbfs__l15_lexbfs.vout2021-07-25 20:05 7.3K 
[ ]lexbfs__l16_lexbfs2021-07-17 18:35 91K 
[ ]lexbfs__l16_lexbfs.vout2021-07-25 14:45 2.0K 
[ ]lexbfs__l17_lexbfs2021-07-17 18:35 99K 
[ ]lexbfs__l17_lexbfs.vout2021-07-25 16:08 7.3K 
[ ]lexbfs__t1_lexbfs2021-07-17 18:31 95K 
[ ]lexbfs__t1_lexbfs.vout2021-07-25 19:38 7.3K 
[ ]lexbfs__t2_lexbfs2021-07-17 17:28 36K 
[ ]lexbfs__t2_lexbfs.vout2021-07-25 16:15 1.0K 
[ ]lexbfs__t3_lexbfs2021-07-17 17:28 43K 
[ ]lexbfs__t3_lexbfs.depv12021-07-25 20:57 613  
[ ]lexbfs__t3_lexbfs.depvmin12021-07-25 21:03 482  
[ ]lexbfs__t3_lexbfs.vmin12021-07-25 20:57 4.8K 
[ ]lexbfs__t3_lexbfs.vmin1out2021-07-25 20:59 51K 
[ ]lexbfs__t3_lexbfs.vout2021-07-25 14:28 58K 
[ ]lexbfs__t4_lexbfs2021-07-17 17:29 41K 
[ ]lexbfs__t4_lexbfs.vout2021-07-25 16:41 6.8K 
[ ]lexbfs__t5_lexbfs2021-07-17 17:30 54K 
[ ]lexbfs__t5_lexbfs.vout2021-07-25 17:23 7.3K 
[ ]lexbfs__t6_lexbfs2021-07-17 17:30 49K 
[ ]lexbfs__t6_lexbfs.vout2021-07-25 17:49 7.3K 
[ ]lexbfs__t7_lexbfs2021-07-17 17:31 51K 
[ ]lexbfs__t7_lexbfs.vout2021-07-25 17:45 8.3K 
[ ]lexbfs__t8_lexbfs2021-07-17 17:32 44K 
[ ]lexbfs__t8_lexbfs.vout2021-07-25 15:38 1.1K 
[ ]lexbfs__t9_lexbfs2021-07-17 17:32 55K 
[ ]lexbfs__t9_lexbfs.vout2021-07-25 16:50 7.8K 
[ ]lexbfs__t10_lexbfs2021-07-17 17:33 43K 
[ ]lexbfs__t10_lexbfs.depv12021-07-25 20:57 99  
[ ]lexbfs__t10_lexbfs.depvmin12021-07-25 21:03 75  
[ ]lexbfs__t10_lexbfs.vmin12021-07-25 20:57 1.3K 
[ ]lexbfs__t10_lexbfs.vmin1out2021-07-25 21:00 13K 
[ ]lexbfs__t10_lexbfs.vout2021-07-25 17:10 15K 
[ ]lexbfs__t11_lexbfs2021-07-17 17:34 77K 
[ ]lexbfs__t11_lexbfs.vout2021-07-25 15:11 4.7K 
[ ]lexbfs__t12_lexbfs2021-07-17 17:34 74K 
[ ]lexbfs__t12_lexbfs.vout2021-07-25 19:48 4.7K 
[ ]lexbfs__t13_lexbfs2021-07-17 17:35 82K 
[ ]lexbfs__t13_lexbfs.vout2021-07-25 15:01 7.3K 
[ ]lexbfs__t14_lexbfs2021-07-17 17:36 94K 
[ ]lexbfs__t14_lexbfs.vout2021-07-25 16:15 7.3K 
[ ]lexbfs__t15_lexbfs2021-07-17 17:37 71K 
[ ]lexbfs__t15_lexbfs.vout2021-07-25 17:18 7.3K 
[ ]lexbfs__t16_lexbfs2021-07-17 17:38 67K 
[ ]lexbfs__t16_lexbfs.vout2021-07-25 16:03 7.3K 
[ ]lexbfs__t17_lexbfs2021-07-17 17:39 91K 
[ ]lexbfs__t17_lexbfs.vout2021-07-25 20:37 7.3K 
[ ]lexbfs__t18_lexbfs2021-07-17 17:39 84K 
[ ]lexbfs__t18_lexbfs.vout2021-07-25 17:44 7.3K 
[ ]lexbfs__t19_lexbfs2021-07-17 17:40 61K 
[ ]lexbfs__t19_lexbfs.vout2021-07-25 14:25 7.3K 
[ ]lexbfs__t20_lexbfs2021-07-17 17:41 102K 
[ ]lexbfs__t20_lexbfs.vout2021-07-25 15:33 7.3K 
[ ]lexbfs__t21_lexbfs2021-07-17 17:42 71K 
[ ]lexbfs__t21_lexbfs.vout2021-07-25 16:43 7.3K 
[ ]lexbfs__t22_lexbfs2021-07-17 17:43 94K 
[ ]lexbfs__t22_lexbfs.vout2021-07-25 19:18 7.3K 
[ ]lexbfs__t23_lexbfs2021-07-17 17:43 95K 
[ ]lexbfs__t23_lexbfs.vout2021-07-25 15:07 7.3K 
[ ]lexbfs__t24_lexbfs2021-07-17 17:44 93K 
[ ]lexbfs__t24_lexbfs.vout2021-07-25 19:45 7.3K 
[ ]lexbfs__t25_lexbfs2021-07-17 17:45 81K 
[ ]lexbfs__t25_lexbfs.vout2021-07-25 14:56 7.3K 
[ ]lexbfs__t26_lexbfs2021-07-17 17:46 81K 
[ ]lexbfs__t26_lexbfs.vout2021-07-25 20:13 7.3K 
[ ]lexbfs__t27_lexbfs2021-07-17 17:47 81K 
[ ]lexbfs__t27_lexbfs.vout2021-07-25 14:25 7.3K 
[ ]lexbfs__t28_lexbfs2021-07-17 17:47 65K 
[ ]lexbfs__t28_lexbfs.vout2021-07-25 17:32 7.3K 
[ ]lexbfs__t29_lexbfs2021-07-17 17:48 90K 
[ ]lexbfs__t29_lexbfs.vout2021-07-25 17:42 4.7K 
[ ]lexbfs__t30_lexbfs2021-07-17 17:49 86K 
[ ]lexbfs__t30_lexbfs.vout2021-07-25 16:47 4.7K 
[ ]lexbfs__t31_lexbfs2021-07-17 17:50 86K 
[ ]lexbfs__t31_lexbfs.vout2021-07-25 16:04 7.3K 
[ ]lexbfs__t32_lexbfs2021-07-17 17:51 85K 
[ ]lexbfs__t32_lexbfs.vout2021-07-25 18:56 7.3K 
[ ]lexbfs__t33_lexbfs2021-07-17 17:52 96K 
[ ]lexbfs__t33_lexbfs.vout2021-07-25 16:48 7.3K 
[ ]lexbfs__t34_lexbfs2021-07-17 17:53 48K 
[ ]lexbfs__t34_lexbfs.depv12021-07-25 20:57 187  
[ ]lexbfs__t34_lexbfs.depvmin12021-07-25 21:03 145  
[ ]lexbfs__t34_lexbfs.vmin12021-07-25 20:57 2.2K 
[ ]lexbfs__t34_lexbfs.vmin1out2021-07-25 20:59 21K 
[ ]lexbfs__t34_lexbfs.vout2021-07-25 18:06 44K 
[ ]lexbfs__t35_lexbfs2021-07-17 17:53 49K 
[ ]lexbfs__t35_lexbfs.depv12021-07-25 20:57 149  
[ ]lexbfs__t35_lexbfs.depvmin12021-07-25 21:03 112  
[ ]lexbfs__t35_lexbfs.vmin12021-07-25 20:57 2.1K 
[ ]lexbfs__t35_lexbfs.vmin1out2021-07-25 21:01 29K 
[ ]lexbfs__t35_lexbfs.vout2021-07-25 16:17 29K 
[ ]lexbfs__t36_lexbfs2021-07-17 17:54 66K 
[ ]lexbfs__t36_lexbfs.vout2021-07-25 16:03 7.3K 
[ ]lexbfs__t37_lexbfs2021-07-17 17:55 87K 
[ ]lexbfs__t37_lexbfs.vout2021-07-25 15:33 4.7K 
[ ]lexbfs__t38_lexbfs2021-07-17 17:56 61K 
[ ]lexbfs__t38_lexbfs.vout2021-07-25 18:57 6.2K 
[ ]lexbfs__t39_lexbfs2021-07-17 17:57 76K 
[ ]lexbfs__t39_lexbfs.vout2021-07-25 18:53 4.7K 
[ ]lexbfs__t40_lexbfs2021-07-17 17:57 61K 
[ ]lexbfs__t40_lexbfs.vout2021-07-25 15:38 6.2K 
[ ]lexbfs__t41_lexbfs2021-07-17 17:58 89K 
[ ]lexbfs__t41_lexbfs.vout2021-07-25 16:33 4.7K 
[ ]lexbfs__t42_lexbfs2021-07-17 17:59 95K 
[ ]lexbfs__t42_lexbfs.vout2021-07-25 18:14 6.8K 
[ ]lexbfs__t43_lexbfs2021-07-17 18:00 96K 
[ ]lexbfs__t43_lexbfs.vout2021-07-25 18:33 6.8K 
[ ]lexbfs__t44_lexbfs2021-07-17 18:01 97K 
[ ]lexbfs__t44_lexbfs.vout2021-07-25 18:48 6.8K 
[ ]lexbfs__t45_lexbfs2021-07-17 18:02 80K 
[ ]lexbfs__t45_lexbfs.vout2021-07-25 14:37 7.3K 
[ ]lexbfs__t46_lexbfs2021-07-17 18:03 106K 
[ ]lexbfs__t46_lexbfs.vout2021-07-25 15:24 4.7K 
[ ]lexbfs__t47_lexbfs2021-07-17 18:04 69K 
[ ]lexbfs__t47_lexbfs.vout2021-07-25 17:34 6.8K 
[ ]lexbfs__t48_lexbfs2021-07-17 18:05 111K 
[ ]lexbfs__t48_lexbfs.vout2021-07-25 18:23 7.3K 
[ ]lexbfs__t49_lexbfs2021-07-17 18:05 66K 
[ ]lexbfs__t49_lexbfs.depv12021-07-25 20:57 187  
[ ]lexbfs__t49_lexbfs.depvmin12021-07-25 21:03 187  
[ ]lexbfs__t49_lexbfs.vmin12021-07-25 20:57 2.6K 
[ ]lexbfs__t49_lexbfs.vmin1out2021-07-25 21:01 30K 
[ ]lexbfs__t49_lexbfs.vout2021-07-25 19:38 29K 
[ ]lexbfs__t50_lexbfs2021-07-17 18:06 80K 
[ ]lexbfs__t50_lexbfs.vout2021-07-25 19:08 7.3K 
[ ]lexbfs__t51_lexbfs2021-07-17 18:07 99K 
[ ]lexbfs__t51_lexbfs.vout2021-07-25 17:08 4.7K 
[ ]lexbfs__t52_lexbfs2021-07-17 18:08 109K 
[ ]lexbfs__t52_lexbfs.vout2021-07-25 20:46 7.3K 
[ ]lexbfs__t53_lexbfs2021-07-17 18:09 122K 
[ ]lexbfs__t53_lexbfs.vout2021-07-25 20:03 5.3K 
[ ]lexbfs__t54_lexbfs2021-07-17 18:11 791K 
[ ]lexbfs__t54_lexbfs.vout2021-07-25 16:25 6.8K 
[ ]lexbfs__t55_lexbfs2021-07-17 18:12 69K 
[ ]lexbfs__t55_lexbfs.vout2021-07-25 16:54 7.3K 
[ ]lexbfs__t56_lexbfs2021-07-17 18:12 63K 
[ ]lexbfs__t56_lexbfs.vout2021-07-25 20:04 7.3K 
[ ]lexbfs__t57_lexbfs2021-07-17 17:27 60K 
[ ]lexbfs__t57_lexbfs.depv12021-07-25 20:57 368  
[ ]lexbfs__t57_lexbfs.depvmin12021-07-25 21:03 368  
[ ]lexbfs__t57_lexbfs.vmin12021-07-25 20:57 3.2K 
[ ]lexbfs__t57_lexbfs.vmin1out2021-07-25 20:58 27K 
[ ]lexbfs__t57_lexbfs.vout2021-07-25 17:48 28K 
[ ]lexbfs__t58_lexbfs2021-07-17 18:13 81K 
[ ]lexbfs__t58_lexbfs.vout2021-07-25 16:20 4.7K 
[ ]lexbfs__t59_lexbfs2021-07-17 18:14 79K 
[ ]lexbfs__t59_lexbfs.vout2021-07-25 15:37 7.3K 
[ ]lexbfs__t60_lexbfs2021-07-17 18:15 69K 
[ ]lexbfs__t60_lexbfs.vout2021-07-25 14:50 7.3K 
[ ]lexbfs__t61_lexbfs2021-07-17 18:15 69K 
[ ]lexbfs__t61_lexbfs.vout2021-07-25 19:42 7.3K 
[ ]lexbfs__t62_lexbfs2021-07-17 18:16 69K 
[ ]lexbfs__t62_lexbfs.vout2021-07-25 14:42 7.3K 
[ ]lexbfs__t63_lexbfs2021-07-17 17:27 68K 
[ ]lexbfs__t63_lexbfs.vout2021-07-25 15:02 7.3K 
[ ]lexbfs__t64_lexbfs2021-07-17 18:17 85K 
[ ]lexbfs__t64_lexbfs.vout2021-07-25 19:39 7.3K 
[ ]lexbfs__t65_lexbfs2021-07-17 18:18 84K 
[ ]lexbfs__t65_lexbfs.vout2021-07-25 17:32 7.3K 
[ ]lexbfs__t66_lexbfs2021-07-17 18:19 84K 
[ ]lexbfs__t66_lexbfs.vout2021-07-25 20:54 7.3K 
[ ]lexbfs__t67_lexbfs2021-07-17 18:19 47K 
[ ]lexbfs__t67_lexbfs.depv12021-07-25 20:57 177  
[ ]lexbfs__t67_lexbfs.depvmin12021-07-25 21:03 145  
[ ]lexbfs__t67_lexbfs.vmin12021-07-25 20:57 2.1K 
[ ]lexbfs__t67_lexbfs.vmin1out2021-07-25 21:00 21K 
[ ]lexbfs__t67_lexbfs.vout2021-07-25 18:15 42K 
[ ]lexbfs__t68_lexbfs2021-07-17 18:20 49K 
[ ]lexbfs__t68_lexbfs.depv12021-07-25 20:57 149  
[ ]lexbfs__t68_lexbfs.depvmin12021-07-25 21:03 112  
[ ]lexbfs__t68_lexbfs.vmin12021-07-25 20:57 2.1K 
[ ]lexbfs__t68_lexbfs.vmin1out2021-07-25 21:01 29K 
[ ]lexbfs__t68_lexbfs.vout2021-07-25 17:59 29K 
[ ]lexbfs__t69_lexbfs2021-07-17 18:21 64K 
[ ]lexbfs__t69_lexbfs.vout2021-07-25 15:26 7.3K 
[ ]lexbfs__t70_lexbfs2021-07-17 18:22 85K 
[ ]lexbfs__t70_lexbfs.vout2021-07-25 19:38 4.7K 
[ ]lexbfs__t71_lexbfs2021-07-17 18:22 59K 
[ ]lexbfs__t71_lexbfs.vout2021-07-25 17:54 6.2K 
[ ]lexbfs__t72_lexbfs2021-07-17 18:23 74K 
[ ]lexbfs__t72_lexbfs.vout2021-07-25 19:45 4.7K 
[ ]lexbfs__t73_lexbfs2021-07-17 18:24 86K 
[ ]lexbfs__t73_lexbfs.vout2021-07-25 16:39 4.7K 
[ ]lexbfs__t74_lexbfs2021-07-17 18:25 87K 
[ ]lexbfs__t74_lexbfs.vout2021-07-25 19:36 4.7K 
[ ]lexbfs__t75_lexbfs2021-07-17 18:26 98K 
[ ]lexbfs__t75_lexbfs.vout2021-07-25 19:30 7.3K 
[ ]lexbfs__t76_lexbfs2021-07-17 18:27 101K 
[ ]lexbfs__t76_lexbfs.vout2021-07-25 16:02 7.3K 
[ ]lexbfs__t77_lexbfs2021-07-17 18:28 122K 
[ ]lexbfs__t77_lexbfs.vout2021-07-25 19:58 7.3K 
[ ]lexbfs__t78_lexbfs2021-07-17 18:29 64K 
[ ]lexbfs__t78_lexbfs.vout2021-07-25 17:59 2.0K 
[ ]lexbfs__t79_lexbfs2021-07-17 18:30 388K 
[ ]lexbfs__t79_lexbfs.vout2021-07-25 18:30 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80