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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__l67_ordinal52024-07-28 20:39 20K 
[ ]ordinal5__l67_ordinal5.depv12024-08-03 10:19 177  
[ ]ordinal5__l67_ordinal5.depvmin12024-08-03 10:24 177  
[ ]ordinal5__l67_ordinal5.vmin12024-08-03 10:20 848  
[ ]ordinal5__l67_ordinal5.vmin1out2024-08-03 10:22 6.1K 
[ ]ordinal5__l67_ordinal5.vout2024-08-03 09:36 5.4K 
[ ]ordinal5__t1_ordinal52024-07-28 20:38 19K 
[ ]ordinal5__t1_ordinal5.vout2024-08-03 08:20 7.3K 
[ ]ordinal5__t2_ordinal52024-07-28 20:40 31K 
[ ]ordinal5__t2_ordinal5.vout2024-08-03 06:50 7.3K 
[ ]ordinal5__t3_ordinal52024-07-28 20:41 25K 
[ ]ordinal5__t3_ordinal5.vout2024-08-03 07:01 7.3K 
[ ]ordinal5__t4_ordinal52024-07-28 20:42 20K 
[ ]ordinal5__t4_ordinal5.depv12024-08-03 10:19 61  
[ ]ordinal5__t4_ordinal5.depvmin12024-08-03 10:24 61  
[ ]ordinal5__t4_ordinal5.vmin12024-08-03 10:20 1.1K 
[ ]ordinal5__t4_ordinal5.vmin1out2024-08-03 10:22 20K 
[ ]ordinal5__t4_ordinal5.vout2024-08-03 04:26 29K 
[ ]ordinal5__t5_ordinal52024-07-28 20:43 19K 
[ ]ordinal5__t5_ordinal5.depv12024-08-03 10:19 63  
[ ]ordinal5__t5_ordinal5.depvmin12024-08-03 10:24 63  
[ ]ordinal5__t5_ordinal5.vmin12024-08-03 10:20 661  
[ ]ordinal5__t5_ordinal5.vmin1out2024-08-03 10:22 9.1K 
[ ]ordinal5__t5_ordinal5.vout2024-08-03 06:35 7.8K 
[ ]ordinal5__t6_ordinal52024-07-28 20:44 25K 
[ ]ordinal5__t6_ordinal5.vout2024-08-03 04:13 7.3K 
[ ]ordinal5__t7_ordinal52024-07-28 20:45 21K 
[ ]ordinal5__t7_ordinal5.vout2024-08-03 05:02 2.0K 
[ ]ordinal5__t8_ordinal52024-07-28 20:46 22K 
[ ]ordinal5__t8_ordinal5.depv12024-08-03 10:19 183  
[ ]ordinal5__t8_ordinal5.depvmin12024-08-03 10:24 183  
[ ]ordinal5__t8_ordinal5.vmin12024-08-03 10:20 1.8K 
[ ]ordinal5__t8_ordinal5.vmin1out2024-08-03 10:22 29K 
[ ]ordinal5__t8_ordinal5.vout2024-08-03 05:00 33K 
[ ]ordinal5__t9_ordinal52024-07-28 20:47 28K 
[ ]ordinal5__t9_ordinal5.vout2024-08-03 09:45 7.3K 
[ ]ordinal5__t10_ordinal52024-07-28 20:48 19K 
[ ]ordinal5__t10_ordinal5.depv12024-08-03 10:19 78  
[ ]ordinal5__t10_ordinal5.depvmin12024-08-03 10:24 78  
[ ]ordinal5__t10_ordinal5.vmin12024-08-03 10:20 1.2K 
[ ]ordinal5__t10_ordinal5.vmin1out2024-08-03 10:20 21K 
[ ]ordinal5__t10_ordinal5.vout2024-08-03 09:18 18K 
[ ]ordinal5__t11_ordinal52024-07-28 20:49 22K 
[ ]ordinal5__t11_ordinal5.vout2024-08-03 09:47 7.3K 
[ ]ordinal5__t12_ordinal52024-07-28 20:50 19K 
[ ]ordinal5__t12_ordinal5.vout2024-08-03 08:34 2.0K 
[ ]ordinal5__t13_ordinal52024-07-28 20:51 28K 
[ ]ordinal5__t13_ordinal5.vout2024-08-03 04:10 7.4K 
[ ]ordinal5__t14_ordinal52024-07-28 20:53 28K 
[ ]ordinal5__t14_ordinal5.vout2024-08-03 06:13 7.3K 
[ ]ordinal5__t15_ordinal52024-07-28 20:54 28K 
[ ]ordinal5__t15_ordinal5.vout2024-08-03 06:13 7.3K 
[ ]ordinal5__t16_ordinal52024-07-28 20:55 20K 
[ ]ordinal5__t16_ordinal5.depv12024-08-03 10:19 206  
[ ]ordinal5__t16_ordinal5.depvmin12024-08-03 10:24 206  
[ ]ordinal5__t16_ordinal5.vmin12024-08-03 10:20 1.1K 
[ ]ordinal5__t16_ordinal5.vmin1out2024-08-03 10:20 8.0K 
[ ]ordinal5__t16_ordinal5.vout2024-08-03 06:37 9.0K 
[ ]ordinal5__t17_ordinal52024-07-28 20:56 27K 
[ ]ordinal5__t17_ordinal5.vout2024-08-03 04:13 7.4K 
[ ]ordinal5__t18_ordinal52024-07-28 20:57 19K 
[ ]ordinal5__t18_ordinal5.depv12024-08-03 10:19 115  
[ ]ordinal5__t18_ordinal5.depvmin12024-08-03 10:24 103  
[ ]ordinal5__t18_ordinal5.vmin12024-08-03 10:20 745  
[ ]ordinal5__t18_ordinal5.vmin1out2024-08-03 10:23 5.0K 
[ ]ordinal5__t18_ordinal5.vout2024-08-03 07:38 5.4K 
[ ]ordinal5__t19_ordinal52024-07-28 20:58 20K 
[ ]ordinal5__t19_ordinal5.depv12024-08-03 10:19 115  
[ ]ordinal5__t19_ordinal5.depvmin12024-08-03 10:24 103  
[ ]ordinal5__t19_ordinal5.vmin12024-08-03 10:20 779  
[ ]ordinal5__t19_ordinal5.vmin1out2024-08-03 10:23 5.1K 
[ ]ordinal5__t19_ordinal5.vout2024-08-03 04:26 5.5K 
[ ]ordinal5__t20_ordinal52024-07-28 20:59 103K 
[ ]ordinal5__t20_ordinal5.vout2024-08-03 04:28 2.0K 
[ ]ordinal5__t21_ordinal52024-07-28 21:01 32K 
[ ]ordinal5__t21_ordinal5.vout2024-08-03 08:30 7.3K 
[ ]ordinal5__t22_ordinal52024-07-28 21:02 22K 
[ ]ordinal5__t22_ordinal5.depv12024-08-03 10:19 164  
[ ]ordinal5__t22_ordinal5.depvmin12024-08-03 10:24 164  
[ ]ordinal5__t22_ordinal5.vmin12024-08-03 10:20 1.7K 
[ ]ordinal5__t22_ordinal5.vmin1out2024-08-03 10:20 28K 
[ ]ordinal5__t22_ordinal5.vout2024-08-03 05:50 32K 
[ ]ordinal5__t23_ordinal52024-07-28 21:03 32K 
[ ]ordinal5__t23_ordinal5.depv12024-08-03 10:19 163  
[ ]ordinal5__t23_ordinal5.depvmin12024-08-03 10:24 163  
[ ]ordinal5__t23_ordinal5.vmin12024-08-03 10:20 1.4K 
[ ]ordinal5__t23_ordinal5.vmin1out2024-08-03 10:22 13K 
[ ]ordinal5__t23_ordinal5.vout2024-08-03 05:17 16K 
[ ]ordinal5__t24_ordinal52024-07-28 21:04 88K 
[ ]ordinal5__t24_ordinal5.vout2024-08-03 07:53 2.0K 
[ ]ordinal5__t25_ordinal52024-07-28 21:05 24K 
[ ]ordinal5__t25_ordinal5.vout2024-08-03 05:05 2.0K 
[ ]ordinal5__t26_ordinal52024-07-28 21:06 26K 
[ ]ordinal5__t26_ordinal5.vout2024-08-03 08:46 2.0K 
[ ]ordinal5__t27_ordinal52024-07-28 21:07 31K 
[ ]ordinal5__t27_ordinal5.vout2024-08-03 06:28 2.0K 
[ ]ordinal5__t28_ordinal52024-07-28 21:09 31K 
[ ]ordinal5__t28_ordinal5.vout2024-08-03 07:26 2.0K 
[ ]ordinal5__t29_ordinal52024-07-28 21:10 28K 
[ ]ordinal5__t29_ordinal5.vout2024-08-03 07:27 7.3K 
[ ]ordinal5__t30_ordinal52024-07-28 21:11 27K 
[ ]ordinal5__t30_ordinal5.vout2024-08-03 09:47 7.3K 
[ ]ordinal5__t31_ordinal52024-07-28 21:12 35K 
[ ]ordinal5__t31_ordinal5.vout2024-08-03 06:15 6.8K 
[ ]ordinal5__t32_ordinal52024-07-28 21:14 28K 
[ ]ordinal5__t32_ordinal5.vout2024-08-03 05:31 7.3K 
[ ]ordinal5__t33_ordinal52024-07-28 21:15 25K 
[ ]ordinal5__t33_ordinal5.vout2024-08-03 07:50 7.3K 
[ ]ordinal5__t34_ordinal52024-07-28 21:16 19K 
[ ]ordinal5__t34_ordinal5.depv12024-08-03 10:19 91  
[ ]ordinal5__t34_ordinal5.depvmin12024-08-03 10:24 91  
[ ]ordinal5__t34_ordinal5.vmin12024-08-03 10:20 1.0K 
[ ]ordinal5__t34_ordinal5.vmin1out2024-08-03 10:20 16K 
[ ]ordinal5__t34_ordinal5.vout2024-08-03 07:36 16K 
[ ]ordinal5__t35_ordinal52024-07-28 21:17 19K 
[ ]ordinal5__t35_ordinal5.depv12024-08-03 10:19 66  
[ ]ordinal5__t35_ordinal5.depvmin12024-08-03 10:24 66  
[ ]ordinal5__t35_ordinal5.vmin12024-08-03 10:20 814  
[ ]ordinal5__t35_ordinal5.vmin1out2024-08-03 10:22 19K 
[ ]ordinal5__t35_ordinal5.vout2024-08-03 07:00 19K 
[ ]ordinal5__t36_ordinal52024-07-28 21:18 42K 
[ ]ordinal5__t36_ordinal5.vout2024-08-03 08:32 10K 
[ ]ordinal5__t37_ordinal52024-07-28 21:19 24K 
[ ]ordinal5__t37_ordinal5.depv12024-08-03 10:19 212  
[ ]ordinal5__t37_ordinal5.depvmin12024-08-03 10:24 165  
[ ]ordinal5__t37_ordinal5.vmin12024-08-03 10:20 1.6K 
[ ]ordinal5__t37_ordinal5.vmin1out2024-08-03 10:23 12K 
[ ]ordinal5__t37_ordinal5.vout2024-08-03 08:37 17K 
[ ]ordinal5__t38_ordinal52024-07-28 21:20 20K 
[ ]ordinal5__t38_ordinal5.vout2024-08-03 07:22 2.0K 
[ ]ordinal5__t39_ordinal52024-07-28 21:21 37K 
[ ]ordinal5__t39_ordinal5.vout2024-08-03 05:55 7.3K 
[ ]ordinal5__t40_ordinal52024-07-28 21:23 160K 
[ ]ordinal5__t40_ordinal5.vout2024-08-03 07:17 7.3K 
[ ]ordinal5__t41_ordinal52024-07-28 21:24 28K 
[ ]ordinal5__t41_ordinal5.depv12024-08-03 10:19 120  
[ ]ordinal5__t41_ordinal5.depvmin12024-08-03 10:24 107  
[ ]ordinal5__t41_ordinal5.vmin12024-08-03 10:20 1.8K 
[ ]ordinal5__t41_ordinal5.vmin1out2024-08-03 10:23 73K 
[ ]ordinal5__t41_ordinal5.vout2024-08-03 04:19 62K 
[ ]ordinal5__t42_ordinal52024-07-28 21:25 28K 
[ ]ordinal5__t42_ordinal5.depv12024-08-03 10:19 104  
[ ]ordinal5__t42_ordinal5.depvmin12024-08-03 10:24 104  
[ ]ordinal5__t42_ordinal5.vmin12024-08-03 10:20 1.9K 
[ ]ordinal5__t42_ordinal5.vmin1out2024-08-03 10:22 79K 
[ ]ordinal5__t42_ordinal5.vout2024-08-03 05:56 187K 
[ ]ordinal5__t43_ordinal52024-07-28 21:26 28K 
[ ]ordinal5__t43_ordinal5.depv12024-08-03 10:19 133  
[ ]ordinal5__t43_ordinal5.depvmin12024-08-03 10:24 120  
[ ]ordinal5__t43_ordinal5.vmin12024-08-03 10:20 2.4K 
[ ]ordinal5__t43_ordinal5.vmin1out2024-08-03 10:20 112K 
[ ]ordinal5__t43_ordinal5.vout2024-08-03 04:26 446K 
[ ]ordinal5__t44_ordinal52024-07-28 21:28 30K 
[ ]ordinal5__t44_ordinal5.vout2024-08-03 08:10 6.8K 
[ ]ordinal5__t45_ordinal52024-07-28 21:29 19K 
[ ]ordinal5__t45_ordinal5.depv12024-08-03 10:19 78  
[ ]ordinal5__t45_ordinal5.depvmin12024-08-03 10:24 78  
[ ]ordinal5__t45_ordinal5.vmin12024-08-03 10:20 1.1K 
[ ]ordinal5__t45_ordinal5.vmin1out2024-08-03 10:23 18K 
[ ]ordinal5__t45_ordinal5.vout2024-08-03 08:35 16K 
[ ]ordinal5__t46_ordinal52024-07-28 21:30 21K 
[ ]ordinal5__t46_ordinal5.depv12024-08-03 10:19 134  
[ ]ordinal5__t46_ordinal5.depvmin12024-08-03 10:24 134  
[ ]ordinal5__t46_ordinal5.vmin12024-08-03 10:20 1.9K 
[ ]ordinal5__t46_ordinal5.vmin1out2024-08-03 10:23 43K 
[ ]ordinal5__t46_ordinal5.vout2024-08-03 05:45 41K 
[ ]ordinal5__t47_ordinal52024-07-28 21:31 21K 
[ ]ordinal5__t47_ordinal5.depv12024-08-03 10:19 188  
[ ]ordinal5__t47_ordinal5.depvmin12024-08-03 10:24 175  
[ ]ordinal5__t47_ordinal5.vmin12024-08-03 10:20 1.9K 
[ ]ordinal5__t47_ordinal5.vmin1out2024-08-03 10:21 44K 
[ ]ordinal5__t47_ordinal5.vout2024-08-03 04:24 46K 
[ ]ordinal5__t48_ordinal52024-07-28 21:32 21K 
[ ]ordinal5__t48_ordinal5.vout2024-08-03 08:05 7.3K 
[ ]ordinal5__t49_ordinal52024-07-28 21:33 23K 
[ ]ordinal5__t49_ordinal5.vout2024-08-03 07:36 6.8K 
[ ]ordinal5__t50_ordinal52024-07-28 21:34 19K 
[ ]ordinal5__t50_ordinal5.depv12024-08-03 10:19 76  
[ ]ordinal5__t50_ordinal5.depvmin12024-08-03 10:24 76  
[ ]ordinal5__t50_ordinal5.vmin12024-08-03 10:20 1.1K 
[ ]ordinal5__t50_ordinal5.vmin1out2024-08-03 10:20 20K 
[ ]ordinal5__t50_ordinal5.vout2024-08-03 08:10 18K 
[ ]ordinal5__t51_ordinal52024-07-28 21:35 24K 
[ ]ordinal5__t51_ordinal5.vout2024-08-03 05:39 7.3K 
[ ]ordinal5__t52_ordinal52024-07-28 21:36 27K 
[ ]ordinal5__t52_ordinal5.depv12024-08-03 10:19 344  
[ ]ordinal5__t52_ordinal5.depvmin12024-08-03 10:24 297  
[ ]ordinal5__t52_ordinal5.vmin12024-08-03 10:20 2.6K 
[ ]ordinal5__t52_ordinal5.vmin1out2024-08-03 10:22 28K 
[ ]ordinal5__t52_ordinal5.vout2024-08-03 06:42 46K 
[ ]ordinal5__t53_ordinal52024-07-28 21:38 34K 
[ ]ordinal5__t53_ordinal5.vout2024-08-03 08:40 7.4K 
[ ]ordinal5__t54_ordinal52024-07-28 21:39 41K 
[ ]ordinal5__t54_ordinal5.vout2024-08-03 09:06 7.3K 
[ ]ordinal5__t55_ordinal52024-07-28 21:40 33K 
[ ]ordinal5__t55_ordinal5.vout2024-08-03 06:18 7.3K 
[ ]ordinal5__t56_ordinal52024-07-28 21:41 34K 
[ ]ordinal5__t56_ordinal5.vout2024-08-03 09:36 7.3K 
[ ]ordinal5__t57_ordinal52024-07-28 21:42 24K 
[ ]ordinal5__t57_ordinal5.vout2024-08-03 09:58 7.3K 
[ ]ordinal5__t58_ordinal52024-07-28 21:44 25K 
[ ]ordinal5__t58_ordinal5.vout2024-08-03 06:47 7.3K 
[ ]ordinal5__t59_ordinal52024-07-28 21:45 23K 
[ ]ordinal5__t59_ordinal5.vout2024-08-03 05:57 7.3K 
[ ]ordinal5__t60_ordinal52024-07-28 21:46 21K 
[ ]ordinal5__t60_ordinal5.depv12024-08-03 10:19 312  
[ ]ordinal5__t60_ordinal5.depvmin12024-08-03 10:24 287  
[ ]ordinal5__t60_ordinal5.vmin12024-08-03 10:20 3.0K 
[ ]ordinal5__t60_ordinal5.vmin1out2024-08-03 10:22 37K 
[ ]ordinal5__t60_ordinal5.vout2024-08-03 04:14 41K 
[ ]ordinal5__t61_ordinal52024-07-28 21:47 18K 
[ ]ordinal5__t61_ordinal5.depv12024-08-03 10:19 170  
[ ]ordinal5__t61_ordinal5.depvmin12024-08-03 10:24 170  
[ ]ordinal5__t61_ordinal5.vmin12024-08-03 10:20 1.6K 
[ ]ordinal5__t61_ordinal5.vmin1out2024-08-03 10:23 18K 
[ ]ordinal5__t61_ordinal5.vout2024-08-03 09:51 19K 
[ ]ordinal5__t62_ordinal52024-07-28 21:48 22K 
[ ]ordinal5__t62_ordinal5.depv12024-08-03 10:19 309  
[ ]ordinal5__t62_ordinal5.depvmin12024-08-03 10:24 309  
[ ]ordinal5__t62_ordinal5.vmin12024-08-03 10:20 2.8K 
[ ]ordinal5__t62_ordinal5.vmin1out2024-08-03 10:23 28K 
[ ]ordinal5__t62_ordinal5.vout2024-08-03 07:00 28K 
[ ]ordinal5__t63_ordinal52024-07-28 21:49 22K 
[ ]ordinal5__t63_ordinal5.vout2024-08-03 08:59 7.3K 
[ ]ordinal5__t64_ordinal52024-07-28 21:50 23K 
[ ]ordinal5__t64_ordinal5.depv12024-08-03 10:19 248  
[ ]ordinal5__t64_ordinal5.depvmin12024-08-03 10:24 248  
[ ]ordinal5__t64_ordinal5.vmin12024-08-03 10:20 2.7K 
[ ]ordinal5__t64_ordinal5.vmin1out2024-08-03 10:22 33K 
[ ]ordinal5__t64_ordinal5.vout2024-08-03 05:51 34K 
[ ]ordinal5__t65_ordinal52024-07-28 21:51 33K 
[ ]ordinal5__t65_ordinal5.vout2024-08-03 06:04 4.7K 
[ ]ordinal5__t66_ordinal52024-07-28 21:52 26K 
[ ]ordinal5__t66_ordinal5.vout2024-08-03 05:44 7.3K 
[ ]ordinal5__t67_ordinal52024-07-28 21:54 52K 
[ ]ordinal5__t67_ordinal5.vout2024-08-03 07:26 7.3K 
[ ]ordinal5__t68_ordinal52024-07-28 21:55 37K 
[ ]ordinal5__t68_ordinal5.vout2024-08-03 06:40 6.8K 
[ ]ordinal5__t69_ordinal52024-07-28 21:56 36K 
[ ]ordinal5__t69_ordinal5.vout2024-08-03 09:04 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80