Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/scm_halt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2017-01-13 00:41 97K 
[ ]scm_halt__l2_scm_halt2017-01-13 00:41 144K 
[ ]scm_halt__l3_scm_halt2017-01-13 00:41 136K 
[ ]scm_halt__l4_scm_halt2017-01-13 00:42 147K 
[ ]scm_halt__t2_scm_halt2017-01-13 00:41 192K 
[ ]scm_halt__t4_scm_halt2017-01-13 00:41 191K 
[ ]scm_halt__t5_scm_halt2017-01-13 00:41 199K 
[ ]scm_halt__t6_scm_halt2017-01-13 00:41 262K 
[ ]scm_halt__t7_scm_halt2017-01-13 00:41 170K 
[ ]scm_halt__t8_scm_halt2017-01-13 00:41 179K 
[ ]scm_halt__t9_scm_halt2017-01-13 00:41 178K 
[ ]scm_halt__t10_scm_halt2017-01-13 00:41 266K 
[ ]scm_halt__t11_scm_halt2017-01-13 00:41 278K 
[ ]scm_halt__t12_scm_halt2017-01-13 00:41 292K 
[ ]scm_halt__t13_scm_halt2017-01-13 00:41 270K 
[ ]scm_halt__t14_scm_halt2017-01-13 00:41 270K 
[ ]scm_halt__t15_scm_halt2017-01-13 00:41 464K 
[ ]scm_halt__t16_scm_halt2017-01-13 00:41 353K 
[ ]scm_halt__t17_scm_halt2017-01-13 00:41 263K 
[ ]scm_halt__t18_scm_halt2017-01-13 00:41 359K 
[ ]scm_halt__t19_scm_halt2017-01-13 00:41 333K 
[ ]scm_halt__t20_scm_halt2017-01-13 00:41 235K 
[ ]scm_halt__t21_scm_halt2017-01-13 00:41 238K 
[ ]scm_halt__t22_scm_halt2017-01-13 00:41 188K 
[ ]scm_halt__t23_scm_halt2017-01-13 00:41 291K 
[ ]scm_halt__t24_scm_halt2017-01-13 00:41 297K 
[ ]scm_halt__t25_scm_halt2017-01-13 00:41 160K 
[ ]scm_halt__t26_scm_halt2017-01-13 00:41 151K 
[ ]scm_halt__t27_scm_halt2017-01-13 00:41 183K 
[ ]scm_halt__t28_scm_halt2017-01-13 00:41 257K 
[ ]scm_halt__t29_scm_halt2017-01-13 00:41 263K 
[ ]scm_halt__t30_scm_halt2017-01-13 00:41 157K 
[ ]scm_halt__t31_scm_halt2017-01-13 00:41 146K 
[ ]scm_halt__t32_scm_halt2017-01-13 00:41 155K 
[ ]scm_halt__t33_scm_halt2017-01-13 00:41 160K 
[ ]scm_halt__t34_scm_halt2017-01-13 00:41 168K 
[ ]scm_halt__t35_scm_halt2017-01-13 00:41 160K 
[ ]scm_halt__t36_scm_halt2017-01-13 00:41 168K 
[ ]scm_halt__t37_scm_halt2017-01-13 00:41 184K 
[ ]scm_halt__t38_scm_halt2017-01-13 00:41 167K 
[ ]scm_halt__t39_scm_halt2017-01-13 00:41 165K 
[ ]scm_halt__t40_scm_halt2017-01-13 00:41 173K 
[ ]scm_halt__t41_scm_halt2017-01-13 00:41 165K 
[ ]scm_halt__t42_scm_halt2017-01-13 00:41 173K 
[ ]scm_halt__t43_scm_halt2017-01-13 00:41 189K 
[ ]scm_halt__t44_scm_halt2017-01-13 00:41 171K 
[ ]scm_halt__t45_scm_halt2017-01-13 00:41 174K 
[ ]scm_halt__t46_scm_halt2017-01-13 00:41 169K 
[ ]scm_halt__t47_scm_halt2017-01-13 00:41 174K 
[ ]scm_halt__t48_scm_halt2017-01-13 00:41 180K 
[ ]scm_halt__t49_scm_halt2017-01-13 00:41 147K 
[ ]scm_halt__t50_scm_halt2017-01-13 00:41 144K 
[ ]scm_halt__t51_scm_halt2017-01-13 00:41 166K 
[ ]scm_halt__t52_scm_halt2017-01-13 00:41 159K 
[ ]scm_halt__t53_scm_halt2017-01-13 00:41 158K 
[ ]scm_halt__t54_scm_halt2017-01-13 00:41 302K 
[ ]scm_halt__t55_scm_halt2017-01-13 00:41 203K 
[ ]scm_halt__t56_scm_halt2017-01-13 00:41 193K 
[ ]scm_halt__t57_scm_halt2017-01-13 00:41 207K 
[ ]scm_halt__t58_scm_halt2017-01-13 00:41 192K 
[ ]scm_halt__t59_scm_halt2017-01-13 00:41 206K 
[ ]scm_halt__t60_scm_halt2017-01-13 00:41 668K 
[ ]scm_halt__t61_scm_halt2017-01-13 00:41 274K 
[ ]scm_halt__t62_scm_halt2017-01-13 00:41 290K 
[ ]scm_halt__t63_scm_halt2017-01-13 00:41 304K 
[ ]scm_halt__t64_scm_halt2017-01-13 00:41 550K 
[ ]scm_halt__t65_scm_halt2017-01-13 00:41 335K 
[ ]scm_halt__t66_scm_halt2017-01-13 00:41 944K 
[ ]scm_halt__t67_scm_halt2017-01-13 00:41 311K 
[ ]scm_halt__t68_scm_halt2017-01-13 00:42 311K 
[ ]scm_halt__t69_scm_halt2017-01-13 00:42 279K 
[ ]scm_halt__t70_scm_halt2017-01-13 00:42 274K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80