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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlaffin1__l1_rlaffin12024-07-27 08:47 30K 
[ ]rlaffin1__l1_rlaffin1.vout2024-08-03 09:41 7.3K 
[ ]rlaffin1__l6_rlaffin12024-07-27 08:49 29K 
[ ]rlaffin1__l6_rlaffin1.vout2024-08-03 06:49 3.7K 
[ ]rlaffin1__l7_rlaffin12024-07-27 08:50 27K 
[ ]rlaffin1__l7_rlaffin1.vout2024-08-03 04:45 3.7K 
[ ]rlaffin1__l10_rlaffin12024-07-27 08:51 28K 
[ ]rlaffin1__l10_rlaffin1.vout2024-08-03 07:43 7.3K 
[ ]rlaffin1__l49_rlaffin12024-07-27 08:54 68K 
[ ]rlaffin1__l49_rlaffin1.vout2024-08-03 04:14 3.7K 
[ ]rlaffin1__l50_rlaffin12024-07-27 08:56 66K 
[ ]rlaffin1__l50_rlaffin1.vout2024-08-03 10:06 3.7K 
[ ]rlaffin1__l61_rlaffin12024-07-27 08:57 28K 
[ ]rlaffin1__l61_rlaffin1.vout2024-08-03 04:32 4.2K 
[ ]rlaffin1__l62_rlaffin12024-07-27 08:58 28K 
[ ]rlaffin1__l62_rlaffin1.vout2024-08-03 04:38 4.2K 
[ ]rlaffin1__l72_rlaffin12024-07-27 09:00 43K 
[ ]rlaffin1__l72_rlaffin1.depv12024-08-03 10:19 178  
[ ]rlaffin1__l72_rlaffin1.depvmin12024-08-03 10:24 178  
[ ]rlaffin1__l72_rlaffin1.vmin12024-08-03 10:19 3.4K 
[ ]rlaffin1__l72_rlaffin1.vmin1out2024-08-03 10:20 62K 
[ ]rlaffin1__l72_rlaffin1.vout2024-08-03 07:15 41K 
[ ]rlaffin1__l79_rlaffin12024-07-27 06:24 17K 
[ ]rlaffin1__l79_rlaffin1.depv12024-08-03 10:19 52  
[ ]rlaffin1__l79_rlaffin1.depvmin12024-08-03 10:24 52  
[ ]rlaffin1__l79_rlaffin1.vmin12024-08-03 10:19 286  
[ ]rlaffin1__l79_rlaffin1.vmin1out2024-08-03 10:20 2.2K 
[ ]rlaffin1__l79_rlaffin1.vout2024-08-03 07:12 2.1K 
[ ]rlaffin1__t1_rlaffin12024-07-27 06:25 38K 
[ ]rlaffin1__t1_rlaffin1.vout2024-08-03 09:20 7.3K 
[ ]rlaffin1__t2_rlaffin12024-07-27 06:19 28K 
[ ]rlaffin1__t2_rlaffin1.depv12024-08-03 10:19 24  
[ ]rlaffin1__t2_rlaffin1.depvmin12024-08-03 10:24 24  
[ ]rlaffin1__t2_rlaffin1.vmin12024-08-03 10:19 367  
[ ]rlaffin1__t2_rlaffin1.vmin1out2024-08-03 10:21 3.9K 
[ ]rlaffin1__t2_rlaffin1.vout2024-08-03 09:50 5.5K 
[ ]rlaffin1__t3_rlaffin12024-07-27 06:27 32K 
[ ]rlaffin1__t3_rlaffin1.vout2024-08-03 06:51 7.3K 
[ ]rlaffin1__t4_rlaffin12024-07-27 06:28 31K 
[ ]rlaffin1__t4_rlaffin1.depv12024-08-03 10:19 191  
[ ]rlaffin1__t4_rlaffin1.depvmin12024-08-03 10:24 165  
[ ]rlaffin1__t4_rlaffin1.vmin12024-08-03 10:19 2.2K 
[ ]rlaffin1__t4_rlaffin1.vmin1out2024-08-03 10:21 15K 
[ ]rlaffin1__t4_rlaffin1.vout2024-08-03 07:12 22K 
[ ]rlaffin1__t5_rlaffin12024-07-27 06:29 27K 
[ ]rlaffin1__t5_rlaffin1.vout2024-08-03 06:10 3.7K 
[ ]rlaffin1__t6_rlaffin12024-07-27 06:31 28K 
[ ]rlaffin1__t6_rlaffin1.vout2024-08-03 05:32 3.7K 
[ ]rlaffin1__t7_rlaffin12024-07-27 06:32 32K 
[ ]rlaffin1__t7_rlaffin1.vout2024-08-03 09:37 7.3K 
[ ]rlaffin1__t8_rlaffin12024-07-27 06:33 27K 
[ ]rlaffin1__t8_rlaffin1.depv12024-08-03 10:19 218  
[ ]rlaffin1__t8_rlaffin1.depvmin12024-08-03 10:24 190  
[ ]rlaffin1__t8_rlaffin1.vmin12024-08-03 10:19 1.9K 
[ ]rlaffin1__t8_rlaffin1.vmin1out2024-08-03 10:23 22K 
[ ]rlaffin1__t8_rlaffin1.vout2024-08-03 07:25 22K 
[ ]rlaffin1__t9_rlaffin12024-07-27 06:35 27K 
[ ]rlaffin1__t9_rlaffin1.depv12024-08-03 10:19 79  
[ ]rlaffin1__t9_rlaffin1.depvmin12024-08-03 10:24 79  
[ ]rlaffin1__t9_rlaffin1.vmin12024-08-03 10:19 1.1K 
[ ]rlaffin1__t9_rlaffin1.vmin1out2024-08-03 10:21 25K 
[ ]rlaffin1__t9_rlaffin1.vout2024-08-03 09:43 30K 
[ ]rlaffin1__t10_rlaffin12024-07-27 06:36 29K 
[ ]rlaffin1__t10_rlaffin1.vout2024-08-03 07:30 3.7K 
[ ]rlaffin1__t11_rlaffin12024-07-27 06:38 27K 
[ ]rlaffin1__t11_rlaffin1.vout2024-08-03 08:04 3.7K 
[ ]rlaffin1__t12_rlaffin12024-07-27 06:39 30K 
[ ]rlaffin1__t12_rlaffin1.vout2024-08-03 10:16 3.7K 
[ ]rlaffin1__t13_rlaffin12024-07-27 06:41 56K 
[ ]rlaffin1__t13_rlaffin1.vout2024-08-03 05:25 7.3K 
[ ]rlaffin1__t14_rlaffin12024-07-27 06:43 57K 
[ ]rlaffin1__t14_rlaffin1.vout2024-08-03 05:32 7.3K 
[ ]rlaffin1__t15_rlaffin12024-07-27 06:46 98K 
[ ]rlaffin1__t15_rlaffin1.vout2024-08-03 09:25 3.7K 
[ ]rlaffin1__t16_rlaffin12024-07-27 06:48 42K 
[ ]rlaffin1__t16_rlaffin1.vout2024-08-03 07:36 3.7K 
[ ]rlaffin1__t17_rlaffin12024-07-27 06:50 40K 
[ ]rlaffin1__t17_rlaffin1.vout2024-08-03 04:48 4.7K 
[ ]rlaffin1__t18_rlaffin12024-07-27 06:51 39K 
[ ]rlaffin1__t18_rlaffin1.vout2024-08-03 09:31 4.7K 
[ ]rlaffin1__t19_rlaffin12024-07-27 06:53 37K 
[ ]rlaffin1__t19_rlaffin1.vout2024-08-03 09:33 4.7K 
[ ]rlaffin1__t20_rlaffin12024-07-27 06:55 39K 
[ ]rlaffin1__t20_rlaffin1.depv12024-08-03 10:19 167  
[ ]rlaffin1__t20_rlaffin1.depvmin12024-08-03 10:24 146  
[ ]rlaffin1__t20_rlaffin1.vmin12024-08-03 10:19 2.2K 
[ ]rlaffin1__t20_rlaffin1.vmin1out2024-08-03 10:20 29K 
[ ]rlaffin1__t20_rlaffin1.vout2024-08-03 04:57 34K 
[ ]rlaffin1__t21_rlaffin12024-07-27 06:56 37K 
[ ]rlaffin1__t21_rlaffin1.depv12024-08-03 10:19 109  
[ ]rlaffin1__t21_rlaffin1.depvmin12024-08-03 10:24 109  
[ ]rlaffin1__t21_rlaffin1.vmin12024-08-03 10:19 1.9K 
[ ]rlaffin1__t21_rlaffin1.vmin1out2024-08-03 10:20 33K 
[ ]rlaffin1__t21_rlaffin1.vout2024-08-03 05:24 23K 
[ ]rlaffin1__t22_rlaffin12024-07-27 06:58 47K 
[ ]rlaffin1__t22_rlaffin1.vout2024-08-03 07:20 3.7K 
[ ]rlaffin1__t23_rlaffin12024-07-27 07:00 47K 
[ ]rlaffin1__t23_rlaffin1.vout2024-08-03 05:46 3.7K 
[ ]rlaffin1__t24_rlaffin12024-07-27 07:01 44K 
[ ]rlaffin1__t24_rlaffin1.vout2024-08-03 05:16 4.7K 
[ ]rlaffin1__t25_rlaffin12024-07-27 07:03 41K 
[ ]rlaffin1__t25_rlaffin1.vout2024-08-03 04:34 4.7K 
[ ]rlaffin1__t26_rlaffin12024-07-27 07:04 37K 
[ ]rlaffin1__t26_rlaffin1.vout2024-08-03 06:49 4.7K 
[ ]rlaffin1__t27_rlaffin12024-07-27 07:06 40K 
[ ]rlaffin1__t27_rlaffin1.vout2024-08-03 05:22 4.7K 
[ ]rlaffin1__t28_rlaffin12024-07-27 07:07 39K 
[ ]rlaffin1__t28_rlaffin1.vout2024-08-03 07:25 5.8K 
[ ]rlaffin1__t29_rlaffin12024-07-27 07:09 58K 
[ ]rlaffin1__t29_rlaffin1.vout2024-08-03 07:48 7.3K 
[ ]rlaffin1__t30_rlaffin12024-07-27 07:11 74K 
[ ]rlaffin1__t30_rlaffin1.vout2024-08-03 09:20 3.7K 
[ ]rlaffin1__t31_rlaffin12024-07-27 07:13 55K 
[ ]rlaffin1__t31_rlaffin1.vout2024-08-03 08:23 7.4K 
[ ]rlaffin1__t32_rlaffin12024-07-27 07:15 55K 
[ ]rlaffin1__t32_rlaffin1.vout2024-08-03 05:05 3.7K 
[ ]rlaffin1__t33_rlaffin12024-07-27 07:17 62K 
[ ]rlaffin1__t33_rlaffin1.vout2024-08-03 08:21 3.7K 
[ ]rlaffin1__t34_rlaffin12024-07-27 07:19 78K 
[ ]rlaffin1__t34_rlaffin1.vout2024-08-03 04:40 3.7K 
[ ]rlaffin1__t35_rlaffin12024-07-27 07:21 58K 
[ ]rlaffin1__t35_rlaffin1.vout2024-08-03 07:23 3.7K 
[ ]rlaffin1__t36_rlaffin12024-07-27 07:23 43K 
[ ]rlaffin1__t36_rlaffin1.vout2024-08-03 09:04 2.0K 
[ ]rlaffin1__t37_rlaffin12024-07-27 07:25 65K 
[ ]rlaffin1__t37_rlaffin1.vout2024-08-03 07:07 3.7K 
[ ]rlaffin1__t38_rlaffin12024-07-27 07:27 72K 
[ ]rlaffin1__t38_rlaffin1.vout2024-08-03 06:24 3.7K 
[ ]rlaffin1__t39_rlaffin12024-07-27 07:29 75K 
[ ]rlaffin1__t39_rlaffin1.vout2024-08-03 04:18 3.7K 
[ ]rlaffin1__t40_rlaffin12024-07-27 07:31 72K 
[ ]rlaffin1__t40_rlaffin1.vout2024-08-03 08:23 3.7K 
[ ]rlaffin1__t41_rlaffin12024-07-27 07:33 45K 
[ ]rlaffin1__t41_rlaffin1.depv12024-08-03 10:19 105  
[ ]rlaffin1__t41_rlaffin1.depvmin12024-08-03 10:24 93  
[ ]rlaffin1__t41_rlaffin1.vmin12024-08-03 10:19 2.6K 
[ ]rlaffin1__t41_rlaffin1.vmin1out2024-08-03 10:22 44K 
[ ]rlaffin1__t41_rlaffin1.vout2024-08-03 07:18 72K 
[ ]rlaffin1__t42_rlaffin12024-07-27 07:35 45K 
[ ]rlaffin1__t42_rlaffin1.depv12024-08-03 10:19 88  
[ ]rlaffin1__t42_rlaffin1.depvmin12024-08-03 10:24 52  
[ ]rlaffin1__t42_rlaffin1.vmin12024-08-03 10:19 2.3K 
[ ]rlaffin1__t42_rlaffin1.vmin1out2024-08-03 10:23 42K 
[ ]rlaffin1__t42_rlaffin1.vout2024-08-03 05:54 77K 
[ ]rlaffin1__t43_rlaffin12024-07-27 07:36 39K 
[ ]rlaffin1__t43_rlaffin1.vout2024-08-03 09:33 4.2K 
[ ]rlaffin1__t44_rlaffin12024-07-27 07:38 32K 
[ ]rlaffin1__t44_rlaffin1.depv12024-08-03 10:19 106  
[ ]rlaffin1__t44_rlaffin1.depvmin12024-08-03 10:24 106  
[ ]rlaffin1__t44_rlaffin1.vmin12024-08-03 10:19 2.2K 
[ ]rlaffin1__t44_rlaffin1.vmin1out2024-08-03 10:21 24K 
[ ]rlaffin1__t44_rlaffin1.vout2024-08-03 10:14 32K 
[ ]rlaffin1__t45_rlaffin12024-07-27 07:40 37K 
[ ]rlaffin1__t45_rlaffin1.vout2024-08-03 06:06 7.3K 
[ ]rlaffin1__t46_rlaffin12024-07-27 07:41 34K 
[ ]rlaffin1__t46_rlaffin1.vout2024-08-03 07:55 7.3K 
[ ]rlaffin1__t47_rlaffin12024-07-27 07:42 31K 
[ ]rlaffin1__t47_rlaffin1.depv12024-08-03 10:19 110  
[ ]rlaffin1__t47_rlaffin1.depvmin12024-08-03 10:24 110  
[ ]rlaffin1__t47_rlaffin1.vmin12024-08-03 10:19 1.7K 
[ ]rlaffin1__t47_rlaffin1.vmin1out2024-08-03 10:22 48K 
[ ]rlaffin1__t47_rlaffin1.vout2024-08-03 08:11 48K 
[ ]rlaffin1__t48_rlaffin12024-07-27 06:21 28K 
[ ]rlaffin1__t48_rlaffin1.vout2024-08-03 09:39 7.9K 
[ ]rlaffin1__t49_rlaffin12024-07-27 06:22 27K 
[ ]rlaffin1__t49_rlaffin1.depv12024-08-03 10:19 26  
[ ]rlaffin1__t49_rlaffin1.depvmin12024-08-03 10:24 26  
[ ]rlaffin1__t49_rlaffin1.vmin12024-08-03 10:19 371  
[ ]rlaffin1__t49_rlaffin1.vmin1out2024-08-03 10:22 3.9K 
[ ]rlaffin1__t49_rlaffin1.vout2024-08-03 04:30 3.8K 
[ ]rlaffin1__t50_rlaffin12024-07-27 06:23 27K 
[ ]rlaffin1__t50_rlaffin1.depv12024-08-03 10:19 26  
[ ]rlaffin1__t50_rlaffin1.depvmin12024-08-03 10:24 26  
[ ]rlaffin1__t50_rlaffin1.vmin12024-08-03 10:19 393  
[ ]rlaffin1__t50_rlaffin1.vmin1out2024-08-03 10:23 4.3K 
[ ]rlaffin1__t50_rlaffin1.vout2024-08-03 06:35 5.6K 
[ ]rlaffin1__t51_rlaffin12024-07-27 07:44 28K 
[ ]rlaffin1__t51_rlaffin1.depv12024-08-03 10:19 84  
[ ]rlaffin1__t51_rlaffin1.depvmin12024-08-03 10:24 84  
[ ]rlaffin1__t51_rlaffin1.vmin12024-08-03 10:19 1.0K 
[ ]rlaffin1__t51_rlaffin1.vmin1out2024-08-03 10:22 11K 
[ ]rlaffin1__t51_rlaffin1.vout2024-08-03 04:23 11K 
[ ]rlaffin1__t52_rlaffin12024-07-27 07:45 28K 
[ ]rlaffin1__t52_rlaffin1.depv12024-08-03 10:19 77  
[ ]rlaffin1__t52_rlaffin1.depvmin12024-08-03 10:24 77  
[ ]rlaffin1__t52_rlaffin1.vmin12024-08-03 10:19 1.2K 
[ ]rlaffin1__t52_rlaffin1.vmin1out2024-08-03 10:22 14K 
[ ]rlaffin1__t52_rlaffin1.vout2024-08-03 09:39 11K 
[ ]rlaffin1__t53_rlaffin12024-07-27 07:47 36K 
[ ]rlaffin1__t53_rlaffin1.vout2024-08-03 05:34 3.7K 
[ ]rlaffin1__t54_rlaffin12024-07-27 07:48 32K 
[ ]rlaffin1__t54_rlaffin1.vout2024-08-03 05:01 7.3K 
[ ]rlaffin1__t55_rlaffin12024-07-27 07:49 38K 
[ ]rlaffin1__t55_rlaffin1.vout2024-08-03 09:57 3.7K 
[ ]rlaffin1__t56_rlaffin12024-07-27 07:51 37K 
[ ]rlaffin1__t56_rlaffin1.vout2024-08-03 09:20 3.7K 
[ ]rlaffin1__t57_rlaffin12024-07-27 07:53 57K 
[ ]rlaffin1__t57_rlaffin1.vout2024-08-03 10:04 3.7K 
[ ]rlaffin1__t58_rlaffin12024-07-27 07:55 58K 
[ ]rlaffin1__t58_rlaffin1.vout2024-08-03 05:47 4.2K 
[ ]rlaffin1__t59_rlaffin12024-07-27 08:46 73K 
[ ]rlaffin1__t59_rlaffin1.vout2024-08-03 08:58 3.7K 
[ ]rlaffin1__t60_rlaffin12024-07-27 07:57 68K 
[ ]rlaffin1__t60_rlaffin1.vout2024-08-03 08:52 3.7K 
[ ]rlaffin1__t61_rlaffin12024-07-27 08:00 82K 
[ ]rlaffin1__t61_rlaffin1.vout2024-08-03 07:45 3.6K 
[ ]rlaffin1__t62_rlaffin12024-07-27 08:02 60K 
[ ]rlaffin1__t62_rlaffin1.vout2024-08-03 04:16 7.9K 
[ ]rlaffin1__t63_rlaffin12024-07-27 08:04 61K 
[ ]rlaffin1__t63_rlaffin1.vout2024-08-03 05:08 7.4K 
[ ]rlaffin1__t64_rlaffin12024-07-27 08:06 80K 
[ ]rlaffin1__t64_rlaffin1.vout2024-08-03 09:26 3.7K 
[ ]rlaffin1__t65_rlaffin12024-07-27 08:09 45K 
[ ]rlaffin1__t65_rlaffin1.vout2024-08-03 09:06 4.2K 
[ ]rlaffin1__t66_rlaffin12024-07-27 08:11 88K 
[ ]rlaffin1__t66_rlaffin1.vout2024-08-03 09:51 3.7K 
[ ]rlaffin1__t67_rlaffin12024-07-27 08:13 42K 
[ ]rlaffin1__t67_rlaffin1.vout2024-08-03 08:45 4.7K 
[ ]rlaffin1__t68_rlaffin12024-07-27 08:15 33K 
[ ]rlaffin1__t68_rlaffin1.depv12024-08-03 10:19 53  
[ ]rlaffin1__t68_rlaffin1.depvmin12024-08-03 10:24 53  
[ ]rlaffin1__t68_rlaffin1.vmin12024-08-03 10:19 1.4K 
[ ]rlaffin1__t68_rlaffin1.vmin1out2024-08-03 10:21 17K 
[ ]rlaffin1__t68_rlaffin1.vout2024-08-03 06:45 11K 
[ ]rlaffin1__t69_rlaffin12024-07-27 08:16 31K 
[ ]rlaffin1__t69_rlaffin1.vout2024-08-03 09:28 3.7K 
[ ]rlaffin1__t70_rlaffin12024-07-27 08:18 54K 
[ ]rlaffin1__t70_rlaffin1.vout2024-08-03 09:42 7.3K 
[ ]rlaffin1__t71_rlaffin12024-07-27 08:20 47K 
[ ]rlaffin1__t71_rlaffin1.vout2024-08-03 08:34 4.2K 
[ ]rlaffin1__t72_rlaffin12024-07-27 08:22 51K 
[ ]rlaffin1__t72_rlaffin1.vout2024-08-03 07:00 3.7K 
[ ]rlaffin1__t73_rlaffin12024-07-27 08:24 47K 
[ ]rlaffin1__t73_rlaffin1.vout2024-08-03 05:38 4.2K 
[ ]rlaffin1__t74_rlaffin12024-07-27 08:26 67K 
[ ]rlaffin1__t74_rlaffin1.vout2024-08-03 10:18 3.7K 
[ ]rlaffin1__t75_rlaffin12024-07-27 08:27 47K 
[ ]rlaffin1__t75_rlaffin1.vout2024-08-03 09:28 3.7K 
[ ]rlaffin1__t76_rlaffin12024-07-27 08:29 48K 
[ ]rlaffin1__t76_rlaffin1.vout2024-08-03 05:19 3.7K 
[ ]rlaffin1__t77_rlaffin12024-07-27 08:31 42K 
[ ]rlaffin1__t77_rlaffin1.depv12024-08-03 10:19 188  
[ ]rlaffin1__t77_rlaffin1.depvmin12024-08-03 10:24 167  
[ ]rlaffin1__t77_rlaffin1.vmin12024-08-03 10:19 3.4K 
[ ]rlaffin1__t77_rlaffin1.vmin1out2024-08-03 10:21 70K 
[ ]rlaffin1__t77_rlaffin1.vout2024-08-03 04:14 33K 
[ ]rlaffin1__t78_rlaffin12024-07-27 08:33 54K 
[ ]rlaffin1__t78_rlaffin1.vout2024-08-03 08:51 6.8K 
[ ]rlaffin1__t79_rlaffin12024-07-27 08:35 82K 
[ ]rlaffin1__t79_rlaffin1.vout2024-08-03 07:49 3.7K 
[ ]rlaffin1__t80_rlaffin12024-07-27 08:37 34K 
[ ]rlaffin1__t80_rlaffin1.vout2024-08-03 06:37 3.7K 
[ ]rlaffin1__t81_rlaffin12024-07-27 08:38 59K 
[ ]rlaffin1__t81_rlaffin1.vout2024-08-03 04:28 6.8K 
[ ]rlaffin1__t82_rlaffin12024-07-27 08:40 38K 
[ ]rlaffin1__t82_rlaffin1.vout2024-08-03 06:08 3.7K 
[ ]rlaffin1__t83_rlaffin12024-07-27 08:42 57K 
[ ]rlaffin1__t83_rlaffin1.vout2024-08-03 05:03 3.7K 
[ ]rlaffin1__t84_rlaffin12024-07-27 08:44 60K 
[ ]rlaffin1__t84_rlaffin1.vout2024-08-03 10:03 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80