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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]turing_1__l38_turing_12023-06-28 18:45 116K 
[ ]turing_1__l40_turing_12023-06-28 18:46 116K 
[ ]turing_1__l42_turing_12023-06-28 18:47 130K 
[ ]turing_1__l44_turing_12023-06-28 18:47 112K 
[ ]turing_1__l52_turing_12023-06-28 18:48 105K 
[ ]turing_1__l53_turing_12023-06-28 18:49 105K 
[ ]turing_1__l54_turing_12023-06-28 18:50 119K 
[ ]turing_1__l60_turing_12023-06-28 18:50 105K 
[ ]turing_1__l61_turing_12023-06-28 18:51 105K 
[ ]turing_1__l62_turing_12023-06-28 18:52 119K 
[ ]turing_1__l68_turing_12023-06-28 18:52 97K 
[ ]turing_1__l69_turing_12023-06-28 18:53 97K 
[ ]turing_1__l70_turing_12023-06-28 18:54 111K 
[ ]turing_1__l71_turing_12023-06-28 18:54 112K 
[ ]turing_1__l94_turing_12023-06-28 18:55 98K 
[ ]turing_1__t1_turing_12023-06-28 18:14 26K 
[ ]turing_1__t2_turing_12023-06-28 18:14 55K 
[ ]turing_1__t3_turing_12023-06-28 18:15 55K 
[ ]turing_1__t4_turing_12023-06-28 18:15 76K 
[ ]turing_1__t5_turing_12023-06-28 18:16 81K 
[ ]turing_1__t6_turing_12023-06-28 18:12 73K 
[ ]turing_1__t7_turing_12023-06-28 18:12 48K 
[ ]turing_1__t8_turing_12023-06-28 18:13 49K 
[ ]turing_1__t9_turing_12023-06-28 18:17 49K 
[ ]turing_1__t10_turing_12023-06-28 18:17 49K 
[ ]turing_1__t11_turing_12023-06-28 18:18 60K 
[ ]turing_1__t12_turing_12023-06-28 18:18 79K 
[ ]turing_1__t13_turing_12023-06-28 18:19 49K 
[ ]turing_1__t14_turing_12023-06-28 18:20 114K 
[ ]turing_1__t15_turing_12023-06-28 18:20 113K 
[ ]turing_1__t16_turing_12023-06-28 18:21 97K 
[ ]turing_1__t17_turing_12023-06-28 18:22 85K 
[ ]turing_1__t18_turing_12023-06-28 18:22 295K 
[ ]turing_1__t19_turing_12023-06-28 18:23 92K 
[ ]turing_1__t20_turing_12023-06-28 18:24 296K 
[ ]turing_1__t21_turing_12023-06-28 18:24 512K 
[ ]turing_1__t22_turing_12023-06-28 18:25 113K 
[ ]turing_1__t23_turing_12023-06-28 18:26 508K 
[ ]turing_1__t24_turing_12023-06-28 18:26 65K 
[ ]turing_1__t25_turing_12023-06-28 18:13 74K 
[ ]turing_1__t26_turing_12023-06-28 18:27 59K 
[ ]turing_1__t27_turing_12023-06-28 18:28 1.0M 
[ ]turing_1__t28_turing_12023-06-28 18:29 68K 
[ ]turing_1__t29_turing_12023-06-28 18:30 225K 
[ ]turing_1__t30_turing_12023-06-28 18:30 103K 
[ ]turing_1__t31_turing_12023-06-28 18:31 939K 
[ ]turing_1__t32_turing_12023-06-28 18:32 192K 
[ ]turing_1__t33_turing_12023-06-28 18:33 102K 
[ ]turing_1__t34_turing_12023-06-28 18:34 562K 
[ ]turing_1__t35_turing_12023-06-28 18:35 175K 
[ ]turing_1__t36_turing_12023-06-28 18:36 94K 
[ ]turing_1__t37_turing_12023-06-28 18:37 653K 
[ ]turing_1__t38_turing_12023-06-28 18:38 774K 
[ ]turing_1__t39_turing_12023-06-28 18:38 36K 
[ ]turing_1__t40_turing_12023-06-28 18:39 36K 
[ ]turing_1__t41_turing_12023-06-28 18:39 36K 
[ ]turing_1__t42_turing_12023-06-28 18:40 37K 
[ ]turing_1__t43_turing_12023-06-28 18:40 78K 
[ ]turing_1__t44_turing_12023-06-28 18:41 78K 
[ ]turing_1__t45_turing_12023-06-28 18:42 106K 
[ ]turing_1__t46_turing_12023-06-28 18:43 56K 
[ ]turing_1__t47_turing_12023-06-28 18:43 56K 
[ ]turing_1__t48_turing_12023-06-28 18:44 88K 
[ ]turing_1__t49_turing_12023-06-28 18:45 185K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80