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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]funct_8__t1_funct_82025-09-13 16:12 72K 
[   ]funct_8__t2_funct_82025-09-13 16:14 92K 
[   ]funct_8__t3_funct_82025-09-13 16:15 92K 
[   ]funct_8__t4_funct_82025-09-13 16:17 90K 
[   ]funct_8__t5_funct_82025-09-13 16:18 92K 
[   ]funct_8__t6_funct_82025-09-13 16:20 89K 
[   ]funct_8__t7_funct_82025-09-13 16:22 93K 
[   ]funct_8__t8_funct_82025-09-13 16:23 63K 
[   ]funct_8__t9_funct_82025-09-13 16:25 63K 
[   ]funct_8__t10_funct_82025-09-13 16:26 79K 
[   ]funct_8__t11_funct_82025-09-13 16:28 70K 
[   ]funct_8__t12_funct_82025-09-13 16:30 80K 
[   ]funct_8__t13_funct_82025-09-13 16:31 74K 
[   ]funct_8__t14_funct_82025-09-13 16:33 76K 
[   ]funct_8__t15_funct_82025-09-13 16:35 62K 
[   ]funct_8__t16_funct_82025-09-13 16:36 72K 
[   ]funct_8__t17_funct_82025-09-13 16:38 61K 
[   ]funct_8__t18_funct_82025-09-13 16:39 74K 
[   ]funct_8__t19_funct_82025-09-13 16:41 62K 
[   ]funct_8__t20_funct_82025-09-13 16:42 62K 
[   ]funct_8__t21_funct_82025-09-13 16:44 61K 
[   ]funct_8__t22_funct_82025-09-13 16:45 71K 
[   ]funct_8__t23_funct_82025-09-13 16:47 70K 
[   ]funct_8__t24_funct_82025-09-13 16:48 86K 
[   ]funct_8__t25_funct_82025-09-13 16:50 62K 
[   ]funct_8__t26_funct_82025-09-13 16:52 65K 
[   ]funct_8__t27_funct_82025-09-13 16:09 54K 
[   ]funct_8__t28_funct_82025-09-13 16:10 55K 
[   ]funct_8__t29_funct_82025-09-13 16:53 101K 
[   ]funct_8__t30_funct_82025-09-13 16:55 99K 
[   ]funct_8__t31_funct_82025-09-13 16:57 101K 
[   ]funct_8__t32_funct_82025-09-13 16:58 102K 
[   ]funct_8__t33_funct_82025-09-13 17:00 47K 
[   ]funct_8__t34_funct_82025-09-13 17:01 47K 
[   ]funct_8__t35_funct_82025-09-13 17:02 48K 
[   ]funct_8__t36_funct_82025-09-13 17:04 48K 
[   ]funct_8__t37_funct_82025-09-13 17:05 48K 
[   ]funct_8__t38_funct_82025-09-13 17:07 47K 
[   ]funct_8__t39_funct_82025-09-13 17:08 64K 
[   ]funct_8__t40_funct_82025-09-13 17:09 63K 
[   ]funct_8__t41_funct_82025-09-13 17:11 49K 
[   ]funct_8__t42_funct_82025-09-13 17:12 52K 
[   ]funct_8__t43_funct_82025-09-13 17:14 49K 
[   ]funct_8__t44_funct_82025-09-13 17:15 49K 
[   ]funct_8__t45_funct_82025-09-13 17:16 57K 
[   ]funct_8__t46_funct_82025-09-13 17:18 57K 
[   ]funct_8__t47_funct_82025-09-13 17:19 61K 
[   ]funct_8__t48_funct_82025-09-13 17:21 61K 
[   ]funct_8__t49_funct_82025-09-13 17:22 58K 
[   ]funct_8__t50_funct_82025-09-13 17:23 57K 
[   ]funct_8__t51_funct_82025-09-13 17:25 58K 
[   ]funct_8__t52_funct_82025-09-13 17:26 88K 
[   ]funct_8__t53_funct_82025-09-13 17:28 87K 
[   ]funct_8__t54_funct_82025-09-13 17:30 88K 
[   ]funct_8__t55_funct_82025-09-13 17:31 89K 
[   ]funct_8__t56_funct_82025-09-13 17:32 49K 
[   ]funct_8__t57_funct_82025-09-13 17:34 49K 
[   ]funct_8__t58_funct_82025-09-13 17:35 49K 
[   ]funct_8__t59_funct_82025-09-13 17:36 49K 
[   ]funct_8__t60_funct_82025-09-13 17:38 75K 
[   ]funct_8__t61_funct_82025-09-13 17:39 48K 
[   ]funct_8__t62_funct_82025-09-13 17:41 49K 
[   ]funct_8__t63_funct_82025-09-13 17:42 63K 
[   ]funct_8__t64_funct_82025-09-13 17:44 63K 
[   ]funct_8__t65_funct_82025-09-13 17:45 77K 
[   ]funct_8__t66_funct_82025-09-13 17:47 64K 
[   ]funct_8__t67_funct_82025-09-13 17:48 76K 
[   ]funct_8__t68_funct_82025-09-13 17:50 64K 
[   ]funct_8__t69_funct_82025-09-13 17:52 100K 
[   ]funct_8__t70_funct_82025-09-13 17:54 100K 
[   ]funct_8__t71_funct_82025-09-13 17:55 100K 
[   ]funct_8__t72_funct_82025-09-13 17:57 112K 
[   ]funct_8__t73_funct_82025-09-13 17:59 59K 
[   ]funct_8__t74_funct_82025-09-13 18:00 57K 
[   ]funct_8__t75_funct_82025-09-13 18:01 57K 
[   ]funct_8__t76_funct_82025-09-13 18:03 57K 
[   ]funct_8__t77_funct_82025-09-13 18:04 59K 
[   ]funct_8__t78_funct_82025-09-13 18:05 59K 
[   ]funct_8__t79_funct_82025-09-13 18:07 61K 
[   ]funct_8__t80_funct_82025-09-13 18:08 59K 
[   ]funct_8__t81_funct_82025-09-13 18:10 73K 
[   ]funct_8__t82_funct_82025-09-13 18:12 70K 
[   ]funct_8__t83_funct_82025-09-13 18:14 73K 
[   ]funct_8__t84_funct_82025-09-13 18:15 70K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80