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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__t76_scm_halt.vout2021-07-25 19:30 94K 
[ ]scm_halt__t76_scm_halt.vmin1out2021-07-25 21:00 36K 
[ ]scm_halt__t76_scm_halt.vmin12021-07-25 20:57 2.0K 
[ ]scm_halt__t76_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t76_scm_halt.depv12021-07-25 20:57 26  
[ ]scm_halt__t76_scm_halt2021-07-18 09:55 49K 
[ ]scm_halt__t75_scm_halt.vout2021-07-25 20:09 49K 
[ ]scm_halt__t75_scm_halt.vmin1out2021-07-25 20:58 30K 
[ ]scm_halt__t75_scm_halt.vmin12021-07-25 20:57 2.3K 
[ ]scm_halt__t75_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t75_scm_halt.depv12021-07-25 20:57 50  
[ ]scm_halt__t75_scm_halt2021-07-18 09:54 54K 
[ ]scm_halt__t74_scm_halt.vout2021-07-25 18:38 75K 
[ ]scm_halt__t74_scm_halt.vmin1out2021-07-25 21:00 40K 
[ ]scm_halt__t74_scm_halt.vmin12021-07-25 20:57 3.1K 
[ ]scm_halt__t74_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t74_scm_halt.depv12021-07-25 20:57 50  
[ ]scm_halt__t74_scm_halt2021-07-18 09:54 75K 
[ ]scm_halt__t73_scm_halt.vout2021-07-25 14:24 39K 
[ ]scm_halt__t73_scm_halt.vmin1out2021-07-25 20:57 23K 
[ ]scm_halt__t73_scm_halt.vmin12021-07-25 20:57 1.8K 
[ ]scm_halt__t73_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t73_scm_halt.depv12021-07-25 20:57 50  
[ ]scm_halt__t73_scm_halt2021-07-18 09:53 63K 
[ ]scm_halt__t72_scm_halt.vout2021-07-25 17:43 24K 
[ ]scm_halt__t72_scm_halt.vmin1out2021-07-25 20:59 40K 
[ ]scm_halt__t72_scm_halt.vmin12021-07-25 20:57 2.4K 
[ ]scm_halt__t72_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t72_scm_halt.depv12021-07-25 20:57 50  
[ ]scm_halt__t72_scm_halt2021-07-18 09:53 57K 
[ ]scm_halt__t71_scm_halt.vout2021-07-25 20:12 28K 
[ ]scm_halt__t71_scm_halt.vmin1out2021-07-25 20:58 42K 
[ ]scm_halt__t71_scm_halt.vmin12021-07-25 20:57 2.7K 
[ ]scm_halt__t71_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t71_scm_halt.depv12021-07-25 20:57 50  
[ ]scm_halt__t71_scm_halt2021-07-18 09:52 60K 
[ ]scm_halt__t70_scm_halt.vout2021-07-25 17:59 4.7K 
[ ]scm_halt__t70_scm_halt2021-07-18 10:31 118K 
[ ]scm_halt__t69_scm_halt.vout2021-07-25 18:36 4.7K 
[ ]scm_halt__t69_scm_halt2021-07-18 10:30 120K 
[ ]scm_halt__t68_scm_halt.vout2021-07-25 17:53 4.7K 
[ ]scm_halt__t68_scm_halt2021-07-18 10:29 133K 
[ ]scm_halt__t67_scm_halt.vout2021-07-25 17:52 4.7K 
[ ]scm_halt__t67_scm_halt2021-07-18 10:28 133K 
[ ]scm_halt__t66_scm_halt.vout2021-07-25 19:32 6.8K 
[ ]scm_halt__t66_scm_halt2021-07-18 10:28 189K 
[ ]scm_halt__t65_scm_halt.vout2021-07-25 17:40 46K 
[ ]scm_halt__t65_scm_halt.vmin1out2021-07-25 20:59 27K 
[ ]scm_halt__t65_scm_halt.vmin12021-07-25 20:57 2.1K 
[ ]scm_halt__t65_scm_halt.depvmin12021-07-25 21:03 26  
[ ]scm_halt__t65_scm_halt.depv12021-07-25 20:57 50  
[ ]scm_halt__t65_scm_halt2021-07-18 09:52 112K 
[ ]scm_halt__t62_scm_halt.vout2021-07-25 15:07 6.8K 
[ ]scm_halt__t62_scm_halt2021-07-18 10:27 126K 
[ ]scm_halt__t54_scm_halt.vout2021-07-25 17:50 4.7K 
[ ]scm_halt__t54_scm_halt2021-07-18 10:26 142K 
[ ]scm_halt__t53_scm_halt.vout2021-07-25 19:21 6.8K 
[ ]scm_halt__t53_scm_halt2021-07-18 10:25 62K 
[ ]scm_halt__t52_scm_halt.vout2021-07-25 14:38 42K 
[ ]scm_halt__t52_scm_halt.vmin1out2021-07-25 21:00 41K 
[ ]scm_halt__t52_scm_halt.vmin12021-07-25 20:57 2.6K 
[ ]scm_halt__t52_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t52_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t52_scm_halt2021-07-18 09:51 62K 
[ ]scm_halt__t51_scm_halt.vout2021-07-25 15:27 43K 
[ ]scm_halt__t51_scm_halt.vmin1out2021-07-25 21:02 42K 
[ ]scm_halt__t51_scm_halt.vmin12021-07-25 20:57 2.9K 
[ ]scm_halt__t51_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t51_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t51_scm_halt2021-07-18 10:25 64K 
[ ]scm_halt__t49_scm_halt.vout2021-07-25 19:37 69K 
[ ]scm_halt__t49_scm_halt.vmin1out2021-07-25 21:02 54K 
[ ]scm_halt__t49_scm_halt.vmin12021-07-25 20:57 1.9K 
[ ]scm_halt__t49_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t49_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t49_scm_halt2021-07-18 10:24 58K 
[ ]scm_halt__t44_scm_halt.vout2021-07-25 19:27 4.7K 
[ ]scm_halt__t44_scm_halt2021-07-18 10:23 125K 
[ ]scm_halt__t43_scm_halt.vout2021-07-25 19:47 4.7K 
[ ]scm_halt__t43_scm_halt2021-07-18 10:23 136K 
[ ]scm_halt__t42_scm_halt.vout2021-07-25 20:32 28K 
[ ]scm_halt__t42_scm_halt.vmin1out2021-07-25 20:58 55K 
[ ]scm_halt__t42_scm_halt.vmin12021-07-25 20:57 3.4K 
[ ]scm_halt__t42_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t42_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t42_scm_halt2021-07-18 09:50 127K 
[ ]scm_halt__t41_scm_halt.vout2021-07-25 20:52 58K 
[ ]scm_halt__t41_scm_halt.vmin1out2021-07-25 21:01 146K 
[ ]scm_halt__t41_scm_halt.vmin12021-07-25 20:57 5.3K 
[ ]scm_halt__t41_scm_halt.depvmin12021-07-25 21:03 95  
[ ]scm_halt__t41_scm_halt.depv12021-07-25 20:57 95  
[ ]scm_halt__t41_scm_halt2021-07-18 10:22 128K 
[ ]scm_halt__t40_scm_halt.vout2021-07-25 17:54 28K 
[ ]scm_halt__t40_scm_halt.vmin1out2021-07-25 21:02 53K 
[ ]scm_halt__t40_scm_halt.vmin12021-07-25 20:57 3.4K 
[ ]scm_halt__t40_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t40_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t40_scm_halt2021-07-18 09:50 127K 
[ ]scm_halt__t39_scm_halt.vout2021-07-25 14:43 58K 
[ ]scm_halt__t39_scm_halt.vmin1out2021-07-25 20:58 146K 
[ ]scm_halt__t39_scm_halt.vmin12021-07-25 20:57 5.3K 
[ ]scm_halt__t39_scm_halt.depvmin12021-07-25 21:03 95  
[ ]scm_halt__t39_scm_halt.depv12021-07-25 20:57 95  
[ ]scm_halt__t39_scm_halt2021-07-18 10:21 128K 
[ ]scm_halt__t38_scm_halt.vout2021-07-25 17:27 4.7K 
[ ]scm_halt__t38_scm_halt2021-07-18 10:20 123K 
[ ]scm_halt__t37_scm_halt.vout2021-07-25 19:48 4.7K 
[ ]scm_halt__t37_scm_halt2021-07-18 10:19 133K 
[ ]scm_halt__t36_scm_halt.vout2021-07-25 20:56 28K 
[ ]scm_halt__t36_scm_halt.vmin1out2021-07-25 20:59 53K 
[ ]scm_halt__t36_scm_halt.vmin12021-07-25 20:57 3.4K 
[ ]scm_halt__t36_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t36_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t36_scm_halt2021-07-18 09:49 125K 
[ ]scm_halt__t35_scm_halt.vout2021-07-25 19:20 57K 
[ ]scm_halt__t35_scm_halt.vmin1out2021-07-25 21:00 146K 
[ ]scm_halt__t35_scm_halt.vmin12021-07-25 20:57 5.3K 
[ ]scm_halt__t35_scm_halt.depvmin12021-07-25 21:03 95  
[ ]scm_halt__t35_scm_halt.depv12021-07-25 20:57 95  
[ ]scm_halt__t35_scm_halt2021-07-18 10:19 126K 
[ ]scm_halt__t34_scm_halt.vout2021-07-25 17:19 27K 
[ ]scm_halt__t34_scm_halt.vmin1out2021-07-25 21:02 78K 
[ ]scm_halt__t34_scm_halt.vmin12021-07-25 20:57 3.3K 
[ ]scm_halt__t34_scm_halt.depvmin12021-07-25 21:03 39  
[ ]scm_halt__t34_scm_halt.depv12021-07-25 20:57 39  
[ ]scm_halt__t34_scm_halt2021-07-18 09:48 125K 
[ ]scm_halt__t33_scm_halt.vout2021-07-25 20:12 57K 
[ ]scm_halt__t33_scm_halt.vmin1out2021-07-25 20:58 139K 
[ ]scm_halt__t33_scm_halt.vmin12021-07-25 20:57 5.2K 
[ ]scm_halt__t33_scm_halt.depvmin12021-07-25 21:03 95  
[ ]scm_halt__t33_scm_halt.depv12021-07-25 20:57 95  
[ ]scm_halt__t33_scm_halt2021-07-18 10:18 126K 
[ ]scm_halt__t32_scm_halt.vout2021-07-25 20:42 53K 
[ ]scm_halt__t32_scm_halt.vmin1out2021-07-25 21:00 29K 
[ ]scm_halt__t32_scm_halt.vmin12021-07-25 20:57 4.2K 
[ ]scm_halt__t32_scm_halt.depvmin12021-07-25 21:03 202  
[ ]scm_halt__t32_scm_halt.depv12021-07-25 20:57 202  
[ ]scm_halt__t32_scm_halt2021-07-18 10:17 61K 
[ ]scm_halt__t31_scm_halt.vout2021-07-25 17:01 6.8K 
[ ]scm_halt__t31_scm_halt2021-07-18 09:47 56K 
[ ]scm_halt__t29_scm_halt.vout2021-07-25 20:46 4.7K 
[ ]scm_halt__t29_scm_halt2021-07-18 10:17 117K 
[ ]scm_halt__t28_scm_halt.vout2021-07-25 14:25 4.7K 
[ ]scm_halt__t28_scm_halt2021-07-18 10:16 114K 
[ ]scm_halt__t27_scm_halt.vout2021-07-25 19:38 4.7K 
[ ]scm_halt__t27_scm_halt2021-07-18 10:15 89K 
[ ]scm_halt__t26_scm_halt.vout2021-07-25 19:03 4.7K 
[ ]scm_halt__t26_scm_halt2021-07-18 10:14 65K 
[ ]scm_halt__t24_scm_halt.vout2021-07-25 16:21 4.7K 
[ ]scm_halt__t24_scm_halt2021-07-18 10:14 133K 
[ ]scm_halt__t23_scm_halt.vout2021-07-25 20:56 4.7K 
[ ]scm_halt__t23_scm_halt2021-07-18 10:13 130K 
[ ]scm_halt__t22_scm_halt.vout2021-07-25 15:34 4.7K 
[ ]scm_halt__t22_scm_halt2021-07-18 10:12 74K 
[ ]scm_halt__t21_scm_halt.vout2021-07-25 17:00 4.7K 
[ ]scm_halt__t21_scm_halt2021-07-18 10:11 102K 
[ ]scm_halt__t20_scm_halt.vout2021-07-25 16:35 4.7K 
[ ]scm_halt__t20_scm_halt2021-07-18 10:11 101K 
[ ]scm_halt__t19_scm_halt.vout2021-07-25 15:41 4.7K 
[ ]scm_halt__t19_scm_halt2021-07-18 10:10 148K 
[ ]scm_halt__t18_scm_halt.vout2021-07-25 18:25 4.7K 
[ ]scm_halt__t18_scm_halt2021-07-18 10:09 171K 
[ ]scm_halt__t17_scm_halt.vout2021-07-25 17:37 4.7K 
[ ]scm_halt__t17_scm_halt2021-07-18 10:08 117K 
[ ]scm_halt__t16_scm_halt.vout2021-07-25 15:25 6.8K 
[ ]scm_halt__t16_scm_halt2021-07-18 10:07 164K 
[ ]scm_halt__t15_scm_halt.vout2021-07-25 20:07 4.7K 
[ ]scm_halt__t15_scm_halt2021-07-18 10:07 224K 
[ ]scm_halt__t14_scm_halt.vout2021-07-25 16:13 4.7K 
[ ]scm_halt__t14_scm_halt2021-07-18 10:06 120K 
[ ]scm_halt__t13_scm_halt.vout2021-07-25 16:34 4.7K 
[ ]scm_halt__t13_scm_halt2021-07-18 10:05 121K 
[ ]scm_halt__t12_scm_halt.vout2021-07-25 20:15 4.7K 
[ ]scm_halt__t12_scm_halt2021-07-18 10:04 175K 
[ ]scm_halt__t11_scm_halt.vout2021-07-25 15:10 4.7K 
[ ]scm_halt__t11_scm_halt2021-07-18 10:03 168K 
[ ]scm_halt__t10_scm_halt.vout2021-07-25 20:55 4.7K 
[ ]scm_halt__t10_scm_halt2021-07-18 10:02 119K 
[ ]scm_halt__t9_scm_halt.vout2021-07-25 18:52 4.7K 
[ ]scm_halt__t9_scm_halt2021-07-18 10:01 69K 
[ ]scm_halt__t8_scm_halt.vout2021-07-25 15:51 4.7K 
[ ]scm_halt__t8_scm_halt2021-07-18 10:01 70K 
[ ]scm_halt__t7_scm_halt.vout2021-07-25 15:02 4.7K 
[ ]scm_halt__t7_scm_halt2021-07-18 10:00 67K 
[ ]scm_halt__t6_scm_halt.vout2021-07-25 16:11 4.7K 
[ ]scm_halt__t6_scm_halt2021-07-18 09:59 116K 
[ ]scm_halt__t5_scm_halt.vout2021-07-25 16:57 4.7K 
[ ]scm_halt__t5_scm_halt2021-07-18 09:59 78K 
[ ]scm_halt__t4_scm_halt.vout2021-07-25 15:52 4.7K 
[ ]scm_halt__t4_scm_halt2021-07-18 09:58 75K 
[ ]scm_halt__t2_scm_halt.vout2021-07-25 16:41 6.3K 
[ ]scm_halt__t2_scm_halt2021-07-18 09:57 79K 
[ ]scm_halt__l79_scm_halt.vout2021-07-25 20:24 4.7K 
[ ]scm_halt__l79_scm_halt2021-07-18 10:36 131K 
[ ]scm_halt__l78_scm_halt.vout2021-07-25 19:26 4.7K 
[ ]scm_halt__l78_scm_halt2021-07-18 10:35 222K 
[ ]scm_halt__l77_scm_halt.vout2021-07-25 16:28 4.7K 
[ ]scm_halt__l77_scm_halt2021-07-18 10:34 103K 
[ ]scm_halt__l76_scm_halt.vout2021-07-25 18:17 4.7K 
[ ]scm_halt__l76_scm_halt2021-07-18 10:33 125K 
[ ]scm_halt__l75_scm_halt.vout2021-07-25 16:49 78K 
[ ]scm_halt__l75_scm_halt.vmin1out2021-07-25 20:59 63K 
[ ]scm_halt__l75_scm_halt.vmin12021-07-25 20:57 4.5K 
[ ]scm_halt__l75_scm_halt.depvmin12021-07-25 21:03 117  
[ ]scm_halt__l75_scm_halt.depv12021-07-25 20:57 117  
[ ]scm_halt__l75_scm_halt2021-07-18 10:33 67K 
[ ]scm_halt__l74_scm_halt.vout2021-07-25 15:22 35K 
[ ]scm_halt__l74_scm_halt.vmin1out2021-07-25 21:02 88K 
[ ]scm_halt__l74_scm_halt.vmin12021-07-25 20:57 3.7K 
[ ]scm_halt__l74_scm_halt.depvmin12021-07-25 21:03 158  
[ ]scm_halt__l74_scm_halt.depv12021-07-25 20:57 158  
[ ]scm_halt__l74_scm_halt2021-07-18 09:57 57K 
[ ]scm_halt__l73_scm_halt.vout2021-07-25 16:27 4.7K 
[ ]scm_halt__l73_scm_halt2021-07-18 10:32 67K 
[ ]scm_halt__l3_scm_halt.vout2021-07-25 19:45 9.9K 
[ ]scm_halt__l3_scm_halt2021-07-18 10:31 55K 
[ ]scm_halt__l2_scm_halt.vout2021-07-25 17:37 8.8K 
[ ]scm_halt__l2_scm_halt2021-07-18 09:56 54K 
[ ]scm_halt__l1_scm_halt.vout2021-07-25 18:39 15K 
[ ]scm_halt__l1_scm_halt.vmin1out2021-07-25 20:59 13K 
[ ]scm_halt__l1_scm_halt.vmin12021-07-25 20:57 1.7K 
[ ]scm_halt__l1_scm_halt.depvmin12021-07-25 21:03 204  
[ ]scm_halt__l1_scm_halt.depv12021-07-25 20:57 204  
[ ]scm_halt__l1_scm_halt2021-07-18 09:55 34K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80