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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prob_3__l1_prob_32025-09-12 03:20 24K 
[ ]prob_3__t1_prob_32025-09-12 01:59 36K 
[ ]prob_3__t2_prob_32025-09-12 02:01 35K 
[ ]prob_3__t3_prob_32025-09-12 02:02 52K 
[ ]prob_3__t4_prob_32025-09-12 02:04 69K 
[ ]prob_3__t5_prob_32025-09-12 02:05 54K 
[ ]prob_3__t6_prob_32025-09-12 02:07 57K 
[ ]prob_3__t7_prob_32025-09-12 02:08 57K 
[ ]prob_3__t8_prob_32025-09-12 02:09 55K 
[ ]prob_3__t9_prob_32025-09-12 02:11 56K 
[ ]prob_3__t10_prob_32025-09-12 02:12 49K 
[ ]prob_3__t11_prob_32025-09-12 02:14 50K 
[ ]prob_3__t12_prob_32025-09-12 02:15 54K 
[ ]prob_3__t13_prob_32025-09-12 02:17 53K 
[ ]prob_3__t14_prob_32025-09-12 02:18 44K 
[ ]prob_3__t15_prob_32025-09-12 02:20 45K 
[ ]prob_3__t16_prob_32025-09-12 02:21 59K 
[ ]prob_3__t17_prob_32025-09-12 01:38 42K 
[ ]prob_3__t18_prob_32025-09-12 02:22 41K 
[ ]prob_3__t19_prob_32025-09-12 02:24 55K 
[ ]prob_3__t20_prob_32025-09-12 02:25 41K 
[ ]prob_3__t21_prob_32025-09-12 01:39 51K 
[ ]prob_3__t22_prob_32025-09-12 01:41 52K 
[ ]prob_3__t23_prob_32025-09-12 01:42 41K 
[ ]prob_3__t24_prob_32025-09-12 01:43 41K 
[ ]prob_3__t25_prob_32025-09-12 02:27 42K 
[ ]prob_3__t26_prob_32025-09-12 02:28 42K 
[ ]prob_3__t27_prob_32025-09-12 01:44 36K 
[ ]prob_3__t28_prob_32025-09-12 01:45 36K 
[ ]prob_3__t29_prob_32025-09-12 01:47 36K 
[ ]prob_3__t30_prob_32025-09-12 01:48 37K 
[ ]prob_3__t31_prob_32025-09-12 01:49 52K 
[ ]prob_3__t32_prob_32025-09-12 02:29 43K 
[ ]prob_3__t33_prob_32025-09-12 01:50 41K 
[ ]prob_3__t34_prob_32025-09-12 01:52 42K 
[ ]prob_3__t35_prob_32025-09-12 01:53 41K 
[ ]prob_3__t36_prob_32025-09-12 01:54 37K 
[ ]prob_3__t37_prob_32025-09-12 02:30 47K 
[ ]prob_3__t38_prob_32025-09-12 02:32 47K 
[ ]prob_3__t39_prob_32025-09-12 02:33 53K 
[ ]prob_3__t40_prob_32025-09-12 02:35 65K 
[ ]prob_3__t41_prob_32025-09-12 02:36 70K 
[ ]prob_3__t42_prob_32025-09-12 02:38 47K 
[ ]prob_3__t43_prob_32025-09-12 02:39 104K 
[ ]prob_3__t44_prob_32025-09-12 01:55 52K 
[ ]prob_3__t45_prob_32025-09-12 02:41 56K 
[ ]prob_3__t46_prob_32025-09-12 02:42 52K 
[ ]prob_3__t47_prob_32025-09-12 02:44 53K 
[ ]prob_3__t48_prob_32025-09-12 01:56 41K 
[ ]prob_3__t49_prob_32025-09-12 02:45 46K 
[ ]prob_3__t50_prob_32025-09-12 02:47 42K 
[ ]prob_3__t51_prob_32025-09-12 02:48 51K 
[ ]prob_3__t52_prob_32025-09-12 02:50 45K 
[ ]prob_3__t53_prob_32025-09-12 02:51 47K 
[ ]prob_3__t54_prob_32025-09-12 02:53 52K 
[ ]prob_3__t55_prob_32025-09-12 02:55 55K 
[ ]prob_3__t56_prob_32025-09-12 02:56 54K 
[ ]prob_3__t57_prob_32025-09-12 02:58 57K 
[ ]prob_3__t58_prob_32025-09-12 02:59 45K 
[ ]prob_3__t59_prob_32025-09-12 03:00 54K 
[ ]prob_3__t60_prob_32025-09-12 03:02 59K 
[ ]prob_3__t61_prob_32025-09-12 03:03 54K 
[ ]prob_3__t62_prob_32025-09-12 03:05 51K 
[ ]prob_3__t63_prob_32025-09-12 03:06 52K 
[ ]prob_3__t64_prob_32025-09-12 03:09 118K 
[ ]prob_3__t65_prob_32025-09-12 03:11 81K 
[ ]prob_3__t66_prob_32025-09-12 03:12 43K 
[ ]prob_3__t67_prob_32025-09-12 03:13 43K 
[ ]prob_3__t68_prob_32025-09-12 01:57 15K 
[ ]prob_3__t69_prob_32025-09-12 03:15 44K 
[ ]prob_3__t70_prob_32025-09-12 03:17 62K 
[ ]prob_3__t71_prob_32025-09-12 01:58 16K 
[ ]prob_3__t72_prob_32025-09-12 03:19 70K 
[ ]prob_3__t73_prob_32025-09-12 03:20 28K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80