Index of /~mptp/mml5.63.1382/MPTP2/problems/scm_halt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2023-06-28 18:07 56K 
[ ]scm_halt__l2_scm_halt2023-06-28 18:07 87K 
[ ]scm_halt__l3_scm_halt2023-06-28 18:50 88K 
[ ]scm_halt__l73_scm_halt2023-06-28 18:51 106K 
[ ]scm_halt__l74_scm_halt2023-06-28 18:08 91K 
[ ]scm_halt__l75_scm_halt2023-06-28 18:52 106K 
[ ]scm_halt__l76_scm_halt2023-06-28 18:53 194K 
[ ]scm_halt__l77_scm_halt2023-06-28 18:54 161K 
[ ]scm_halt__l78_scm_halt2023-06-28 18:55 390K 
[ ]scm_halt__l79_scm_halt2023-06-28 18:56 201K 
[ ]scm_halt__t2_scm_halt2023-06-28 18:09 124K 
[ ]scm_halt__t4_scm_halt2023-06-28 18:10 119K 
[ ]scm_halt__t5_scm_halt2023-06-28 18:10 125K 
[ ]scm_halt__t6_scm_halt2023-06-28 18:11 189K 
[ ]scm_halt__t7_scm_halt2023-06-28 18:12 106K 
[ ]scm_halt__t8_scm_halt2023-06-28 18:13 111K 
[ ]scm_halt__t9_scm_halt2023-06-28 18:13 109K 
[ ]scm_halt__t10_scm_halt2023-06-28 18:14 181K 
[ ]scm_halt__t11_scm_halt2023-06-28 18:16 272K 
[ ]scm_halt__t12_scm_halt2023-06-28 18:17 283K 
[ ]scm_halt__t13_scm_halt2023-06-28 18:18 184K 
[ ]scm_halt__t14_scm_halt2023-06-28 18:19 183K 
[ ]scm_halt__t15_scm_halt2023-06-28 18:20 377K 
[ ]scm_halt__t16_scm_halt2023-06-28 18:21 247K 
[ ]scm_halt__t17_scm_halt2023-06-28 18:22 177K 
[ ]scm_halt__t18_scm_halt2023-06-28 18:23 285K 
[ ]scm_halt__t19_scm_halt2023-06-28 18:24 231K 
[ ]scm_halt__t20_scm_halt2023-06-28 18:25 155K 
[ ]scm_halt__t21_scm_halt2023-06-28 18:26 157K 
[ ]scm_halt__t22_scm_halt2023-06-28 18:27 118K 
[ ]scm_halt__t23_scm_halt2023-06-28 18:28 199K 
[ ]scm_halt__t24_scm_halt2023-06-28 18:29 203K 
[ ]scm_halt__t26_scm_halt2023-06-28 18:29 104K 
[ ]scm_halt__t27_scm_halt2023-06-28 18:30 139K 
[ ]scm_halt__t28_scm_halt2023-06-28 18:31 174K 
[ ]scm_halt__t29_scm_halt2023-06-28 18:32 178K 
[ ]scm_halt__t31_scm_halt2023-06-28 17:57 89K 
[ ]scm_halt__t32_scm_halt2023-06-28 18:33 96K 
[ ]scm_halt__t33_scm_halt2023-06-28 18:34 191K 
[ ]scm_halt__t34_scm_halt2023-06-28 17:58 189K 
[ ]scm_halt__t35_scm_halt2023-06-28 18:35 191K 
[ ]scm_halt__t36_scm_halt2023-06-28 17:59 189K 
[ ]scm_halt__t37_scm_halt2023-06-28 18:36 202K 
[ ]scm_halt__t38_scm_halt2023-06-28 18:37 187K 
[ ]scm_halt__t39_scm_halt2023-06-28 18:38 194K 
[ ]scm_halt__t40_scm_halt2023-06-28 18:00 192K 
[ ]scm_halt__t41_scm_halt2023-06-28 18:39 194K 
[ ]scm_halt__t42_scm_halt2023-06-28 18:00 192K 
[ ]scm_halt__t43_scm_halt2023-06-28 18:39 205K 
[ ]scm_halt__t44_scm_halt2023-06-28 18:40 191K 
[ ]scm_halt__t49_scm_halt2023-06-28 18:41 92K 
[ ]scm_halt__t51_scm_halt2023-06-28 18:42 102K 
[ ]scm_halt__t52_scm_halt2023-06-28 18:01 99K 
[ ]scm_halt__t53_scm_halt2023-06-28 18:42 98K 
[ ]scm_halt__t54_scm_halt2023-06-28 18:43 222K 
[ ]scm_halt__t62_scm_halt2023-06-28 18:44 191K 
[ ]scm_halt__t65_scm_halt2023-06-28 18:02 170K 
[ ]scm_halt__t66_scm_halt2023-06-28 18:45 310K 
[ ]scm_halt__t67_scm_halt2023-06-28 18:46 203K 
[ ]scm_halt__t68_scm_halt2023-06-28 18:47 203K 
[ ]scm_halt__t69_scm_halt2023-06-28 18:48 182K 
[ ]scm_halt__t70_scm_halt2023-06-28 18:49 179K 
[ ]scm_halt__t71_scm_halt2023-06-28 18:03 96K 
[ ]scm_halt__t72_scm_halt2023-06-28 18:03 91K 
[ ]scm_halt__t73_scm_halt2023-06-28 18:04 100K 
[ ]scm_halt__t74_scm_halt2023-06-28 18:05 118K 
[ ]scm_halt__t75_scm_halt2023-06-28 18:06 86K 
[ ]scm_halt__t76_scm_halt2023-06-28 18:06 77K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80