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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal1__l13_ordinal12024-07-27 19:10 3.3K 
[ ]ordinal1__l13_ordinal1.vout2024-08-03 10:11 3.6K 
[ ]ordinal1__t5_ordinal12024-07-27 19:11 6.1K 
[ ]ordinal1__t5_ordinal1.depv12024-08-03 10:19 68  
[ ]ordinal1__t5_ordinal1.depvmin12024-08-03 10:24 68  
[ ]ordinal1__t5_ordinal1.vmin12024-08-03 10:20 411  
[ ]ordinal1__t5_ordinal1.vmin1out2024-08-03 10:21 3.5K 
[ ]ordinal1__t5_ordinal1.vout2024-08-03 06:50 5.4K 
[ ]ordinal1__t6_ordinal12024-07-27 19:11 4.6K 
[ ]ordinal1__t6_ordinal1.depv12024-08-03 10:19 69  
[ ]ordinal1__t6_ordinal1.depvmin12024-08-03 10:24 69  
[ ]ordinal1__t6_ordinal1.vmin12024-08-03 10:20 521  
[ ]ordinal1__t6_ordinal1.vmin1out2024-08-03 10:22 7.5K 
[ ]ordinal1__t6_ordinal1.vout2024-08-03 04:27 7.4K 
[ ]ordinal1__t7_ordinal12024-07-27 19:12 4.7K 
[ ]ordinal1__t7_ordinal1.depv12024-08-03 10:19 125  
[ ]ordinal1__t7_ordinal1.depvmin12024-08-03 10:24 89  
[ ]ordinal1__t7_ordinal1.vmin12024-08-03 10:20 779  
[ ]ordinal1__t7_ordinal1.vmin1out2024-08-03 10:21 9.7K 
[ ]ordinal1__t7_ordinal1.vout2024-08-03 05:13 13K 
[ ]ordinal1__t8_ordinal12024-07-27 19:12 4.7K 
[ ]ordinal1__t8_ordinal1.depv12024-08-03 10:19 46  
[ ]ordinal1__t8_ordinal1.depvmin12024-08-03 10:24 46  
[ ]ordinal1__t8_ordinal1.vmin12024-08-03 10:20 475  
[ ]ordinal1__t8_ordinal1.vmin1out2024-08-03 10:21 11K 
[ ]ordinal1__t8_ordinal1.vout2024-08-03 09:43 11K 
[ ]ordinal1__t9_ordinal12024-07-27 19:13 4.4K 
[ ]ordinal1__t9_ordinal1.depv12024-08-03 10:19 56  
[ ]ordinal1__t9_ordinal1.depvmin12024-08-03 10:24 44  
[ ]ordinal1__t9_ordinal1.vmin12024-08-03 10:20 309  
[ ]ordinal1__t9_ordinal1.vmin1out2024-08-03 10:22 2.1K 
[ ]ordinal1__t9_ordinal1.vout2024-08-03 09:37 2.6K 
[ ]ordinal1__t10_ordinal12024-07-27 19:13 6.2K 
[ ]ordinal1__t10_ordinal1.depv12024-08-03 10:19 64  
[ ]ordinal1__t10_ordinal1.depvmin12024-08-03 10:24 64  
[ ]ordinal1__t10_ordinal1.vmin12024-08-03 10:20 704  
[ ]ordinal1__t10_ordinal1.vmin1out2024-08-03 10:22 7.1K 
[ ]ordinal1__t10_ordinal1.vout2024-08-03 05:01 8.7K 
[ ]ordinal1__t11_ordinal12024-07-27 19:14 8.2K 
[ ]ordinal1__t11_ordinal1.vout2024-08-03 04:58 7.9K 
[ ]ordinal1__t12_ordinal12024-07-27 19:14 7.1K 
[ ]ordinal1__t12_ordinal1.depv12024-08-03 10:19 102  
[ ]ordinal1__t12_ordinal1.depvmin12024-08-03 10:24 102  
[ ]ordinal1__t12_ordinal1.vmin12024-08-03 10:20 1.1K 
[ ]ordinal1__t12_ordinal1.vmin1out2024-08-03 10:23 14K 
[ ]ordinal1__t12_ordinal1.vout2024-08-03 07:21 14K 
[ ]ordinal1__t13_ordinal12024-07-27 19:15 7.6K 
[ ]ordinal1__t13_ordinal1.vout2024-08-03 05:04 7.9K 
[ ]ordinal1__t14_ordinal12024-07-27 19:16 7.8K 
[ ]ordinal1__t14_ordinal1.vout2024-08-03 09:35 7.9K 
[ ]ordinal1__t15_ordinal12024-07-27 19:16 6.9K 
[ ]ordinal1__t15_ordinal1.depv12024-08-03 10:19 76  
[ ]ordinal1__t15_ordinal1.depvmin12024-08-03 10:24 76  
[ ]ordinal1__t15_ordinal1.vmin12024-08-03 10:20 511  
[ ]ordinal1__t15_ordinal1.vmin1out2024-08-03 10:21 6.1K 
[ ]ordinal1__t15_ordinal1.vout2024-08-03 08:16 6.3K 
[ ]ordinal1__t16_ordinal12024-07-27 19:17 7.3K 
[ ]ordinal1__t16_ordinal1.depv12024-08-03 10:19 102  
[ ]ordinal1__t16_ordinal1.depvmin12024-08-03 10:24 102  
[ ]ordinal1__t16_ordinal1.vmin12024-08-03 10:20 795  
[ ]ordinal1__t16_ordinal1.vmin1out2024-08-03 10:21 7.7K 
[ ]ordinal1__t16_ordinal1.vout2024-08-03 06:05 11K 
[ ]ordinal1__t17_ordinal12024-07-27 19:17 8.3K 
[ ]ordinal1__t17_ordinal1.vout2024-08-03 07:16 8.4K 
[ ]ordinal1__t18_ordinal12024-07-27 19:18 7.9K 
[ ]ordinal1__t18_ordinal1.depv12024-08-03 10:19 119  
[ ]ordinal1__t18_ordinal1.depvmin12024-08-03 10:24 119  
[ ]ordinal1__t18_ordinal1.vmin12024-08-03 10:20 1.2K 
[ ]ordinal1__t18_ordinal1.vmin1out2024-08-03 10:21 28K 
[ ]ordinal1__t18_ordinal1.vout2024-08-03 07:23 34K 
[ ]ordinal1__t19_ordinal12024-07-27 19:19 7.0K 
[ ]ordinal1__t19_ordinal1.vout2024-08-03 09:27 7.9K 
[ ]ordinal1__t20_ordinal12024-07-27 19:19 7.9K 
[ ]ordinal1__t20_ordinal1.depv12024-08-03 10:19 209  
[ ]ordinal1__t20_ordinal1.depvmin12024-08-03 10:24 199  
[ ]ordinal1__t20_ordinal1.vmin12024-08-03 10:20 1.8K 
[ ]ordinal1__t20_ordinal1.vmin1out2024-08-03 10:21 25K 
[ ]ordinal1__t20_ordinal1.vout2024-08-03 06:36 32K 
[ ]ordinal1__t21_ordinal12024-07-27 19:20 8.9K 
[ ]ordinal1__t21_ordinal1.depv12024-08-03 10:19 167  
[ ]ordinal1__t21_ordinal1.depvmin12024-08-03 10:24 167  
[ ]ordinal1__t21_ordinal1.vmin12024-08-03 10:20 1.4K 
[ ]ordinal1__t21_ordinal1.vmin1out2024-08-03 10:22 21K 
[ ]ordinal1__t21_ordinal1.vout2024-08-03 04:38 23K 
[ ]ordinal1__t22_ordinal12024-07-27 19:20 9.2K 
[ ]ordinal1__t22_ordinal1.depv12024-08-03 10:19 247  
[ ]ordinal1__t22_ordinal1.depvmin12024-08-03 10:24 201  
[ ]ordinal1__t22_ordinal1.vmin12024-08-03 10:20 1.9K 
[ ]ordinal1__t22_ordinal1.vmin1out2024-08-03 10:23 22K 
[ ]ordinal1__t22_ordinal1.vout2024-08-03 06:16 27K 
[ ]ordinal1__t23_ordinal12024-07-27 19:21 7.5K 
[ ]ordinal1__t23_ordinal1.depv12024-08-03 10:19 119  
[ ]ordinal1__t23_ordinal1.depvmin12024-08-03 10:24 119  
[ ]ordinal1__t23_ordinal1.vmin12024-08-03 10:20 1.2K 
[ ]ordinal1__t23_ordinal1.vmin1out2024-08-03 10:20 20K 
[ ]ordinal1__t23_ordinal1.vout2024-08-03 07:31 23K 
[ ]ordinal1__t24_ordinal12024-07-27 19:22 9.1K 
[ ]ordinal1__t24_ordinal1.vout2024-08-03 08:37 6.8K 
[ ]ordinal1__t25_ordinal12024-07-27 19:22 7.1K 
[ ]ordinal1__t25_ordinal1.depv12024-08-03 10:19 129  
[ ]ordinal1__t25_ordinal1.depvmin12024-08-03 10:24 129  
[ ]ordinal1__t25_ordinal1.vmin12024-08-03 10:20 1.1K 
[ ]ordinal1__t25_ordinal1.vmin1out2024-08-03 10:23 15K 
[ ]ordinal1__t25_ordinal1.vout2024-08-03 09:20 16K 
[ ]ordinal1__t26_ordinal12024-07-27 19:23 4.1K 
[ ]ordinal1__t26_ordinal1.depv12024-08-03 10:19 78  
[ ]ordinal1__t26_ordinal1.depvmin12024-08-03 10:24 78  
[ ]ordinal1__t26_ordinal1.vmin12024-08-03 10:20 428  
[ ]ordinal1__t26_ordinal1.vmin1out2024-08-03 10:21 5.6K 
[ ]ordinal1__t26_ordinal1.vout2024-08-03 05:54 5.6K 
[ ]ordinal1__t27_ordinal12024-07-27 19:23 9.4K 
[ ]ordinal1__t27_ordinal1.vout2024-08-03 04:12 6.8K 
[ ]ordinal1__t28_ordinal12024-07-27 19:24 9.8K 
[ ]ordinal1__t28_ordinal1.vout2024-08-03 10:09 7.4K 
[ ]ordinal1__t29_ordinal12024-07-27 19:25 8.9K 
[ ]ordinal1__t29_ordinal1.depv12024-08-03 10:19 184  
[ ]ordinal1__t29_ordinal1.depvmin12024-08-03 10:24 184  
[ ]ordinal1__t29_ordinal1.vmin12024-08-03 10:20 1.5K 
[ ]ordinal1__t29_ordinal1.vmin1out2024-08-03 10:23 24K 
[ ]ordinal1__t29_ordinal1.vout2024-08-03 07:35 24K 
[ ]ordinal1__t30_ordinal12024-07-27 19:25 8.0K 
[ ]ordinal1__t30_ordinal1.depv12024-08-03 10:19 130  
[ ]ordinal1__t30_ordinal1.depvmin12024-08-03 10:24 130  
[ ]ordinal1__t30_ordinal1.vmin12024-08-03 10:20 959  
[ ]ordinal1__t30_ordinal1.vmin1out2024-08-03 10:23 9.2K 
[ ]ordinal1__t30_ordinal1.vout2024-08-03 09:47 11K 
[ ]ordinal1__t31_ordinal12024-07-27 19:09 8.7K 
[ ]ordinal1__t31_ordinal1.depv12024-08-03 10:19 72  
[ ]ordinal1__t31_ordinal1.depvmin12024-08-03 10:24 72  
[ ]ordinal1__t31_ordinal1.vmin12024-08-03 10:20 625  
[ ]ordinal1__t31_ordinal1.vmin1out2024-08-03 10:21 7.1K 
[ ]ordinal1__t31_ordinal1.vout2024-08-03 08:35 8.2K 
[ ]ordinal1__t32_ordinal12024-07-27 19:26 8.1K 
[ ]ordinal1__t32_ordinal1.depv12024-08-03 10:19 35  
[ ]ordinal1__t32_ordinal1.depvmin12024-08-03 10:24 35  
[ ]ordinal1__t32_ordinal1.vmin12024-08-03 10:20 503  
[ ]ordinal1__t32_ordinal1.vmin1out2024-08-03 10:20 9.0K 
[ ]ordinal1__t32_ordinal1.vout2024-08-03 04:54 11K 
[ ]ordinal1__t33_ordinal12024-07-27 19:10 1.6K 
[ ]ordinal1__t33_ordinal1.depv12024-08-03 10:19 65  
[ ]ordinal1__t33_ordinal1.depvmin12024-08-03 10:24 65  
[ ]ordinal1__t33_ordinal1.vmin12024-08-03 10:20 950  
[ ]ordinal1__t33_ordinal1.vmin1out2024-08-03 10:21 9.6K 
[ ]ordinal1__t33_ordinal1.vout2024-08-03 08:51 9.6K 
[ ]ordinal1__t34_ordinal12024-07-27 19:27 12K 
[ ]ordinal1__t34_ordinal1.vout2024-08-03 05:00 6.8K 
[ ]ordinal1__t35_ordinal12024-07-27 19:27 7.2K 
[ ]ordinal1__t35_ordinal1.depv12024-08-03 10:19 76  
[ ]ordinal1__t35_ordinal1.depvmin12024-08-03 10:24 76  
[ ]ordinal1__t35_ordinal1.vmin12024-08-03 10:20 563  
[ ]ordinal1__t35_ordinal1.vmin1out2024-08-03 10:21 8.7K 
[ ]ordinal1__t35_ordinal1.vout2024-08-03 06:43 9.3K 
[ ]ordinal1__t36_ordinal12024-07-27 19:28 10K 
[ ]ordinal1__t36_ordinal1.vout2024-08-03 04:20 6.8K 
[ ]ordinal1__t37_ordinal12024-07-27 19:29 9.0K 
[ ]ordinal1__t37_ordinal1.depv12024-08-03 10:19 150  
[ ]ordinal1__t37_ordinal1.depvmin12024-08-03 10:24 95  
[ ]ordinal1__t37_ordinal1.vmin12024-08-03 10:20 937  
[ ]ordinal1__t37_ordinal1.vmin1out2024-08-03 10:22 20K 
[ ]ordinal1__t37_ordinal1.vout2024-08-03 07:50 16K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80