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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal7__l2_ordinal72025-09-13 23:08 54K 
[ ]ordinal7__l3_ordinal72025-09-13 23:09 54K 
[ ]ordinal7__l9_ordinal72025-09-13 23:09 2.2K 
[ ]ordinal7__l11_ordinal72025-09-13 23:11 65K 
[ ]ordinal7__l12_ordinal72025-09-13 23:12 64K 
[ ]ordinal7__l13_ordinal72025-09-13 23:14 66K 
[ ]ordinal7__l20_ordinal72025-09-14 02:00 67K 
[ ]ordinal7__l28_ordinal72025-09-14 02:01 101K 
[ ]ordinal7__l29_ordinal72025-09-14 02:03 98K 
[ ]ordinal7__l32_ordinal72025-09-14 02:05 58K 
[ ]ordinal7__l104_ordinal72025-09-14 02:06 64K 
[ ]ordinal7__l110_ordinal72025-09-14 02:08 62K 
[ ]ordinal7__l111_ordinal72025-09-14 02:11 191K 
[ ]ordinal7__s1_ordinal72025-09-13 23:16 108K 
[ ]ordinal7__s2_ordinal72025-09-13 23:18 73K 
[ ]ordinal7__s3_ordinal72025-09-13 23:20 114K 
[ ]ordinal7__t1_ordinal72025-09-13 23:21 53K 
[ ]ordinal7__t2_ordinal72025-09-13 23:23 80K 
[ ]ordinal7__t3_ordinal72025-09-13 23:25 64K 
[ ]ordinal7__t4_ordinal72025-09-13 23:26 80K 
[ ]ordinal7__t5_ordinal72025-09-13 23:28 65K 
[ ]ordinal7__t6_ordinal72025-09-13 23:29 65K 
[ ]ordinal7__t7_ordinal72025-09-13 23:30 5.6K 
[ ]ordinal7__t8_ordinal72025-09-13 23:31 55K 
[ ]ordinal7__t9_ordinal72025-09-13 23:33 54K 
[ ]ordinal7__t10_ordinal72025-09-13 23:34 58K 
[ ]ordinal7__t11_ordinal72025-09-13 23:36 93K 
[ ]ordinal7__t12_ordinal72025-09-13 23:38 55K 
[ ]ordinal7__t13_ordinal72025-09-13 23:40 120K 
[ ]ordinal7__t14_ordinal72025-09-13 23:42 120K 
[ ]ordinal7__t15_ordinal72025-09-13 23:43 88K 
[ ]ordinal7__t16_ordinal72025-09-13 23:45 97K 
[ ]ordinal7__t17_ordinal72025-09-13 23:47 95K 
[ ]ordinal7__t18_ordinal72025-09-13 23:49 104K 
[ ]ordinal7__t19_ordinal72025-09-13 23:51 114K 
[ ]ordinal7__t20_ordinal72025-09-13 23:53 96K 
[ ]ordinal7__t21_ordinal72025-09-13 23:55 114K 
[ ]ordinal7__t22_ordinal72025-09-13 23:56 60K 
[ ]ordinal7__t23_ordinal72025-09-13 23:58 63K 
[ ]ordinal7__t24_ordinal72025-09-13 23:59 68K 
[ ]ordinal7__t25_ordinal72025-09-14 00:01 65K 
[ ]ordinal7__t26_ordinal72025-09-14 00:03 69K 
[ ]ordinal7__t27_ordinal72025-09-14 00:04 75K 
[ ]ordinal7__t28_ordinal72025-09-14 00:06 104K 
[ ]ordinal7__t29_ordinal72025-09-14 00:08 74K 
[ ]ordinal7__t30_ordinal72025-09-14 00:10 92K 
[ ]ordinal7__t31_ordinal72025-09-14 00:12 103K 
[ ]ordinal7__t32_ordinal72025-09-14 00:14 106K 
[ ]ordinal7__t33_ordinal72025-09-14 00:15 68K 
[ ]ordinal7__t34_ordinal72025-09-14 00:17 72K 
[ ]ordinal7__t35_ordinal72025-09-14 00:19 75K 
[ ]ordinal7__t36_ordinal72025-09-14 00:20 76K 
[ ]ordinal7__t37_ordinal72025-09-14 00:22 81K 
[ ]ordinal7__t38_ordinal72025-09-14 00:24 88K 
[ ]ordinal7__t39_ordinal72025-09-14 00:25 57K 
[ ]ordinal7__t40_ordinal72025-09-14 00:27 57K 
[ ]ordinal7__t41_ordinal72025-09-13 23:03 49K 
[ ]ordinal7__t42_ordinal72025-09-14 00:28 50K 
[ ]ordinal7__t43_ordinal72025-09-14 00:30 51K 
[ ]ordinal7__t44_ordinal72025-09-14 00:31 53K 
[ ]ordinal7__t45_ordinal72025-09-14 00:33 50K 
[ ]ordinal7__t46_ordinal72025-09-14 00:34 59K 
[ ]ordinal7__t47_ordinal72025-09-14 00:36 70K 
[ ]ordinal7__t48_ordinal72025-09-14 00:37 74K 
[ ]ordinal7__t49_ordinal72025-09-14 00:39 78K 
[ ]ordinal7__t50_ordinal72025-09-14 00:41 76K 
[ ]ordinal7__t51_ordinal72025-09-14 00:42 65K 
[ ]ordinal7__t52_ordinal72025-09-14 00:44 71K 
[ ]ordinal7__t53_ordinal72025-09-14 00:46 82K 
[ ]ordinal7__t54_ordinal72025-09-14 00:47 70K 
[ ]ordinal7__t55_ordinal72025-09-13 23:05 48K 
[ ]ordinal7__t56_ordinal72025-09-14 00:49 54K 
[ ]ordinal7__t57_ordinal72025-09-14 00:50 50K 
[ ]ordinal7__t58_ordinal72025-09-14 00:51 51K 
[ ]ordinal7__t59_ordinal72025-09-14 00:53 54K 
[ ]ordinal7__t60_ordinal72025-09-14 00:54 62K 
[ ]ordinal7__t61_ordinal72025-09-14 00:56 68K 
[ ]ordinal7__t62_ordinal72025-09-14 00:58 65K 
[ ]ordinal7__t63_ordinal72025-09-14 01:00 94K 
[ ]ordinal7__t64_ordinal72025-09-14 01:01 77K 
[ ]ordinal7__t65_ordinal72025-09-14 01:03 94K 
[ ]ordinal7__t66_ordinal72025-09-13 23:06 80K 
[ ]ordinal7__t67_ordinal72025-09-14 01:05 95K 
[ ]ordinal7__t68_ordinal72025-09-14 01:08 126K 
[ ]ordinal7__t69_ordinal72025-09-14 01:10 109K 
[ ]ordinal7__t70_ordinal72025-09-14 01:12 167K 
[ ]ordinal7__t71_ordinal72025-09-14 01:14 93K 
[ ]ordinal7__t72_ordinal72025-09-14 01:16 61K 
[ ]ordinal7__t73_ordinal72025-09-14 01:18 197K 
[ ]ordinal7__t74_ordinal72025-09-14 01:20 73K 
[ ]ordinal7__t75_ordinal72025-09-14 01:22 60K 
[ ]ordinal7__t76_ordinal72025-09-14 01:23 51K 
[ ]ordinal7__t77_ordinal72025-09-14 01:25 57K 
[ ]ordinal7__t78_ordinal72025-09-14 01:26 57K 
[ ]ordinal7__t79_ordinal72025-09-14 01:28 117K 
[ ]ordinal7__t80_ordinal72025-09-14 01:30 109K 
[ ]ordinal7__t81_ordinal72025-09-14 01:32 106K 
[ ]ordinal7__t82_ordinal72025-09-14 01:34 83K 
[ ]ordinal7__t83_ordinal72025-09-14 01:36 118K 
[ ]ordinal7__t84_ordinal72025-09-14 01:38 86K 
[ ]ordinal7__t85_ordinal72025-09-14 01:40 124K 
[ ]ordinal7__t86_ordinal72025-09-14 01:42 70K 
[ ]ordinal7__t87_ordinal72025-09-14 01:44 85K 
[ ]ordinal7__t88_ordinal72025-09-14 01:45 67K 
[ ]ordinal7__t89_ordinal72025-09-14 01:47 78K 
[ ]ordinal7__t90_ordinal72025-09-14 01:49 92K 
[ ]ordinal7__t91_ordinal72025-09-14 01:50 60K 
[ ]ordinal7__t92_ordinal72025-09-14 01:52 97K 
[ ]ordinal7__t93_ordinal72025-09-14 01:55 118K 
[ ]ordinal7__t94_ordinal72025-09-14 01:57 112K 
[ ]ordinal7__t95_ordinal72025-09-14 01:58 58K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80