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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msafree5__s1_msafree52025-09-13 19:24 195K 
[ ]msafree5__s2_msafree52025-09-13 19:28 254K 
[ ]msafree5__s3_msafree52025-09-13 19:31 171K 
[ ]msafree5__s4_msafree52025-09-13 19:34 176K 
[ ]msafree5__s5_msafree52025-09-13 19:37 127K 
[ ]msafree5__s6_msafree52025-09-13 19:39 86K 
[ ]msafree5__s7_msafree52025-09-13 19:41 118K 
[ ]msafree5__s8_msafree52025-09-13 19:43 122K 
[ ]msafree5__t1_msafree52025-09-13 19:46 151K 
[ ]msafree5__t2_msafree52025-09-13 19:48 136K 
[ ]msafree5__t3_msafree52025-09-13 19:50 136K 
[ ]msafree5__t4_msafree52025-09-13 19:53 157K 
[ ]msafree5__t5_msafree52025-09-13 19:55 143K 
[ ]msafree5__t6_msafree52025-09-13 19:58 173K 
[ ]msafree5__t7_msafree52025-09-13 20:00 74K 
[ ]msafree5__t8_msafree52025-09-13 20:02 188K 
[ ]msafree5__t9_msafree52025-09-13 20:05 166K 
[ ]msafree5__t10_msafree52025-09-13 20:08 142K 
[ ]msafree5__t11_msafree52025-09-13 20:10 138K 
[ ]msafree5__t12_msafree52025-09-13 20:12 137K 
[ ]msafree5__t13_msafree52025-09-13 20:15 137K 
[ ]msafree5__t14_msafree52025-09-13 18:56 76K 
[ ]msafree5__t15_msafree52025-09-13 20:18 196K 
[ ]msafree5__t16_msafree52025-09-13 20:20 105K 
[ ]msafree5__t17_msafree52025-09-13 18:58 155K 
[ ]msafree5__t18_msafree52025-09-13 20:22 168K 
[ ]msafree5__t19_msafree52025-09-13 20:25 175K 
[ ]msafree5__t20_msafree52025-09-13 20:28 89K 
[ ]msafree5__t21_msafree52025-09-13 19:00 86K 
[ ]msafree5__t22_msafree52025-09-13 20:30 148K 
[ ]msafree5__t23_msafree52025-09-13 19:03 95K 
[ ]msafree5__t24_msafree52025-09-13 20:34 231K 
[ ]msafree5__t25_msafree52025-09-13 20:37 147K 
[ ]msafree5__t26_msafree52025-09-13 20:39 117K 
[ ]msafree5__t27_msafree52025-09-13 20:42 116K 
[ ]msafree5__t28_msafree52025-09-13 20:44 116K 
[ ]msafree5__t29_msafree52025-09-13 20:47 136K 
[ ]msafree5__t30_msafree52025-09-13 20:49 120K 
[ ]msafree5__t31_msafree52025-09-13 20:52 143K 
[ ]msafree5__t32_msafree52025-09-13 20:55 215K 
[ ]msafree5__t33_msafree52025-09-13 19:05 157K 
[ ]msafree5__t34_msafree52025-09-13 20:59 236K 
[ ]msafree5__t35_msafree52025-09-13 21:02 172K 
[ ]msafree5__t36_msafree52025-09-13 21:06 254K 
[ ]msafree5__t37_msafree52025-09-13 21:10 226K 
[ ]msafree5__t38_msafree52025-09-13 21:14 243K 
[ ]msafree5__t39_msafree52025-09-13 19:08 165K 
[ ]msafree5__t40_msafree52025-09-13 21:16 170K 
[ ]msafree5__t41_msafree52025-09-13 21:19 161K 
[ ]msafree5__t42_msafree52025-09-13 21:22 175K 
[ ]msafree5__t43_msafree52025-09-13 19:11 137K 
[ ]msafree5__t44_msafree52025-09-13 19:13 136K 
[ ]msafree5__t45_msafree52025-09-13 19:16 162K 
[ ]msafree5__t46_msafree52025-09-13 21:25 151K 
[ ]msafree5__t47_msafree52025-09-13 21:29 240K 
[ ]msafree5__t48_msafree52025-09-13 21:32 174K 
[ ]msafree5__t49_msafree52025-09-13 21:35 168K 
[ ]msafree5__t50_msafree52025-09-13 21:38 198K 
[ ]msafree5__t51_msafree52025-09-13 21:41 237K 
[ ]msafree5__t52_msafree52025-09-13 21:45 263K 
[ ]msafree5__t53_msafree52025-09-13 21:47 110K 
[ ]msafree5__t54_msafree52025-09-13 21:50 182K 
[ ]msafree5__t55_msafree52025-09-13 21:54 248K 
[ ]msafree5__t56_msafree52025-09-13 21:57 187K 
[ ]msafree5__t57_msafree52025-09-13 22:00 141K 
[ ]msafree5__t58_msafree52025-09-13 22:03 111K 
[ ]msafree5__t59_msafree52025-09-13 22:05 141K 
[ ]msafree5__t60_msafree52025-09-13 22:09 255K 
[ ]msafree5__t61_msafree52025-09-13 22:13 272K 
[ ]msafree5__t62_msafree52025-09-13 22:16 227K 
[ ]msafree5__t63_msafree52025-09-13 22:19 112K 
[ ]msafree5__t64_msafree52025-09-13 22:22 142K 
[ ]msafree5__t65_msafree52025-09-13 22:25 163K 
[ ]msafree5__t66_msafree52025-09-13 22:29 251K 
[ ]msafree5__t67_msafree52025-09-13 22:32 170K 
[ ]msafree5__t68_msafree52025-09-13 22:35 173K 
[ ]msafree5__t69_msafree52025-09-13 22:38 130K 
[ ]msafree5__t70_msafree52025-09-13 22:41 165K 
[ ]msafree5__t71_msafree52025-09-13 22:44 170K 
[ ]msafree5__t72_msafree52025-09-13 19:19 143K 
[ ]msafree5__t73_msafree52025-09-13 22:46 166K 
[ ]msafree5__t74_msafree52025-09-13 22:50 266K 
[ ]msafree5__t75_msafree52025-09-13 22:54 241K 
[ ]msafree5__t76_msafree52025-09-13 22:57 163K 
[ ]msafree5__t77_msafree52025-09-13 23:00 156K 
[ ]msafree5__t78_msafree52025-09-13 23:02 155K 
[ ]msafree5__t79_msafree52025-09-13 23:05 164K 
[ ]msafree5__t80_msafree52025-09-13 23:08 156K 
[ ]msafree5__t81_msafree52025-09-13 23:11 172K 
[ ]msafree5__t82_msafree52025-09-13 23:14 219K 
[ ]msafree5__t83_msafree52025-09-13 23:18 191K 
[ ]msafree5__t84_msafree52025-09-13 23:21 163K 
[ ]msafree5__t85_msafree52025-09-13 23:24 169K 
[ ]msafree5__t86_msafree52025-09-13 23:27 208K 
[ ]msafree5__t87_msafree52025-09-13 23:30 185K 
[ ]msafree5__t88_msafree52025-09-13 19:21 146K 
[ ]msafree5__t89_msafree52025-09-13 23:34 246K 
[ ]msafree5__t90_msafree52025-09-13 23:37 223K 
[ ]msafree5__t91_msafree52025-09-13 23:40 165K 
[ ]msafree5__t92_msafree52025-09-13 23:43 153K 
[ ]msafree5__t93_msafree52025-09-13 23:47 290K 
[ ]msafree5__t94_msafree52025-09-13 23:50 168K 
[ ]msafree5__t95_msafree52025-09-13 23:52 77K 
[ ]msafree5__t96_msafree52025-09-13 23:55 250K 
[ ]msafree5__t97_msafree52025-09-13 23:58 168K 
[ ]msafree5__t98_msafree52025-09-14 00:01 166K 
[ ]msafree5__t99_msafree52025-09-14 00:05 192K 
[ ]msafree5__t100_msafree52025-09-14 00:08 211K 
[ ]msafree5__t101_msafree52025-09-14 00:12 232K 
[ ]msafree5__t102_msafree52025-09-14 00:15 165K 
[ ]msafree5__t103_msafree52025-09-14 00:18 203K 
[ ]msafree5__t104_msafree52025-09-14 00:21 170K 
[ ]msafree5__t105_msafree52025-09-14 00:25 209K 
[ ]msafree5__t106_msafree52025-09-14 00:28 211K 
[ ]msafree5__t107_msafree52025-09-14 00:31 168K 
[ ]msafree5__t108_msafree52025-09-14 00:34 175K 
[ ]msafree5__t109_msafree52025-09-14 00:38 225K 
[ ]msafree5__t110_msafree52025-09-14 00:42 304K 
[ ]msafree5__t111_msafree52025-09-14 00:45 193K 
[ ]msafree5__t112_msafree52025-09-14 00:50 268K 
[ ]msafree5__t113_msafree52025-09-14 00:53 199K 
[ ]msafree5__t114_msafree52025-09-14 00:56 177K 
[ ]msafree5__t115_msafree52025-09-14 00:59 193K 
[ ]msafree5__t116_msafree52025-09-14 01:02 176K 
[ ]msafree5__t117_msafree52025-09-14 01:06 196K 
[ ]msafree5__t118_msafree52025-09-14 01:09 207K 
[ ]msafree5__t119_msafree52025-09-14 01:13 276K 
[ ]msafree5__t120_msafree52025-09-14 01:17 205K 
[ ]msafree5__t121_msafree52025-09-14 01:21 289K 
[ ]msafree5__t122_msafree52025-09-14 01:24 153K 
[ ]msafree5__t123_msafree52025-09-14 01:27 211K 
[ ]msafree5__t124_msafree52025-09-14 01:30 159K 
[ ]msafree5__t125_msafree52025-09-14 01:34 287K 
[ ]msafree5__t126_msafree52025-09-14 01:37 158K 
[ ]msafree5__t127_msafree52025-09-14 01:40 144K 
[ ]msafree5__t128_msafree52025-09-14 01:43 174K 
[ ]msafree5__t129_msafree52025-09-14 01:46 161K 
[ ]msafree5__t130_msafree52025-09-14 01:49 165K 
[ ]msafree5__t131_msafree52025-09-14 01:53 268K 
[ ]msafree5__t132_msafree52025-09-14 01:57 296K 
[ ]msafree5__t133_msafree52025-09-14 02:01 245K 
[ ]msafree5__t134_msafree52025-09-14 02:05 235K 
[ ]msafree5__t135_msafree52025-09-14 02:08 217K 
[ ]msafree5__t136_msafree52025-09-14 02:11 231K 
[ ]msafree5__t137_msafree52025-09-14 02:14 152K 
[ ]msafree5__t138_msafree52025-09-14 02:16 161K 
[ ]msafree5__t139_msafree52025-09-14 02:20 263K 
[ ]msafree5__t140_msafree52025-09-14 02:23 244K 
[ ]msafree5__t141_msafree52025-09-14 02:26 153K 
[ ]msafree5__t142_msafree52025-09-14 02:28 162K 
[ ]msafree5__t143_msafree52025-09-14 02:32 278K 
[ ]msafree5__t144_msafree52025-09-14 02:36 274K 
[ ]msafree5__t145_msafree52025-09-14 02:40 276K 
[ ]msafree5__t146_msafree52025-09-14 02:44 232K 
[ ]msafree5__t147_msafree52025-09-14 02:49 338K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80