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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]filerec1__t1_filerec12025-09-13 07:31 28K 
[ ]filerec1__t2_filerec12025-09-13 07:32 39K 
[ ]filerec1__t3_filerec12025-09-13 07:33 30K 
[ ]filerec1__t4_filerec12025-09-13 07:34 78K 
[ ]filerec1__t5_filerec12025-09-13 07:36 68K 
[ ]filerec1__t6_filerec12025-09-13 07:37 82K 
[ ]filerec1__t7_filerec12025-09-13 07:39 69K 
[ ]filerec1__t8_filerec12025-09-13 07:40 42K 
[ ]filerec1__t9_filerec12025-09-13 07:41 47K 
[ ]filerec1__t10_filerec12025-09-13 07:42 37K 
[ ]filerec1__t11_filerec12025-09-13 07:43 33K 
[ ]filerec1__t12_filerec12025-09-13 07:45 53K 
[ ]filerec1__t13_filerec12025-09-13 07:46 44K 
[ ]filerec1__t14_filerec12025-09-13 07:47 42K 
[ ]filerec1__t15_filerec12025-09-13 07:49 38K 
[ ]filerec1__t16_filerec12025-09-13 07:50 54K 
[ ]filerec1__t17_filerec12025-09-13 07:51 26K 
[ ]filerec1__t18_filerec12025-09-13 07:53 173K 
[ ]filerec1__t19_filerec12025-09-13 07:54 89K 
[ ]filerec1__t20_filerec12025-09-13 07:56 53K 
[ ]filerec1__t21_filerec12025-09-13 07:57 39K 
[ ]filerec1__t22_filerec12025-09-13 07:59 45K 
[ ]filerec1__t23_filerec12025-09-13 08:01 86K 
[ ]filerec1__t24_filerec12025-09-13 08:02 46K 
[ ]filerec1__t25_filerec12025-09-13 08:03 43K 
[ ]filerec1__t26_filerec12025-09-13 08:05 46K 
[ ]filerec1__t27_filerec12025-09-13 08:06 99K 
[ ]filerec1__t28_filerec12025-09-13 08:08 170K 
[ ]filerec1__t29_filerec12025-09-13 07:29 41K 
[ ]filerec1__t30_filerec12025-09-13 08:09 56K 
[ ]filerec1__t31_filerec12025-09-13 08:11 51K 
[ ]filerec1__t32_filerec12025-09-13 08:12 39K 
[ ]filerec1__t33_filerec12025-09-13 08:13 40K 
[ ]filerec1__t34_filerec12025-09-13 08:14 88K 
[ ]filerec1__t35_filerec12025-09-13 08:16 82K 
[ ]filerec1__t36_filerec12025-09-13 08:17 49K 
[ ]filerec1__t37_filerec12025-09-13 08:19 46K 
[ ]filerec1__t38_filerec12025-09-13 08:20 53K 
[ ]filerec1__t39_filerec12025-09-13 08:22 88K 
[ ]filerec1__t40_filerec12025-09-13 08:23 32K 
[ ]filerec1__t41_filerec12025-09-13 08:24 80K 
[ ]filerec1__t42_filerec12025-09-13 08:26 96K 
[ ]filerec1__t43_filerec12025-09-13 07:30 38K 
[ ]filerec1__t44_filerec12025-09-13 08:27 57K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80