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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]turing_1__l38_turing_12021-07-17 20:28 68K 
[ ]turing_1__l38_turing_1.depv12021-07-25 20:57 91  
[ ]turing_1__l38_turing_1.depvmin12021-07-25 21:03 91  
[ ]turing_1__l38_turing_1.vmin12021-07-25 20:57 1.2K 
[ ]turing_1__l38_turing_1.vmin1out2021-07-25 21:02 12K 
[ ]turing_1__l38_turing_1.vout2021-07-25 17:50 12K 
[ ]turing_1__l40_turing_12021-07-17 20:29 68K 
[ ]turing_1__l40_turing_1.depv12021-07-25 20:57 141  
[ ]turing_1__l40_turing_1.depvmin12021-07-25 21:03 141  
[ ]turing_1__l40_turing_1.vmin12021-07-25 20:57 1.5K 
[ ]turing_1__l40_turing_1.vmin1out2021-07-25 20:59 16K 
[ ]turing_1__l40_turing_1.vout2021-07-25 19:00 12K 
[ ]turing_1__l42_turing_12021-07-17 20:29 77K 
[ ]turing_1__l42_turing_1.depv12021-07-25 20:57 92  
[ ]turing_1__l42_turing_1.depvmin12021-07-25 21:03 92  
[ ]turing_1__l42_turing_1.vmin12021-07-25 20:57 2.3K 
[ ]turing_1__l42_turing_1.vmin1out2021-07-25 20:57 27K 
[ ]turing_1__l42_turing_1.vout2021-07-25 20:28 27K 
[ ]turing_1__l44_turing_12021-07-17 20:30 68K 
[ ]turing_1__l44_turing_1.vout2021-07-25 17:30 4.7K 
[ ]turing_1__l52_turing_12021-07-17 20:31 63K 
[ ]turing_1__l52_turing_1.depv12021-07-25 20:57 91  
[ ]turing_1__l52_turing_1.depvmin12021-07-25 21:03 91  
[ ]turing_1__l52_turing_1.vmin12021-07-25 20:57 1.2K 
[ ]turing_1__l52_turing_1.vmin1out2021-07-25 21:00 12K 
[ ]turing_1__l52_turing_1.vout2021-07-25 20:09 12K 
[ ]turing_1__l53_turing_12021-07-17 20:31 63K 
[ ]turing_1__l53_turing_1.depv12021-07-25 20:57 141  
[ ]turing_1__l53_turing_1.depvmin12021-07-25 21:03 141  
[ ]turing_1__l53_turing_1.vmin12021-07-25 20:57 1.5K 
[ ]turing_1__l53_turing_1.vmin1out2021-07-25 21:02 16K 
[ ]turing_1__l53_turing_1.vout2021-07-25 16:46 12K 
[ ]turing_1__l54_turing_12021-07-17 20:32 71K 
[ ]turing_1__l54_turing_1.depv12021-07-25 20:57 92  
[ ]turing_1__l54_turing_1.depvmin12021-07-25 21:03 92  
[ ]turing_1__l54_turing_1.vmin12021-07-25 20:57 2.3K 
[ ]turing_1__l54_turing_1.vmin1out2021-07-25 20:59 27K 
[ ]turing_1__l54_turing_1.vout2021-07-25 18:15 27K 
[ ]turing_1__l60_turing_12021-07-17 20:33 63K 
[ ]turing_1__l60_turing_1.depv12021-07-25 20:57 91  
[ ]turing_1__l60_turing_1.depvmin12021-07-25 21:03 91  
[ ]turing_1__l60_turing_1.vmin12021-07-25 20:57 1.2K 
[ ]turing_1__l60_turing_1.vmin1out2021-07-25 20:57 12K 
[ ]turing_1__l60_turing_1.vout2021-07-25 19:03 12K 
[ ]turing_1__l61_turing_12021-07-17 20:33 63K 
[ ]turing_1__l61_turing_1.depv12021-07-25 20:57 141  
[ ]turing_1__l61_turing_1.depvmin12021-07-25 21:03 141  
[ ]turing_1__l61_turing_1.vmin12021-07-25 20:57 1.5K 
[ ]turing_1__l61_turing_1.vmin1out2021-07-25 21:01 16K 
[ ]turing_1__l61_turing_1.vout2021-07-25 16:37 12K 
[ ]turing_1__l62_turing_12021-07-17 20:34 71K 
[ ]turing_1__l62_turing_1.depv12021-07-25 20:57 92  
[ ]turing_1__l62_turing_1.depvmin12021-07-25 21:03 92  
[ ]turing_1__l62_turing_1.vmin12021-07-25 20:57 2.3K 
[ ]turing_1__l62_turing_1.vmin1out2021-07-25 20:57 27K 
[ ]turing_1__l62_turing_1.vout2021-07-25 16:19 27K 
[ ]turing_1__l68_turing_12021-07-17 20:35 58K 
[ ]turing_1__l68_turing_1.depv12021-07-25 20:57 91  
[ ]turing_1__l68_turing_1.depvmin12021-07-25 21:03 91  
[ ]turing_1__l68_turing_1.vmin12021-07-25 20:57 1.2K 
[ ]turing_1__l68_turing_1.vmin1out2021-07-25 20:59 12K 
[ ]turing_1__l68_turing_1.vout2021-07-25 17:40 12K 
[ ]turing_1__l69_turing_12021-07-17 20:35 58K 
[ ]turing_1__l69_turing_1.depv12021-07-25 20:57 141  
[ ]turing_1__l69_turing_1.depvmin12021-07-25 21:03 141  
[ ]turing_1__l69_turing_1.vmin12021-07-25 20:57 1.5K 
[ ]turing_1__l69_turing_1.vmin1out2021-07-25 20:58 16K 
[ ]turing_1__l69_turing_1.vout2021-07-25 17:18 12K 
[ ]turing_1__l70_turing_12021-07-17 20:36 67K 
[ ]turing_1__l70_turing_1.depv12021-07-25 20:57 92  
[ ]turing_1__l70_turing_1.depvmin12021-07-25 21:03 92  
[ ]turing_1__l70_turing_1.vmin12021-07-25 20:57 2.3K 
[ ]turing_1__l70_turing_1.vmin1out2021-07-25 21:01 27K 
[ ]turing_1__l70_turing_1.vout2021-07-25 20:31 27K 
[ ]turing_1__l71_turing_12021-07-17 20:37 70K 
[ ]turing_1__l71_turing_1.vout2021-07-25 14:33 4.7K 
[ ]turing_1__l94_turing_12021-07-17 20:38 60K 
[ ]turing_1__l94_turing_1.vout2021-07-25 15:14 6.8K 
[ ]turing_1__t1_turing_12021-07-17 19:57 16K 
[ ]turing_1__t1_turing_1.depv12021-07-25 20:57 71  
[ ]turing_1__t1_turing_1.depvmin12021-07-25 21:03 71  
[ ]turing_1__t1_turing_1.vmin12021-07-25 20:57 515  
[ ]turing_1__t1_turing_1.vmin1out2021-07-25 20:58 9.7K 
[ ]turing_1__t1_turing_1.vout2021-07-25 15:53 11K 
[ ]turing_1__t2_turing_12021-07-17 19:57 34K 
[ ]turing_1__t2_turing_1.depv12021-07-25 20:57 136  
[ ]turing_1__t2_turing_1.depvmin12021-07-25 21:03 136  
[ ]turing_1__t2_turing_1.vmin12021-07-25 20:57 1.4K 
[ ]turing_1__t2_turing_1.vmin1out2021-07-25 20:59 13K 
[ ]turing_1__t2_turing_1.vout2021-07-25 15:27 15K 
[ ]turing_1__t3_turing_12021-07-17 19:58 34K 
[ ]turing_1__t3_turing_1.depv12021-07-25 20:57 136  
[ ]turing_1__t3_turing_1.depvmin12021-07-25 21:03 136  
[ ]turing_1__t3_turing_1.vmin12021-07-25 20:57 1.4K 
[ ]turing_1__t3_turing_1.vmin1out2021-07-25 21:00 13K 
[ ]turing_1__t3_turing_1.vout2021-07-25 19:16 15K 
[ ]turing_1__t4_turing_12021-07-17 19:59 48K 
[ ]turing_1__t4_turing_1.vout2021-07-25 15:27 7.3K 
[ ]turing_1__t5_turing_12021-07-17 19:59 51K 
[ ]turing_1__t5_turing_1.vout2021-07-25 19:42 7.3K 
[ ]turing_1__t6_turing_12021-07-17 19:55 45K 
[ ]turing_1__t6_turing_1.depv12021-07-25 20:57 24  
[ ]turing_1__t6_turing_1.depvmin12021-07-25 21:03 24  
[ ]turing_1__t6_turing_1.vmin12021-07-25 20:57 1.1K 
[ ]turing_1__t6_turing_1.vmin1out2021-07-25 20:59 6.5K 
[ ]turing_1__t6_turing_1.vout2021-07-25 20:12 6.8K 
[ ]turing_1__t7_turing_12021-07-17 19:56 30K 
[ ]turing_1__t7_turing_1.depv12021-07-25 20:57 76  
[ ]turing_1__t7_turing_1.depvmin12021-07-25 21:03 76  
[ ]turing_1__t7_turing_1.vmin12021-07-25 20:57 1.7K 
[ ]turing_1__t7_turing_1.vmin1out2021-07-25 20:58 20K 
[ ]turing_1__t7_turing_1.vout2021-07-25 19:14 20K 
[ ]turing_1__t8_turing_12021-07-17 19:56 30K 
[ ]turing_1__t8_turing_1.depv12021-07-25 20:57 39  
[ ]turing_1__t8_turing_1.depvmin12021-07-25 21:03 39  
[ ]turing_1__t8_turing_1.vmin12021-07-25 20:57 1.8K 
[ ]turing_1__t8_turing_1.vmin1out2021-07-25 21:00 24K 
[ ]turing_1__t8_turing_1.vout2021-07-25 14:35 24K 
[ ]turing_1__t9_turing_12021-07-17 20:00 30K 
[ ]turing_1__t9_turing_1.depv12021-07-25 20:57 227  
[ ]turing_1__t9_turing_1.depvmin12021-07-25 21:03 213  
[ ]turing_1__t9_turing_1.vmin12021-07-25 20:57 2.5K 
[ ]turing_1__t9_turing_1.vmin1out2021-07-25 20:58 36K 
[ ]turing_1__t9_turing_1.vout2021-07-25 20:38 35K 
[ ]turing_1__t10_turing_12021-07-17 20:00 32K 
[ ]turing_1__t10_turing_1.vout2021-07-25 18:29 7.3K 
[ ]turing_1__t11_turing_12021-07-17 20:01 38K 
[ ]turing_1__t11_turing_1.vout2021-07-25 17:59 7.3K 
[ ]turing_1__t12_turing_12021-07-17 20:01 49K 
[ ]turing_1__t12_turing_1.vout2021-07-25 15:51 2.0K 
[ ]turing_1__t13_turing_12021-07-17 20:02 31K 
[ ]turing_1__t13_turing_1.depv12021-07-25 20:57 94  
[ ]turing_1__t13_turing_1.depvmin12021-07-25 21:03 94  
[ ]turing_1__t13_turing_1.vmin12021-07-25 20:57 3.4K 
[ ]turing_1__t13_turing_1.vmin1out2021-07-25 21:00 69K 
[ ]turing_1__t13_turing_1.vout2021-07-25 15:18 66K 
[ ]turing_1__t14_turing_12021-07-17 20:02 68K 
[ ]turing_1__t14_turing_1.vout2021-07-25 16:46 10K 
[ ]turing_1__t15_turing_12021-07-17 20:03 68K 
[ ]turing_1__t15_turing_1.vout2021-07-25 16:31 6.9K 
[ ]turing_1__t16_turing_12021-07-17 20:04 59K 
[ ]turing_1__t16_turing_1.vout2021-07-25 19:04 6.8K 
[ ]turing_1__t17_turing_12021-07-17 20:04 53K 
[ ]turing_1__t17_turing_1.vout2021-07-25 17:18 7.3K 
[ ]turing_1__t18_turing_12021-07-17 20:05 162K 
[ ]turing_1__t18_turing_1.vout2021-07-25 20:22 6.8K 
[ ]turing_1__t19_turing_12021-07-17 20:06 57K 
[ ]turing_1__t19_turing_1.vout2021-07-25 20:51 7.3K 
[ ]turing_1__t20_turing_12021-07-17 20:06 162K 
[ ]turing_1__t20_turing_1.vout2021-07-25 20:14 7.3K 
[ ]turing_1__t21_turing_12021-07-17 20:07 273K 
[ ]turing_1__t21_turing_1.vout2021-07-25 18:02 7.3K 
[ ]turing_1__t22_turing_12021-07-17 20:08 68K 
[ ]turing_1__t22_turing_1.vout2021-07-25 15:11 6.8K 
[ ]turing_1__t23_turing_12021-07-17 20:08 271K 
[ ]turing_1__t23_turing_1.vout2021-07-25 20:29 6.8K 
[ ]turing_1__t24_turing_12021-07-17 20:09 40K 
[ ]turing_1__t24_turing_1.depv12021-07-25 20:57 263  
[ ]turing_1__t24_turing_1.depvmin12021-07-25 21:03 263  
[ ]turing_1__t24_turing_1.vmin12021-07-25 20:57 2.8K 
[ ]turing_1__t24_turing_1.vmin1out2021-07-25 21:02 45K 
[ ]turing_1__t24_turing_1.vout2021-07-25 17:49 36K 
[ ]turing_1__t25_turing_12021-07-17 19:57 45K 
[ ]turing_1__t25_turing_1.depv12021-07-25 20:57 156  
[ ]turing_1__t25_turing_1.depvmin12021-07-25 21:03 156  
[ ]turing_1__t25_turing_1.vmin12021-07-25 20:57 2.4K 
[ ]turing_1__t25_turing_1.vmin1out2021-07-25 21:00 22K 
[ ]turing_1__t25_turing_1.vout2021-07-25 14:57 22K 
[ ]turing_1__t26_turing_12021-07-17 20:09 36K 
[ ]turing_1__t26_turing_1.depv12021-07-25 20:57 243  
[ ]turing_1__t26_turing_1.depvmin12021-07-25 21:03 224  
[ ]turing_1__t26_turing_1.vmin12021-07-25 20:57 2.6K 
[ ]turing_1__t26_turing_1.vmin1out2021-07-25 21:00 29K 
[ ]turing_1__t26_turing_1.vout2021-07-25 20:45 30K 
[ ]turing_1__t27_turing_12021-07-17 20:11 547K 
[ ]turing_1__t27_turing_1.vout2021-07-25 19:46 7.3K 
[ ]turing_1__t28_turing_12021-07-17 20:11 43K 
[ ]turing_1__t28_turing_1.depv12021-07-25 20:57 257  
[ ]turing_1__t28_turing_1.depvmin12021-07-25 21:03 257  
[ ]turing_1__t28_turing_1.vmin12021-07-25 20:57 2.9K 
[ ]turing_1__t28_turing_1.vmin1out2021-07-25 21:00 22K 
[ ]turing_1__t28_turing_1.vout2021-07-25 14:50 22K 
[ ]turing_1__t29_turing_12021-07-17 20:12 133K 
[ ]turing_1__t29_turing_1.vout2021-07-25 15:09 8.4K 
[ ]turing_1__t30_turing_12021-07-17 20:13 62K 
[ ]turing_1__t30_turing_1.vout2021-07-25 18:42 10K 
[ ]turing_1__t31_turing_12021-07-17 20:14 501K 
[ ]turing_1__t31_turing_1.vout2021-07-25 16:13 7.3K 
[ ]turing_1__t32_turing_12021-07-17 20:15 114K 
[ ]turing_1__t32_turing_1.vout2021-07-25 20:39 8.4K 
[ ]turing_1__t33_turing_12021-07-17 20:16 61K 
[ ]turing_1__t33_turing_1.vout2021-07-25 20:11 10K 
[ ]turing_1__t34_turing_12021-07-17 20:17 305K 
[ ]turing_1__t34_turing_1.vout2021-07-25 17:11 6.8K 
[ ]turing_1__t35_turing_12021-07-17 20:18 106K 
[ ]turing_1__t35_turing_1.vout2021-07-25 15:50 7.3K 
[ ]turing_1__t36_turing_12021-07-17 20:18 57K 
[ ]turing_1__t36_turing_1.vout2021-07-25 16:35 10K 
[ ]turing_1__t37_turing_12021-07-17 20:20 351K 
[ ]turing_1__t37_turing_1.vout2021-07-25 18:40 6.8K 
[ ]turing_1__t38_turing_12021-07-17 20:21 414K 
[ ]turing_1__t38_turing_1.vout2021-07-25 20:49 7.3K 
[ ]turing_1__t39_turing_12021-07-17 20:21 22K 
[ ]turing_1__t39_turing_1.vout2021-07-25 20:38 6.3K 
[ ]turing_1__t40_turing_12021-07-17 20:21 22K 
[ ]turing_1__t40_turing_1.vout2021-07-25 19:08 4.7K 
[ ]turing_1__t41_turing_12021-07-17 20:22 22K 
[ ]turing_1__t41_turing_1.vout2021-07-25 18:53 5.3K 
[ ]turing_1__t42_turing_12021-07-17 20:22 22K 
[ ]turing_1__t42_turing_1.vout2021-07-25 18:47 4.7K 
[ ]turing_1__t43_turing_12021-07-17 20:23 48K 
[ ]turing_1__t43_turing_1.vout2021-07-25 15:57 4.7K 
[ ]turing_1__t44_turing_12021-07-17 20:24 48K 
[ ]turing_1__t44_turing_1.vout2021-07-25 18:01 4.7K 
[ ]turing_1__t45_turing_12021-07-17 20:25 80K 
[ ]turing_1__t45_turing_1.vout2021-07-25 18:59 4.7K 
[ ]turing_1__t46_turing_12021-07-17 20:25 34K 
[ ]turing_1__t46_turing_1.depv12021-07-25 20:57 66  
[ ]turing_1__t46_turing_1.depvmin12021-07-25 21:03 66  
[ ]turing_1__t46_turing_1.vmin12021-07-25 20:57 1.4K 
[ ]turing_1__t46_turing_1.vmin1out2021-07-25 21:02 16K 
[ ]turing_1__t46_turing_1.vout2021-07-25 19:40 14K 
[ ]turing_1__t47_turing_12021-07-17 20:26 34K 
[ ]turing_1__t47_turing_1.depv12021-07-25 20:57 66  
[ ]turing_1__t47_turing_1.depvmin12021-07-25 21:03 66  
[ ]turing_1__t47_turing_1.vmin12021-07-25 20:57 1.5K 
[ ]turing_1__t47_turing_1.vmin1out2021-07-25 21:00 17K 
[ ]turing_1__t47_turing_1.vout2021-07-25 16:49 15K 
[ ]turing_1__t48_turing_12021-07-17 20:26 54K 
[ ]turing_1__t48_turing_1.vout2021-07-25 17:18 7.3K 
[ ]turing_1__t49_turing_12021-07-17 20:27 110K 
[ ]turing_1__t49_turing_1.vout2021-07-25 15:30 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80