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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal1__t33_ordinal1.depvmin12021-07-25 21:03 65  
[ ]ordinal1__t10_ordinal1.depvmin12021-07-25 21:03 64  
[ ]ordinal1__t35_ordinal1.depvmin12021-07-25 21:03 76  
[ ]ordinal1__t31_ordinal1.depvmin12021-07-25 21:03 72  
[ ]ordinal1__t26_ordinal1.depvmin12021-07-25 21:03 78  
[ ]ordinal1__t29_ordinal1.depvmin12021-07-25 21:03 159  
[ ]ordinal1__t23_ordinal1.depvmin12021-07-25 21:03 119  
[ ]ordinal1__t21_ordinal1.depvmin12021-07-25 21:03 167  
[ ]ordinal1__t32_ordinal1.depvmin12021-07-25 21:03 35  
[ ]ordinal1__t15_ordinal1.depvmin12021-07-25 21:03 76  
[ ]ordinal1__t12_ordinal1.depvmin12021-07-25 21:03 102  
[ ]ordinal1__t8_ordinal1.depvmin12021-07-25 21:03 46  
[ ]ordinal1__t9_ordinal1.depvmin12021-07-25 21:03 44  
[ ]ordinal1__t6_ordinal1.depvmin12021-07-25 21:03 69  
[ ]ordinal1__t5_ordinal1.depvmin12021-07-25 21:03 68  
[ ]ordinal1__t25_ordinal1.depvmin12021-07-25 21:03 129  
[ ]ordinal1__t16_ordinal1.depvmin12021-07-25 21:03 102  
[ ]ordinal1__t7_ordinal1.depvmin12021-07-25 21:03 89  
[ ]ordinal1__t37_ordinal1.depvmin12021-07-25 21:03 95  
[ ]ordinal1__t30_ordinal1.depvmin12021-07-25 21:03 130  
[ ]ordinal1__t22_ordinal1.depvmin12021-07-25 21:03 201  
[ ]ordinal1__t18_ordinal1.depvmin12021-07-25 21:03 132  
[ ]ordinal1__t20_ordinal1.depvmin12021-07-25 21:03 169  
[ ]ordinal1__t7_ordinal1.vmin1out2021-07-25 21:02 9.8K 
[ ]ordinal1__t5_ordinal1.vmin1out2021-07-25 21:02 3.5K 
[ ]ordinal1__t21_ordinal1.vmin1out2021-07-25 21:01 21K 
[ ]ordinal1__t35_ordinal1.vmin1out2021-07-25 21:01 8.7K 
[ ]ordinal1__t29_ordinal1.vmin1out2021-07-25 21:01 22K 
[ ]ordinal1__t32_ordinal1.vmin1out2021-07-25 21:01 9.0K 
[ ]ordinal1__t26_ordinal1.vmin1out2021-07-25 21:01 5.6K 
[ ]ordinal1__t31_ordinal1.vmin1out2021-07-25 21:01 7.1K 
[ ]ordinal1__t37_ordinal1.vmin1out2021-07-25 21:01 20K 
[ ]ordinal1__t33_ordinal1.vmin1out2021-07-25 21:01 9.6K 
[ ]ordinal1__t25_ordinal1.vmin1out2021-07-25 21:01 15K 
[ ]ordinal1__t30_ordinal1.vmin1out2021-07-25 21:00 9.2K 
[ ]ordinal1__t15_ordinal1.vmin1out2021-07-25 20:59 6.1K 
[ ]ordinal1__t18_ordinal1.vmin1out2021-07-25 20:59 19K 
[ ]ordinal1__t8_ordinal1.vmin1out2021-07-25 20:59 11K 
[ ]ordinal1__t16_ordinal1.vmin1out2021-07-25 20:59 7.7K 
[ ]ordinal1__t23_ordinal1.vmin1out2021-07-25 20:59 20K 
[ ]ordinal1__t9_ordinal1.vmin1out2021-07-25 20:58 2.1K 
[ ]ordinal1__t10_ordinal1.vmin1out2021-07-25 20:58 7.1K 
[ ]ordinal1__t6_ordinal1.vmin1out2021-07-25 20:58 7.5K 
[ ]ordinal1__t20_ordinal1.vmin1out2021-07-25 20:58 21K 
[ ]ordinal1__t12_ordinal1.vmin1out2021-07-25 20:58 14K 
[ ]ordinal1__t22_ordinal1.vmin1out2021-07-25 20:57 22K 
[ ]ordinal1__t37_ordinal1.vmin12021-07-25 20:57 937  
[ ]ordinal1__t35_ordinal1.vmin12021-07-25 20:57 563  
[ ]ordinal1__t33_ordinal1.vmin12021-07-25 20:57 950  
[ ]ordinal1__t32_ordinal1.vmin12021-07-25 20:57 503  
[ ]ordinal1__t31_ordinal1.vmin12021-07-25 20:57 625  
[ ]ordinal1__t30_ordinal1.vmin12021-07-25 20:57 959  
[ ]ordinal1__t29_ordinal1.vmin12021-07-25 20:57 1.5K 
[ ]ordinal1__t26_ordinal1.vmin12021-07-25 20:57 428  
[ ]ordinal1__t25_ordinal1.vmin12021-07-25 20:57 1.1K 
[ ]ordinal1__t23_ordinal1.vmin12021-07-25 20:57 1.2K 
[ ]ordinal1__t22_ordinal1.vmin12021-07-25 20:57 1.9K 
[ ]ordinal1__t21_ordinal1.vmin12021-07-25 20:57 1.4K 
[ ]ordinal1__t20_ordinal1.vmin12021-07-25 20:57 2.4K 
[ ]ordinal1__t18_ordinal1.vmin12021-07-25 20:57 1.3K 
[ ]ordinal1__t16_ordinal1.vmin12021-07-25 20:57 795  
[ ]ordinal1__t15_ordinal1.vmin12021-07-25 20:57 511  
[ ]ordinal1__t12_ordinal1.vmin12021-07-25 20:57 1.1K 
[ ]ordinal1__t10_ordinal1.vmin12021-07-25 20:57 704  
[ ]ordinal1__t9_ordinal1.vmin12021-07-25 20:57 309  
[ ]ordinal1__t8_ordinal1.vmin12021-07-25 20:57 475  
[ ]ordinal1__t7_ordinal1.vmin12021-07-25 20:57 779  
[ ]ordinal1__t6_ordinal1.vmin12021-07-25 20:57 521  
[ ]ordinal1__t5_ordinal1.vmin12021-07-25 20:57 411  
[ ]ordinal1__t10_ordinal1.depv12021-07-25 20:57 64  
[ ]ordinal1__t35_ordinal1.depv12021-07-25 20:57 76  
[ ]ordinal1__t33_ordinal1.depv12021-07-25 20:57 65  
[ ]ordinal1__t26_ordinal1.depv12021-07-25 20:57 78  
[ ]ordinal1__t31_ordinal1.depv12021-07-25 20:57 72  
[ ]ordinal1__t29_ordinal1.depv12021-07-25 20:57 172  
[ ]ordinal1__t23_ordinal1.depv12021-07-25 20:57 119  
[ ]ordinal1__t32_ordinal1.depv12021-07-25 20:57 35  
[ ]ordinal1__t21_ordinal1.depv12021-07-25 20:57 167  
[ ]ordinal1__t15_ordinal1.depv12021-07-25 20:57 76  
[ ]ordinal1__t12_ordinal1.depv12021-07-25 20:57 102  
[ ]ordinal1__t8_ordinal1.depv12021-07-25 20:57 46  
[ ]ordinal1__t6_ordinal1.depv12021-07-25 20:57 69  
[ ]ordinal1__t5_ordinal1.depv12021-07-25 20:57 68  
[ ]ordinal1__t25_ordinal1.depv12021-07-25 20:57 129  
[ ]ordinal1__t16_ordinal1.depv12021-07-25 20:57 102  
[ ]ordinal1__t9_ordinal1.depv12021-07-25 20:57 56  
[ ]ordinal1__t7_ordinal1.depv12021-07-25 20:57 125  
[ ]ordinal1__t30_ordinal1.depv12021-07-25 20:57 130  
[ ]ordinal1__t22_ordinal1.depv12021-07-25 20:57 247  
[ ]ordinal1__t18_ordinal1.depv12021-07-25 20:57 132  
[ ]ordinal1__t37_ordinal1.depv12021-07-25 20:57 150  
[ ]ordinal1__t20_ordinal1.depv12021-07-25 20:57 270  
[ ]ordinal1__t24_ordinal1.vout2021-07-25 20:56 6.8K 
[ ]ordinal1__t16_ordinal1.vout2021-07-25 20:55 11K 
[ ]ordinal1__t10_ordinal1.vout2021-07-25 20:52 8.7K 
[ ]ordinal1__t36_ordinal1.vout2021-07-25 20:46 6.8K 
[ ]ordinal1__t28_ordinal1.vout2021-07-25 20:30 7.4K 
[ ]ordinal1__t9_ordinal1.vout2021-07-25 20:26 2.6K 
[ ]ordinal1__t15_ordinal1.vout2021-07-25 20:24 6.7K 
[ ]ordinal1__t18_ordinal1.vout2021-07-25 19:55 32K 
[ ]ordinal1__t17_ordinal1.vout2021-07-25 19:51 8.4K 
[ ]ordinal1__t5_ordinal1.vout2021-07-25 19:43 5.4K 
[ ]ordinal1__t25_ordinal1.vout2021-07-25 19:40 16K 
[ ]ordinal1__t23_ordinal1.vout2021-07-25 19:32 23K 
[ ]ordinal1__t35_ordinal1.vout2021-07-25 19:32 9.3K 
[ ]ordinal1__l13_ordinal1.vout2021-07-25 18:46 3.6K 
[ ]ordinal1__t19_ordinal1.vout2021-07-25 18:42 7.9K 
[ ]ordinal1__t37_ordinal1.vout2021-07-25 18:23 16K 
[ ]ordinal1__t13_ordinal1.vout2021-07-25 18:15 8.4K 
[ ]ordinal1__t27_ordinal1.vout2021-07-25 17:50 6.8K 
[ ]ordinal1__t29_ordinal1.vout2021-07-25 17:49 24K 
[ ]ordinal1__t8_ordinal1.vout2021-07-25 17:41 11K 
[ ]ordinal1__t21_ordinal1.vout2021-07-25 17:11 23K 
[ ]ordinal1__t30_ordinal1.vout2021-07-25 17:07 11K 
[ ]ordinal1__t14_ordinal1.vout2021-07-25 16:35 7.9K 
[ ]ordinal1__t26_ordinal1.vout2021-07-25 16:24 5.6K 
[ ]ordinal1__t7_ordinal1.vout2021-07-25 16:24 13K 
[ ]ordinal1__t33_ordinal1.vout2021-07-25 16:10 9.6K 
[ ]ordinal1__t6_ordinal1.vout2021-07-25 16:03 7.4K 
[ ]ordinal1__t32_ordinal1.vout2021-07-25 15:51 11K 
[ ]ordinal1__t34_ordinal1.vout2021-07-25 15:46 6.8K 
[ ]ordinal1__t22_ordinal1.vout2021-07-25 15:43 27K 
[ ]ordinal1__t20_ordinal1.vout2021-07-25 15:41 31K 
[ ]ordinal1__t12_ordinal1.vout2021-07-25 14:45 14K 
[ ]ordinal1__t11_ordinal1.vout2021-07-25 14:37 7.4K 
[ ]ordinal1__t31_ordinal1.vout2021-07-25 14:25 8.2K 
[ ]ordinal1__t37_ordinal12021-07-18 10:47 9.0K 
[ ]ordinal1__t36_ordinal12021-07-18 10:47 10K 
[ ]ordinal1__t35_ordinal12021-07-18 10:47 7.3K 
[ ]ordinal1__t34_ordinal12021-07-18 10:47 12K 
[ ]ordinal1__t32_ordinal12021-07-18 10:46 8.2K 
[ ]ordinal1__t30_ordinal12021-07-18 10:46 8.1K 
[ ]ordinal1__t29_ordinal12021-07-18 10:46 8.9K 
[ ]ordinal1__t28_ordinal12021-07-18 10:46 9.9K 
[ ]ordinal1__t27_ordinal12021-07-18 10:46 9.5K 
[ ]ordinal1__t26_ordinal12021-07-18 10:45 4.1K 
[ ]ordinal1__t25_ordinal12021-07-18 10:45 7.2K 
[ ]ordinal1__t24_ordinal12021-07-18 10:45 9.2K 
[ ]ordinal1__t23_ordinal12021-07-18 10:45 7.5K 
[ ]ordinal1__t22_ordinal12021-07-18 10:45 9.2K 
[ ]ordinal1__t21_ordinal12021-07-18 10:45 9.0K 
[ ]ordinal1__t20_ordinal12021-07-18 10:44 8.0K 
[ ]ordinal1__t19_ordinal12021-07-18 10:44 7.0K 
[ ]ordinal1__t18_ordinal12021-07-18 10:44 8.0K 
[ ]ordinal1__t17_ordinal12021-07-18 10:44 8.3K 
[ ]ordinal1__t16_ordinal12021-07-18 10:44 7.3K 
[ ]ordinal1__t15_ordinal12021-07-18 10:44 7.0K 
[ ]ordinal1__t14_ordinal12021-07-18 10:43 7.9K 
[ ]ordinal1__t13_ordinal12021-07-18 10:43 7.7K 
[ ]ordinal1__t12_ordinal12021-07-18 10:43 7.1K 
[ ]ordinal1__t11_ordinal12021-07-18 10:43 8.3K 
[ ]ordinal1__t10_ordinal12021-07-18 10:43 6.2K 
[ ]ordinal1__t9_ordinal12021-07-18 10:43 4.4K 
[ ]ordinal1__t8_ordinal12021-07-18 10:43 4.7K 
[ ]ordinal1__t7_ordinal12021-07-18 10:42 4.7K 
[ ]ordinal1__t6_ordinal12021-07-18 10:42 4.6K 
[ ]ordinal1__t5_ordinal12021-07-18 10:42 6.1K 
[ ]ordinal1__l13_ordinal12021-07-18 10:42 3.3K 
[ ]ordinal1__t33_ordinal12021-07-18 10:42 1.7K 
[ ]ordinal1__t31_ordinal12021-07-18 10:42 8.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80