Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scm_halt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2024-07-26 17:37 32K 
[ ]scm_halt__l1_scm_halt.depv12024-08-03 10:19 204  
[ ]scm_halt__l1_scm_halt.depvmin12024-08-03 10:24 204  
[ ]scm_halt__l1_scm_halt.vmin12024-08-03 10:19 1.7K 
[ ]scm_halt__l1_scm_halt.vmin1out2024-08-03 10:23 13K 
[ ]scm_halt__l1_scm_halt.vout2024-08-03 04:27 15K 
[ ]scm_halt__l2_scm_halt2024-07-26 17:39 52K 
[ ]scm_halt__l2_scm_halt.vout2024-08-03 06:58 8.8K 
[ ]scm_halt__l3_scm_halt2024-07-26 19:40 52K 
[ ]scm_halt__l3_scm_halt.vout2024-08-03 05:35 9.9K 
[ ]scm_halt__l73_scm_halt2024-07-26 19:42 64K 
[ ]scm_halt__l73_scm_halt.vout2024-08-03 06:39 4.7K 
[ ]scm_halt__l74_scm_halt2024-07-26 17:41 55K 
[ ]scm_halt__l74_scm_halt.depv12024-08-03 10:19 158  
[ ]scm_halt__l74_scm_halt.depvmin12024-08-03 10:24 158  
[ ]scm_halt__l74_scm_halt.vmin12024-08-03 10:19 3.7K 
[ ]scm_halt__l74_scm_halt.vmin1out2024-08-03 10:21 88K 
[ ]scm_halt__l74_scm_halt.vout2024-08-03 07:17 35K 
[ ]scm_halt__l75_scm_halt2024-07-26 19:44 64K 
[ ]scm_halt__l75_scm_halt.depv12024-08-03 10:19 117  
[ ]scm_halt__l75_scm_halt.depvmin12024-08-03 10:24 117  
[ ]scm_halt__l75_scm_halt.vmin12024-08-03 10:19 4.5K 
[ ]scm_halt__l75_scm_halt.vmin1out2024-08-03 10:22 63K 
[ ]scm_halt__l75_scm_halt.vout2024-08-03 04:47 78K 
[ ]scm_halt__l76_scm_halt2024-07-26 19:47 121K 
[ ]scm_halt__l76_scm_halt.vout2024-08-03 06:45 4.7K 
[ ]scm_halt__l77_scm_halt2024-07-26 19:50 98K 
[ ]scm_halt__l77_scm_halt.vout2024-08-03 09:01 4.7K 
[ ]scm_halt__l78_scm_halt2024-07-26 19:53 224K 
[ ]scm_halt__l78_scm_halt.vout2024-08-03 10:10 4.7K 
[ ]scm_halt__l79_scm_halt2024-07-26 19:56 117K 
[ ]scm_halt__l79_scm_halt.vout2024-08-03 08:21 4.7K 
[ ]scm_halt__t2_scm_halt2024-07-26 17:43 71K 
[ ]scm_halt__t2_scm_halt.vout2024-08-03 07:23 6.3K 
[ ]scm_halt__t4_scm_halt2024-07-26 17:46 72K 
[ ]scm_halt__t4_scm_halt.vout2024-08-03 06:43 4.7K 
[ ]scm_halt__t5_scm_halt2024-07-26 17:48 75K 
[ ]scm_halt__t5_scm_halt.vout2024-08-03 08:38 4.7K 
[ ]scm_halt__t6_scm_halt2024-07-26 17:50 114K 
[ ]scm_halt__t6_scm_halt.vout2024-08-03 09:40 4.7K 
[ ]scm_halt__t7_scm_halt2024-07-26 17:53 64K 
[ ]scm_halt__t7_scm_halt.vout2024-08-03 06:56 4.7K 
[ ]scm_halt__t8_scm_halt2024-07-26 17:55 67K 
[ ]scm_halt__t8_scm_halt.vout2024-08-03 09:58 4.7K 
[ ]scm_halt__t9_scm_halt2024-07-26 17:57 66K 
[ ]scm_halt__t9_scm_halt.vout2024-08-03 06:06 4.7K 
[ ]scm_halt__t10_scm_halt2024-07-26 18:00 106K 
[ ]scm_halt__t10_scm_halt.vout2024-08-03 04:45 4.7K 
[ ]scm_halt__t11_scm_halt2024-07-26 18:03 156K 
[ ]scm_halt__t11_scm_halt.vout2024-08-03 05:53 4.7K 
[ ]scm_halt__t12_scm_halt2024-07-26 18:06 162K 
[ ]scm_halt__t12_scm_halt.vout2024-08-03 07:36 4.7K 
[ ]scm_halt__t13_scm_halt2024-07-26 18:09 109K 
[ ]scm_halt__t13_scm_halt.vout2024-08-03 08:00 4.7K 
[ ]scm_halt__t14_scm_halt2024-07-26 18:12 108K 
[ ]scm_halt__t14_scm_halt.vout2024-08-03 07:39 4.7K 
[ ]scm_halt__t15_scm_halt2024-07-26 18:16 212K 
[ ]scm_halt__t15_scm_halt.vout2024-08-03 08:15 4.7K 
[ ]scm_halt__t16_scm_halt2024-07-26 18:19 150K 
[ ]scm_halt__t16_scm_halt.vout2024-08-03 08:22 6.8K 
[ ]scm_halt__t17_scm_halt2024-07-26 18:22 104K 
[ ]scm_halt__t17_scm_halt.vout2024-08-03 06:00 4.7K 
[ ]scm_halt__t18_scm_halt2024-07-26 18:25 159K 
[ ]scm_halt__t18_scm_halt.vout2024-08-03 10:16 4.7K 
[ ]scm_halt__t19_scm_halt2024-07-26 18:28 135K 
[ ]scm_halt__t19_scm_halt.vout2024-08-03 08:17 4.7K 
[ ]scm_halt__t20_scm_halt2024-07-26 18:30 89K 
[ ]scm_halt__t20_scm_halt.vout2024-08-03 07:14 4.7K 
[ ]scm_halt__t21_scm_halt2024-07-26 18:33 89K 
[ ]scm_halt__t21_scm_halt.vout2024-08-03 04:12 4.7K 
[ ]scm_halt__t22_scm_halt2024-07-26 18:35 70K 
[ ]scm_halt__t22_scm_halt.vout2024-08-03 07:18 4.7K 
[ ]scm_halt__t23_scm_halt2024-07-26 18:38 116K 
[ ]scm_halt__t23_scm_halt.vout2024-08-03 04:18 4.7K 
[ ]scm_halt__t24_scm_halt2024-07-26 18:41 118K 
[ ]scm_halt__t24_scm_halt.vout2024-08-03 10:15 4.7K 
[ ]scm_halt__t26_scm_halt2024-07-26 18:43 63K 
[ ]scm_halt__t26_scm_halt.vout2024-08-03 09:19 4.7K 
[ ]scm_halt__t27_scm_halt2024-07-26 18:46 86K 
[ ]scm_halt__t27_scm_halt.vout2024-08-03 09:58 4.7K 
[ ]scm_halt__t28_scm_halt2024-07-26 18:48 101K 
[ ]scm_halt__t28_scm_halt.vout2024-08-03 05:49 4.7K 
[ ]scm_halt__t29_scm_halt2024-07-26 18:51 103K 
[ ]scm_halt__t29_scm_halt.vout2024-08-03 10:05 4.7K 
[ ]scm_halt__t31_scm_halt2024-07-26 17:11 54K 
[ ]scm_halt__t31_scm_halt.vout2024-08-03 07:12 6.8K 
[ ]scm_halt__t32_scm_halt2024-07-26 18:53 58K 
[ ]scm_halt__t32_scm_halt.depv12024-08-03 10:19 202  
[ ]scm_halt__t32_scm_halt.depvmin12024-08-03 10:24 202  
[ ]scm_halt__t32_scm_halt.vmin12024-08-03 10:19 4.2K 
[ ]scm_halt__t32_scm_halt.vmin1out2024-08-03 10:20 29K 
[ ]scm_halt__t32_scm_halt.vout2024-08-03 07:15 53K 
[ ]scm_halt__t33_scm_halt2024-07-26 18:55 61K 
[ ]scm_halt__t33_scm_halt.depv12024-08-03 10:19 132  
[ ]scm_halt__t33_scm_halt.depvmin12024-08-03 10:24 119  
[ ]scm_halt__t33_scm_halt.vmin12024-08-03 10:19 5.7K 
[ ]scm_halt__t33_scm_halt.vmin1out2024-08-03 10:21 103K 
[ ]scm_halt__t33_scm_halt.vout2024-08-03 04:31 116K 
[ ]scm_halt__t34_scm_halt2024-07-26 17:14 65K 
[ ]scm_halt__t34_scm_halt.depv12024-08-03 10:19 63  
[ ]scm_halt__t34_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t34_scm_halt.vmin12024-08-03 10:19 3.4K 
[ ]scm_halt__t34_scm_halt.vmin1out2024-08-03 10:20 46K 
[ ]scm_halt__t34_scm_halt.vout2024-08-03 05:12 29K 
[ ]scm_halt__t35_scm_halt2024-07-26 18:58 61K 
[ ]scm_halt__t35_scm_halt.depv12024-08-03 10:19 95  
[ ]scm_halt__t35_scm_halt.depvmin12024-08-03 10:24 95  
[ ]scm_halt__t35_scm_halt.vmin12024-08-03 10:19 5.3K 
[ ]scm_halt__t35_scm_halt.vmin1out2024-08-03 10:23 146K 
[ ]scm_halt__t35_scm_halt.vout2024-08-03 08:32 57K 
[ ]scm_halt__t36_scm_halt2024-07-26 17:16 65K 
[ ]scm_halt__t36_scm_halt.depv12024-08-03 10:19 63  
[ ]scm_halt__t36_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t36_scm_halt.vmin12024-08-03 10:19 3.5K 
[ ]scm_halt__t36_scm_halt.vmin1out2024-08-03 10:20 48K 
[ ]scm_halt__t36_scm_halt.vout2024-08-03 05:55 29K 
[ ]scm_halt__t37_scm_halt2024-07-26 19:00 76K 
[ ]scm_halt__t37_scm_halt.vout2024-08-03 04:16 4.7K 
[ ]scm_halt__t38_scm_halt2024-07-26 19:02 62K 
[ ]scm_halt__t38_scm_halt.vout2024-08-03 04:31 4.7K 
[ ]scm_halt__t39_scm_halt2024-07-26 19:05 63K 
[ ]scm_halt__t39_scm_halt.depv12024-08-03 10:19 119  
[ ]scm_halt__t39_scm_halt.depvmin12024-08-03 10:24 119  
[ ]scm_halt__t39_scm_halt.vmin12024-08-03 10:19 5.4K 
[ ]scm_halt__t39_scm_halt.vmin1out2024-08-03 10:21 108K 
[ ]scm_halt__t39_scm_halt.vout2024-08-03 05:15 120K 
[ ]scm_halt__t40_scm_halt2024-07-26 17:18 67K 
[ ]scm_halt__t40_scm_halt.depv12024-08-03 10:19 63  
[ ]scm_halt__t40_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t40_scm_halt.vmin12024-08-03 10:19 3.5K 
[ ]scm_halt__t40_scm_halt.vmin1out2024-08-03 10:22 47K 
[ ]scm_halt__t40_scm_halt.vout2024-08-03 05:44 30K 
[ ]scm_halt__t41_scm_halt2024-07-26 19:07 63K 
[ ]scm_halt__t41_scm_halt.depv12024-08-03 10:19 119  
[ ]scm_halt__t41_scm_halt.depvmin12024-08-03 10:24 119  
[ ]scm_halt__t41_scm_halt.vmin12024-08-03 10:19 5.4K 
[ ]scm_halt__t41_scm_halt.vmin1out2024-08-03 10:22 109K 
[ ]scm_halt__t41_scm_halt.vout2024-08-03 04:58 120K 
[ ]scm_halt__t42_scm_halt2024-07-26 17:20 67K 
[ ]scm_halt__t42_scm_halt.depv12024-08-03 10:19 63  
[ ]scm_halt__t42_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t42_scm_halt.vmin12024-08-03 10:19 3.5K 
[ ]scm_halt__t42_scm_halt.vmin1out2024-08-03 10:21 47K 
[ ]scm_halt__t42_scm_halt.vout2024-08-03 06:51 30K 
[ ]scm_halt__t43_scm_halt2024-07-26 19:09 78K 
[ ]scm_halt__t43_scm_halt.vout2024-08-03 09:16 4.7K 
[ ]scm_halt__t44_scm_halt2024-07-26 19:12 64K 
[ ]scm_halt__t44_scm_halt.vout2024-08-03 09:06 4.7K 
[ ]scm_halt__t49_scm_halt2024-07-26 19:13 55K 
[ ]scm_halt__t49_scm_halt.depv12024-08-03 10:19 39  
[ ]scm_halt__t49_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t49_scm_halt.vmin12024-08-03 10:19 1.9K 
[ ]scm_halt__t49_scm_halt.vmin1out2024-08-03 10:20 54K 
[ ]scm_halt__t49_scm_halt.vout2024-08-03 06:16 61K 
[ ]scm_halt__t51_scm_halt2024-07-26 19:16 61K 
[ ]scm_halt__t51_scm_halt.depv12024-08-03 10:19 39  
[ ]scm_halt__t51_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t51_scm_halt.vmin12024-08-03 10:19 2.9K 
[ ]scm_halt__t51_scm_halt.vmin1out2024-08-03 10:20 42K 
[ ]scm_halt__t51_scm_halt.vout2024-08-03 06:01 43K 
[ ]scm_halt__t52_scm_halt2024-07-26 17:22 60K 
[ ]scm_halt__t52_scm_halt.depv12024-08-03 10:19 39  
[ ]scm_halt__t52_scm_halt.depvmin12024-08-03 10:24 39  
[ ]scm_halt__t52_scm_halt.vmin12024-08-03 10:19 2.6K 
[ ]scm_halt__t52_scm_halt.vmin1out2024-08-03 10:21 41K 
[ ]scm_halt__t52_scm_halt.vout2024-08-03 07:13 42K 
[ ]scm_halt__t53_scm_halt2024-07-26 19:18 59K 
[ ]scm_halt__t53_scm_halt.vout2024-08-03 06:02 6.8K 
[ ]scm_halt__t54_scm_halt2024-07-26 19:21 129K 
[ ]scm_halt__t54_scm_halt.vout2024-08-03 08:21 4.7K 
[ ]scm_halt__t62_scm_halt2024-07-26 19:23 113K 
[ ]scm_halt__t62_scm_halt.vout2024-08-03 06:38 6.8K 
[ ]scm_halt__t65_scm_halt2024-07-26 17:24 99K 
[ ]scm_halt__t65_scm_halt.depv12024-08-03 10:19 26  
[ ]scm_halt__t65_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t65_scm_halt.vmin12024-08-03 10:19 2.0K 
[ ]scm_halt__t65_scm_halt.vmin1out2024-08-03 10:23 31K 
[ ]scm_halt__t65_scm_halt.vout2024-08-03 07:07 32K 
[ ]scm_halt__t66_scm_halt2024-07-26 19:26 177K 
[ ]scm_halt__t66_scm_halt.vout2024-08-03 06:40 7.3K 
[ ]scm_halt__t67_scm_halt2024-07-26 19:29 119K 
[ ]scm_halt__t67_scm_halt.vout2024-08-03 08:43 4.7K 
[ ]scm_halt__t68_scm_halt2024-07-26 19:32 119K 
[ ]scm_halt__t68_scm_halt.vout2024-08-03 08:03 4.7K 
[ ]scm_halt__t69_scm_halt2024-07-26 19:35 105K 
[ ]scm_halt__t69_scm_halt.vout2024-08-03 04:18 4.7K 
[ ]scm_halt__t70_scm_halt2024-07-26 19:38 104K 
[ ]scm_halt__t70_scm_halt.vout2024-08-03 09:41 4.7K 
[ ]scm_halt__t71_scm_halt2024-07-26 17:26 58K 
[ ]scm_halt__t71_scm_halt.depv12024-08-03 10:19 50  
[ ]scm_halt__t71_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t71_scm_halt.vmin12024-08-03 10:19 2.7K 
[ ]scm_halt__t71_scm_halt.vmin1out2024-08-03 10:20 42K 
[ ]scm_halt__t71_scm_halt.vout2024-08-03 06:11 28K 
[ ]scm_halt__t72_scm_halt2024-07-26 17:28 55K 
[ ]scm_halt__t72_scm_halt.depv12024-08-03 10:19 50  
[ ]scm_halt__t72_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t72_scm_halt.vmin12024-08-03 10:19 2.4K 
[ ]scm_halt__t72_scm_halt.vmin1out2024-08-03 10:20 40K 
[ ]scm_halt__t72_scm_halt.vout2024-08-03 07:01 24K 
[ ]scm_halt__t73_scm_halt2024-07-26 17:30 60K 
[ ]scm_halt__t73_scm_halt.depv12024-08-03 10:19 50  
[ ]scm_halt__t73_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t73_scm_halt.vmin12024-08-03 10:19 1.8K 
[ ]scm_halt__t73_scm_halt.vmin1out2024-08-03 10:21 23K 
[ ]scm_halt__t73_scm_halt.vout2024-08-03 07:55 39K 
[ ]scm_halt__t74_scm_halt2024-07-26 17:32 72K 
[ ]scm_halt__t74_scm_halt.depv12024-08-03 10:19 50  
[ ]scm_halt__t74_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t74_scm_halt.vmin12024-08-03 10:19 3.1K 
[ ]scm_halt__t74_scm_halt.vmin1out2024-08-03 10:23 40K 
[ ]scm_halt__t74_scm_halt.vout2024-08-03 10:17 74K 
[ ]scm_halt__t75_scm_halt2024-07-26 17:34 51K 
[ ]scm_halt__t75_scm_halt.depv12024-08-03 10:19 50  
[ ]scm_halt__t75_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t75_scm_halt.vmin12024-08-03 10:19 2.3K 
[ ]scm_halt__t75_scm_halt.vmin1out2024-08-03 10:22 30K 
[ ]scm_halt__t75_scm_halt.vout2024-08-03 07:54 49K 
[ ]scm_halt__t76_scm_halt2024-07-26 17:36 46K 
[ ]scm_halt__t76_scm_halt.depv12024-08-03 10:19 26  
[ ]scm_halt__t76_scm_halt.depvmin12024-08-03 10:24 26  
[ ]scm_halt__t76_scm_halt.vmin12024-08-03 10:19 2.0K 
[ ]scm_halt__t76_scm_halt.vmin1out2024-08-03 10:21 36K 
[ ]scm_halt__t76_scm_halt.vout2024-08-03 05:53 93K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80