Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/scm_halt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2025-09-13 13:59 53K 
[ ]scm_halt__l2_scm_halt2025-09-13 14:01 83K 
[ ]scm_halt__l3_scm_halt2025-09-13 16:11 84K 
[ ]scm_halt__l73_scm_halt2025-09-13 16:14 101K 
[ ]scm_halt__l74_scm_halt2025-09-13 14:03 88K 
[ ]scm_halt__l75_scm_halt2025-09-13 16:16 101K 
[ ]scm_halt__l76_scm_halt2025-09-13 16:19 187K 
[ ]scm_halt__l77_scm_halt2025-09-13 16:22 153K 
[ ]scm_halt__l78_scm_halt2025-09-13 16:25 396K 
[ ]scm_halt__l79_scm_halt2025-09-13 16:28 181K 
[ ]scm_halt__t2_scm_halt2025-09-13 14:06 113K 
[ ]scm_halt__t4_scm_halt2025-09-13 14:08 115K 
[ ]scm_halt__t5_scm_halt2025-09-13 14:11 120K 
[ ]scm_halt__t6_scm_halt2025-09-13 14:14 184K 
[ ]scm_halt__t7_scm_halt2025-09-13 14:16 102K 
[ ]scm_halt__t8_scm_halt2025-09-13 14:18 107K 
[ ]scm_halt__t9_scm_halt2025-09-13 14:21 106K 
[ ]scm_halt__t10_scm_halt2025-09-13 14:24 163K 
[ ]scm_halt__t11_scm_halt2025-09-13 14:27 252K 
[ ]scm_halt__t12_scm_halt2025-09-13 14:31 262K 
[ ]scm_halt__t13_scm_halt2025-09-13 14:34 166K 
[ ]scm_halt__t14_scm_halt2025-09-13 14:37 165K 
[ ]scm_halt__t15_scm_halt2025-09-13 14:41 355K 
[ ]scm_halt__t16_scm_halt2025-09-13 14:44 228K 
[ ]scm_halt__t17_scm_halt2025-09-13 14:47 159K 
[ ]scm_halt__t18_scm_halt2025-09-13 14:50 264K 
[ ]scm_halt__t19_scm_halt2025-09-13 14:54 212K 
[ ]scm_halt__t20_scm_halt2025-09-13 14:56 138K 
[ ]scm_halt__t21_scm_halt2025-09-13 14:59 139K 
[ ]scm_halt__t22_scm_halt2025-09-13 15:02 112K 
[ ]scm_halt__t23_scm_halt2025-09-13 15:05 180K 
[ ]scm_halt__t24_scm_halt2025-09-13 15:08 183K 
[ ]scm_halt__t26_scm_halt2025-09-13 15:10 100K 
[ ]scm_halt__t27_scm_halt2025-09-13 15:13 135K 
[ ]scm_halt__t28_scm_halt2025-09-13 15:16 156K 
[ ]scm_halt__t29_scm_halt2025-09-13 15:19 159K 
[ ]scm_halt__t31_scm_halt2025-09-13 13:31 86K 
[ ]scm_halt__t32_scm_halt2025-09-13 15:21 93K 
[ ]scm_halt__t33_scm_halt2025-09-13 15:23 97K 
[ ]scm_halt__t34_scm_halt2025-09-13 13:34 103K 
[ ]scm_halt__t35_scm_halt2025-09-13 15:26 97K 
[ ]scm_halt__t36_scm_halt2025-09-13 13:36 103K 
[ ]scm_halt__t37_scm_halt2025-09-13 15:28 119K 
[ ]scm_halt__t38_scm_halt2025-09-13 15:31 99K 
[ ]scm_halt__t39_scm_halt2025-09-13 15:33 100K 
[ ]scm_halt__t40_scm_halt2025-09-13 13:38 106K 
[ ]scm_halt__t41_scm_halt2025-09-13 15:35 100K 
[ ]scm_halt__t42_scm_halt2025-09-13 13:40 106K 
[ ]scm_halt__t43_scm_halt2025-09-13 15:38 123K 
[ ]scm_halt__t44_scm_halt2025-09-13 15:41 102K 
[ ]scm_halt__t49_scm_halt2025-09-13 15:43 88K 
[ ]scm_halt__t51_scm_halt2025-09-13 15:45 98K 
[ ]scm_halt__t52_scm_halt2025-09-13 13:42 95K 
[ ]scm_halt__t53_scm_halt2025-09-13 15:48 94K 
[ ]scm_halt__t54_scm_halt2025-09-13 15:51 202K 
[ ]scm_halt__t62_scm_halt2025-09-13 15:54 172K 
[ ]scm_halt__t65_scm_halt2025-09-13 13:45 151K 
[ ]scm_halt__t66_scm_halt2025-09-13 15:57 289K 
[ ]scm_halt__t67_scm_halt2025-09-13 16:00 182K 
[ ]scm_halt__t68_scm_halt2025-09-13 16:03 183K 
[ ]scm_halt__t69_scm_halt2025-09-13 16:06 162K 
[ ]scm_halt__t70_scm_halt2025-09-13 16:09 159K 
[ ]scm_halt__t71_scm_halt2025-09-13 13:47 92K 
[ ]scm_halt__t72_scm_halt2025-09-13 13:49 87K 
[ ]scm_halt__t73_scm_halt2025-09-13 13:51 95K 
[ ]scm_halt__t74_scm_halt2025-09-13 13:53 114K 
[ ]scm_halt__t75_scm_halt2025-09-13 13:55 81K 
[ ]scm_halt__t76_scm_halt2025-09-13 13:57 72K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80