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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rpr_1__t4_rpr_12025-09-13 21:13 18K 
[ ]rpr_1__t5_rpr_12025-09-13 21:13 17K 
[ ]rpr_1__t14_rpr_12025-09-13 21:14 21K 
[ ]rpr_1__t15_rpr_12025-09-13 21:15 22K 
[ ]rpr_1__t16_rpr_12025-09-13 21:16 24K 
[ ]rpr_1__t42_rpr_12025-09-13 21:17 27K 
[ ]rpr_1__t57_rpr_12025-09-13 21:17 33K 
[ ]rpr_1__t1_rpr_12025-09-13 21:18 18K 
[ ]rpr_1__t2_rpr_12025-09-13 21:19 20K 
[ ]rpr_1__t3_rpr_12025-09-13 21:20 20K 
[ ]rpr_1__t6_rpr_12025-09-13 21:21 19K 
[ ]rpr_1__t7_rpr_12025-09-13 21:21 18K 
[ ]rpr_1__t8_rpr_12025-09-13 21:22 28K 
[ ]rpr_1__t9_rpr_12025-09-13 21:23 25K 
[ ]rpr_1__t10_rpr_12025-09-13 21:24 18K 
[ ]rpr_1__t11_rpr_12025-09-13 21:25 22K 
[ ]rpr_1__t12_rpr_12025-09-13 21:26 20K 
[ ]rpr_1__t13_rpr_12025-09-13 21:27 21K 
[ ]rpr_1__t18_rpr_12025-09-13 21:27 24K 
[ ]rpr_1__t21_rpr_12025-09-13 21:28 35K 
[ ]rpr_1__t22_rpr_12025-09-13 21:29 48K 
[ ]rpr_1__t23_rpr_12025-09-13 21:30 47K 
[ ]rpr_1__t24_rpr_12025-09-13 21:31 28K 
[ ]rpr_1__t25_rpr_12025-09-13 21:32 56K 
[ ]rpr_1__t26_rpr_12025-09-13 21:33 37K 
[ ]rpr_1__t27_rpr_12025-09-13 21:34 46K 
[ ]rpr_1__t28_rpr_12025-09-13 21:35 45K 
[ ]rpr_1__t29_rpr_12025-09-13 21:36 46K 
[ ]rpr_1__t30_rpr_12025-09-13 21:37 36K 
[ ]rpr_1__t31_rpr_12025-09-13 21:38 31K 
[ ]rpr_1__t32_rpr_12025-09-13 21:39 24K 
[ ]rpr_1__t33_rpr_12025-09-13 21:40 26K 
[ ]rpr_1__t35_rpr_12025-09-13 21:41 26K 
[ ]rpr_1__t36_rpr_12025-09-13 21:42 56K 
[ ]rpr_1__t37_rpr_12025-09-13 21:43 57K 
[ ]rpr_1__t38_rpr_12025-09-13 21:44 29K 
[ ]rpr_1__t39_rpr_12025-09-13 21:45 36K 
[ ]rpr_1__t40_rpr_12025-09-13 21:46 69K 
[ ]rpr_1__t41_rpr_12025-09-13 21:47 26K 
[ ]rpr_1__t43_rpr_12025-09-13 21:47 26K 
[ ]rpr_1__t44_rpr_12025-09-13 21:48 26K 
[ ]rpr_1__t45_rpr_12025-09-13 21:49 64K 
[ ]rpr_1__t47_rpr_12025-09-13 21:50 58K 
[ ]rpr_1__t48_rpr_12025-09-13 21:51 36K 
[ ]rpr_1__t49_rpr_12025-09-13 21:52 42K 
[ ]rpr_1__t50_rpr_12025-09-13 21:53 46K 
[ ]rpr_1__t51_rpr_12025-09-13 21:54 44K 
[ ]rpr_1__t52_rpr_12025-09-13 21:55 43K 
[ ]rpr_1__t53_rpr_12025-09-13 21:56 44K 
[ ]rpr_1__t54_rpr_12025-09-13 21:57 36K 
[ ]rpr_1__t55_rpr_12025-09-13 21:58 29K 
[ ]rpr_1__t56_rpr_12025-09-13 21:59 45K 
[ ]rpr_1__l14_rpr_12025-09-13 22:00 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80