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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]turing_1__l38_turing_12024-07-27 20:03 72K 
[ ]turing_1__l38_turing_1.depv12024-08-03 10:19 91  
[ ]turing_1__l38_turing_1.depvmin12024-08-03 10:24 91  
[ ]turing_1__l38_turing_1.vmin12024-08-03 10:19 1.2K 
[ ]turing_1__l38_turing_1.vmin1out2024-08-03 10:20 12K 
[ ]turing_1__l38_turing_1.vout2024-08-03 04:21 12K 
[ ]turing_1__l40_turing_12024-07-27 20:05 72K 
[ ]turing_1__l40_turing_1.depv12024-08-03 10:19 141  
[ ]turing_1__l40_turing_1.depvmin12024-08-03 10:24 141  
[ ]turing_1__l40_turing_1.vmin12024-08-03 10:19 1.5K 
[ ]turing_1__l40_turing_1.vmin1out2024-08-03 10:20 16K 
[ ]turing_1__l40_turing_1.vout2024-08-03 10:13 12K 
[ ]turing_1__l42_turing_12024-07-27 20:07 80K 
[ ]turing_1__l42_turing_1.depv12024-08-03 10:19 92  
[ ]turing_1__l42_turing_1.depvmin12024-08-03 10:24 92  
[ ]turing_1__l42_turing_1.vmin12024-08-03 10:19 2.3K 
[ ]turing_1__l42_turing_1.vmin1out2024-08-03 10:20 27K 
[ ]turing_1__l42_turing_1.vout2024-08-03 05:40 27K 
[ ]turing_1__l44_turing_12024-07-27 20:09 71K 
[ ]turing_1__l44_turing_1.vout2024-08-03 06:41 4.7K 
[ ]turing_1__l52_turing_12024-07-27 20:11 66K 
[ ]turing_1__l52_turing_1.depv12024-08-03 10:19 91  
[ ]turing_1__l52_turing_1.depvmin12024-08-03 10:24 91  
[ ]turing_1__l52_turing_1.vmin12024-08-03 10:19 1.2K 
[ ]turing_1__l52_turing_1.vmin1out2024-08-03 10:22 12K 
[ ]turing_1__l52_turing_1.vout2024-08-03 06:16 12K 
[ ]turing_1__l53_turing_12024-07-27 20:13 66K 
[ ]turing_1__l53_turing_1.depv12024-08-03 10:19 176  
[ ]turing_1__l53_turing_1.depvmin12024-08-03 10:24 176  
[ ]turing_1__l53_turing_1.vmin12024-08-03 10:19 1.6K 
[ ]turing_1__l53_turing_1.vmin1out2024-08-03 10:22 14K 
[ ]turing_1__l53_turing_1.vout2024-08-03 06:51 13K 
[ ]turing_1__l54_turing_12024-07-27 20:15 74K 
[ ]turing_1__l54_turing_1.depv12024-08-03 10:19 92  
[ ]turing_1__l54_turing_1.depvmin12024-08-03 10:24 92  
[ ]turing_1__l54_turing_1.vmin12024-08-03 10:19 2.3K 
[ ]turing_1__l54_turing_1.vmin1out2024-08-03 10:23 27K 
[ ]turing_1__l54_turing_1.vout2024-08-03 05:04 27K 
[ ]turing_1__l60_turing_12024-07-27 20:16 66K 
[ ]turing_1__l60_turing_1.depv12024-08-03 10:19 91  
[ ]turing_1__l60_turing_1.depvmin12024-08-03 10:24 91  
[ ]turing_1__l60_turing_1.vmin12024-08-03 10:19 1.2K 
[ ]turing_1__l60_turing_1.vmin1out2024-08-03 10:22 12K 
[ ]turing_1__l60_turing_1.vout2024-08-03 06:47 12K 
[ ]turing_1__l61_turing_12024-07-27 20:18 66K 
[ ]turing_1__l61_turing_1.depv12024-08-03 10:19 176  
[ ]turing_1__l61_turing_1.depvmin12024-08-03 10:24 176  
[ ]turing_1__l61_turing_1.vmin12024-08-03 10:19 1.6K 
[ ]turing_1__l61_turing_1.vmin1out2024-08-03 10:20 14K 
[ ]turing_1__l61_turing_1.vout2024-08-03 06:04 13K 
[ ]turing_1__l62_turing_12024-07-27 20:20 74K 
[ ]turing_1__l62_turing_1.depv12024-08-03 10:19 92  
[ ]turing_1__l62_turing_1.depvmin12024-08-03 10:24 92  
[ ]turing_1__l62_turing_1.vmin12024-08-03 10:19 2.3K 
[ ]turing_1__l62_turing_1.vmin1out2024-08-03 10:20 27K 
[ ]turing_1__l62_turing_1.vout2024-08-03 08:27 27K 
[ ]turing_1__l68_turing_12024-07-27 20:22 61K 
[ ]turing_1__l68_turing_1.depv12024-08-03 10:19 91  
[ ]turing_1__l68_turing_1.depvmin12024-08-03 10:24 91  
[ ]turing_1__l68_turing_1.vmin12024-08-03 10:19 1.2K 
[ ]turing_1__l68_turing_1.vmin1out2024-08-03 10:21 12K 
[ ]turing_1__l68_turing_1.vout2024-08-03 09:08 12K 
[ ]turing_1__l69_turing_12024-07-27 20:24 61K 
[ ]turing_1__l69_turing_1.depv12024-08-03 10:19 176  
[ ]turing_1__l69_turing_1.depvmin12024-08-03 10:24 176  
[ ]turing_1__l69_turing_1.vmin12024-08-03 10:19 1.6K 
[ ]turing_1__l69_turing_1.vmin1out2024-08-03 10:22 14K 
[ ]turing_1__l69_turing_1.vout2024-08-03 09:57 13K 
[ ]turing_1__l70_turing_12024-07-27 20:26 70K 
[ ]turing_1__l70_turing_1.depv12024-08-03 10:19 92  
[ ]turing_1__l70_turing_1.depvmin12024-08-03 10:24 92  
[ ]turing_1__l70_turing_1.vmin12024-08-03 10:19 2.3K 
[ ]turing_1__l70_turing_1.vmin1out2024-08-03 10:22 27K 
[ ]turing_1__l70_turing_1.vout2024-08-03 09:11 27K 
[ ]turing_1__l71_turing_12024-07-27 20:28 72K 
[ ]turing_1__l71_turing_1.vout2024-08-03 08:58 4.7K 
[ ]turing_1__l94_turing_12024-07-27 20:30 70K 
[ ]turing_1__l94_turing_1.vout2024-08-03 05:09 6.8K 
[ ]turing_1__t1_turing_12024-07-27 18:35 17K 
[ ]turing_1__t1_turing_1.depv12024-08-03 10:19 71  
[ ]turing_1__t1_turing_1.depvmin12024-08-03 10:24 71  
[ ]turing_1__t1_turing_1.vmin12024-08-03 10:19 515  
[ ]turing_1__t1_turing_1.vmin1out2024-08-03 10:22 9.7K 
[ ]turing_1__t1_turing_1.vout2024-08-03 06:19 11K 
[ ]turing_1__t2_turing_12024-07-27 18:37 37K 
[ ]turing_1__t2_turing_1.depv12024-08-03 10:19 136  
[ ]turing_1__t2_turing_1.depvmin12024-08-03 10:24 136  
[ ]turing_1__t2_turing_1.vmin12024-08-03 10:19 1.4K 
[ ]turing_1__t2_turing_1.vmin1out2024-08-03 10:21 13K 
[ ]turing_1__t2_turing_1.vout2024-08-03 08:03 15K 
[ ]turing_1__t3_turing_12024-07-27 18:38 37K 
[ ]turing_1__t3_turing_1.depv12024-08-03 10:19 136  
[ ]turing_1__t3_turing_1.depvmin12024-08-03 10:24 136  
[ ]turing_1__t3_turing_1.vmin12024-08-03 10:19 1.4K 
[ ]turing_1__t3_turing_1.vmin1out2024-08-03 10:23 13K 
[ ]turing_1__t3_turing_1.vout2024-08-03 04:50 15K 
[ ]turing_1__t4_turing_12024-07-27 18:40 58K 
[ ]turing_1__t4_turing_1.vout2024-08-03 07:32 7.3K 
[ ]turing_1__t5_turing_12024-07-27 18:42 60K 
[ ]turing_1__t5_turing_1.vout2024-08-03 09:01 7.3K 
[ ]turing_1__t6_turing_12024-07-27 18:30 48K 
[ ]turing_1__t6_turing_1.depv12024-08-03 10:19 24  
[ ]turing_1__t6_turing_1.depvmin12024-08-03 10:24 24  
[ ]turing_1__t6_turing_1.vmin12024-08-03 10:19 1.1K 
[ ]turing_1__t6_turing_1.vmin1out2024-08-03 10:20 6.5K 
[ ]turing_1__t6_turing_1.vout2024-08-03 07:34 6.8K 
[ ]turing_1__t7_turing_12024-07-27 18:31 32K 
[ ]turing_1__t7_turing_1.depv12024-08-03 10:19 76  
[ ]turing_1__t7_turing_1.depvmin12024-08-03 10:24 76  
[ ]turing_1__t7_turing_1.vmin12024-08-03 10:19 1.7K 
[ ]turing_1__t7_turing_1.vmin1out2024-08-03 10:21 20K 
[ ]turing_1__t7_turing_1.vout2024-08-03 05:21 20K 
[ ]turing_1__t8_turing_12024-07-27 18:33 33K 
[ ]turing_1__t8_turing_1.depv12024-08-03 10:19 39  
[ ]turing_1__t8_turing_1.depvmin12024-08-03 10:24 39  
[ ]turing_1__t8_turing_1.vmin12024-08-03 10:19 1.8K 
[ ]turing_1__t8_turing_1.vmin1out2024-08-03 10:23 24K 
[ ]turing_1__t8_turing_1.vout2024-08-03 09:52 24K 
[ ]turing_1__t9_turing_12024-07-27 18:43 33K 
[ ]turing_1__t9_turing_1.depv12024-08-03 10:19 227  
[ ]turing_1__t9_turing_1.depvmin12024-08-03 10:24 213  
[ ]turing_1__t9_turing_1.vmin12024-08-03 10:19 2.5K 
[ ]turing_1__t9_turing_1.vmin1out2024-08-03 10:21 36K 
[ ]turing_1__t9_turing_1.vout2024-08-03 06:12 35K 
[ ]turing_1__t10_turing_12024-07-27 18:44 34K 
[ ]turing_1__t10_turing_1.vout2024-08-03 04:19 7.3K 
[ ]turing_1__t11_turing_12024-07-27 18:46 40K 
[ ]turing_1__t11_turing_1.vout2024-08-03 05:31 7.3K 
[ ]turing_1__t12_turing_12024-07-27 18:48 51K 
[ ]turing_1__t12_turing_1.vout2024-08-03 07:01 2.0K 
[ ]turing_1__t13_turing_12024-07-27 18:49 33K 
[ ]turing_1__t13_turing_1.depv12024-08-03 10:19 94  
[ ]turing_1__t13_turing_1.depvmin12024-08-03 10:24 94  
[ ]turing_1__t13_turing_1.vmin12024-08-03 10:19 3.4K 
[ ]turing_1__t13_turing_1.vmin1out2024-08-03 10:20 69K 
[ ]turing_1__t13_turing_1.vout2024-08-03 04:38 66K 
[ ]turing_1__t14_turing_12024-07-27 18:51 71K 
[ ]turing_1__t14_turing_1.vout2024-08-03 05:00 10K 
[ ]turing_1__t15_turing_12024-07-27 18:53 78K 
[ ]turing_1__t15_turing_1.vout2024-08-03 04:24 6.8K 
[ ]turing_1__t16_turing_12024-07-27 18:55 69K 
[ ]turing_1__t16_turing_1.vout2024-08-03 06:53 6.8K 
[ ]turing_1__t17_turing_12024-07-27 18:57 63K 
[ ]turing_1__t17_turing_1.vout2024-08-03 08:30 7.3K 
[ ]turing_1__t18_turing_12024-07-27 18:58 175K 
[ ]turing_1__t18_turing_1.vout2024-08-03 05:55 6.8K 
[ ]turing_1__t19_turing_12024-07-27 19:00 66K 
[ ]turing_1__t19_turing_1.vout2024-08-03 08:36 7.3K 
[ ]turing_1__t20_turing_12024-07-27 19:02 176K 
[ ]turing_1__t20_turing_1.vout2024-08-03 06:22 7.3K 
[ ]turing_1__t21_turing_12024-07-27 19:04 304K 
[ ]turing_1__t21_turing_1.vout2024-08-03 06:17 7.3K 
[ ]turing_1__t22_turing_12024-07-27 19:06 79K 
[ ]turing_1__t22_turing_1.vout2024-08-03 09:43 6.8K 
[ ]turing_1__t23_turing_12024-07-27 19:08 302K 
[ ]turing_1__t23_turing_1.vout2024-08-03 05:29 6.8K 
[ ]turing_1__t24_turing_12024-07-27 19:10 44K 
[ ]turing_1__t24_turing_1.depv12024-08-03 10:19 263  
[ ]turing_1__t24_turing_1.depvmin12024-08-03 10:24 263  
[ ]turing_1__t24_turing_1.vmin12024-08-03 10:19 2.8K 
[ ]turing_1__t24_turing_1.vmin1out2024-08-03 10:20 45K 
[ ]turing_1__t24_turing_1.vout2024-08-03 05:55 36K 
[ ]turing_1__t25_turing_12024-07-27 18:35 48K 
[ ]turing_1__t25_turing_1.depv12024-08-03 10:19 156  
[ ]turing_1__t25_turing_1.depvmin12024-08-03 10:24 156  
[ ]turing_1__t25_turing_1.vmin12024-08-03 10:19 2.4K 
[ ]turing_1__t25_turing_1.vmin1out2024-08-03 10:22 22K 
[ ]turing_1__t25_turing_1.vout2024-08-03 10:07 22K 
[ ]turing_1__t26_turing_12024-07-27 19:11 39K 
[ ]turing_1__t26_turing_1.depv12024-08-03 10:19 243  
[ ]turing_1__t26_turing_1.depvmin12024-08-03 10:24 224  
[ ]turing_1__t26_turing_1.vmin12024-08-03 10:19 2.6K 
[ ]turing_1__t26_turing_1.vmin1out2024-08-03 10:21 29K 
[ ]turing_1__t26_turing_1.vout2024-08-03 09:31 30K 
[ ]turing_1__t27_turing_12024-07-27 19:15 650K 
[ ]turing_1__t27_turing_1.vout2024-08-03 09:29 7.4K 
[ ]turing_1__t28_turing_12024-07-27 19:16 45K 
[ ]turing_1__t28_turing_1.depv12024-08-03 10:19 272  
[ ]turing_1__t28_turing_1.depvmin12024-08-03 10:24 257  
[ ]turing_1__t28_turing_1.vmin12024-08-03 10:19 3.1K 
[ ]turing_1__t28_turing_1.vmin1out2024-08-03 10:22 23K 
[ ]turing_1__t28_turing_1.vout2024-08-03 07:26 22K 
[ ]turing_1__t29_turing_12024-07-27 19:19 143K 
[ ]turing_1__t29_turing_1.vout2024-08-03 06:55 8.4K 
[ ]turing_1__t30_turing_12024-07-27 19:21 65K 
[ ]turing_1__t30_turing_1.vout2024-08-03 09:49 10K 
[ ]turing_1__t31_turing_12024-07-27 19:24 592K 
[ ]turing_1__t31_turing_1.vout2024-08-03 10:17 7.3K 
[ ]turing_1__t32_turing_12024-07-27 19:27 125K 
[ ]turing_1__t32_turing_1.vout2024-08-03 06:52 8.4K 
[ ]turing_1__t33_turing_12024-07-27 19:29 64K 
[ ]turing_1__t33_turing_1.vout2024-08-03 05:52 10K 
[ ]turing_1__t34_turing_12024-07-27 19:32 335K 
[ ]turing_1__t34_turing_1.vout2024-08-03 07:34 6.8K 
[ ]turing_1__t35_turing_12024-07-27 19:34 117K 
[ ]turing_1__t35_turing_1.vout2024-08-03 09:29 7.3K 
[ ]turing_1__t36_turing_12024-07-27 19:36 60K 
[ ]turing_1__t36_turing_1.vout2024-08-03 08:10 10K 
[ ]turing_1__t37_turing_12024-07-27 19:39 405K 
[ ]turing_1__t37_turing_1.vout2024-08-03 07:55 6.8K 
[ ]turing_1__t38_turing_12024-07-27 19:42 483K 
[ ]turing_1__t38_turing_1.vout2024-08-03 06:47 7.3K 
[ ]turing_1__t39_turing_12024-07-27 19:43 25K 
[ ]turing_1__t39_turing_1.vout2024-08-03 04:40 6.2K 
[ ]turing_1__t40_turing_12024-07-27 19:45 25K 
[ ]turing_1__t40_turing_1.vout2024-08-03 09:06 4.7K 
[ ]turing_1__t41_turing_12024-07-27 19:46 25K 
[ ]turing_1__t41_turing_1.vout2024-08-03 09:24 4.7K 
[ ]turing_1__t42_turing_12024-07-27 19:47 25K 
[ ]turing_1__t42_turing_1.vout2024-08-03 05:06 4.7K 
[ ]turing_1__t43_turing_12024-07-27 19:49 50K 
[ ]turing_1__t43_turing_1.vout2024-08-03 06:42 4.7K 
[ ]turing_1__t44_turing_12024-07-27 19:51 50K 
[ ]turing_1__t44_turing_1.vout2024-08-03 07:27 4.7K 
[ ]turing_1__t45_turing_12024-07-27 19:54 83K 
[ ]turing_1__t45_turing_1.vout2024-08-03 04:25 4.7K 
[ ]turing_1__t46_turing_12024-07-27 19:55 37K 
[ ]turing_1__t46_turing_1.depv12024-08-03 10:19 66  
[ ]turing_1__t46_turing_1.depvmin12024-08-03 10:24 66  
[ ]turing_1__t46_turing_1.vmin12024-08-03 10:19 1.4K 
[ ]turing_1__t46_turing_1.vmin1out2024-08-03 10:20 16K 
[ ]turing_1__t46_turing_1.vout2024-08-03 06:18 14K 
[ ]turing_1__t47_turing_12024-07-27 19:57 37K 
[ ]turing_1__t47_turing_1.depv12024-08-03 10:19 66  
[ ]turing_1__t47_turing_1.depvmin12024-08-03 10:24 66  
[ ]turing_1__t47_turing_1.vmin12024-08-03 10:19 1.5K 
[ ]turing_1__t47_turing_1.vmin1out2024-08-03 10:21 17K 
[ ]turing_1__t47_turing_1.vout2024-08-03 06:04 15K 
[ ]turing_1__t48_turing_12024-07-27 19:59 62K 
[ ]turing_1__t48_turing_1.vout2024-08-03 09:46 7.3K 
[ ]turing_1__t49_turing_12024-07-27 20:01 120K 
[ ]turing_1__t49_turing_1.vout2024-08-03 08:15 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80