Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/scm_halt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2021-07-18 23:49 56K 
[ ]scm_halt__l2_scm_halt2021-07-18 23:49 87K 
[ ]scm_halt__l3_scm_halt2021-07-19 00:24 88K 
[ ]scm_halt__l73_scm_halt2021-07-19 00:24 106K 
[ ]scm_halt__l74_scm_halt2021-07-18 23:50 91K 
[ ]scm_halt__l75_scm_halt2021-07-19 00:25 106K 
[ ]scm_halt__l76_scm_halt2021-07-19 00:25 193K 
[ ]scm_halt__l77_scm_halt2021-07-19 00:26 161K 
[ ]scm_halt__l78_scm_halt2021-07-19 00:27 378K 
[ ]scm_halt__l79_scm_halt2021-07-19 00:27 201K 
[ ]scm_halt__t2_scm_halt2021-07-18 23:51 124K 
[ ]scm_halt__t4_scm_halt2021-07-18 23:51 119K 
[ ]scm_halt__t5_scm_halt2021-07-18 23:52 125K 
[ ]scm_halt__t6_scm_halt2021-07-18 23:53 187K 
[ ]scm_halt__t7_scm_halt2021-07-18 23:53 106K 
[ ]scm_halt__t8_scm_halt2021-07-18 23:54 111K 
[ ]scm_halt__t9_scm_halt2021-07-18 23:55 109K 
[ ]scm_halt__t10_scm_halt2021-07-18 23:55 181K 
[ ]scm_halt__t11_scm_halt2021-07-18 23:56 268K 
[ ]scm_halt__t12_scm_halt2021-07-18 23:57 279K 
[ ]scm_halt__t13_scm_halt2021-07-18 23:58 184K 
[ ]scm_halt__t14_scm_halt2021-07-18 23:59 183K 
[ ]scm_halt__t15_scm_halt2021-07-19 00:00 369K 
[ ]scm_halt__t16_scm_halt2021-07-19 00:01 247K 
[ ]scm_halt__t17_scm_halt2021-07-19 00:02 177K 
[ ]scm_halt__t18_scm_halt2021-07-19 00:02 280K 
[ ]scm_halt__t19_scm_halt2021-07-19 00:03 231K 
[ ]scm_halt__t20_scm_halt2021-07-19 00:04 155K 
[ ]scm_halt__t21_scm_halt2021-07-19 00:05 157K 
[ ]scm_halt__t22_scm_halt2021-07-19 00:05 118K 
[ ]scm_halt__t23_scm_halt2021-07-19 00:06 199K 
[ ]scm_halt__t24_scm_halt2021-07-19 00:07 203K 
[ ]scm_halt__t26_scm_halt2021-07-19 00:08 104K 
[ ]scm_halt__t27_scm_halt2021-07-19 00:08 140K 
[ ]scm_halt__t28_scm_halt2021-07-19 00:09 174K 
[ ]scm_halt__t29_scm_halt2021-07-19 00:10 178K 
[ ]scm_halt__t31_scm_halt2021-07-18 23:41 89K 
[ ]scm_halt__t32_scm_halt2021-07-19 00:11 96K 
[ ]scm_halt__t33_scm_halt2021-07-19 00:11 191K 
[ ]scm_halt__t34_scm_halt2021-07-18 23:42 189K 
[ ]scm_halt__t35_scm_halt2021-07-19 00:12 191K 
[ ]scm_halt__t36_scm_halt2021-07-18 23:42 189K 
[ ]scm_halt__t37_scm_halt2021-07-19 00:13 202K 
[ ]scm_halt__t38_scm_halt2021-07-19 00:14 187K 
[ ]scm_halt__t39_scm_halt2021-07-19 00:15 194K 
[ ]scm_halt__t40_scm_halt2021-07-18 23:43 192K 
[ ]scm_halt__t41_scm_halt2021-07-19 00:15 194K 
[ ]scm_halt__t42_scm_halt2021-07-18 23:44 192K 
[ ]scm_halt__t43_scm_halt2021-07-19 00:16 205K 
[ ]scm_halt__t44_scm_halt2021-07-19 00:17 190K 
[ ]scm_halt__t49_scm_halt2021-07-19 00:17 91K 
[ ]scm_halt__t51_scm_halt2021-07-19 00:18 102K 
[ ]scm_halt__t52_scm_halt2021-07-18 23:44 99K 
[ ]scm_halt__t53_scm_halt2021-07-19 00:19 98K 
[ ]scm_halt__t54_scm_halt2021-07-19 00:19 222K 
[ ]scm_halt__t62_scm_halt2021-07-19 00:20 191K 
[ ]scm_halt__t65_scm_halt2021-07-18 23:45 170K 
[ ]scm_halt__t66_scm_halt2021-07-19 00:21 304K 
[ ]scm_halt__t67_scm_halt2021-07-19 00:21 203K 
[ ]scm_halt__t68_scm_halt2021-07-19 00:22 203K 
[ ]scm_halt__t69_scm_halt2021-07-19 00:23 182K 
[ ]scm_halt__t70_scm_halt2021-07-19 00:23 179K 
[ ]scm_halt__t71_scm_halt2021-07-18 23:46 96K 
[ ]scm_halt__t72_scm_halt2021-07-18 23:46 91K 
[ ]scm_halt__t73_scm_halt2021-07-18 23:47 99K 
[ ]scm_halt__t74_scm_halt2021-07-18 23:47 118K 
[ ]scm_halt__t75_scm_halt2021-07-18 23:48 86K 
[ ]scm_halt__t76_scm_halt2021-07-18 23:48 77K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80