Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/seq_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_4__l11_seq_42016-03-08 13:09 55K 
[ ]seq_4__l12_seq_42016-03-08 13:09 60K 
[ ]seq_4__l61_seq_42016-03-08 13:09 81K 
[ ]seq_4__l71_seq_42017-01-05 20:54 68K 
[ ]seq_4__l77_seq_42017-01-05 20:54 118K 
[ ]seq_4__l82_seq_42017-01-05 20:54 131K 
[ ]seq_4__l159_seq_42016-03-08 13:09 53K 
[ ]seq_4__l160_seq_42016-03-08 13:09 89K 
[ ]seq_4__l161_seq_42016-03-08 13:09 55K 
[ ]seq_4__l169_seq_42016-03-08 13:09 69K 
[ ]seq_4__l170_seq_42017-01-05 20:54 145K 
[ ]seq_4__l171_seq_42016-03-08 13:09 63K 
[ ]seq_4__l173_seq_42016-03-08 13:09 60K 
[ ]seq_4__l174_seq_42017-01-05 20:54 141K 
[ ]seq_4__l175_seq_42016-03-08 13:09 63K 
[ ]seq_4__t1_seq_42016-03-08 13:09 50K 
[ ]seq_4__t2_seq_42016-03-08 13:09 64K 
[ ]seq_4__t3_seq_42016-03-08 13:09 55K 
[ ]seq_4__t4_seq_42016-03-08 13:09 82K 
[ ]seq_4__t5_seq_42016-03-08 13:09 63K 
[ ]seq_4__t6_seq_42016-03-08 13:09 61K 
[ ]seq_4__t7_seq_42016-03-08 13:09 63K 
[ ]seq_4__t8_seq_42016-03-08 13:09 62K 
[ ]seq_4__t9_seq_42016-03-08 13:09 53K 
[ ]seq_4__t10_seq_42016-03-08 13:09 53K 
[ ]seq_4__t11_seq_42016-03-08 13:09 53K 
[ ]seq_4__t12_seq_42016-03-08 13:09 64K 
[ ]seq_4__t13_seq_42016-03-08 13:09 105K 
[ ]seq_4__t14_seq_42016-03-08 13:09 106K 
[ ]seq_4__t15_seq_42016-03-08 13:09 119K 
[ ]seq_4__t16_seq_42016-03-08 13:09 114K 
[ ]seq_4__t17_seq_42016-03-08 13:09 115K 
[ ]seq_4__t18_seq_42016-03-08 13:09 96K 
[ ]seq_4__t19_seq_42016-03-08 13:09 98K 
[ ]seq_4__t20_seq_42016-03-08 13:09 71K 
[ ]seq_4__t21_seq_42016-03-08 13:09 122K 
[ ]seq_4__t22_seq_42016-03-08 13:09 124K 
[ ]seq_4__t23_seq_42016-03-08 13:09 124K 
[ ]seq_4__t24_seq_42016-03-08 13:09 71K 
[ ]seq_4__t25_seq_42016-03-08 13:09 100K 
[ ]seq_4__t26_seq_42016-03-08 13:09 71K 
[ ]seq_4__t27_seq_42016-03-08 13:09 76K 
[ ]seq_4__t28_seq_42016-03-08 13:09 98K 
[ ]seq_4__t29_seq_42016-03-08 13:09 100K 
[ ]seq_4__t30_seq_42016-03-08 13:09 79K 
[ ]seq_4__t31_seq_42016-03-08 13:09 98K 
[ ]seq_4__t32_seq_42016-03-08 13:09 101K 
[ ]seq_4__t33_seq_42016-03-08 13:09 103K 
[ ]seq_4__t34_seq_42016-03-08 13:09 83K 
[ ]seq_4__t35_seq_42016-03-08 13:09 99K 
[ ]seq_4__t36_seq_42016-03-08 13:09 64K 
[ ]seq_4__t37_seq_42016-03-08 13:09 93K 
[ ]seq_4__t38_seq_42016-03-08 13:09 93K 
[ ]seq_4__t39_seq_42016-03-08 13:09 123K 
[ ]seq_4__t40_seq_42016-03-08 13:09 80K 
[ ]seq_4__t41_seq_42016-03-08 13:09 206K 
[ ]seq_4__t42_seq_42016-03-08 13:09 125K 
[ ]seq_4__t43_seq_42016-03-08 13:09 64K 
[ ]seq_4__t44_seq_42016-03-08 13:09 51K 
[ ]seq_4__t45_seq_42016-03-08 13:09 63K 
[ ]seq_4__t46_seq_42016-03-08 13:09 51K 
[ ]seq_4__t47_seq_42016-03-08 13:09 55K 
[ ]seq_4__t48_seq_42016-03-08 13:09 54K 
[ ]seq_4__t49_seq_42016-03-08 13:09 68K 
[ ]seq_4__t50_seq_42016-03-08 13:09 82K 
[ ]seq_4__t51_seq_42016-03-08 13:09 68K 
[ ]seq_4__t52_seq_42016-03-08 13:09 70K 
[ ]seq_4__t53_seq_42016-03-08 13:09 68K 
[ ]seq_4__t54_seq_42016-03-08 13:09 79K 
[ ]seq_4__t55_seq_42016-03-08 13:09 79K 
[ ]seq_4__t56_seq_42016-03-08 13:09 76K 
[ ]seq_4__t57_seq_42017-01-05 20:54 71K 
[ ]seq_4__t58_seq_42017-01-05 20:54 100K 
[ ]seq_4__t59_seq_42017-01-05 20:54 101K 
[ ]seq_4__t60_seq_42017-01-05 20:54 111K 
[ ]seq_4__t61_seq_42017-01-05 20:54 129K 
[ ]seq_4__t62_seq_42017-01-05 20:54 129K 
[ ]seq_4__t64_seq_42017-01-05 20:54 69K 
[ ]seq_4__t65_seq_42017-01-05 20:54 66K 
[ ]seq_4__t66_seq_42017-01-05 20:54 132K 
[ ]seq_4__t67_seq_42017-01-05 20:54 136K 
[ ]seq_4__t68_seq_42017-01-05 20:54 123K 
[ ]seq_4__t69_seq_42017-01-05 20:54 123K 
[ ]seq_4__t70_seq_42017-01-05 20:54 77K 
[ ]seq_4__t71_seq_42017-01-05 20:54 77K 
[ ]seq_4__t72_seq_42017-01-05 20:54 77K 
[ ]seq_4__t73_seq_42017-01-05 20:54 137K 
[ ]seq_4__t74_seq_42017-01-05 20:54 137K 
[ ]seq_4__t75_seq_42017-01-05 20:54 110K 
[ ]seq_4__t76_seq_42017-01-05 20:54 109K 
[ ]seq_4__t77_seq_42017-01-05 20:54 110K 
[ ]seq_4__t78_seq_42017-01-05 20:54 77K 
[ ]seq_4__t79_seq_42017-01-05 20:54 123K 
[ ]seq_4__t80_seq_42017-01-05 20:54 139K 
[ ]seq_4__t81_seq_42017-01-05 20:54 139K 
[ ]seq_4__t82_seq_42017-01-05 20:54 112K 
[ ]seq_4__t83_seq_42017-01-05 20:54 107K 
[ ]seq_4__t84_seq_42017-01-05 20:54 119K 
[ ]seq_4__t85_seq_42017-01-05 20:54 115K 
[ ]seq_4__t86_seq_42017-01-05 20:54 104K 
[ ]seq_4__t87_seq_42017-01-05 20:54 117K 
[ ]seq_4__t88_seq_42017-01-05 20:54 70K 
[ ]seq_4__t89_seq_42017-01-05 20:54 119K 
[ ]seq_4__t90_seq_42017-01-05 20:54 126K 
[ ]seq_4__t91_seq_42017-01-05 20:54 105K 
[ ]seq_4__t92_seq_42017-01-05 20:54 97K 
[ ]seq_4__t93_seq_42017-01-05 20:54 126K 
[ ]seq_4__t94_seq_42017-01-05 20:54 143K 
[ ]seq_4__t95_seq_42017-01-05 20:54 114K 
[ ]seq_4__t96_seq_42017-01-05 20:54 121K 
[ ]seq_4__t97_seq_42017-01-05 20:54 140K 
[ ]seq_4__t98_seq_42017-01-05 20:54 350K 
[ ]seq_4__t99_seq_42017-01-05 20:54 145K 
[ ]seq_4__t100_seq_42017-01-05 20:54 146K 
[ ]seq_4__t101_seq_42017-01-05 20:54 146K 
[ ]seq_4__t102_seq_42017-01-05 20:54 149K 
[ ]seq_4__t103_seq_42017-01-05 20:54 140K 
[ ]seq_4__t104_seq_42017-01-05 20:54 138K 
[ ]seq_4__t105_seq_42017-01-05 20:54 144K 
[ ]seq_4__t106_seq_42017-01-05 20:54 119K 
[ ]seq_4__t107_seq_42017-01-05 20:54 119K 
[ ]seq_4__t108_seq_42017-01-05 20:54 119K 
[ ]seq_4__t109_seq_42017-01-05 20:54 127K 
[ ]seq_4__t110_seq_42017-01-05 20:54 140K 
[ ]seq_4__t111_seq_42017-01-05 20:54 140K 
[ ]seq_4__t112_seq_42017-01-05 20:54 172K 
[ ]seq_4__t113_seq_42016-03-08 13:09 57K 
[ ]seq_4__t114_seq_42017-01-05 20:54 144K 
[ ]seq_4__t115_seq_42017-01-05 20:54 157K 
[ ]seq_4__t116_seq_42017-01-05 20:54 150K 
[ ]seq_4__t117_seq_42017-01-05 20:54 153K 
[ ]seq_4__t118_seq_42017-01-05 20:54 144K 
[ ]seq_4__t119_seq_42017-01-05 20:54 65K 
[ ]seq_4__t120_seq_42017-01-05 20:54 65K 
[ ]seq_4__t121_seq_42017-01-05 20:54 66K 
[ ]seq_4__t122_seq_42017-01-05 20:54 153K 
[ ]seq_4__t123_seq_42016-03-08 13:09 50K 
[ ]seq_4__t124_seq_42017-01-05 20:54 85K 
[ ]seq_4__t125_seq_42017-01-05 20:54 97K 
[ ]seq_4__t126_seq_42016-03-08 13:09 56K 
[ ]seq_4__t127_seq_42017-01-05 20:54 144K 
[ ]seq_4__t128_seq_42017-01-05 20:54 140K 
[ ]seq_4__t129_seq_42017-01-05 20:54 181K 
[ ]seq_4__t130_seq_42017-01-05 20:54 73K 
[ ]seq_4__t131_seq_42017-01-05 20:54 62K 
[ ]seq_4__t132_seq_42017-01-05 20:54 124K 
[ ]seq_4__t133_seq_42016-03-08 13:09 53K 
[ ]seq_4__t134_seq_42016-03-08 13:09 58K 
[ ]seq_4__t135_seq_42016-03-08 13:09 62K 
[ ]seq_4__t136_seq_42016-03-08 13:09 78K 
[ ]seq_4__t137_seq_42016-03-08 13:09 64K 
[ ]seq_4__t138_seq_42016-03-08 13:09 64K 
[ ]seq_4__t139_seq_42017-01-05 20:54 84K 
[ ]seq_4__t140_seq_42016-03-08 13:09 61K 
[ ]seq_4__t141_seq_42016-03-08 13:09 60K 
[ ]seq_4__t142_seq_42016-03-08 13:09 65K 
[ ]seq_4__t143_seq_42016-03-08 13:09 64K 
[ ]seq_4__t144_seq_42016-03-08 13:09 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80