Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/grzlog_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]grzlog_1__l2_grzlog_12025-09-13 01:35 19K 
[ ]grzlog_1__l7_grzlog_12025-09-13 01:36 35K 
[ ]grzlog_1__l9_grzlog_12025-09-13 01:37 39K 
[ ]grzlog_1__l10_grzlog_12025-09-13 01:38 39K 
[ ]grzlog_1__l12_grzlog_12025-09-13 01:40 53K 
[ ]grzlog_1__l15_grzlog_12025-09-13 01:41 38K 
[ ]grzlog_1__l47_grzlog_12025-09-13 01:42 25K 
[ ]grzlog_1__l48_grzlog_12025-09-13 01:44 55K 
[ ]grzlog_1__l52_grzlog_12025-09-13 00:25 43K 
[ ]grzlog_1__l77_grzlog_12025-09-13 01:46 51K 
[ ]grzlog_1__l79_grzlog_12025-09-13 01:47 51K 
[ ]grzlog_1__s1_grzlog_12025-09-13 00:26 18K 
[ ]grzlog_1__s2_grzlog_12025-09-13 00:27 31K 
[ ]grzlog_1__s3_grzlog_12025-09-13 00:29 31K 
[ ]grzlog_1__t1_grzlog_12025-09-13 00:30 39K 
[ ]grzlog_1__t2_grzlog_12025-09-13 00:31 40K 
[ ]grzlog_1__t3_grzlog_12025-09-13 00:33 42K 
[ ]grzlog_1__t4_grzlog_12025-09-13 00:10 38K 
[ ]grzlog_1__t5_grzlog_12025-09-13 00:34 45K 
[ ]grzlog_1__t6_grzlog_12025-09-13 00:36 47K 
[ ]grzlog_1__t7_grzlog_12025-09-13 00:37 47K 
[ ]grzlog_1__t8_grzlog_12025-09-13 00:39 40K 
[ ]grzlog_1__t9_grzlog_12025-09-13 00:40 50K 
[ ]grzlog_1__t10_grzlog_12025-09-13 00:42 54K 
[ ]grzlog_1__t11_grzlog_12025-09-13 00:44 59K 
[ ]grzlog_1__t12_grzlog_12025-09-13 00:45 50K 
[ ]grzlog_1__t13_grzlog_12025-09-13 00:12 45K 
[ ]grzlog_1__t14_grzlog_12025-09-13 00:47 42K 
[ ]grzlog_1__t15_grzlog_12025-09-13 00:48 47K 
[ ]grzlog_1__t16_grzlog_12025-09-13 00:50 48K 
[ ]grzlog_1__t17_grzlog_12025-09-13 00:52 69K 
[ ]grzlog_1__t18_grzlog_12025-09-13 00:53 48K 
[ ]grzlog_1__t19_grzlog_12025-09-13 00:13 44K 
[ ]grzlog_1__t20_grzlog_12025-09-13 00:55 54K 
[ ]grzlog_1__t21_grzlog_12025-09-13 00:57 54K 
[ ]grzlog_1__t22_grzlog_12025-09-13 00:58 48K 
[ ]grzlog_1__t23_grzlog_12025-09-13 01:00 46K 
[ ]grzlog_1__t24_grzlog_12025-09-13 01:02 58K 
[ ]grzlog_1__t25_grzlog_12025-09-13 00:15 48K 
[ ]grzlog_1__t26_grzlog_12025-09-13 00:16 48K 
[ ]grzlog_1__t27_grzlog_12025-09-13 01:04 53K 
[ ]grzlog_1__t28_grzlog_12025-09-13 01:05 50K 
[ ]grzlog_1__t29_grzlog_12025-09-13 01:07 52K 
[ ]grzlog_1__t30_grzlog_12025-09-13 01:08 48K 
[ ]grzlog_1__t31_grzlog_12025-09-13 01:10 46K 
[ ]grzlog_1__t32_grzlog_12025-09-13 01:11 50K 
[ ]grzlog_1__t33_grzlog_12025-09-13 01:13 44K 
[ ]grzlog_1__t34_grzlog_12025-09-13 01:15 54K 
[ ]grzlog_1__t35_grzlog_12025-09-13 01:17 52K 
[ ]grzlog_1__t36_grzlog_12025-09-13 01:18 51K 
[ ]grzlog_1__t37_grzlog_12025-09-13 00:18 47K 
[ ]grzlog_1__t38_grzlog_12025-09-13 00:19 48K 
[ ]grzlog_1__t39_grzlog_12025-09-13 00:21 49K 
[ ]grzlog_1__t40_grzlog_12025-09-13 01:20 56K 
[ ]grzlog_1__t41_grzlog_12025-09-13 01:22 55K 
[ ]grzlog_1__t42_grzlog_12025-09-13 01:24 54K 
[ ]grzlog_1__t43_grzlog_12025-09-13 00:23 43K 
[ ]grzlog_1__t44_grzlog_12025-09-13 01:25 44K 
[ ]grzlog_1__t45_grzlog_12025-09-13 01:27 55K 
[ ]grzlog_1__t46_grzlog_12025-09-13 00:24 44K 
[ ]grzlog_1__t47_grzlog_12025-09-13 01:29 62K 
[ ]grzlog_1__t48_grzlog_12025-09-13 01:30 44K 
[ ]grzlog_1__t49_grzlog_12025-09-13 01:32 43K 
[ ]grzlog_1__t50_grzlog_12025-09-13 01:34 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80