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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal4__t33_ordinal42021-07-17 21:59 8.8K 
[ ]ordinal4__t39_ordinal42021-07-17 21:59 9.8K 
[ ]ordinal4__t40_ordinal42021-07-17 21:59 9.8K 
[ ]ordinal4__l1_ordinal42021-07-17 21:59 9.0K 
[ ]ordinal4__l2_ordinal42021-07-17 22:00 9.0K 
[ ]ordinal4__l3_ordinal42021-07-17 22:00 8.7K 
[ ]ordinal4__l45_ordinal42021-07-17 22:00 7.3K 
[ ]ordinal4__t1_ordinal42021-07-17 22:00 13K 
[ ]ordinal4__t2_ordinal42021-07-17 22:01 11K 
[ ]ordinal4__t3_ordinal42021-07-17 22:01 13K 
[ ]ordinal4__t4_ordinal42021-07-17 22:01 14K 
[ ]ordinal4__t5_ordinal42021-07-17 22:02 15K 
[ ]ordinal4__t6_ordinal42021-07-17 22:02 13K 
[ ]ordinal4__t7_ordinal42021-07-17 22:02 12K 
[ ]ordinal4__t8_ordinal42021-07-17 22:03 15K 
[ ]ordinal4__t9_ordinal42021-07-17 22:03 11K 
[ ]ordinal4__t10_ordinal42021-07-17 22:03 11K 
[ ]ordinal4__t11_ordinal42021-07-17 22:04 10K 
[ ]ordinal4__t12_ordinal42021-07-17 22:04 12K 
[ ]ordinal4__t13_ordinal42021-07-17 22:04 12K 
[ ]ordinal4__t14_ordinal42021-07-17 22:05 14K 
[ ]ordinal4__t15_ordinal42021-07-17 22:05 13K 
[ ]ordinal4__t16_ordinal42021-07-17 22:05 13K 
[ ]ordinal4__t17_ordinal42021-07-17 22:06 17K 
[ ]ordinal4__t18_ordinal42021-07-17 22:06 9.2K 
[ ]ordinal4__t19_ordinal42021-07-17 22:06 9.3K 
[ ]ordinal4__t20_ordinal42021-07-17 22:06 15K 
[ ]ordinal4__t21_ordinal42021-07-17 22:07 10K 
[ ]ordinal4__t22_ordinal42021-07-17 22:07 15K 
[ ]ordinal4__t23_ordinal42021-07-17 22:07 9.8K 
[ ]ordinal4__t24_ordinal42021-07-17 22:08 16K 
[ ]ordinal4__t25_ordinal42021-07-17 22:08 9.1K 
[ ]ordinal4__t26_ordinal42021-07-17 22:08 11K 
[ ]ordinal4__t27_ordinal42021-07-17 22:09 12K 
[ ]ordinal4__t28_ordinal42021-07-17 22:09 14K 
[ ]ordinal4__t29_ordinal42021-07-17 22:09 8.0K 
[ ]ordinal4__t30_ordinal42021-07-17 22:09 19K 
[ ]ordinal4__t31_ordinal42021-07-17 22:10 20K 
[ ]ordinal4__t32_ordinal42021-07-17 22:10 16K 
[ ]ordinal4__t34_ordinal42021-07-17 22:11 13K 
[ ]ordinal4__t35_ordinal42021-07-17 22:11 17K 
[ ]ordinal4__t36_ordinal42021-07-17 22:12 28K 
[ ]ordinal4__t37_ordinal42021-07-17 22:12 14K 
[ ]ordinal4__t38_ordinal42021-07-17 22:12 14K 
[ ]ordinal4__l6_ordinal42021-07-17 22:13 13K 
[ ]ordinal4__l7_ordinal42021-07-17 22:13 12K 
[ ]ordinal4__l8_ordinal42021-07-17 22:13 12K 
[ ]ordinal4__l12_ordinal42021-07-17 22:13 12K 
[ ]ordinal4__l25_ordinal42021-07-17 22:14 14K 
[ ]ordinal4__l30_ordinal42021-07-17 22:14 13K 
[ ]ordinal4__l31_ordinal42021-07-17 22:14 11K 
[ ]ordinal4__l32_ordinal42021-07-17 22:15 19K 
[ ]ordinal4__l31_ordinal4.vout2021-07-25 14:28 50K 
[ ]ordinal4__t1_ordinal4.vout2021-07-25 14:40 6.8K 
[ ]ordinal4__t12_ordinal4.vout2021-07-25 15:14 26K 
[ ]ordinal4__t3_ordinal4.vout2021-07-25 15:16 7.3K 
[ ]ordinal4__t33_ordinal4.vout2021-07-25 15:26 4.5K 
[ ]ordinal4__l25_ordinal4.vout2021-07-25 15:41 7.3K 
[ ]ordinal4__t18_ordinal4.vout2021-07-25 15:46 17K 
[ ]ordinal4__l32_ordinal4.vout2021-07-25 15:53 6.8K 
[ ]ordinal4__t31_ordinal4.vout2021-07-25 15:55 7.3K 
[ ]ordinal4__l3_ordinal4.vout2021-07-25 16:04 2.9K 
[ ]ordinal4__t39_ordinal4.vout2021-07-25 16:11 8.0K 
[ ]ordinal4__t19_ordinal4.vout2021-07-25 16:12 26K 
[ ]ordinal4__t30_ordinal4.vout2021-07-25 16:22 7.3K 
[ ]ordinal4__t16_ordinal4.vout2021-07-25 16:26 7.3K 
[ ]ordinal4__t38_ordinal4.vout2021-07-25 16:49 7.3K 
[ ]ordinal4__t8_ordinal4.vout2021-07-25 16:52 7.3K 
[ ]ordinal4__t9_ordinal4.vout2021-07-25 17:01 25K 
[ ]ordinal4__t24_ordinal4.vout2021-07-25 17:02 7.3K 
[ ]ordinal4__t11_ordinal4.vout2021-07-25 17:19 7.3K 
[ ]ordinal4__l1_ordinal4.vout2021-07-25 17:22 4.7K 
[ ]ordinal4__t23_ordinal4.vout2021-07-25 17:23 12K 
[ ]ordinal4__t21_ordinal4.vout2021-07-25 17:26 51K 
[ ]ordinal4__t7_ordinal4.vout2021-07-25 17:28 7.3K 
[ ]ordinal4__t14_ordinal4.vout2021-07-25 17:33 6.8K 
[ ]ordinal4__t10_ordinal4.vout2021-07-25 17:36 39K 
[ ]ordinal4__t29_ordinal4.vout2021-07-25 17:46 9.5K 
[ ]ordinal4__t26_ordinal4.vout2021-07-25 18:08 41K 
[ ]ordinal4__t17_ordinal4.vout2021-07-25 18:09 6.8K 
[ ]ordinal4__t35_ordinal4.vout2021-07-25 18:15 7.3K 
[ ]ordinal4__t25_ordinal4.vout2021-07-25 18:23 18K 
[ ]ordinal4__t6_ordinal4.vout2021-07-25 18:27 7.3K 
[ ]ordinal4__t15_ordinal4.vout2021-07-25 18:33 39K 
[ ]ordinal4__t4_ordinal4.vout2021-07-25 18:40 7.3K 
[ ]ordinal4__l8_ordinal4.vout2021-07-25 18:41 7.3K 
[ ]ordinal4__l2_ordinal4.vout2021-07-25 18:48 4.2K 
[ ]ordinal4__t37_ordinal4.vout2021-07-25 19:22 7.3K 
[ ]ordinal4__l6_ordinal4.vout2021-07-25 19:23 7.3K 
[ ]ordinal4__l7_ordinal4.vout2021-07-25 19:38 7.3K 
[ ]ordinal4__t2_ordinal4.vout2021-07-25 19:41 7.3K 
[ ]ordinal4__t40_ordinal4.vout2021-07-25 19:48 8.0K 
[ ]ordinal4__t13_ordinal4.vout2021-07-25 19:48 53K 
[ ]ordinal4__t20_ordinal4.vout2021-07-25 20:08 7.3K 
[ ]ordinal4__l45_ordinal4.vout2021-07-25 20:09 1.4K 
[ ]ordinal4__l12_ordinal4.vout2021-07-25 20:13 33K 
[ ]ordinal4__t36_ordinal4.vout2021-07-25 20:21 6.8K 
[ ]ordinal4__t22_ordinal4.vout2021-07-25 20:27 7.4K 
[ ]ordinal4__t34_ordinal4.vout2021-07-25 20:31 20K 
[ ]ordinal4__t27_ordinal4.vout2021-07-25 20:37 31K 
[ ]ordinal4__t32_ordinal4.vout2021-07-25 20:39 7.3K 
[ ]ordinal4__l30_ordinal4.vout2021-07-25 20:44 47K 
[ ]ordinal4__t5_ordinal4.vout2021-07-25 20:45 7.3K 
[ ]ordinal4__t28_ordinal4.vout2021-07-25 20:56 7.3K 
[ ]ordinal4__l31_ordinal4.depv12021-07-25 20:57 129  
[ ]ordinal4__t13_ordinal4.depv12021-07-25 20:57 164  
[ ]ordinal4__t25_ordinal4.depv12021-07-25 20:57 78  
[ ]ordinal4__l45_ordinal4.depv12021-07-25 20:57 26  
[ ]ordinal4__t10_ordinal4.depv12021-07-25 20:57 180  
[ ]ordinal4__t19_ordinal4.depv12021-07-25 20:57 91  
[ ]ordinal4__l1_ordinal4.depv12021-07-25 20:57 38  
[ ]ordinal4__l12_ordinal4.depv12021-07-25 20:57 243  
[ ]ordinal4__t18_ordinal4.depv12021-07-25 20:57 78  
[ ]ordinal4__t12_ordinal4.depv12021-07-25 20:57 190  
[ ]ordinal4__t29_ordinal4.depv12021-07-25 20:57 90  
[ ]ordinal4__t39_ordinal4.depv12021-07-25 20:57 25  
[ ]ordinal4__l3_ordinal4.depv12021-07-25 20:57 84  
[ ]ordinal4__l30_ordinal4.depv12021-07-25 20:57 182  
[ ]ordinal4__t27_ordinal4.depv12021-07-25 20:57 254  
[ ]ordinal4__t33_ordinal4.depv12021-07-25 20:57 50  
[ ]ordinal4__t21_ordinal4.depv12021-07-25 20:57 122  
[ ]ordinal4__t23_ordinal4.depv12021-07-25 20:57 151  
[ ]ordinal4__t40_ordinal4.depv12021-07-25 20:57 25  
[ ]ordinal4__l2_ordinal4.depv12021-07-25 20:57 25  
[ ]ordinal4__t15_ordinal4.depv12021-07-25 20:57 174  
[ ]ordinal4__t34_ordinal4.depv12021-07-25 20:57 146  
[ ]ordinal4__t9_ordinal4.depv12021-07-25 20:57 139  
[ ]ordinal4__t26_ordinal4.depv12021-07-25 20:57 77  
[ ]ordinal4__l1_ordinal4.vmin12021-07-25 20:57 357  
[ ]ordinal4__l2_ordinal4.vmin12021-07-25 20:57 295  
[ ]ordinal4__l3_ordinal4.vmin12021-07-25 20:57 360  
[ ]ordinal4__l12_ordinal4.vmin12021-07-25 20:57 2.5K 
[ ]ordinal4__l30_ordinal4.vmin12021-07-25 20:57 2.3K 
[ ]ordinal4__l31_ordinal4.vmin12021-07-25 20:57 1.8K 
[ ]ordinal4__l45_ordinal4.vmin12021-07-25 20:57 107  
[ ]ordinal4__t9_ordinal4.vmin12021-07-25 20:57 1.5K 
[ ]ordinal4__t10_ordinal4.vmin12021-07-25 20:57 2.1K 
[ ]ordinal4__t12_ordinal4.vmin12021-07-25 20:57 2.2K 
[ ]ordinal4__t13_ordinal4.vmin12021-07-25 20:57 2.5K 
[ ]ordinal4__t15_ordinal4.vmin12021-07-25 20:57 2.1K 
[ ]ordinal4__t18_ordinal4.vmin12021-07-25 20:57 1.2K 
[ ]ordinal4__t19_ordinal4.vmin12021-07-25 20:57 1.2K 
[ ]ordinal4__t21_ordinal4.vmin12021-07-25 20:57 2.0K 
[ ]ordinal4__t23_ordinal4.vmin12021-07-25 20:57 1.4K 
[ ]ordinal4__t25_ordinal4.vmin12021-07-25 20:57 1.2K 
[ ]ordinal4__t26_ordinal4.vmin12021-07-25 20:57 1.5K 
[ ]ordinal4__t27_ordinal4.vmin12021-07-25 20:57 2.1K 
[ ]ordinal4__t29_ordinal4.vmin12021-07-25 20:57 784  
[ ]ordinal4__t33_ordinal4.vmin12021-07-25 20:57 412  
[ ]ordinal4__t34_ordinal4.vmin12021-07-25 20:57 1.5K 
[ ]ordinal4__t39_ordinal4.vmin12021-07-25 20:57 474  
[ ]ordinal4__t40_ordinal4.vmin12021-07-25 20:57 474  
[ ]ordinal4__t18_ordinal4.vmin1out2021-07-25 20:58 21K 
[ ]ordinal4__t9_ordinal4.vmin1out2021-07-25 20:58 25K 
[ ]ordinal4__t34_ordinal4.vmin1out2021-07-25 20:58 21K 
[ ]ordinal4__l1_ordinal4.vmin1out2021-07-25 20:58 4.6K 
[ ]ordinal4__l31_ordinal4.vmin1out2021-07-25 20:58 55K 
[ ]ordinal4__t40_ordinal4.vmin1out2021-07-25 20:58 5.1K 
[ ]ordinal4__l45_ordinal4.vmin1out2021-07-25 20:58 1.5K 
[ ]ordinal4__t12_ordinal4.vmin1out2021-07-25 20:59 28K 
[ ]ordinal4__l3_ordinal4.vmin1out2021-07-25 20:59 2.2K 
[ ]ordinal4__t39_ordinal4.vmin1out2021-07-25 20:59 5.1K 
[ ]ordinal4__t19_ordinal4.vmin1out2021-07-25 20:59 28K 
[ ]ordinal4__t21_ordinal4.vmin1out2021-07-25 21:00 54K 
[ ]ordinal4__t26_ordinal4.vmin1out2021-07-25 21:00 41K 
[ ]ordinal4__l2_ordinal4.vmin1out2021-07-25 21:00 4.2K 
[ ]ordinal4__t27_ordinal4.vmin1out2021-07-25 21:00 30K 
[ ]ordinal4__t29_ordinal4.vmin1out2021-07-25 21:00 10K 
[ ]ordinal4__t10_ordinal4.vmin1out2021-07-25 21:01 33K 
[ ]ordinal4__t15_ordinal4.vmin1out2021-07-25 21:01 37K 
[ ]ordinal4__t33_ordinal4.vmin1out2021-07-25 21:01 4.6K 
[ ]ordinal4__l12_ordinal4.vmin1out2021-07-25 21:02 38K 
[ ]ordinal4__t25_ordinal4.vmin1out2021-07-25 21:02 21K 
[ ]ordinal4__l30_ordinal4.vmin1out2021-07-25 21:02 59K 
[ ]ordinal4__t13_ordinal4.vmin1out2021-07-25 21:02 54K 
[ ]ordinal4__t23_ordinal4.vmin1out2021-07-25 21:02 14K 
[ ]ordinal4__l31_ordinal4.depvmin12021-07-25 21:03 129  
[ ]ordinal4__t13_ordinal4.depvmin12021-07-25 21:03 164  
[ ]ordinal4__l45_ordinal4.depvmin12021-07-25 21:03 26  
[ ]ordinal4__t10_ordinal4.depvmin12021-07-25 21:03 180  
[ ]ordinal4__t25_ordinal4.depvmin12021-07-25 21:03 78  
[ ]ordinal4__l12_ordinal4.depvmin12021-07-25 21:03 243  
[ ]ordinal4__t18_ordinal4.depvmin12021-07-25 21:03 78  
[ ]ordinal4__t19_ordinal4.depvmin12021-07-25 21:03 91  
[ ]ordinal4__l1_ordinal4.depvmin12021-07-25 21:03 38  
[ ]ordinal4__t12_ordinal4.depvmin12021-07-25 21:03 124  
[ ]ordinal4__t29_ordinal4.depvmin12021-07-25 21:03 90  
[ ]ordinal4__l3_ordinal4.depvmin12021-07-25 21:03 59  
[ ]ordinal4__l30_ordinal4.depvmin12021-07-25 21:03 182  
[ ]ordinal4__t33_ordinal4.depvmin12021-07-25 21:03 37  
[ ]ordinal4__t39_ordinal4.depvmin12021-07-25 21:03 25  
[ ]ordinal4__t21_ordinal4.depvmin12021-07-25 21:03 122  
[ ]ordinal4__t27_ordinal4.depvmin12021-07-25 21:03 254  
[ ]ordinal4__t40_ordinal4.depvmin12021-07-25 21:03 25  
[ ]ordinal4__l2_ordinal4.depvmin12021-07-25 21:03 25  
[ ]ordinal4__t23_ordinal4.depvmin12021-07-25 21:03 139  
[ ]ordinal4__t34_ordinal4.depvmin12021-07-25 21:03 146  
[ ]ordinal4__t9_ordinal4.depvmin12021-07-25 21:03 139  
[ ]ordinal4__t15_ordinal4.depvmin12021-07-25 21:03 174  
[ ]ordinal4__t26_ordinal4.depvmin12021-07-25 21:03 77  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80