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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal4__l1_ordinal42024-07-27 05:28 9.1K 
[ ]ordinal4__l1_ordinal4.depv12024-08-03 10:19 38  
[ ]ordinal4__l1_ordinal4.depvmin12024-08-03 10:24 38  
[ ]ordinal4__l1_ordinal4.vmin12024-08-03 10:20 357  
[ ]ordinal4__l1_ordinal4.vmin1out2024-08-03 10:21 4.6K 
[ ]ordinal4__l1_ordinal4.vout2024-08-03 09:52 4.7K 
[ ]ordinal4__l2_ordinal42024-07-27 05:29 9.0K 
[ ]ordinal4__l2_ordinal4.depv12024-08-03 10:19 25  
[ ]ordinal4__l2_ordinal4.depvmin12024-08-03 10:24 25  
[ ]ordinal4__l2_ordinal4.vmin12024-08-03 10:20 295  
[ ]ordinal4__l2_ordinal4.vmin1out2024-08-03 10:21 4.2K 
[ ]ordinal4__l2_ordinal4.vout2024-08-03 08:44 4.2K 
[ ]ordinal4__l3_ordinal42024-07-27 05:30 8.7K 
[ ]ordinal4__l3_ordinal4.depv12024-08-03 10:19 84  
[ ]ordinal4__l3_ordinal4.depvmin12024-08-03 10:24 59  
[ ]ordinal4__l3_ordinal4.vmin12024-08-03 10:20 360  
[ ]ordinal4__l3_ordinal4.vmin1out2024-08-03 10:22 2.2K 
[ ]ordinal4__l3_ordinal4.vout2024-08-03 06:21 2.9K 
[ ]ordinal4__l6_ordinal42024-07-27 06:04 13K 
[ ]ordinal4__l6_ordinal4.vout2024-08-03 09:32 7.3K 
[ ]ordinal4__l7_ordinal42024-07-27 06:05 12K 
[ ]ordinal4__l7_ordinal4.vout2024-08-03 06:06 7.3K 
[ ]ordinal4__l8_ordinal42024-07-27 06:06 12K 
[ ]ordinal4__l8_ordinal4.vout2024-08-03 09:18 7.3K 
[ ]ordinal4__l12_ordinal42024-07-27 06:07 12K 
[ ]ordinal4__l12_ordinal4.depv12024-08-03 10:19 243  
[ ]ordinal4__l12_ordinal4.depvmin12024-08-03 10:24 243  
[ ]ordinal4__l12_ordinal4.vmin12024-08-03 10:20 2.5K 
[ ]ordinal4__l12_ordinal4.vmin1out2024-08-03 10:20 38K 
[ ]ordinal4__l12_ordinal4.vout2024-08-03 08:59 33K 
[ ]ordinal4__l25_ordinal42024-07-27 06:07 14K 
[ ]ordinal4__l25_ordinal4.vout2024-08-03 09:19 7.3K 
[ ]ordinal4__l30_ordinal42024-07-27 06:08 13K 
[ ]ordinal4__l30_ordinal4.depv12024-08-03 10:19 291  
[ ]ordinal4__l30_ordinal4.depvmin12024-08-03 10:24 184  
[ ]ordinal4__l30_ordinal4.vmin12024-08-03 10:20 3.1K 
[ ]ordinal4__l30_ordinal4.vmin1out2024-08-03 10:23 40K 
[ ]ordinal4__l30_ordinal4.vout2024-08-03 04:12 48K 
[ ]ordinal4__l31_ordinal42024-07-27 06:09 11K 
[ ]ordinal4__l31_ordinal4.depv12024-08-03 10:19 129  
[ ]ordinal4__l31_ordinal4.depvmin12024-08-03 10:24 129  
[ ]ordinal4__l31_ordinal4.vmin12024-08-03 10:20 1.8K 
[ ]ordinal4__l31_ordinal4.vmin1out2024-08-03 10:20 55K 
[ ]ordinal4__l31_ordinal4.vout2024-08-03 05:07 50K 
[ ]ordinal4__l32_ordinal42024-07-27 06:10 19K 
[ ]ordinal4__l32_ordinal4.vout2024-08-03 07:59 7.3K 
[ ]ordinal4__l45_ordinal42024-07-27 05:30 7.3K 
[ ]ordinal4__l45_ordinal4.depv12024-08-03 10:19 26  
[ ]ordinal4__l45_ordinal4.depvmin12024-08-03 10:24 26  
[ ]ordinal4__l45_ordinal4.vmin12024-08-03 10:20 107  
[ ]ordinal4__l45_ordinal4.vmin1out2024-08-03 10:22 1.5K 
[ ]ordinal4__l45_ordinal4.vout2024-08-03 05:41 1.4K 
[ ]ordinal4__t1_ordinal42024-07-27 05:31 13K 
[ ]ordinal4__t1_ordinal4.depv12024-08-03 10:19 176  
[ ]ordinal4__t1_ordinal4.depvmin12024-08-03 10:24 176  
[ ]ordinal4__t1_ordinal4.vmin12024-08-03 10:20 2.3K 
[ ]ordinal4__t1_ordinal4.vmin1out2024-08-03 10:22 56K 
[ ]ordinal4__t1_ordinal4.vout2024-08-03 07:09 73K 
[ ]ordinal4__t2_ordinal42024-07-27 05:32 11K 
[ ]ordinal4__t2_ordinal4.vout2024-08-03 04:10 7.9K 
[ ]ordinal4__t3_ordinal42024-07-27 05:33 14K 
[ ]ordinal4__t3_ordinal4.vout2024-08-03 06:19 7.3K 
[ ]ordinal4__t4_ordinal42024-07-27 05:34 14K 
[ ]ordinal4__t4_ordinal4.vout2024-08-03 05:06 7.3K 
[ ]ordinal4__t5_ordinal42024-07-27 05:35 16K 
[ ]ordinal4__t5_ordinal4.vout2024-08-03 05:38 7.3K 
[ ]ordinal4__t6_ordinal42024-07-27 05:36 13K 
[ ]ordinal4__t6_ordinal4.vout2024-08-03 09:34 7.3K 
[ ]ordinal4__t7_ordinal42024-07-27 05:37 12K 
[ ]ordinal4__t7_ordinal4.vout2024-08-03 07:25 7.3K 
[ ]ordinal4__t8_ordinal42024-07-27 05:38 15K 
[ ]ordinal4__t8_ordinal4.vout2024-08-03 09:41 7.3K 
[ ]ordinal4__t9_ordinal42024-07-27 05:39 11K 
[ ]ordinal4__t9_ordinal4.depv12024-08-03 10:19 139  
[ ]ordinal4__t9_ordinal4.depvmin12024-08-03 10:24 139  
[ ]ordinal4__t9_ordinal4.vmin12024-08-03 10:20 1.5K 
[ ]ordinal4__t9_ordinal4.vmin1out2024-08-03 10:20 25K 
[ ]ordinal4__t9_ordinal4.vout2024-08-03 07:20 25K 
[ ]ordinal4__t10_ordinal42024-07-27 05:39 11K 
[ ]ordinal4__t10_ordinal4.depv12024-08-03 10:19 180  
[ ]ordinal4__t10_ordinal4.depvmin12024-08-03 10:24 180  
[ ]ordinal4__t10_ordinal4.vmin12024-08-03 10:20 2.1K 
[ ]ordinal4__t10_ordinal4.vmin1out2024-08-03 10:20 33K 
[ ]ordinal4__t10_ordinal4.vout2024-08-03 07:57 39K 
[ ]ordinal4__t11_ordinal42024-07-27 05:40 10K 
[ ]ordinal4__t11_ordinal4.vout2024-08-03 04:53 7.3K 
[ ]ordinal4__t12_ordinal42024-07-27 05:41 12K 
[ ]ordinal4__t12_ordinal4.depv12024-08-03 10:19 190  
[ ]ordinal4__t12_ordinal4.depvmin12024-08-03 10:24 124  
[ ]ordinal4__t12_ordinal4.vmin12024-08-03 10:20 2.2K 
[ ]ordinal4__t12_ordinal4.vmin1out2024-08-03 10:22 28K 
[ ]ordinal4__t12_ordinal4.vout2024-08-03 08:23 26K 
[ ]ordinal4__t13_ordinal42024-07-27 05:42 12K 
[ ]ordinal4__t13_ordinal4.depv12024-08-03 10:19 164  
[ ]ordinal4__t13_ordinal4.depvmin12024-08-03 10:24 164  
[ ]ordinal4__t13_ordinal4.vmin12024-08-03 10:20 2.5K 
[ ]ordinal4__t13_ordinal4.vmin1out2024-08-03 10:20 54K 
[ ]ordinal4__t13_ordinal4.vout2024-08-03 05:28 53K 
[ ]ordinal4__t14_ordinal42024-07-27 05:43 14K 
[ ]ordinal4__t14_ordinal4.vout2024-08-03 09:07 7.3K 
[ ]ordinal4__t15_ordinal42024-07-27 05:44 13K 
[ ]ordinal4__t15_ordinal4.depv12024-08-03 10:19 174  
[ ]ordinal4__t15_ordinal4.depvmin12024-08-03 10:24 174  
[ ]ordinal4__t15_ordinal4.vmin12024-08-03 10:20 2.1K 
[ ]ordinal4__t15_ordinal4.vmin1out2024-08-03 10:21 37K 
[ ]ordinal4__t15_ordinal4.vout2024-08-03 10:08 39K 
[ ]ordinal4__t16_ordinal42024-07-27 05:44 13K 
[ ]ordinal4__t16_ordinal4.vout2024-08-03 05:08 7.3K 
[ ]ordinal4__t17_ordinal42024-07-27 05:45 17K 
[ ]ordinal4__t17_ordinal4.vout2024-08-03 04:09 6.8K 
[ ]ordinal4__t18_ordinal42024-07-27 05:46 9.1K 
[ ]ordinal4__t18_ordinal4.depv12024-08-03 10:19 78  
[ ]ordinal4__t18_ordinal4.depvmin12024-08-03 10:24 78  
[ ]ordinal4__t18_ordinal4.vmin12024-08-03 10:20 1.2K 
[ ]ordinal4__t18_ordinal4.vmin1out2024-08-03 10:20 21K 
[ ]ordinal4__t18_ordinal4.vout2024-08-03 04:43 17K 
[ ]ordinal4__t19_ordinal42024-07-27 05:47 9.2K 
[ ]ordinal4__t19_ordinal4.depv12024-08-03 10:19 91  
[ ]ordinal4__t19_ordinal4.depvmin12024-08-03 10:24 91  
[ ]ordinal4__t19_ordinal4.vmin12024-08-03 10:20 1.2K 
[ ]ordinal4__t19_ordinal4.vmin1out2024-08-03 10:20 28K 
[ ]ordinal4__t19_ordinal4.vout2024-08-03 10:08 26K 
[ ]ordinal4__t20_ordinal42024-07-27 05:48 15K 
[ ]ordinal4__t20_ordinal4.vout2024-08-03 07:42 7.3K 
[ ]ordinal4__t21_ordinal42024-07-27 05:49 10K 
[ ]ordinal4__t21_ordinal4.depv12024-08-03 10:19 122  
[ ]ordinal4__t21_ordinal4.depvmin12024-08-03 10:24 122  
[ ]ordinal4__t21_ordinal4.vmin12024-08-03 10:20 2.0K 
[ ]ordinal4__t21_ordinal4.vmin1out2024-08-03 10:23 54K 
[ ]ordinal4__t21_ordinal4.vout2024-08-03 04:58 51K 
[ ]ordinal4__t22_ordinal42024-07-27 05:50 15K 
[ ]ordinal4__t22_ordinal4.vout2024-08-03 05:22 7.4K 
[ ]ordinal4__t23_ordinal42024-07-27 05:50 9.7K 
[ ]ordinal4__t23_ordinal4.depv12024-08-03 10:19 151  
[ ]ordinal4__t23_ordinal4.depvmin12024-08-03 10:24 139  
[ ]ordinal4__t23_ordinal4.vmin12024-08-03 10:20 1.4K 
[ ]ordinal4__t23_ordinal4.vmin1out2024-08-03 10:23 14K 
[ ]ordinal4__t23_ordinal4.vout2024-08-03 04:17 12K 
[ ]ordinal4__t24_ordinal42024-07-27 05:51 16K 
[ ]ordinal4__t24_ordinal4.vout2024-08-03 06:07 7.3K 
[ ]ordinal4__t25_ordinal42024-07-27 05:52 9.0K 
[ ]ordinal4__t25_ordinal4.depv12024-08-03 10:19 78  
[ ]ordinal4__t25_ordinal4.depvmin12024-08-03 10:24 78  
[ ]ordinal4__t25_ordinal4.vmin12024-08-03 10:20 1.2K 
[ ]ordinal4__t25_ordinal4.vmin1out2024-08-03 10:21 21K 
[ ]ordinal4__t25_ordinal4.vout2024-08-03 08:13 18K 
[ ]ordinal4__t26_ordinal42024-07-27 05:53 11K 
[ ]ordinal4__t26_ordinal4.depv12024-08-03 10:19 77  
[ ]ordinal4__t26_ordinal4.depvmin12024-08-03 10:24 77  
[ ]ordinal4__t26_ordinal4.vmin12024-08-03 10:20 1.5K 
[ ]ordinal4__t26_ordinal4.vmin1out2024-08-03 10:22 41K 
[ ]ordinal4__t26_ordinal4.vout2024-08-03 04:13 41K 
[ ]ordinal4__t27_ordinal42024-07-27 05:53 12K 
[ ]ordinal4__t27_ordinal4.depv12024-08-03 10:19 286  
[ ]ordinal4__t27_ordinal4.depvmin12024-08-03 10:24 254  
[ ]ordinal4__t27_ordinal4.vmin12024-08-03 10:20 2.3K 
[ ]ordinal4__t27_ordinal4.vmin1out2024-08-03 10:20 32K 
[ ]ordinal4__t27_ordinal4.vout2024-08-03 10:18 33K 
[ ]ordinal4__t28_ordinal42024-07-27 05:54 14K 
[ ]ordinal4__t28_ordinal4.vout2024-08-03 04:22 7.4K 
[ ]ordinal4__t29_ordinal42024-07-27 05:55 7.9K 
[ ]ordinal4__t29_ordinal4.depv12024-08-03 10:19 90  
[ ]ordinal4__t29_ordinal4.depvmin12024-08-03 10:24 90  
[ ]ordinal4__t29_ordinal4.vmin12024-08-03 10:20 784  
[ ]ordinal4__t29_ordinal4.vmin1out2024-08-03 10:22 10K 
[ ]ordinal4__t29_ordinal4.vout2024-08-03 06:47 9.5K 
[ ]ordinal4__t30_ordinal42024-07-27 05:56 19K 
[ ]ordinal4__t30_ordinal4.vout2024-08-03 04:31 7.3K 
[ ]ordinal4__t31_ordinal42024-07-27 05:57 20K 
[ ]ordinal4__t31_ordinal4.vout2024-08-03 09:57 7.4K 
[ ]ordinal4__t32_ordinal42024-07-27 05:58 16K 
[ ]ordinal4__t32_ordinal4.vout2024-08-03 09:58 7.3K 
[ ]ordinal4__t33_ordinal42024-07-27 05:26 8.7K 
[ ]ordinal4__t33_ordinal4.depv12024-08-03 10:19 50  
[ ]ordinal4__t33_ordinal4.depvmin12024-08-03 10:24 37  
[ ]ordinal4__t33_ordinal4.vmin12024-08-03 10:20 412  
[ ]ordinal4__t33_ordinal4.vmin1out2024-08-03 10:21 4.6K 
[ ]ordinal4__t33_ordinal4.vout2024-08-03 09:00 4.5K 
[ ]ordinal4__t34_ordinal42024-07-27 05:59 13K 
[ ]ordinal4__t34_ordinal4.depv12024-08-03 10:19 146  
[ ]ordinal4__t34_ordinal4.depvmin12024-08-03 10:24 146  
[ ]ordinal4__t34_ordinal4.vmin12024-08-03 10:20 1.5K 
[ ]ordinal4__t34_ordinal4.vmin1out2024-08-03 10:23 21K 
[ ]ordinal4__t34_ordinal4.vout2024-08-03 04:23 20K 
[ ]ordinal4__t35_ordinal42024-07-27 06:00 17K 
[ ]ordinal4__t35_ordinal4.vout2024-08-03 07:46 7.3K 
[ ]ordinal4__t36_ordinal42024-07-27 06:02 28K 
[ ]ordinal4__t36_ordinal4.vout2024-08-03 09:23 6.8K 
[ ]ordinal4__t37_ordinal42024-07-27 06:02 14K 
[ ]ordinal4__t37_ordinal4.vout2024-08-03 07:33 7.3K 
[ ]ordinal4__t38_ordinal42024-07-27 06:03 14K 
[ ]ordinal4__t38_ordinal4.vout2024-08-03 06:26 7.3K 
[ ]ordinal4__t39_ordinal42024-07-27 05:27 9.9K 
[ ]ordinal4__t39_ordinal4.depv12024-08-03 10:19 25  
[ ]ordinal4__t39_ordinal4.depvmin12024-08-03 10:24 25  
[ ]ordinal4__t39_ordinal4.vmin12024-08-03 10:20 474  
[ ]ordinal4__t39_ordinal4.vmin1out2024-08-03 10:20 5.1K 
[ ]ordinal4__t39_ordinal4.vout2024-08-03 04:16 8.0K 
[ ]ordinal4__t40_ordinal42024-07-27 05:28 9.9K 
[ ]ordinal4__t40_ordinal4.depv12024-08-03 10:19 25  
[ ]ordinal4__t40_ordinal4.depvmin12024-08-03 10:24 25  
[ ]ordinal4__t40_ordinal4.vmin12024-08-03 10:20 474  
[ ]ordinal4__t40_ordinal4.vmin1out2024-08-03 10:21 5.1K 
[ ]ordinal4__t40_ordinal4.vout2024-08-03 07:53 8.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80