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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__t4_ordinal5.depv12021-07-25 20:57 61  
[ ]ordinal5__t4_ordinal5.depvmin12021-07-25 21:03 61  
[ ]ordinal5__t5_ordinal5.depv12021-07-25 20:57 63  
[ ]ordinal5__t5_ordinal5.depvmin12021-07-25 21:03 63  
[ ]ordinal5__t35_ordinal5.depv12021-07-25 20:57 66  
[ ]ordinal5__t35_ordinal5.depvmin12021-07-25 21:03 66  
[ ]ordinal5__t50_ordinal5.depv12021-07-25 20:57 76  
[ ]ordinal5__t50_ordinal5.depvmin12021-07-25 21:03 76  
[ ]ordinal5__t10_ordinal5.depv12021-07-25 20:57 78  
[ ]ordinal5__t10_ordinal5.depvmin12021-07-25 21:03 78  
[ ]ordinal5__t45_ordinal5.depv12021-07-25 20:57 78  
[ ]ordinal5__t45_ordinal5.depvmin12021-07-25 21:03 78  
[ ]ordinal5__t34_ordinal5.depv12021-07-25 20:57 91  
[ ]ordinal5__t34_ordinal5.depvmin12021-07-25 21:03 91  
[ ]ordinal5__t18_ordinal5.depvmin12021-07-25 21:03 103  
[ ]ordinal5__t19_ordinal5.depvmin12021-07-25 21:03 103  
[ ]ordinal5__t42_ordinal5.depv12021-07-25 20:57 104  
[ ]ordinal5__t42_ordinal5.depvmin12021-07-25 21:03 104  
[ ]ordinal5__t18_ordinal5.depv12021-07-25 20:57 115  
[ ]ordinal5__t19_ordinal5.depv12021-07-25 20:57 115  
[ ]ordinal5__t43_ordinal5.depvmin12021-07-25 21:03 120  
[ ]ordinal5__t43_ordinal5.depv12021-07-25 20:57 133  
[ ]ordinal5__t46_ordinal5.depv12021-07-25 20:57 134  
[ ]ordinal5__t46_ordinal5.depvmin12021-07-25 21:03 134  
[ ]ordinal5__t23_ordinal5.depv12021-07-25 20:57 163  
[ ]ordinal5__t23_ordinal5.depvmin12021-07-25 21:03 163  
[ ]ordinal5__t22_ordinal5.depv12021-07-25 20:57 164  
[ ]ordinal5__t22_ordinal5.depvmin12021-07-25 21:03 164  
[ ]ordinal5__t37_ordinal5.depvmin12021-07-25 21:03 165  
[ ]ordinal5__t61_ordinal5.depv12021-07-25 20:57 170  
[ ]ordinal5__t61_ordinal5.depvmin12021-07-25 21:03 170  
[ ]ordinal5__t47_ordinal5.depvmin12021-07-25 21:03 175  
[ ]ordinal5__l67_ordinal5.depv12021-07-25 20:57 177  
[ ]ordinal5__l67_ordinal5.depvmin12021-07-25 21:03 177  
[ ]ordinal5__t8_ordinal5.depv12021-07-25 20:57 183  
[ ]ordinal5__t8_ordinal5.depvmin12021-07-25 21:03 183  
[ ]ordinal5__t47_ordinal5.depv12021-07-25 20:57 188  
[ ]ordinal5__t16_ordinal5.depv12021-07-25 20:57 206  
[ ]ordinal5__t16_ordinal5.depvmin12021-07-25 21:03 206  
[ ]ordinal5__t37_ordinal5.depv12021-07-25 20:57 212  
[ ]ordinal5__t64_ordinal5.depv12021-07-25 20:57 248  
[ ]ordinal5__t64_ordinal5.depvmin12021-07-25 21:03 248  
[ ]ordinal5__t60_ordinal5.depvmin12021-07-25 21:03 287  
[ ]ordinal5__t52_ordinal5.depvmin12021-07-25 21:03 297  
[ ]ordinal5__t62_ordinal5.depv12021-07-25 20:57 309  
[ ]ordinal5__t62_ordinal5.depvmin12021-07-25 21:03 309  
[ ]ordinal5__t60_ordinal5.depv12021-07-25 20:57 312  
[ ]ordinal5__t52_ordinal5.depv12021-07-25 20:57 344  
[ ]ordinal5__t5_ordinal5.vmin12021-07-25 20:57 661  
[ ]ordinal5__t18_ordinal5.vmin12021-07-25 20:57 745  
[ ]ordinal5__t19_ordinal5.vmin12021-07-25 20:57 779  
[ ]ordinal5__t35_ordinal5.vmin12021-07-25 20:57 814  
[ ]ordinal5__l67_ordinal5.vmin12021-07-25 20:57 848  
[ ]ordinal5__t34_ordinal5.vmin12021-07-25 20:57 1.0K 
[ ]ordinal5__t50_ordinal5.vmin12021-07-25 20:57 1.1K 
[ ]ordinal5__t45_ordinal5.vmin12021-07-25 20:57 1.1K 
[ ]ordinal5__t4_ordinal5.vmin12021-07-25 20:57 1.1K 
[ ]ordinal5__t16_ordinal5.vmin12021-07-25 20:57 1.1K 
[ ]ordinal5__t10_ordinal5.vmin12021-07-25 20:57 1.2K 
[ ]ordinal5__t23_ordinal5.vmin12021-07-25 20:57 1.4K 
[ ]ordinal5__t61_ordinal5.vmin12021-07-25 20:57 1.6K 
[ ]ordinal5__t37_ordinal5.vmin12021-07-25 20:57 1.6K 
[ ]ordinal5__t22_ordinal5.vmin12021-07-25 20:57 1.7K 
[ ]ordinal5__t8_ordinal5.vmin12021-07-25 20:57 1.8K 
[ ]ordinal5__t47_ordinal5.vmin12021-07-25 20:57 1.9K 
[ ]ordinal5__t42_ordinal5.vmin12021-07-25 20:57 1.9K 
[ ]ordinal5__t46_ordinal5.vmin12021-07-25 20:57 1.9K 
[ ]ordinal5__t7_ordinal5.vout2021-07-25 18:36 2.0K 
[ ]ordinal5__t24_ordinal5.vout2021-07-25 16:59 2.0K 
[ ]ordinal5__t25_ordinal5.vout2021-07-25 14:55 2.0K 
[ ]ordinal5__t27_ordinal5.vout2021-07-25 20:02 2.0K 
[ ]ordinal5__t28_ordinal5.vout2021-07-25 17:08 2.0K 
[ ]ordinal5__t12_ordinal5.vout2021-07-25 19:24 2.0K 
[ ]ordinal5__t26_ordinal5.vout2021-07-25 20:43 2.0K 
[ ]ordinal5__t20_ordinal5.vout2021-07-25 19:01 2.0K 
[ ]ordinal5__t38_ordinal5.vout2021-07-25 19:37 2.0K 
[ ]ordinal5__t43_ordinal5.vmin12021-07-25 20:57 2.4K 
[ ]ordinal5__t52_ordinal5.vmin12021-07-25 20:57 2.6K 
[ ]ordinal5__t64_ordinal5.vmin12021-07-25 20:57 2.7K 
[ ]ordinal5__t62_ordinal5.vmin12021-07-25 20:57 2.8K 
[ ]ordinal5__t60_ordinal5.vmin12021-07-25 20:57 3.0K 
[ ]ordinal5__t65_ordinal5.vout2021-07-25 16:40 4.7K 
[ ]ordinal5__t18_ordinal5.vmin1out2021-07-25 21:02 5.0K 
[ ]ordinal5__t19_ordinal5.vmin1out2021-07-25 20:58 5.1K 
[ ]ordinal5__t18_ordinal5.vout2021-07-25 19:45 5.4K 
[ ]ordinal5__l67_ordinal5.vout2021-07-25 19:38 5.4K 
[ ]ordinal5__t19_ordinal5.vout2021-07-25 19:14 5.5K 
[ ]ordinal5__l67_ordinal5.vmin1out2021-07-25 20:59 6.1K 
[ ]ordinal5__t2_ordinal5.vout2021-07-25 18:42 6.8K 
[ ]ordinal5__t29_ordinal5.vout2021-07-25 14:47 6.8K 
[ ]ordinal5__t68_ordinal5.vout2021-07-25 15:47 6.8K 
[ ]ordinal5__t31_ordinal5.vout2021-07-25 16:48 6.8K 
[ ]ordinal5__t44_ordinal5.vout2021-07-25 20:46 6.8K 
[ ]ordinal5__t49_ordinal5.vout2021-07-25 15:12 6.8K 
[ ]ordinal5__t6_ordinal5.vout2021-07-25 19:36 7.3K 
[ ]ordinal5__t1_ordinal5.vout2021-07-25 18:20 7.3K 
[ ]ordinal5__t33_ordinal5.vout2021-07-25 18:17 7.3K 
[ ]ordinal5__t3_ordinal5.vout2021-07-25 18:56 7.3K 
[ ]ordinal5__t9_ordinal5.vout2021-07-25 14:49 7.3K 
[ ]ordinal5__t39_ordinal5.vout2021-07-25 15:38 7.3K 
[ ]ordinal5__t51_ordinal5.vout2021-07-25 15:53 7.3K 
[ ]ordinal5__t14_ordinal5.vout2021-07-25 18:42 7.3K 
[ ]ordinal5__t55_ordinal5.vout2021-07-25 14:41 7.3K 
[ ]ordinal5__t11_ordinal5.vout2021-07-25 18:32 7.3K 
[ ]ordinal5__t21_ordinal5.vout2021-07-25 17:42 7.3K 
[ ]ordinal5__t32_ordinal5.vout2021-07-25 17:16 7.3K 
[ ]ordinal5__t59_ordinal5.vout2021-07-25 18:21 7.3K 
[ ]ordinal5__t15_ordinal5.vout2021-07-25 16:21 7.3K 
[ ]ordinal5__t40_ordinal5.vout2021-07-25 14:23 7.3K 
[ ]ordinal5__t54_ordinal5.vout2021-07-25 14:37 7.3K 
[ ]ordinal5__t56_ordinal5.vout2021-07-25 18:23 7.3K 
[ ]ordinal5__t30_ordinal5.vout2021-07-25 15:27 7.3K 
[ ]ordinal5__t48_ordinal5.vout2021-07-25 19:22 7.3K 
[ ]ordinal5__t57_ordinal5.vout2021-07-25 15:31 7.3K 
[ ]ordinal5__t58_ordinal5.vout2021-07-25 17:51 7.3K 
[ ]ordinal5__t63_ordinal5.vout2021-07-25 15:17 7.3K 
[ ]ordinal5__t67_ordinal5.vout2021-07-25 20:35 7.3K 
[ ]ordinal5__t13_ordinal5.vout2021-07-25 17:19 7.3K 
[ ]ordinal5__t69_ordinal5.vout2021-07-25 20:10 7.3K 
[ ]ordinal5__t53_ordinal5.vout2021-07-25 14:37 7.4K 
[ ]ordinal5__t17_ordinal5.vout2021-07-25 20:39 7.4K 
[ ]ordinal5__t41_ordinal5.vout2021-07-25 16:53 7.4K 
[ ]ordinal5__t66_ordinal5.vout2021-07-25 16:15 7.4K 
[ ]ordinal5__t5_ordinal5.vout2021-07-25 18:44 7.8K 
[ ]ordinal5__t16_ordinal5.vmin1out2021-07-25 21:02 8.0K 
[ ]ordinal5__t16_ordinal5.vout2021-07-25 17:55 9.0K 
[ ]ordinal5__t5_ordinal5.vmin1out2021-07-25 21:01 9.1K 
[ ]ordinal5__t36_ordinal5.vout2021-07-25 20:36 10K 
[ ]ordinal5__t37_ordinal5.vmin1out2021-07-25 20:59 12K 
[ ]ordinal5__t23_ordinal5.vmin1out2021-07-25 20:59 13K 
[ ]ordinal5__t34_ordinal5.vmin1out2021-07-25 21:02 16K 
[ ]ordinal5__t34_ordinal5.vout2021-07-25 20:11 16K 
[ ]ordinal5__t45_ordinal5.vout2021-07-25 17:37 16K 
[ ]ordinal5__t23_ordinal5.vout2021-07-25 20:02 16K 
[ ]ordinal5__t37_ordinal5.vout2021-07-25 17:14 17K 
[ ]ordinal5__t45_ordinal5.vmin1out2021-07-25 21:00 18K 
[ ]ordinal5__t61_ordinal52021-07-18 07:09 18K 
[ ]ordinal5__t50_ordinal5.vout2021-07-25 19:21 18K 
[ ]ordinal5__t10_ordinal5.vout2021-07-25 16:47 18K 
[ ]ordinal5__t61_ordinal5.vmin1out2021-07-25 21:00 18K 
[ ]ordinal5__t1_ordinal52021-07-18 06:50 18K 
[ ]ordinal5__t35_ordinal52021-07-18 07:01 19K 
[ ]ordinal5__t12_ordinal52021-07-18 06:53 19K 
[ ]ordinal5__t61_ordinal5.vout2021-07-25 17:21 19K 
[ ]ordinal5__t34_ordinal52021-07-18 07:00 19K 
[ ]ordinal5__t35_ordinal5.vmin1out2021-07-25 20:59 19K 
[ ]ordinal5__t45_ordinal52021-07-18 07:04 19K 
[ ]ordinal5__t35_ordinal5.vout2021-07-25 16:47 19K 
[ ]ordinal5__t10_ordinal52021-07-18 06:53 19K 
[ ]ordinal5__t50_ordinal52021-07-18 07:05 19K 
[ ]ordinal5__t5_ordinal52021-07-18 06:51 19K 
[ ]ordinal5__t18_ordinal52021-07-18 06:55 19K 
[ ]ordinal5__t38_ordinal52021-07-18 07:02 20K 
[ ]ordinal5__t19_ordinal52021-07-18 06:55 20K 
[ ]ordinal5__t4_ordinal5.vmin1out2021-07-25 21:00 20K 
[ ]ordinal5__t16_ordinal52021-07-18 06:54 20K 
[ ]ordinal5__t4_ordinal52021-07-18 06:51 20K 
[ ]ordinal5__l67_ordinal52021-07-18 06:50 20K 
[ ]ordinal5__t50_ordinal5.vmin1out2021-07-25 21:00 20K 
[ ]ordinal5__t47_ordinal52021-07-18 07:05 21K 
[ ]ordinal5__t7_ordinal52021-07-18 06:52 21K 
[ ]ordinal5__t48_ordinal52021-07-18 07:05 21K 
[ ]ordinal5__t60_ordinal52021-07-18 07:09 21K 
[ ]ordinal5__t46_ordinal52021-07-18 07:04 21K 
[ ]ordinal5__t10_ordinal5.vmin1out2021-07-25 21:00 21K 
[ ]ordinal5__t62_ordinal52021-07-18 07:09 22K 
[ ]ordinal5__t63_ordinal52021-07-18 07:10 22K 
[ ]ordinal5__t11_ordinal52021-07-18 06:53 22K 
[ ]ordinal5__t8_ordinal52021-07-18 06:52 22K 
[ ]ordinal5__t22_ordinal52021-07-18 06:56 22K 
[ ]ordinal5__t49_ordinal52021-07-18 07:05 22K 
[ ]ordinal5__t64_ordinal52021-07-18 07:10 23K 
[ ]ordinal5__t59_ordinal52021-07-18 07:08 23K 
[ ]ordinal5__t51_ordinal52021-07-18 07:06 23K 
[ ]ordinal5__t37_ordinal52021-07-18 07:01 24K 
[ ]ordinal5__t57_ordinal52021-07-18 07:08 24K 
[ ]ordinal5__t25_ordinal52021-07-18 06:57 24K 
[ ]ordinal5__t3_ordinal52021-07-18 06:51 25K 
[ ]ordinal5__t33_ordinal52021-07-18 07:00 25K 
[ ]ordinal5__t6_ordinal52021-07-18 06:51 25K 
[ ]ordinal5__t58_ordinal52021-07-18 07:08 25K 
[ ]ordinal5__t66_ordinal52021-07-18 07:11 26K 
[ ]ordinal5__t26_ordinal52021-07-18 06:58 26K 
[ ]ordinal5__t30_ordinal52021-07-18 06:59 27K 
[ ]ordinal5__t52_ordinal52021-07-18 07:06 27K 
[ ]ordinal5__t17_ordinal52021-07-18 06:55 27K 
[ ]ordinal5__t29_ordinal52021-07-18 06:59 28K 
[ ]ordinal5__t13_ordinal52021-07-18 06:54 28K 
[ ]ordinal5__t22_ordinal5.vmin1out2021-07-25 20:58 28K 
[ ]ordinal5__t52_ordinal5.vmin1out2021-07-25 21:00 28K 
[ ]ordinal5__t14_ordinal52021-07-18 06:54 28K 
[ ]ordinal5__t41_ordinal52021-07-18 07:03 28K 
[ ]ordinal5__t62_ordinal5.vmin1out2021-07-25 20:59 28K 
[ ]ordinal5__t42_ordinal52021-07-18 07:03 28K 
[ ]ordinal5__t9_ordinal52021-07-18 06:52 28K 
[ ]ordinal5__t32_ordinal52021-07-18 07:00 28K 
[ ]ordinal5__t62_ordinal5.vout2021-07-25 19:20 28K 
[ ]ordinal5__t15_ordinal52021-07-18 06:54 28K 
[ ]ordinal5__t43_ordinal52021-07-18 07:03 29K 
[ ]ordinal5__t8_ordinal5.vmin1out2021-07-25 21:00 29K 
[ ]ordinal5__t4_ordinal5.vout2021-07-25 16:07 29K 
[ ]ordinal5__t44_ordinal52021-07-18 07:04 30K 
[ ]ordinal5__t2_ordinal52021-07-18 06:50 31K 
[ ]ordinal5__t27_ordinal52021-07-18 06:58 31K 
[ ]ordinal5__t28_ordinal52021-07-18 06:58 31K 
[ ]ordinal5__t23_ordinal52021-07-18 06:57 31K 
[ ]ordinal5__t22_ordinal5.vout2021-07-25 19:53 32K 
[ ]ordinal5__t21_ordinal52021-07-18 06:56 32K 
[ ]ordinal5__t65_ordinal52021-07-18 07:10 33K 
[ ]ordinal5__t8_ordinal5.vout2021-07-25 20:00 33K 
[ ]ordinal5__t55_ordinal52021-07-18 07:07 33K 
[ ]ordinal5__t64_ordinal5.vmin1out2021-07-25 21:02 33K 
[ ]ordinal5__t64_ordinal5.vout2021-07-25 18:08 34K 
[ ]ordinal5__t53_ordinal52021-07-18 07:06 34K 
[ ]ordinal5__t56_ordinal52021-07-18 07:08 34K 
[ ]ordinal5__t31_ordinal52021-07-18 06:59 35K 
[ ]ordinal5__t69_ordinal52021-07-18 07:12 36K 
[ ]ordinal5__t60_ordinal5.vmin1out2021-07-25 21:00 37K 
[ ]ordinal5__t39_ordinal52021-07-18 07:02 37K 
[ ]ordinal5__t68_ordinal52021-07-18 07:11 37K 
[ ]ordinal5__t54_ordinal52021-07-18 07:07 41K 
[ ]ordinal5__t46_ordinal5.vout2021-07-25 17:54 41K 
[ ]ordinal5__t60_ordinal5.vout2021-07-25 17:10 41K 
[ ]ordinal5__t36_ordinal52021-07-18 07:01 42K 
[ ]ordinal5__t46_ordinal5.vmin1out2021-07-25 20:59 43K 
[ ]ordinal5__t47_ordinal5.vmin1out2021-07-25 21:00 44K 
[ ]ordinal5__t47_ordinal5.vout2021-07-25 17:12 46K 
[ ]ordinal5__t52_ordinal5.vout2021-07-25 17:18 46K 
[ ]ordinal5__t67_ordinal52021-07-18 07:11 51K 
[ ]ordinal5__t42_ordinal5.vmin1out2021-07-25 21:01 79K 
[ ]ordinal5__t24_ordinal52021-07-18 06:57 87K 
[ ]ordinal5__t20_ordinal52021-07-18 06:56 100K 
[ ]ordinal5__t43_ordinal5.vmin1out2021-07-25 21:01 112K 
[ ]ordinal5__t40_ordinal52021-07-18 07:02 157K 
[ ]ordinal5__t42_ordinal5.vout2021-07-25 18:41 187K 
[ ]ordinal5__t43_ordinal5.vout2021-07-25 18:55 446K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80