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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__l1_scm_halt2025-09-09 10:32 32K 
[ ]scm_halt__l1_scm_halt.depv12025-09-15 19:47 204  
[ ]scm_halt__l1_scm_halt.depvmin12025-09-15 19:51 204  
[ ]scm_halt__l1_scm_halt.vmin12025-09-15 19:47 1.7K 
[ ]scm_halt__l1_scm_halt.vmin1out2025-09-15 19:49 13K 
[ ]scm_halt__l1_scm_halt.vout2025-09-15 16:45 15K 
[ ]scm_halt__l2_scm_halt2025-09-09 10:34 52K 
[ ]scm_halt__l2_scm_halt.vout2025-09-15 18:34 8.8K 
[ ]scm_halt__l3_scm_halt2025-09-09 12:48 52K 
[ ]scm_halt__l3_scm_halt.vout2025-09-15 15:58 9.9K 
[ ]scm_halt__l73_scm_halt2025-09-09 12:50 64K 
[ ]scm_halt__l73_scm_halt.vout2025-09-15 15:31 4.7K 
[ ]scm_halt__l74_scm_halt2025-09-09 10:36 55K 
[ ]scm_halt__l74_scm_halt.depv12025-09-15 19:47 158  
[ ]scm_halt__l74_scm_halt.depvmin12025-09-15 19:51 158  
[ ]scm_halt__l74_scm_halt.vmin12025-09-15 19:47 3.7K 
[ ]scm_halt__l74_scm_halt.vmin1out2025-09-15 19:50 88K 
[ ]scm_halt__l74_scm_halt.vout2025-09-15 17:30 35K 
[ ]scm_halt__l75_scm_halt2025-09-09 12:53 64K 
[ ]scm_halt__l75_scm_halt.depv12025-09-15 19:47 117  
[ ]scm_halt__l75_scm_halt.depvmin12025-09-15 19:51 117  
[ ]scm_halt__l75_scm_halt.vmin12025-09-15 19:47 4.5K 
[ ]scm_halt__l75_scm_halt.vmin1out2025-09-15 19:48 63K 
[ ]scm_halt__l75_scm_halt.vout2025-09-15 14:02 78K 
[ ]scm_halt__l76_scm_halt2025-09-09 12:56 121K 
[ ]scm_halt__l76_scm_halt.vout2025-09-15 14:03 4.7K 
[ ]scm_halt__l77_scm_halt2025-09-09 12:59 98K 
[ ]scm_halt__l77_scm_halt.vout2025-09-15 17:07 4.7K 
[ ]scm_halt__l78_scm_halt2025-09-09 13:02 231K 
[ ]scm_halt__l78_scm_halt.vout2025-09-15 17:52 4.7K 
[ ]scm_halt__l79_scm_halt2025-09-09 13:05 117K 
[ ]scm_halt__l79_scm_halt.vout2025-09-15 13:55 4.7K 
[ ]scm_halt__t2_scm_halt2025-09-09 10:39 71K 
[ ]scm_halt__t2_scm_halt.vout2025-09-15 15:38 6.3K 
[ ]scm_halt__t4_scm_halt2025-09-09 10:42 72K 
[ ]scm_halt__t4_scm_halt.vout2025-09-15 18:59 4.7K 
[ ]scm_halt__t5_scm_halt2025-09-09 10:45 75K 
[ ]scm_halt__t5_scm_halt.vout2025-09-15 17:26 4.7K 
[ ]scm_halt__t6_scm_halt2025-09-09 10:47 114K 
[ ]scm_halt__t6_scm_halt.vout2025-09-15 19:13 4.7K 
[ ]scm_halt__t7_scm_halt2025-09-09 10:50 64K 
[ ]scm_halt__t7_scm_halt.vout2025-09-15 14:47 4.7K 
[ ]scm_halt__t8_scm_halt2025-09-09 10:53 67K 
[ ]scm_halt__t8_scm_halt.vout2025-09-15 14:06 4.7K 
[ ]scm_halt__t9_scm_halt2025-09-09 10:55 66K 
[ ]scm_halt__t9_scm_halt.vout2025-09-15 16:48 4.7K 
[ ]scm_halt__t10_scm_halt2025-09-09 10:58 106K 
[ ]scm_halt__t10_scm_halt.vout2025-09-15 13:54 4.7K 
[ ]scm_halt__t11_scm_halt2025-09-09 11:02 156K 
[ ]scm_halt__t11_scm_halt.vout2025-09-15 15:58 4.7K 
[ ]scm_halt__t12_scm_halt2025-09-09 11:05 162K 
[ ]scm_halt__t12_scm_halt.vout2025-09-15 19:29 4.7K 
[ ]scm_halt__t13_scm_halt2025-09-09 11:09 109K 
[ ]scm_halt__t13_scm_halt.vout2025-09-15 13:28 4.7K 
[ ]scm_halt__t14_scm_halt2025-09-09 11:12 108K 
[ ]scm_halt__t14_scm_halt.vout2025-09-15 18:45 4.7K 
[ ]scm_halt__t15_scm_halt2025-09-09 11:16 213K 
[ ]scm_halt__t15_scm_halt.vout2025-09-15 14:05 4.7K 
[ ]scm_halt__t16_scm_halt2025-09-09 11:20 151K 
[ ]scm_halt__t16_scm_halt.vout2025-09-15 13:53 7.3K 
[ ]scm_halt__t17_scm_halt2025-09-09 11:23 104K 
[ ]scm_halt__t17_scm_halt.vout2025-09-15 15:50 4.7K 
[ ]scm_halt__t18_scm_halt2025-09-09 11:26 160K 
[ ]scm_halt__t18_scm_halt.vout2025-09-15 13:31 4.7K 
[ ]scm_halt__t19_scm_halt2025-09-09 11:30 135K 
[ ]scm_halt__t19_scm_halt.vout2025-09-15 15:39 4.7K 
[ ]scm_halt__t20_scm_halt2025-09-09 11:33 89K 
[ ]scm_halt__t20_scm_halt.vout2025-09-15 15:56 4.7K 
[ ]scm_halt__t21_scm_halt2025-09-09 11:35 89K 
[ ]scm_halt__t21_scm_halt.vout2025-09-15 13:40 4.7K 
[ ]scm_halt__t22_scm_halt2025-09-09 11:38 70K 
[ ]scm_halt__t22_scm_halt.vout2025-09-15 17:19 4.7K 
[ ]scm_halt__t23_scm_halt2025-09-09 11:41 117K 
[ ]scm_halt__t23_scm_halt.vout2025-09-15 17:28 4.7K 
[ ]scm_halt__t24_scm_halt2025-09-09 11:45 118K 
[ ]scm_halt__t24_scm_halt.vout2025-09-15 19:39 4.7K 
[ ]scm_halt__t26_scm_halt2025-09-09 11:47 63K 
[ ]scm_halt__t26_scm_halt.vout2025-09-15 16:39 4.7K 
[ ]scm_halt__t27_scm_halt2025-09-09 11:50 86K 
[ ]scm_halt__t27_scm_halt.vout2025-09-15 19:09 4.7K 
[ ]scm_halt__t28_scm_halt2025-09-09 11:53 101K 
[ ]scm_halt__t28_scm_halt.vout2025-09-15 18:40 4.7K 
[ ]scm_halt__t29_scm_halt2025-09-09 11:56 103K 
[ ]scm_halt__t29_scm_halt.vout2025-09-15 15:21 4.7K 
[ ]scm_halt__t31_scm_halt2025-09-09 10:05 54K 
[ ]scm_halt__t31_scm_halt.vout2025-09-15 17:32 6.8K 
[ ]scm_halt__t32_scm_halt2025-09-09 11:58 58K 
[ ]scm_halt__t32_scm_halt.depv12025-09-15 19:47 202  
[ ]scm_halt__t32_scm_halt.depvmin12025-09-15 19:51 202  
[ ]scm_halt__t32_scm_halt.vmin12025-09-15 19:47 4.2K 
[ ]scm_halt__t32_scm_halt.vmin1out2025-09-15 19:51 29K 
[ ]scm_halt__t32_scm_halt.vout2025-09-15 19:11 53K 
[ ]scm_halt__t33_scm_halt2025-09-09 12:00 61K 
[ ]scm_halt__t33_scm_halt.depv12025-09-15 19:47 132  
[ ]scm_halt__t33_scm_halt.depvmin12025-09-15 19:51 119  
[ ]scm_halt__t33_scm_halt.vmin12025-09-15 19:47 5.7K 
[ ]scm_halt__t33_scm_halt.vmin1out2025-09-15 19:50 103K 
[ ]scm_halt__t33_scm_halt.vout2025-09-15 14:47 116K 
[ ]scm_halt__t34_scm_halt2025-09-09 10:07 65K 
[ ]scm_halt__t34_scm_halt.depv12025-09-15 19:47 63  
[ ]scm_halt__t34_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t34_scm_halt.vmin12025-09-15 19:47 3.4K 
[ ]scm_halt__t34_scm_halt.vmin1out2025-09-15 19:48 46K 
[ ]scm_halt__t34_scm_halt.vout2025-09-15 18:53 29K 
[ ]scm_halt__t35_scm_halt2025-09-09 12:02 61K 
[ ]scm_halt__t35_scm_halt.depv12025-09-15 19:47 95  
[ ]scm_halt__t35_scm_halt.depvmin12025-09-15 19:51 95  
[ ]scm_halt__t35_scm_halt.vmin12025-09-15 19:47 5.3K 
[ ]scm_halt__t35_scm_halt.vmin1out2025-09-15 19:50 146K 
[ ]scm_halt__t35_scm_halt.vout2025-09-15 15:29 57K 
[ ]scm_halt__t36_scm_halt2025-09-09 10:09 65K 
[ ]scm_halt__t36_scm_halt.depv12025-09-15 19:47 63  
[ ]scm_halt__t36_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t36_scm_halt.vmin12025-09-15 19:47 3.5K 
[ ]scm_halt__t36_scm_halt.vmin1out2025-09-15 19:49 48K 
[ ]scm_halt__t36_scm_halt.vout2025-09-15 16:57 29K 
[ ]scm_halt__t37_scm_halt2025-09-09 12:05 76K 
[ ]scm_halt__t37_scm_halt.vout2025-09-15 16:16 4.7K 
[ ]scm_halt__t38_scm_halt2025-09-09 12:07 62K 
[ ]scm_halt__t38_scm_halt.vout2025-09-15 19:14 4.7K 
[ ]scm_halt__t39_scm_halt2025-09-09 12:10 63K 
[ ]scm_halt__t39_scm_halt.depv12025-09-15 19:47 119  
[ ]scm_halt__t39_scm_halt.depvmin12025-09-15 19:51 119  
[ ]scm_halt__t39_scm_halt.vmin12025-09-15 19:47 5.4K 
[ ]scm_halt__t39_scm_halt.vmin1out2025-09-15 19:48 108K 
[ ]scm_halt__t39_scm_halt.vout2025-09-15 17:59 120K 
[ ]scm_halt__t40_scm_halt2025-09-09 10:11 67K 
[ ]scm_halt__t40_scm_halt.depv12025-09-15 19:47 63  
[ ]scm_halt__t40_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t40_scm_halt.vmin12025-09-15 19:47 3.5K 
[ ]scm_halt__t40_scm_halt.vmin1out2025-09-15 19:51 47K 
[ ]scm_halt__t40_scm_halt.vout2025-09-15 19:41 30K 
[ ]scm_halt__t41_scm_halt2025-09-09 12:12 63K 
[ ]scm_halt__t41_scm_halt.depv12025-09-15 19:47 119  
[ ]scm_halt__t41_scm_halt.depvmin12025-09-15 19:51 119  
[ ]scm_halt__t41_scm_halt.vmin12025-09-15 19:47 5.4K 
[ ]scm_halt__t41_scm_halt.vmin1out2025-09-15 19:48 109K 
[ ]scm_halt__t41_scm_halt.vout2025-09-15 18:30 120K 
[ ]scm_halt__t42_scm_halt2025-09-09 10:13 67K 
[ ]scm_halt__t42_scm_halt.depv12025-09-15 19:47 63  
[ ]scm_halt__t42_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t42_scm_halt.vmin12025-09-15 19:47 3.5K 
[ ]scm_halt__t42_scm_halt.vmin1out2025-09-15 19:50 47K 
[ ]scm_halt__t42_scm_halt.vout2025-09-15 16:51 30K 
[ ]scm_halt__t43_scm_halt2025-09-09 12:15 78K 
[ ]scm_halt__t43_scm_halt.vout2025-09-15 14:25 4.7K 
[ ]scm_halt__t44_scm_halt2025-09-09 12:17 64K 
[ ]scm_halt__t44_scm_halt.vout2025-09-15 15:04 4.7K 
[ ]scm_halt__t49_scm_halt2025-09-09 12:19 55K 
[ ]scm_halt__t49_scm_halt.depv12025-09-15 19:47 39  
[ ]scm_halt__t49_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t49_scm_halt.vmin12025-09-15 19:47 1.9K 
[ ]scm_halt__t49_scm_halt.vmin1out2025-09-15 19:48 54K 
[ ]scm_halt__t49_scm_halt.vout2025-09-15 17:47 61K 
[ ]scm_halt__t51_scm_halt2025-09-09 12:22 61K 
[ ]scm_halt__t51_scm_halt.depv12025-09-15 19:47 39  
[ ]scm_halt__t51_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t51_scm_halt.vmin12025-09-15 19:47 2.9K 
[ ]scm_halt__t51_scm_halt.vmin1out2025-09-15 19:50 42K 
[ ]scm_halt__t51_scm_halt.vout2025-09-15 19:39 43K 
[ ]scm_halt__t52_scm_halt2025-09-09 10:15 60K 
[ ]scm_halt__t52_scm_halt.depv12025-09-15 19:47 39  
[ ]scm_halt__t52_scm_halt.depvmin12025-09-15 19:51 39  
[ ]scm_halt__t52_scm_halt.vmin12025-09-15 19:47 2.6K 
[ ]scm_halt__t52_scm_halt.vmin1out2025-09-15 19:50 41K 
[ ]scm_halt__t52_scm_halt.vout2025-09-15 18:40 42K 
[ ]scm_halt__t53_scm_halt2025-09-09 12:24 59K 
[ ]scm_halt__t53_scm_halt.vout2025-09-15 16:50 6.8K 
[ ]scm_halt__t54_scm_halt2025-09-09 12:27 129K 
[ ]scm_halt__t54_scm_halt.vout2025-09-15 19:16 4.7K 
[ ]scm_halt__t62_scm_halt2025-09-09 12:30 113K 
[ ]scm_halt__t62_scm_halt.vout2025-09-15 16:14 6.8K 
[ ]scm_halt__t65_scm_halt2025-09-09 10:18 99K 
[ ]scm_halt__t65_scm_halt.depv12025-09-15 19:47 26  
[ ]scm_halt__t65_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t65_scm_halt.vmin12025-09-15 19:47 2.0K 
[ ]scm_halt__t65_scm_halt.vmin1out2025-09-15 19:51 31K 
[ ]scm_halt__t65_scm_halt.vout2025-09-15 16:21 32K 
[ ]scm_halt__t66_scm_halt2025-09-09 12:33 178K 
[ ]scm_halt__t66_scm_halt.vout2025-09-15 15:39 6.8K 
[ ]scm_halt__t67_scm_halt2025-09-09 12:37 119K 
[ ]scm_halt__t67_scm_halt.vout2025-09-15 19:23 4.7K 
[ ]scm_halt__t68_scm_halt2025-09-09 12:40 119K 
[ ]scm_halt__t68_scm_halt.vout2025-09-15 17:03 4.7K 
[ ]scm_halt__t69_scm_halt2025-09-09 12:43 105K 
[ ]scm_halt__t69_scm_halt.vout2025-09-15 15:18 4.7K 
[ ]scm_halt__t70_scm_halt2025-09-09 12:46 104K 
[ ]scm_halt__t70_scm_halt.vout2025-09-15 18:26 4.7K 
[ ]scm_halt__t71_scm_halt2025-09-09 10:20 58K 
[ ]scm_halt__t71_scm_halt.depv12025-09-15 19:47 50  
[ ]scm_halt__t71_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t71_scm_halt.vmin12025-09-15 19:47 2.7K 
[ ]scm_halt__t71_scm_halt.vmin1out2025-09-15 19:48 42K 
[ ]scm_halt__t71_scm_halt.vout2025-09-15 19:03 28K 
[ ]scm_halt__t72_scm_halt2025-09-09 10:22 55K 
[ ]scm_halt__t72_scm_halt.depv12025-09-15 19:47 50  
[ ]scm_halt__t72_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t72_scm_halt.vmin12025-09-15 19:47 2.4K 
[ ]scm_halt__t72_scm_halt.vmin1out2025-09-15 19:48 40K 
[ ]scm_halt__t72_scm_halt.vout2025-09-15 18:39 24K 
[ ]scm_halt__t73_scm_halt2025-09-09 10:24 60K 
[ ]scm_halt__t73_scm_halt.depv12025-09-15 19:47 50  
[ ]scm_halt__t73_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t73_scm_halt.vmin12025-09-15 19:47 1.8K 
[ ]scm_halt__t73_scm_halt.vmin1out2025-09-15 19:48 23K 
[ ]scm_halt__t73_scm_halt.vout2025-09-15 18:52 39K 
[ ]scm_halt__t74_scm_halt2025-09-09 10:26 72K 
[ ]scm_halt__t74_scm_halt.depv12025-09-15 19:47 50  
[ ]scm_halt__t74_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t74_scm_halt.vmin12025-09-15 19:47 3.1K 
[ ]scm_halt__t74_scm_halt.vmin1out2025-09-15 19:48 40K 
[ ]scm_halt__t74_scm_halt.vout2025-09-15 19:32 74K 
[ ]scm_halt__t75_scm_halt2025-09-09 10:28 51K 
[ ]scm_halt__t75_scm_halt.depv12025-09-15 19:47 50  
[ ]scm_halt__t75_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t75_scm_halt.vmin12025-09-15 19:47 2.3K 
[ ]scm_halt__t75_scm_halt.vmin1out2025-09-15 19:47 30K 
[ ]scm_halt__t75_scm_halt.vout2025-09-15 17:01 49K 
[ ]scm_halt__t76_scm_halt2025-09-09 10:30 46K 
[ ]scm_halt__t76_scm_halt.depv12025-09-15 19:47 26  
[ ]scm_halt__t76_scm_halt.depvmin12025-09-15 19:51 26  
[ ]scm_halt__t76_scm_halt.vmin12025-09-15 19:47 2.0K 
[ ]scm_halt__t76_scm_halt.vmin1out2025-09-15 19:51 36K 
[ ]scm_halt__t76_scm_halt.vout2025-09-15 13:42 93K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80