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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2019-08-20 06:45 75K 
[ ]scm_halt__l2_scm_halt2019-08-20 06:45 111K 
[ ]scm_halt__l3_scm_halt2019-08-20 06:45 105K 
[ ]scm_halt__l4_scm_halt2019-08-20 06:46 131K 
[ ]scm_halt__t2_scm_halt2019-08-20 06:46 209K 
[ ]scm_halt__t4_scm_halt2019-08-20 06:47 219K 
[ ]scm_halt__t5_scm_halt2019-08-20 06:47 225K 
[ ]scm_halt__t6_scm_halt2019-08-20 06:49 574K 
[ ]scm_halt__t7_scm_halt2019-08-20 06:50 216K 
[ ]scm_halt__t8_scm_halt2019-08-20 06:51 239K 
[ ]scm_halt__t9_scm_halt2019-08-20 06:51 174K 
[ ]scm_halt__t10_scm_halt2019-08-20 06:52 350K 
[ ]scm_halt__t11_scm_halt2019-08-20 06:55 552K 
[ ]scm_halt__t12_scm_halt2019-08-20 06:57 561K 
[ ]scm_halt__t13_scm_halt2019-08-20 06:59 444K 
[ ]scm_halt__t14_scm_halt2019-08-20 07:01 381K 
[ ]scm_halt__t15_scm_halt2019-08-20 07:05 1.1M 
[ ]scm_halt__t16_scm_halt2019-08-20 07:10 949K 
[ ]scm_halt__t17_scm_halt2019-08-20 07:11 356K 
[ ]scm_halt__t18_scm_halt2019-08-20 07:12 442K 
[ ]scm_halt__t19_scm_halt2019-08-20 07:17 833K 
[ ]scm_halt__t20_scm_halt2019-08-20 07:17 207K 
[ ]scm_halt__t21_scm_halt2019-08-20 07:17 209K 
[ ]scm_halt__t22_scm_halt2019-08-20 07:18 283K 
[ ]scm_halt__t23_scm_halt2019-08-20 07:19 291K 
[ ]scm_halt__t24_scm_halt2019-08-20 07:20 302K 
[ ]scm_halt__t25_scm_halt2019-08-20 07:21 191K 
[ ]scm_halt__t26_scm_halt2019-08-20 07:21 178K 
[ ]scm_halt__t27_scm_halt2019-08-20 07:22 227K 
[ ]scm_halt__t28_scm_halt2019-08-20 07:22 216K 
[ ]scm_halt__t29_scm_halt2019-08-20 07:22 220K 
[ ]scm_halt__t30_scm_halt2019-08-20 07:23 168K 
[ ]scm_halt__t31_scm_halt2019-08-20 07:23 134K 
[ ]scm_halt__t32_scm_halt2019-08-20 07:23 129K 
[ ]scm_halt__t33_scm_halt2019-08-20 07:23 172K 
[ ]scm_halt__t34_scm_halt2019-08-20 07:23 171K 
[ ]scm_halt__t35_scm_halt2019-08-20 07:24 172K 
[ ]scm_halt__t36_scm_halt2019-08-20 07:24 171K 
[ ]scm_halt__t37_scm_halt2019-08-20 07:24 252K 
[ ]scm_halt__t38_scm_halt2019-08-20 07:26 307K 
[ ]scm_halt__t39_scm_halt2019-08-20 07:26 178K 
[ ]scm_halt__t40_scm_halt2019-08-20 07:26 176K 
[ ]scm_halt__t41_scm_halt2019-08-20 07:26 178K 
[ ]scm_halt__t42_scm_halt2019-08-20 07:26 176K 
[ ]scm_halt__t43_scm_halt2019-08-20 07:27 257K 
[ ]scm_halt__t44_scm_halt2019-08-20 07:28 312K 
[ ]scm_halt__t45_scm_halt2019-08-20 07:28 179K 
[ ]scm_halt__t46_scm_halt2019-08-20 07:29 172K 
[ ]scm_halt__t47_scm_halt2019-08-20 07:29 179K 
[ ]scm_halt__t48_scm_halt2019-08-20 07:29 223K 
[ ]scm_halt__t49_scm_halt2019-08-20 07:29 152K 
[ ]scm_halt__t50_scm_halt2019-08-20 07:30 150K 
[ ]scm_halt__t51_scm_halt2019-08-20 07:30 152K 
[ ]scm_halt__t52_scm_halt2019-08-20 07:30 149K 
[ ]scm_halt__t53_scm_halt2019-08-20 07:30 154K 
[ ]scm_halt__t54_scm_halt2019-08-20 07:31 323K 
[ ]scm_halt__t55_scm_halt2019-08-20 07:32 280K 
[ ]scm_halt__t56_scm_halt2019-08-20 07:32 214K 
[ ]scm_halt__t57_scm_halt2019-08-20 07:33 305K 
[ ]scm_halt__t58_scm_halt2019-08-20 07:34 242K 
[ ]scm_halt__t59_scm_halt2019-08-20 07:35 308K 
[ ]scm_halt__t60_scm_halt2019-08-20 07:44 2.0M 
[ ]scm_halt__t61_scm_halt2019-08-20 07:45 228K 
[ ]scm_halt__t62_scm_halt2019-08-20 07:45 265K 
[ ]scm_halt__t63_scm_halt2019-08-20 07:46 295K 
[ ]scm_halt__t64_scm_halt2019-08-20 07:50 1.0M 
[ ]scm_halt__t65_scm_halt2019-08-20 07:51 357K 
[ ]scm_halt__t66_scm_halt2019-08-20 08:01 1.8M 
[ ]scm_halt__t67_scm_halt2019-08-20 08:02 303K 
[ ]scm_halt__t68_scm_halt2019-08-20 08:02 289K 
[ ]scm_halt__t69_scm_halt2019-08-20 08:02 267K 
[ ]scm_halt__t70_scm_halt2019-08-20 08:03 254K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80