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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relset_3__t1_relset_32025-09-12 15:27 45K 
[ ]relset_3__t2_relset_32025-09-12 15:29 50K 
[ ]relset_3__t3_relset_32025-09-12 15:29 5.1K 
[ ]relset_3__t4_relset_32025-09-12 15:30 44K 
[ ]relset_3__t5_relset_32025-09-12 15:14 44K 
[ ]relset_3__t6_relset_32025-09-12 15:32 54K 
[ ]relset_3__t7_relset_32025-09-12 15:33 55K 
[ ]relset_3__t8_relset_32025-09-12 15:35 55K 
[ ]relset_3__t9_relset_32025-09-12 15:36 55K 
[ ]relset_3__t10_relset_32025-09-12 15:38 62K 
[ ]relset_3__t11_relset_32025-09-12 15:39 79K 
[ ]relset_3__t12_relset_32025-09-12 15:41 56K 
[ ]relset_3__t13_relset_32025-09-12 15:43 76K 
[ ]relset_3__t14_relset_32025-09-12 15:45 80K 
[ ]relset_3__t15_relset_32025-09-12 15:46 54K 
[ ]relset_3__t16_relset_32025-09-12 15:48 78K 
[ ]relset_3__t17_relset_32025-09-12 15:50 74K 
[ ]relset_3__t18_relset_32025-09-12 15:51 73K 
[ ]relset_3__t19_relset_32025-09-12 15:53 53K 
[ ]relset_3__t20_relset_32025-09-12 15:54 61K 
[ ]relset_3__t21_relset_32025-09-12 15:56 81K 
[ ]relset_3__t22_relset_32025-09-12 15:15 74K 
[ ]relset_3__t23_relset_32025-09-12 15:58 73K 
[ ]relset_3__t24_relset_32025-09-12 15:59 53K 
[ ]relset_3__t25_relset_32025-09-12 16:01 61K 
[ ]relset_3__t26_relset_32025-09-12 16:02 81K 
[ ]relset_3__t27_relset_32025-09-12 15:17 74K 
[ ]relset_3__t28_relset_32025-09-12 16:04 73K 
[ ]relset_3__t29_relset_32025-09-12 16:06 53K 
[ ]relset_3__t30_relset_32025-09-12 16:07 61K 
[ ]relset_3__t31_relset_32025-09-12 16:09 81K 
[ ]relset_3__t32_relset_32025-09-12 15:18 74K 
[ ]relset_3__t33_relset_32025-09-12 16:11 73K 
[ ]relset_3__t34_relset_32025-09-12 16:12 53K 
[ ]relset_3__t35_relset_32025-09-12 16:14 61K 
[ ]relset_3__t36_relset_32025-09-12 16:16 82K 
[ ]relset_3__t37_relset_32025-09-12 15:20 75K 
[ ]relset_3__t38_relset_32025-09-12 16:17 73K 
[ ]relset_3__t39_relset_32025-09-12 16:19 53K 
[ ]relset_3__t40_relset_32025-09-12 16:20 61K 
[ ]relset_3__t41_relset_32025-09-12 16:22 80K 
[ ]relset_3__t42_relset_32025-09-12 16:24 62K 
[ ]relset_3__t43_relset_32025-09-12 16:25 55K 
[ ]relset_3__t44_relset_32025-09-12 16:27 55K 
[ ]relset_3__t45_relset_32025-09-12 16:29 87K 
[ ]relset_3__t46_relset_32025-09-12 16:30 58K 
[ ]relset_3__t47_relset_32025-09-12 16:32 63K 
[ ]relset_3__t48_relset_32025-09-12 16:33 54K 
[ ]relset_3__t49_relset_32025-09-12 16:35 74K 
[ ]relset_3__t50_relset_32025-09-12 16:37 73K 
[ ]relset_3__t51_relset_32025-09-12 16:38 67K 
[ ]relset_3__t52_relset_32025-09-12 16:40 52K 
[ ]relset_3__t53_relset_32025-09-12 16:41 55K 
[ ]relset_3__t54_relset_32025-09-12 16:43 64K 
[ ]relset_3__t55_relset_32025-09-12 15:21 57K 
[ ]relset_3__t56_relset_32025-09-12 16:44 67K 
[ ]relset_3__t57_relset_32025-09-12 16:46 52K 
[ ]relset_3__t58_relset_32025-09-12 16:47 55K 
[ ]relset_3__t59_relset_32025-09-12 16:49 64K 
[ ]relset_3__t60_relset_32025-09-12 15:23 57K 
[ ]relset_3__t61_relset_32025-09-12 16:51 67K 
[ ]relset_3__t62_relset_32025-09-12 16:52 52K 
[ ]relset_3__t63_relset_32025-09-12 16:54 55K 
[ ]relset_3__t64_relset_32025-09-12 16:56 64K 
[ ]relset_3__t65_relset_32025-09-12 15:24 57K 
[ ]relset_3__t66_relset_32025-09-12 16:57 67K 
[ ]relset_3__t67_relset_32025-09-12 16:59 52K 
[ ]relset_3__t68_relset_32025-09-12 17:00 55K 
[ ]relset_3__t69_relset_32025-09-12 17:02 65K 
[ ]relset_3__t70_relset_32025-09-12 15:26 57K 
[ ]relset_3__t71_relset_32025-09-12 17:04 67K 
[ ]relset_3__t72_relset_32025-09-12 17:05 52K 
[ ]relset_3__t73_relset_32025-09-12 17:07 55K 
[ ]relset_3__t74_relset_32025-09-12 17:08 68K 
[ ]relset_3__t75_relset_32025-09-12 17:10 71K 
[ ]relset_3__t76_relset_32025-09-12 17:12 77K 
[ ]relset_3__t77_relset_32025-09-12 17:13 82K 
[ ]relset_3__t78_relset_32025-09-12 17:15 89K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80