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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rat_1__l1_rat_12025-09-12 15:28 17K 
[ ]rat_1__l2_rat_12025-09-12 16:00 55K 
[ ]rat_1__l3_rat_12025-09-12 16:02 66K 
[ ]rat_1__l4_rat_12025-09-12 16:03 55K 
[ ]rat_1__l5_rat_12025-09-12 16:04 57K 
[ ]rat_1__l6_rat_12025-09-12 16:05 46K 
[ ]rat_1__l32_rat_12025-09-12 15:29 19K 
[ ]rat_1__t1_rat_12025-09-12 15:30 57K 
[ ]rat_1__t2_rat_12025-09-12 15:24 21K 
[ ]rat_1__t3_rat_12025-09-12 15:25 21K 
[ ]rat_1__t7_rat_12025-09-12 15:31 59K 
[ ]rat_1__t8_rat_12025-09-12 15:31 58K 
[ ]rat_1__t9_rat_12025-09-12 15:32 36K 
[ ]rat_1__t10_rat_12025-09-12 15:33 22K 
[ ]rat_1__t11_rat_12025-09-12 15:33 21K 
[ ]rat_1__t12_rat_12025-09-12 15:26 16K 
[ ]rat_1__t13_rat_12025-09-12 15:34 33K 
[ ]rat_1__t14_rat_12025-09-12 15:26 23K 
[ ]rat_1__t15_rat_12025-09-12 15:35 31K 
[ ]rat_1__t16_rat_12025-09-12 15:36 32K 
[ ]rat_1__t17_rat_12025-09-12 15:37 37K 
[ ]rat_1__t18_rat_12025-09-12 15:37 31K 
[ ]rat_1__t19_rat_12025-09-12 15:27 31K 
[ ]rat_1__t20_rat_12025-09-12 15:38 36K 
[ ]rat_1__t21_rat_12025-09-12 15:39 18K 
[ ]rat_1__t22_rat_12025-09-12 15:40 23K 
[ ]rat_1__t23_rat_12025-09-12 15:40 33K 
[ ]rat_1__t24_rat_12025-09-12 15:41 48K 
[ ]rat_1__t25_rat_12025-09-12 15:42 47K 
[ ]rat_1__t26_rat_12025-09-12 15:43 33K 
[ ]rat_1__t27_rat_12025-09-12 15:44 63K 
[ ]rat_1__t28_rat_12025-09-12 15:45 59K 
[ ]rat_1__t29_rat_12025-09-12 15:46 38K 
[ ]rat_1__t30_rat_12025-09-12 15:46 38K 
[ ]rat_1__t31_rat_12025-09-12 15:47 59K 
[ ]rat_1__t32_rat_12025-09-12 15:48 57K 
[ ]rat_1__t33_rat_12025-09-12 15:49 57K 
[ ]rat_1__t34_rat_12025-09-12 15:50 57K 
[ ]rat_1__t35_rat_12025-09-12 15:50 37K 
[ ]rat_1__t36_rat_12025-09-12 15:51 35K 
[ ]rat_1__t37_rat_12025-09-12 15:52 36K 
[ ]rat_1__t38_rat_12025-09-12 15:53 36K 
[ ]rat_1__t39_rat_12025-09-12 15:54 37K 
[ ]rat_1__t40_rat_12025-09-12 15:54 37K 
[ ]rat_1__t41_rat_12025-09-12 15:55 32K 
[ ]rat_1__t42_rat_12025-09-12 15:56 37K 
[ ]rat_1__t43_rat_12025-09-12 15:57 49K 
[ ]rat_1__t44_rat_12025-09-12 15:58 38K 
[ ]rat_1__t45_rat_12025-09-12 15:59 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80