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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mathmorp__l9_mathmorp2025-09-14 04:28 24K 
[ ]mathmorp__l17_mathmorp2025-09-14 04:29 27K 
[ ]mathmorp__l28_mathmorp2025-09-14 04:31 25K 
[ ]mathmorp__t1_mathmorp2025-09-14 02:49 18K 
[ ]mathmorp__t2_mathmorp2025-09-14 02:50 26K 
[ ]mathmorp__t3_mathmorp2025-09-14 02:51 23K 
[ ]mathmorp__t4_mathmorp2025-09-14 02:52 23K 
[ ]mathmorp__t5_mathmorp2025-09-14 02:53 26K 
[ ]mathmorp__t6_mathmorp2025-09-14 02:55 26K 
[ ]mathmorp__t7_mathmorp2025-09-14 02:56 25K 
[ ]mathmorp__t8_mathmorp2025-09-14 02:57 23K 
[ ]mathmorp__t9_mathmorp2025-09-14 02:58 25K 
[ ]mathmorp__t10_mathmorp2025-09-14 02:59 26K 
[ ]mathmorp__t11_mathmorp2025-09-14 03:01 27K 
[ ]mathmorp__t12_mathmorp2025-09-14 03:02 23K 
[ ]mathmorp__t13_mathmorp2025-09-14 03:03 25K 
[ ]mathmorp__t14_mathmorp2025-09-14 03:05 27K 
[ ]mathmorp__t15_mathmorp2025-09-14 03:06 25K 
[ ]mathmorp__t16_mathmorp2025-09-14 03:07 24K 
[ ]mathmorp__t17_mathmorp2025-09-14 03:08 27K 
[ ]mathmorp__t18_mathmorp2025-09-14 03:10 25K 
[ ]mathmorp__t19_mathmorp2025-09-14 03:11 24K 
[ ]mathmorp__t20_mathmorp2025-09-14 03:12 25K 
[ ]mathmorp__t21_mathmorp2025-09-14 03:13 25K 
[ ]mathmorp__t22_mathmorp2025-09-14 03:14 32K 
[ ]mathmorp__t23_mathmorp2025-09-14 03:16 34K 
[ ]mathmorp__t24_mathmorp2025-09-14 03:17 25K 
[ ]mathmorp__t25_mathmorp2025-09-14 03:18 27K 
[ ]mathmorp__t26_mathmorp2025-09-14 03:19 24K 
[ ]mathmorp__t27_mathmorp2025-09-14 03:21 25K 
[ ]mathmorp__t28_mathmorp2025-09-14 03:22 27K 
[ ]mathmorp__t29_mathmorp2025-09-14 03:23 28K 
[ ]mathmorp__t30_mathmorp2025-09-14 03:24 25K 
[ ]mathmorp__t31_mathmorp2025-09-14 03:25 25K 
[ ]mathmorp__t32_mathmorp2025-09-14 03:27 25K 
[ ]mathmorp__t33_mathmorp2025-09-14 03:28 25K 
[ ]mathmorp__t34_mathmorp2025-09-14 03:29 25K 
[ ]mathmorp__t35_mathmorp2025-09-14 03:30 25K 
[ ]mathmorp__t36_mathmorp2025-09-14 03:31 27K 
[ ]mathmorp__t37_mathmorp2025-09-14 03:33 31K 
[ ]mathmorp__t38_mathmorp2025-09-14 03:34 31K 
[ ]mathmorp__t39_mathmorp2025-09-14 03:35 29K 
[ ]mathmorp__t40_mathmorp2025-09-14 03:37 29K 
[ ]mathmorp__t41_mathmorp2025-09-14 03:38 27K 
[ ]mathmorp__t42_mathmorp2025-09-14 03:39 29K 
[ ]mathmorp__t43_mathmorp2025-09-14 03:40 27K 
[ ]mathmorp__t44_mathmorp2025-09-14 03:41 27K 
[ ]mathmorp__t45_mathmorp2025-09-14 03:43 27K 
[ ]mathmorp__t46_mathmorp2025-09-14 03:44 26K 
[ ]mathmorp__t47_mathmorp2025-09-14 03:45 26K 
[ ]mathmorp__t48_mathmorp2025-09-14 03:46 26K 
[ ]mathmorp__t49_mathmorp2025-09-14 03:47 26K 
[ ]mathmorp__t50_mathmorp2025-09-14 03:49 27K 
[ ]mathmorp__t51_mathmorp2025-09-14 03:50 26K 
[ ]mathmorp__t52_mathmorp2025-09-14 03:51 29K 
[ ]mathmorp__t53_mathmorp2025-09-14 02:48 26K 
[ ]mathmorp__t54_mathmorp2025-09-14 03:52 28K 
[ ]mathmorp__t55_mathmorp2025-09-14 03:54 28K 
[ ]mathmorp__t56_mathmorp2025-09-14 03:55 19K 
[ ]mathmorp__t57_mathmorp2025-09-14 03:56 30K 
[ ]mathmorp__t58_mathmorp2025-09-14 03:57 26K 
[ ]mathmorp__t59_mathmorp2025-09-14 03:59 41K 
[ ]mathmorp__t60_mathmorp2025-09-14 04:00 28K 
[ ]mathmorp__t61_mathmorp2025-09-14 04:02 26K 
[ ]mathmorp__t62_mathmorp2025-09-14 04:03 36K 
[ ]mathmorp__t63_mathmorp2025-09-14 04:05 36K 
[ ]mathmorp__t64_mathmorp2025-09-14 04:07 40K 
[ ]mathmorp__t65_mathmorp2025-09-14 04:08 36K 
[ ]mathmorp__t66_mathmorp2025-09-14 04:10 36K 
[ ]mathmorp__t67_mathmorp2025-09-14 04:11 34K 
[ ]mathmorp__t68_mathmorp2025-09-14 04:12 34K 
[ ]mathmorp__t69_mathmorp2025-09-14 04:14 39K 
[ ]mathmorp__t70_mathmorp2025-09-14 04:15 39K 
[ ]mathmorp__t71_mathmorp2025-09-14 04:17 42K 
[ ]mathmorp__t72_mathmorp2025-09-14 04:18 41K 
[ ]mathmorp__t73_mathmorp2025-09-14 04:20 37K 
[ ]mathmorp__t74_mathmorp2025-09-14 04:21 35K 
[ ]mathmorp__t75_mathmorp2025-09-14 04:23 47K 
[ ]mathmorp__t76_mathmorp2025-09-14 04:24 52K 
[ ]mathmorp__t77_mathmorp2025-09-14 04:26 37K 
[ ]mathmorp__t78_mathmorp2025-09-14 04:27 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80