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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prefer_1__l8_prefer_12021-07-18 10:49 22K 
[ ]prefer_1__l8_prefer_1.depv12021-07-25 20:57 37  
[ ]prefer_1__l8_prefer_1.depvmin12021-07-25 21:03 37  
[ ]prefer_1__l8_prefer_1.vmin12021-07-25 20:57 416  
[ ]prefer_1__l8_prefer_1.vmin1out2021-07-25 21:01 3.1K 
[ ]prefer_1__l8_prefer_1.vout2021-07-25 15:22 3.4K 
[ ]prefer_1__l19_prefer_12021-07-18 10:26 23K 
[ ]prefer_1__l19_prefer_1.depv12021-07-25 20:57 78  
[ ]prefer_1__l19_prefer_1.depvmin12021-07-25 21:03 78  
[ ]prefer_1__l19_prefer_1.vmin12021-07-25 20:57 507  
[ ]prefer_1__l19_prefer_1.vmin1out2021-07-25 21:02 6.4K 
[ ]prefer_1__l19_prefer_1.vout2021-07-25 16:57 6.6K 
[ ]prefer_1__l45_prefer_12021-07-18 10:50 42K 
[ ]prefer_1__l45_prefer_1.vout2021-07-25 19:47 8.4K 
[ ]prefer_1__l47_prefer_12021-07-18 10:50 39K 
[ ]prefer_1__l47_prefer_1.vout2021-07-25 15:07 4.7K 
[ ]prefer_1__l69_prefer_12021-07-18 10:51 39K 
[ ]prefer_1__l69_prefer_1.vout2021-07-25 16:54 4.7K 
[ ]prefer_1__l70_prefer_12021-07-18 10:51 41K 
[ ]prefer_1__l70_prefer_1.depv12021-07-25 20:57 189  
[ ]prefer_1__l70_prefer_1.depvmin12021-07-25 21:03 164  
[ ]prefer_1__l70_prefer_1.vmin12021-07-25 20:57 1.4K 
[ ]prefer_1__l70_prefer_1.vmin1out2021-07-25 21:00 13K 
[ ]prefer_1__l70_prefer_1.vout2021-07-25 19:14 14K 
[ ]prefer_1__t1_prefer_12021-07-18 10:26 21K 
[ ]prefer_1__t1_prefer_1.depv12021-07-25 20:57 92  
[ ]prefer_1__t1_prefer_1.depvmin12021-07-25 21:03 92  
[ ]prefer_1__t1_prefer_1.vmin12021-07-25 20:57 606  
[ ]prefer_1__t1_prefer_1.vmin1out2021-07-25 20:59 5.5K 
[ ]prefer_1__t1_prefer_1.vout2021-07-25 19:38 5.6K 
[ ]prefer_1__t2_prefer_12021-07-18 10:27 20K 
[ ]prefer_1__t2_prefer_1.depv12021-07-25 20:57 46  
[ ]prefer_1__t2_prefer_1.depvmin12021-07-25 21:03 46  
[ ]prefer_1__t2_prefer_1.vmin12021-07-25 20:57 684  
[ ]prefer_1__t2_prefer_1.vmin1out2021-07-25 21:00 12K 
[ ]prefer_1__t2_prefer_1.vout2021-07-25 14:38 12K 
[ ]prefer_1__t3_prefer_12021-07-18 10:27 26K 
[ ]prefer_1__t3_prefer_1.depv12021-07-25 20:57 151  
[ ]prefer_1__t3_prefer_1.depvmin12021-07-25 21:03 138  
[ ]prefer_1__t3_prefer_1.vmin12021-07-25 20:57 1.1K 
[ ]prefer_1__t3_prefer_1.vmin1out2021-07-25 20:57 15K 
[ ]prefer_1__t3_prefer_1.vout2021-07-25 14:23 14K 
[ ]prefer_1__t4_prefer_12021-07-18 10:27 26K 
[ ]prefer_1__t4_prefer_1.depv12021-07-25 20:57 159  
[ ]prefer_1__t4_prefer_1.depvmin12021-07-25 21:03 114  
[ ]prefer_1__t4_prefer_1.vmin12021-07-25 20:57 1.2K 
[ ]prefer_1__t4_prefer_1.vmin1out2021-07-25 21:02 10K 
[ ]prefer_1__t4_prefer_1.vout2021-07-25 16:36 16K 
[ ]prefer_1__t5_prefer_12021-07-18 10:28 19K 
[ ]prefer_1__t5_prefer_1.depv12021-07-25 20:57 98  
[ ]prefer_1__t5_prefer_1.depvmin12021-07-25 21:03 76  
[ ]prefer_1__t5_prefer_1.vmin12021-07-25 20:57 668  
[ ]prefer_1__t5_prefer_1.vmin1out2021-07-25 21:01 5.6K 
[ ]prefer_1__t5_prefer_1.vout2021-07-25 17:38 5.9K 
[ ]prefer_1__t6_prefer_12021-07-18 10:28 23K 
[ ]prefer_1__t6_prefer_1.depv12021-07-25 20:57 74  
[ ]prefer_1__t6_prefer_1.depvmin12021-07-25 21:03 74  
[ ]prefer_1__t6_prefer_1.vmin12021-07-25 20:57 797  
[ ]prefer_1__t6_prefer_1.vmin1out2021-07-25 21:02 5.5K 
[ ]prefer_1__t6_prefer_1.vout2021-07-25 15:48 6.1K 
[ ]prefer_1__t7_prefer_12021-07-18 10:29 21K 
[ ]prefer_1__t7_prefer_1.depv12021-07-25 20:57 84  
[ ]prefer_1__t7_prefer_1.depvmin12021-07-25 21:03 84  
[ ]prefer_1__t7_prefer_1.vmin12021-07-25 20:57 895  
[ ]prefer_1__t7_prefer_1.vmin1out2021-07-25 20:58 17K 
[ ]prefer_1__t7_prefer_1.vout2021-07-25 18:51 12K 
[ ]prefer_1__t8_prefer_12021-07-18 10:29 34K 
[ ]prefer_1__t8_prefer_1.vout2021-07-25 20:03 4.7K 
[ ]prefer_1__t9_prefer_12021-07-18 10:29 25K 
[ ]prefer_1__t9_prefer_1.depv12021-07-25 20:57 62  
[ ]prefer_1__t9_prefer_1.depvmin12021-07-25 21:03 62  
[ ]prefer_1__t9_prefer_1.vmin12021-07-25 20:57 748  
[ ]prefer_1__t9_prefer_1.vmin1out2021-07-25 21:02 6.8K 
[ ]prefer_1__t9_prefer_1.vout2021-07-25 14:27 7.9K 
[ ]prefer_1__t10_prefer_12021-07-18 10:30 22K 
[ ]prefer_1__t10_prefer_1.depv12021-07-25 20:57 121  
[ ]prefer_1__t10_prefer_1.depvmin12021-07-25 21:03 121  
[ ]prefer_1__t10_prefer_1.vmin12021-07-25 20:57 1.1K 
[ ]prefer_1__t10_prefer_1.vmin1out2021-07-25 20:59 16K 
[ ]prefer_1__t10_prefer_1.vout2021-07-25 20:53 15K 
[ ]prefer_1__t11_prefer_12021-07-18 10:30 36K 
[ ]prefer_1__t11_prefer_1.vout2021-07-25 17:01 7.3K 
[ ]prefer_1__t12_prefer_12021-07-18 10:31 38K 
[ ]prefer_1__t12_prefer_1.vout2021-07-25 15:24 1.1K 
[ ]prefer_1__t13_prefer_12021-07-18 10:31 24K 
[ ]prefer_1__t13_prefer_1.depv12021-07-25 20:57 119  
[ ]prefer_1__t13_prefer_1.depvmin12021-07-25 21:03 119  
[ ]prefer_1__t13_prefer_1.vmin12021-07-25 20:57 1.0K 
[ ]prefer_1__t13_prefer_1.vmin1out2021-07-25 20:59 9.2K 
[ ]prefer_1__t13_prefer_1.vout2021-07-25 19:59 8.4K 
[ ]prefer_1__t14_prefer_12021-07-18 10:31 43K 
[ ]prefer_1__t14_prefer_1.vout2021-07-25 15:17 4.1K 
[ ]prefer_1__t15_prefer_12021-07-18 10:32 33K 
[ ]prefer_1__t15_prefer_1.depv12021-07-25 20:57 142  
[ ]prefer_1__t15_prefer_1.depvmin12021-07-25 21:03 117  
[ ]prefer_1__t15_prefer_1.vmin12021-07-25 20:57 1.4K 
[ ]prefer_1__t15_prefer_1.vmin1out2021-07-25 20:59 12K 
[ ]prefer_1__t15_prefer_1.vout2021-07-25 19:45 17K 
[ ]prefer_1__t16_prefer_12021-07-18 10:32 33K 
[ ]prefer_1__t16_prefer_1.depv12021-07-25 20:57 223  
[ ]prefer_1__t16_prefer_1.depvmin12021-07-25 21:03 223  
[ ]prefer_1__t16_prefer_1.vmin12021-07-25 20:57 1.8K 
[ ]prefer_1__t16_prefer_1.vmin1out2021-07-25 20:58 51K 
[ ]prefer_1__t16_prefer_1.vout2021-07-25 16:02 37K 
[ ]prefer_1__t17_prefer_12021-07-18 10:33 35K 
[ ]prefer_1__t17_prefer_1.depv12021-07-25 20:57 167  
[ ]prefer_1__t17_prefer_1.depvmin12021-07-25 21:03 167  
[ ]prefer_1__t17_prefer_1.vmin12021-07-25 20:57 1.5K 
[ ]prefer_1__t17_prefer_1.vmin1out2021-07-25 20:59 13K 
[ ]prefer_1__t17_prefer_1.vout2021-07-25 18:04 15K 
[ ]prefer_1__t18_prefer_12021-07-18 10:33 37K 
[ ]prefer_1__t18_prefer_1.depv12021-07-25 20:57 209  
[ ]prefer_1__t18_prefer_1.depvmin12021-07-25 21:03 209  
[ ]prefer_1__t18_prefer_1.vmin12021-07-25 20:57 1.6K 
[ ]prefer_1__t18_prefer_1.vmin1out2021-07-25 21:01 12K 
[ ]prefer_1__t18_prefer_1.vout2021-07-25 14:29 12K 
[ ]prefer_1__t19_prefer_12021-07-18 10:25 24K 
[ ]prefer_1__t19_prefer_1.depv12021-07-25 20:57 36  
[ ]prefer_1__t19_prefer_1.depvmin12021-07-25 21:03 36  
[ ]prefer_1__t19_prefer_1.vmin12021-07-25 20:57 444  
[ ]prefer_1__t19_prefer_1.vmin1out2021-07-25 20:58 9.4K 
[ ]prefer_1__t19_prefer_1.vout2021-07-25 20:10 9.6K 
[ ]prefer_1__t20_prefer_12021-07-18 10:33 25K 
[ ]prefer_1__t20_prefer_1.depv12021-07-25 20:57 48  
[ ]prefer_1__t20_prefer_1.depvmin12021-07-25 21:03 48  
[ ]prefer_1__t20_prefer_1.vmin12021-07-25 20:57 700  
[ ]prefer_1__t20_prefer_1.vmin1out2021-07-25 21:00 13K 
[ ]prefer_1__t20_prefer_1.vout2021-07-25 18:35 13K 
[ ]prefer_1__t21_prefer_12021-07-18 10:34 34K 
[ ]prefer_1__t21_prefer_1.depv12021-07-25 20:57 204  
[ ]prefer_1__t21_prefer_1.depvmin12021-07-25 21:03 204  
[ ]prefer_1__t21_prefer_1.vmin12021-07-25 20:57 1.5K 
[ ]prefer_1__t21_prefer_1.vmin1out2021-07-25 21:00 13K 
[ ]prefer_1__t21_prefer_1.vout2021-07-25 15:07 25K 
[ ]prefer_1__t22_prefer_12021-07-18 10:34 25K 
[ ]prefer_1__t22_prefer_1.depv12021-07-25 20:57 48  
[ ]prefer_1__t22_prefer_1.depvmin12021-07-25 21:03 48  
[ ]prefer_1__t22_prefer_1.vmin12021-07-25 20:57 710  
[ ]prefer_1__t22_prefer_1.vmin1out2021-07-25 21:00 13K 
[ ]prefer_1__t22_prefer_1.vout2021-07-25 19:39 13K 
[ ]prefer_1__t23_prefer_12021-07-18 10:35 20K 
[ ]prefer_1__t23_prefer_1.depv12021-07-25 20:57 60  
[ ]prefer_1__t23_prefer_1.depvmin12021-07-25 21:03 60  
[ ]prefer_1__t23_prefer_1.vmin12021-07-25 20:57 608  
[ ]prefer_1__t23_prefer_1.vmin1out2021-07-25 21:00 8.1K 
[ ]prefer_1__t23_prefer_1.vout2021-07-25 15:15 7.6K 
[ ]prefer_1__t24_prefer_12021-07-18 10:35 37K 
[ ]prefer_1__t24_prefer_1.vout2021-07-25 19:13 7.4K 
[ ]prefer_1__t25_prefer_12021-07-18 10:26 34K 
[ ]prefer_1__t25_prefer_1.depv12021-07-25 20:57 128  
[ ]prefer_1__t25_prefer_1.depvmin12021-07-25 21:03 114  
[ ]prefer_1__t25_prefer_1.vmin12021-07-25 20:57 1.2K 
[ ]prefer_1__t25_prefer_1.vmin1out2021-07-25 21:00 8.6K 
[ ]prefer_1__t25_prefer_1.vout2021-07-25 20:51 20K 
[ ]prefer_1__t26_prefer_12021-07-18 10:35 48K 
[ ]prefer_1__t26_prefer_1.vout2021-07-25 16:13 4.7K 
[ ]prefer_1__t27_prefer_12021-07-18 10:36 26K 
[ ]prefer_1__t27_prefer_1.depv12021-07-25 20:57 83  
[ ]prefer_1__t27_prefer_1.depvmin12021-07-25 21:03 83  
[ ]prefer_1__t27_prefer_1.vmin12021-07-25 20:57 1.0K 
[ ]prefer_1__t27_prefer_1.vmin1out2021-07-25 20:59 27K 
[ ]prefer_1__t27_prefer_1.vout2021-07-25 19:38 20K 
[ ]prefer_1__t28_prefer_12021-07-18 10:36 34K 
[ ]prefer_1__t28_prefer_1.vout2021-07-25 19:24 2.0K 
[ ]prefer_1__t29_prefer_12021-07-18 10:37 53K 
[ ]prefer_1__t29_prefer_1.vout2021-07-25 18:06 4.7K 
[ ]prefer_1__t30_prefer_12021-07-18 10:37 44K 
[ ]prefer_1__t30_prefer_1.vout2021-07-25 20:23 7.3K 
[ ]prefer_1__t31_prefer_12021-07-18 10:38 25K 
[ ]prefer_1__t31_prefer_1.depv12021-07-25 20:57 48  
[ ]prefer_1__t31_prefer_1.depvmin12021-07-25 21:03 48  
[ ]prefer_1__t31_prefer_1.vmin12021-07-25 20:57 732  
[ ]prefer_1__t31_prefer_1.vmin1out2021-07-25 21:00 17K 
[ ]prefer_1__t31_prefer_1.vout2021-07-25 19:08 17K 
[ ]prefer_1__t32_prefer_12021-07-18 10:38 34K 
[ ]prefer_1__t32_prefer_1.vout2021-07-25 20:19 4.7K 
[ ]prefer_1__t33_prefer_12021-07-18 10:38 25K 
[ ]prefer_1__t33_prefer_1.depv12021-07-25 20:57 36  
[ ]prefer_1__t33_prefer_1.depvmin12021-07-25 21:03 36  
[ ]prefer_1__t33_prefer_1.vmin12021-07-25 20:57 664  
[ ]prefer_1__t33_prefer_1.vmin1out2021-07-25 21:02 20K 
[ ]prefer_1__t33_prefer_1.vout2021-07-25 16:11 20K 
[ ]prefer_1__t34_prefer_12021-07-18 10:39 46K 
[ ]prefer_1__t34_prefer_1.vout2021-07-25 18:28 6.2K 
[ ]prefer_1__t35_prefer_12021-07-18 10:39 35K 
[ ]prefer_1__t35_prefer_1.vout2021-07-25 18:03 7.3K 
[ ]prefer_1__t36_prefer_12021-07-18 10:39 894  
[ ]prefer_1__t36_prefer_1.depv12021-07-25 20:57 38  
[ ]prefer_1__t36_prefer_1.depvmin12021-07-25 21:03 38  
[ ]prefer_1__t36_prefer_1.vmin12021-07-25 20:57 430  
[ ]prefer_1__t36_prefer_1.vmin1out2021-07-25 21:01 4.6K 
[ ]prefer_1__t36_prefer_1.vout2021-07-25 14:51 5.1K 
[ ]prefer_1__t37_prefer_12021-07-18 10:40 45K 
[ ]prefer_1__t37_prefer_1.vout2021-07-25 16:21 4.7K 
[ ]prefer_1__t38_prefer_12021-07-18 10:40 40K 
[ ]prefer_1__t38_prefer_1.vout2021-07-25 19:54 4.7K 
[ ]prefer_1__t39_prefer_12021-07-18 10:41 48K 
[ ]prefer_1__t39_prefer_1.vout2021-07-25 16:22 4.7K 
[ ]prefer_1__t40_prefer_12021-07-18 10:41 51K 
[ ]prefer_1__t40_prefer_1.vout2021-07-25 17:04 4.7K 
[ ]prefer_1__t41_prefer_12021-07-18 10:42 52K 
[ ]prefer_1__t41_prefer_1.vout2021-07-25 17:42 4.1K 
[ ]prefer_1__t42_prefer_12021-07-18 10:42 49K 
[ ]prefer_1__t42_prefer_1.vout2021-07-25 16:24 4.1K 
[ ]prefer_1__t43_prefer_12021-07-18 10:43 54K 
[ ]prefer_1__t43_prefer_1.vout2021-07-25 16:49 4.1K 
[ ]prefer_1__t44_prefer_12021-07-18 10:43 50K 
[ ]prefer_1__t44_prefer_1.vout2021-07-25 19:20 4.1K 
[ ]prefer_1__t45_prefer_12021-07-18 10:44 54K 
[ ]prefer_1__t45_prefer_1.vout2021-07-25 18:10 4.2K 
[ ]prefer_1__t46_prefer_12021-07-18 10:44 44K 
[ ]prefer_1__t46_prefer_1.vout2021-07-25 18:24 4.7K 
[ ]prefer_1__t47_prefer_12021-07-18 10:45 45K 
[ ]prefer_1__t47_prefer_1.vout2021-07-25 18:15 4.1K 
[ ]prefer_1__t48_prefer_12021-07-18 10:45 44K 
[ ]prefer_1__t48_prefer_1.vout2021-07-25 20:40 1.1K 
[ ]prefer_1__t49_prefer_12021-07-18 10:46 54K 
[ ]prefer_1__t49_prefer_1.vout2021-07-25 16:03 4.7K 
[ ]prefer_1__t50_prefer_12021-07-18 10:46 44K 
[ ]prefer_1__t50_prefer_1.vout2021-07-25 15:18 1.1K 
[ ]prefer_1__t51_prefer_12021-07-18 10:47 43K 
[ ]prefer_1__t51_prefer_1.vout2021-07-25 14:59 1.1K 
[ ]prefer_1__t52_prefer_12021-07-18 10:47 47K 
[ ]prefer_1__t52_prefer_1.vout2021-07-25 16:58 4.7K 
[ ]prefer_1__t53_prefer_12021-07-18 10:47 42K 
[ ]prefer_1__t53_prefer_1.depv12021-07-25 20:57 412  
[ ]prefer_1__t53_prefer_1.depvmin12021-07-25 21:03 412  
[ ]prefer_1__t53_prefer_1.vmin12021-07-25 20:57 3.5K 
[ ]prefer_1__t53_prefer_1.vmin1out2021-07-25 20:59 36K 
[ ]prefer_1__t53_prefer_1.vout2021-07-25 18:28 37K 
[ ]prefer_1__t54_prefer_12021-07-18 10:48 63K 
[ ]prefer_1__t54_prefer_1.vout2021-07-25 20:03 5.8K 
[ ]prefer_1__t55_prefer_12021-07-18 10:49 68K 
[ ]prefer_1__t55_prefer_1.vout2021-07-25 14:43 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80