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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal2__t50_ordinal2.vout2024-08-03 09:13 16K 
[ ]ordinal2__t50_ordinal2.vmin1out2024-08-03 10:22 16K 
[ ]ordinal2__t50_ordinal2.vmin12024-08-03 10:19 1.0K 
[ ]ordinal2__t50_ordinal2.depvmin12024-08-03 10:24 114  
[ ]ordinal2__t50_ordinal2.depv12024-08-03 10:19 114  
[ ]ordinal2__t50_ordinal22024-07-27 16:49 10K 
[ ]ordinal2__t49_ordinal2.vout2024-08-03 04:29 13K 
[ ]ordinal2__t49_ordinal2.vmin1out2024-08-03 10:23 12K 
[ ]ordinal2__t49_ordinal2.vmin12024-08-03 10:19 840  
[ ]ordinal2__t49_ordinal2.depvmin12024-08-03 10:24 84  
[ ]ordinal2__t49_ordinal2.depv12024-08-03 10:19 84  
[ ]ordinal2__t49_ordinal22024-07-27 16:49 9.2K 
[ ]ordinal2__t48_ordinal2.vout2024-08-03 08:52 12K 
[ ]ordinal2__t48_ordinal2.vmin1out2024-08-03 10:20 12K 
[ ]ordinal2__t48_ordinal2.vmin12024-08-03 10:19 656  
[ ]ordinal2__t48_ordinal2.depvmin12024-08-03 10:24 60  
[ ]ordinal2__t48_ordinal2.depv12024-08-03 10:19 60  
[ ]ordinal2__t48_ordinal22024-07-27 16:48 7.0K 
[ ]ordinal2__t47_ordinal2.vout2024-08-03 08:14 41K 
[ ]ordinal2__t47_ordinal2.vmin1out2024-08-03 10:20 31K 
[ ]ordinal2__t47_ordinal2.vmin12024-08-03 10:19 1.8K 
[ ]ordinal2__t47_ordinal2.depvmin12024-08-03 10:24 188  
[ ]ordinal2__t47_ordinal2.depv12024-08-03 10:19 188  
[ ]ordinal2__t47_ordinal22024-07-27 16:48 11K 
[ ]ordinal2__t46_ordinal2.vout2024-08-03 04:32 7.4K 
[ ]ordinal2__t46_ordinal22024-07-27 16:47 15K 
[ ]ordinal2__t45_ordinal2.vout2024-08-03 08:15 7.3K 
[ ]ordinal2__t45_ordinal22024-07-27 16:46 13K 
[ ]ordinal2__t44_ordinal2.vout2024-08-03 05:04 105K 
[ ]ordinal2__t44_ordinal2.vmin1out2024-08-03 10:21 97K 
[ ]ordinal2__t44_ordinal2.vmin12024-08-03 10:19 2.3K 
[ ]ordinal2__t44_ordinal2.depvmin12024-08-03 10:24 130  
[ ]ordinal2__t44_ordinal2.depv12024-08-03 10:19 130  
[ ]ordinal2__t44_ordinal22024-07-27 16:45 12K 
[ ]ordinal2__t43_ordinal2.vout2024-08-03 09:58 91K 
[ ]ordinal2__t43_ordinal2.vmin1out2024-08-03 10:20 274K 
[ ]ordinal2__t43_ordinal2.vmin12024-08-03 10:19 1.5K 
[ ]ordinal2__t43_ordinal2.depvmin12024-08-03 10:24 56  
[ ]ordinal2__t43_ordinal2.depv12024-08-03 10:19 72  
[ ]ordinal2__t43_ordinal22024-07-27 16:44 12K 
[ ]ordinal2__t42_ordinal2.vout2024-08-03 07:36 6.8K 
[ ]ordinal2__t42_ordinal22024-07-27 16:43 15K 
[ ]ordinal2__t41_ordinal2.vout2024-08-03 09:49 23K 
[ ]ordinal2__t41_ordinal2.vmin1out2024-08-03 10:23 23K 
[ ]ordinal2__t41_ordinal2.vmin12024-08-03 10:19 1.6K 
[ ]ordinal2__t41_ordinal2.depvmin12024-08-03 10:24 218  
[ ]ordinal2__t41_ordinal2.depv12024-08-03 10:19 218  
[ ]ordinal2__t41_ordinal22024-07-27 16:42 9.7K 
[ ]ordinal2__t40_ordinal2.vout2024-08-03 05:48 7.3K 
[ ]ordinal2__t40_ordinal22024-07-27 16:42 15K 
[ ]ordinal2__t39_ordinal2.vout2024-08-03 06:47 7.3K 
[ ]ordinal2__t39_ordinal22024-07-27 16:41 14K 
[ ]ordinal2__t38_ordinal2.vout2024-08-03 07:58 7.3K 
[ ]ordinal2__t38_ordinal22024-07-27 16:40 15K 
[ ]ordinal2__t37_ordinal2.vout2024-08-03 08:26 7.3K 
[ ]ordinal2__t37_ordinal22024-07-27 16:39 12K 
[ ]ordinal2__t36_ordinal2.vout2024-08-03 05:17 103K 
[ ]ordinal2__t36_ordinal2.vmin1out2024-08-03 10:23 86K 
[ ]ordinal2__t36_ordinal2.vmin12024-08-03 10:19 1.7K 
[ ]ordinal2__t36_ordinal2.depvmin12024-08-03 10:24 72  
[ ]ordinal2__t36_ordinal2.depv12024-08-03 10:19 72  
[ ]ordinal2__t36_ordinal22024-07-27 16:38 12K 
[ ]ordinal2__t35_ordinal2.vout2024-08-03 05:56 103K 
[ ]ordinal2__t35_ordinal2.vmin1out2024-08-03 10:23 248K 
[ ]ordinal2__t35_ordinal2.vmin12024-08-03 10:19 1.6K 
[ ]ordinal2__t35_ordinal2.depvmin12024-08-03 10:24 72  
[ ]ordinal2__t35_ordinal2.depv12024-08-03 10:19 72  
[ ]ordinal2__t35_ordinal22024-07-27 16:37 12K 
[ ]ordinal2__t34_ordinal2.vout2024-08-03 04:48 7.3K 
[ ]ordinal2__t34_ordinal22024-07-27 16:36 14K 
[ ]ordinal2__t33_ordinal2.vout2024-08-03 10:16 18K 
[ ]ordinal2__t33_ordinal2.vmin1out2024-08-03 10:23 18K 
[ ]ordinal2__t33_ordinal2.vmin12024-08-03 10:19 1.2K 
[ ]ordinal2__t33_ordinal2.depvmin12024-08-03 10:24 143  
[ ]ordinal2__t33_ordinal2.depv12024-08-03 10:19 143  
[ ]ordinal2__t33_ordinal22024-07-27 16:35 9.4K 
[ ]ordinal2__t32_ordinal2.vout2024-08-03 08:57 6.8K 
[ ]ordinal2__t32_ordinal22024-07-27 16:35 14K 
[ ]ordinal2__t31_ordinal2.vout2024-08-03 09:56 4.8K 
[ ]ordinal2__t31_ordinal2.vmin1out2024-08-03 10:21 4.5K 
[ ]ordinal2__t31_ordinal2.vmin12024-08-03 10:19 584  
[ ]ordinal2__t31_ordinal2.depvmin12024-08-03 10:24 78  
[ ]ordinal2__t31_ordinal2.depv12024-08-03 10:19 91  
[ ]ordinal2__t31_ordinal22024-07-27 16:34 7.3K 
[ ]ordinal2__t30_ordinal2.vout2024-08-03 08:35 7.3K 
[ ]ordinal2__t30_ordinal22024-07-27 16:33 13K 
[ ]ordinal2__t29_ordinal2.vout2024-08-03 05:18 7.3K 
[ ]ordinal2__t29_ordinal22024-07-27 16:32 12K 
[ ]ordinal2__t28_ordinal2.vout2024-08-03 06:41 7.3K 
[ ]ordinal2__t28_ordinal22024-07-27 16:31 12K 
[ ]ordinal2__t27_ordinal2.vout2024-08-03 08:55 326K 
[ ]ordinal2__t27_ordinal2.vmin1out2024-08-03 10:20 78K 
[ ]ordinal2__t27_ordinal2.vmin12024-08-03 10:19 2.1K 
[ ]ordinal2__t27_ordinal2.depvmin12024-08-03 10:24 56  
[ ]ordinal2__t27_ordinal2.depv12024-08-03 10:19 141  
[ ]ordinal2__t27_ordinal22024-07-27 16:31 12K 
[ ]ordinal2__t26_ordinal2.vout2024-08-03 08:43 5.1K 
[ ]ordinal2__t26_ordinal2.vmin1out2024-08-03 10:21 5.7K 
[ ]ordinal2__t26_ordinal2.vmin12024-08-03 10:19 488  
[ ]ordinal2__t26_ordinal2.depvmin12024-08-03 10:24 37  
[ ]ordinal2__t26_ordinal2.depv12024-08-03 10:19 37  
[ ]ordinal2__t26_ordinal22024-07-27 16:15 1.5K 
[ ]ordinal2__t25_ordinal2.vout2024-08-03 05:09 18K 
[ ]ordinal2__t25_ordinal2.vmin1out2024-08-03 10:21 18K 
[ ]ordinal2__t25_ordinal2.vmin12024-08-03 10:19 1.0K 
[ ]ordinal2__t25_ordinal2.depvmin12024-08-03 10:24 92  
[ ]ordinal2__t25_ordinal2.depv12024-08-03 10:19 92  
[ ]ordinal2__t25_ordinal22024-07-27 16:30 9.4K 
[ ]ordinal2__t24_ordinal2.vout2024-08-03 05:36 8.4K 
[ ]ordinal2__t24_ordinal22024-07-27 16:29 9.5K 
[ ]ordinal2__t23_ordinal2.vout2024-08-03 06:40 7.3K 
[ ]ordinal2__t23_ordinal22024-07-27 16:28 10K 
[ ]ordinal2__t22_ordinal2.vout2024-08-03 07:38 12K 
[ ]ordinal2__t22_ordinal2.vmin1out2024-08-03 10:21 12K 
[ ]ordinal2__t22_ordinal2.vmin12024-08-03 10:19 650  
[ ]ordinal2__t22_ordinal2.depvmin12024-08-03 10:24 62  
[ ]ordinal2__t22_ordinal2.depv12024-08-03 10:19 62  
[ ]ordinal2__t22_ordinal22024-07-27 16:28 8.8K 
[ ]ordinal2__t21_ordinal2.vout2024-08-03 09:30 11K 
[ ]ordinal2__t21_ordinal2.vmin1out2024-08-03 10:23 8.1K 
[ ]ordinal2__t21_ordinal2.vmin12024-08-03 10:19 820  
[ ]ordinal2__t21_ordinal2.depvmin12024-08-03 10:24 91  
[ ]ordinal2__t21_ordinal2.depv12024-08-03 10:19 91  
[ ]ordinal2__t21_ordinal22024-07-27 16:27 8.9K 
[ ]ordinal2__t20_ordinal2.vout2024-08-03 07:07 15K 
[ ]ordinal2__t20_ordinal2.vmin1out2024-08-03 10:20 15K 
[ ]ordinal2__t20_ordinal2.vmin12024-08-03 10:19 841  
[ ]ordinal2__t20_ordinal2.depvmin12024-08-03 10:24 85  
[ ]ordinal2__t20_ordinal2.depv12024-08-03 10:19 85  
[ ]ordinal2__t20_ordinal22024-07-27 16:26 8.9K 
[ ]ordinal2__t19_ordinal2.vout2024-08-03 08:27 13K 
[ ]ordinal2__t19_ordinal2.vmin1out2024-08-03 10:23 13K 
[ ]ordinal2__t19_ordinal2.vmin12024-08-03 10:19 782  
[ ]ordinal2__t19_ordinal2.depvmin12024-08-03 10:24 85  
[ ]ordinal2__t19_ordinal2.depv12024-08-03 10:19 85  
[ ]ordinal2__t19_ordinal22024-07-27 16:26 8.8K 
[ ]ordinal2__t18_ordinal2.vout2024-08-03 09:42 11K 
[ ]ordinal2__t18_ordinal2.vmin1out2024-08-03 10:21 11K 
[ ]ordinal2__t18_ordinal2.vmin12024-08-03 10:19 586  
[ ]ordinal2__t18_ordinal2.depvmin12024-08-03 10:24 84  
[ ]ordinal2__t18_ordinal2.depv12024-08-03 10:19 84  
[ ]ordinal2__t18_ordinal22024-07-27 16:25 8.7K 
[ ]ordinal2__t17_ordinal2.vout2024-08-03 05:58 7.9K 
[ ]ordinal2__t17_ordinal22024-07-27 16:24 9.3K 
[ ]ordinal2__t16_ordinal2.vout2024-08-03 10:04 15K 
[ ]ordinal2__t16_ordinal2.vmin1out2024-08-03 10:21 14K 
[ ]ordinal2__t16_ordinal2.vmin12024-08-03 10:19 1.1K 
[ ]ordinal2__t16_ordinal2.depvmin12024-08-03 10:24 163  
[ ]ordinal2__t16_ordinal2.depv12024-08-03 10:19 163  
[ ]ordinal2__t16_ordinal22024-07-27 16:24 9.2K 
[ ]ordinal2__t15_ordinal2.vout2024-08-03 07:08 7.3K 
[ ]ordinal2__t15_ordinal22024-07-27 16:23 9.3K 
[ ]ordinal2__t14_ordinal2.vout2024-08-03 09:13 11K 
[ ]ordinal2__t14_ordinal2.vmin1out2024-08-03 10:23 11K 
[ ]ordinal2__t14_ordinal2.vmin12024-08-03 10:19 763  
[ ]ordinal2__t14_ordinal2.depvmin12024-08-03 10:24 112  
[ ]ordinal2__t14_ordinal2.depv12024-08-03 10:19 112  
[ ]ordinal2__t14_ordinal22024-07-27 16:22 8.8K 
[ ]ordinal2__t13_ordinal2.vout2024-08-03 08:11 7.4K 
[ ]ordinal2__t13_ordinal22024-07-27 16:22 9.0K 
[ ]ordinal2__t12_ordinal2.vout2024-08-03 04:43 15K 
[ ]ordinal2__t12_ordinal2.vmin1out2024-08-03 10:21 14K 
[ ]ordinal2__t12_ordinal2.vmin12024-08-03 10:19 549  
[ ]ordinal2__t12_ordinal2.depvmin12024-08-03 10:24 48  
[ ]ordinal2__t12_ordinal2.depv12024-08-03 10:19 48  
[ ]ordinal2__t12_ordinal22024-07-27 16:21 8.2K 
[ ]ordinal2__t11_ordinal2.vout2024-08-03 06:47 16K 
[ ]ordinal2__t11_ordinal2.vmin1out2024-08-03 10:23 16K 
[ ]ordinal2__t11_ordinal2.vmin12024-08-03 10:19 436  
[ ]ordinal2__t11_ordinal2.depvmin12024-08-03 10:24 36  
[ ]ordinal2__t11_ordinal2.depv12024-08-03 10:19 36  
[ ]ordinal2__t11_ordinal22024-07-27 16:20 8.0K 
[ ]ordinal2__t10_ordinal2.vout2024-08-03 05:32 9.1K 
[ ]ordinal2__t10_ordinal2.vmin1out2024-08-03 10:22 8.7K 
[ ]ordinal2__t10_ordinal2.vmin12024-08-03 10:19 388  
[ ]ordinal2__t10_ordinal2.depvmin12024-08-03 10:24 36  
[ ]ordinal2__t10_ordinal2.depv12024-08-03 10:19 36  
[ ]ordinal2__t10_ordinal22024-07-27 16:15 8.0K 
[ ]ordinal2__t9_ordinal2.vout2024-08-03 07:47 9.6K 
[ ]ordinal2__t9_ordinal2.vmin1out2024-08-03 10:20 10K 
[ ]ordinal2__t9_ordinal2.vmin12024-08-03 10:19 391  
[ ]ordinal2__t9_ordinal2.depvmin12024-08-03 10:24 34  
[ ]ordinal2__t9_ordinal2.depv12024-08-03 10:19 34  
[ ]ordinal2__t9_ordinal22024-07-27 16:20 8.0K 
[ ]ordinal2__t8_ordinal2.vout2024-08-03 04:31 8.5K 
[ ]ordinal2__t8_ordinal2.vmin1out2024-08-03 10:20 8.5K 
[ ]ordinal2__t8_ordinal2.vmin12024-08-03 10:19 524  
[ ]ordinal2__t8_ordinal2.depvmin12024-08-03 10:24 70  
[ ]ordinal2__t8_ordinal2.depv12024-08-03 10:19 70  
[ ]ordinal2__t8_ordinal22024-07-27 16:19 5.4K 
[ ]ordinal2__t7_ordinal2.vout2024-08-03 09:40 6.8K 
[ ]ordinal2__t7_ordinal2.vmin1out2024-08-03 10:22 6.4K 
[ ]ordinal2__t7_ordinal2.vmin12024-08-03 10:19 343  
[ ]ordinal2__t7_ordinal2.depvmin12024-08-03 10:24 34  
[ ]ordinal2__t7_ordinal2.depv12024-08-03 10:19 34  
[ ]ordinal2__t7_ordinal22024-07-27 16:14 7.9K 
[ ]ordinal2__t6_ordinal2.vout2024-08-03 07:34 5.2K 
[ ]ordinal2__t6_ordinal2.vmin1out2024-08-03 10:23 4.9K 
[ ]ordinal2__t6_ordinal2.vmin12024-08-03 10:19 452  
[ ]ordinal2__t6_ordinal2.depvmin12024-08-03 10:24 36  
[ ]ordinal2__t6_ordinal2.depv12024-08-03 10:19 36  
[ ]ordinal2__t6_ordinal22024-07-27 16:13 7.1K 
[ ]ordinal2__t5_ordinal2.vout2024-08-03 08:56 17K 
[ ]ordinal2__t5_ordinal2.vmin1out2024-08-03 10:23 16K 
[ ]ordinal2__t5_ordinal2.vmin12024-08-03 10:19 1.1K 
[ ]ordinal2__t5_ordinal2.depvmin12024-08-03 10:24 143  
[ ]ordinal2__t5_ordinal2.depv12024-08-03 10:19 143  
[ ]ordinal2__t5_ordinal22024-07-27 16:18 8.7K 
[ ]ordinal2__t4_ordinal2.vout2024-08-03 09:34 14K 
[ ]ordinal2__t4_ordinal22024-07-27 16:13 5.6K 
[ ]ordinal2__t3_ordinal2.vout2024-08-03 05:38 13K 
[ ]ordinal2__t3_ordinal2.vmin1out2024-08-03 10:23 13K 
[ ]ordinal2__t3_ordinal2.vmin12024-08-03 10:19 1.1K 
[ ]ordinal2__t3_ordinal2.depvmin12024-08-03 10:24 162  
[ ]ordinal2__t3_ordinal2.depv12024-08-03 10:19 162  
[ ]ordinal2__t3_ordinal22024-07-27 16:18 9.6K 
[ ]ordinal2__t2_ordinal2.vout2024-08-03 09:47 17K 
[ ]ordinal2__t2_ordinal2.vmin1out2024-08-03 10:23 18K 
[ ]ordinal2__t2_ordinal2.vmin12024-08-03 10:19 1.1K 
[ ]ordinal2__t2_ordinal2.depvmin12024-08-03 10:24 141  
[ ]ordinal2__t2_ordinal2.depv12024-08-03 10:19 141  
[ ]ordinal2__t2_ordinal22024-07-27 16:17 9.8K 
[ ]ordinal2__t1_ordinal2.vout2024-08-03 07:36 7.4K 
[ ]ordinal2__t1_ordinal2.vmin1out2024-08-03 10:20 9.8K 
[ ]ordinal2__t1_ordinal2.vmin12024-08-03 10:19 598  
[ ]ordinal2__t1_ordinal2.depvmin12024-08-03 10:24 51  
[ ]ordinal2__t1_ordinal2.depv12024-08-03 10:19 51  
[ ]ordinal2__t1_ordinal22024-07-27 16:16 9.4K 
[ ]ordinal2__l47_ordinal2.vout2024-08-03 07:22 2.4K 
[ ]ordinal2__l47_ordinal2.vmin1out2024-08-03 10:20 2.5K 
[ ]ordinal2__l47_ordinal2.vmin12024-08-03 10:19 279  
[ ]ordinal2__l47_ordinal2.depvmin12024-08-03 10:24 73  
[ ]ordinal2__l47_ordinal2.depv12024-08-03 10:19 73  
[ ]ordinal2__l47_ordinal22024-07-27 16:16 6.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80