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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8c__l93_scmfsa8c2024-07-26 19:56 48K 
[ ]scmfsa8c__l93_scmfsa8c.vout2024-08-03 09:32 3.8K 
[ ]scmfsa8c__l94_scmfsa8c2024-07-26 19:58 75K 
[ ]scmfsa8c__l94_scmfsa8c.vout2024-08-03 09:20 4.7K 
[ ]scmfsa8c__l95_scmfsa8c2024-07-26 20:01 90K 
[ ]scmfsa8c__l95_scmfsa8c.vout2024-08-03 05:52 4.7K 
[ ]scmfsa8c__t1_scmfsa8c2024-07-26 17:30 50K 
[ ]scmfsa8c__t1_scmfsa8c.depv12024-08-03 10:19 133  
[ ]scmfsa8c__t1_scmfsa8c.depvmin12024-08-03 10:24 133  
[ ]scmfsa8c__t1_scmfsa8c.vmin12024-08-03 10:19 3.3K 
[ ]scmfsa8c__t1_scmfsa8c.vmin1out2024-08-03 10:21 58K 
[ ]scmfsa8c__t1_scmfsa8c.vout2024-08-03 08:33 61K 
[ ]scmfsa8c__t2_scmfsa8c2024-07-26 17:32 120K 
[ ]scmfsa8c__t2_scmfsa8c.vout2024-08-03 08:05 7.3K 
[ ]scmfsa8c__t3_scmfsa8c2024-07-26 17:11 46K 
[ ]scmfsa8c__t3_scmfsa8c.depv12024-08-03 10:19 201  
[ ]scmfsa8c__t3_scmfsa8c.depvmin12024-08-03 10:24 201  
[ ]scmfsa8c__t3_scmfsa8c.vmin12024-08-03 10:19 4.2K 
[ ]scmfsa8c__t3_scmfsa8c.vmin1out2024-08-03 10:20 29K 
[ ]scmfsa8c__t3_scmfsa8c.vout2024-08-03 07:08 53K 
[ ]scmfsa8c__t5_scmfsa8c2024-07-26 17:34 55K 
[ ]scmfsa8c__t5_scmfsa8c.vout2024-08-03 04:29 4.7K 
[ ]scmfsa8c__t6_scmfsa8c2024-07-26 17:13 45K 
[ ]scmfsa8c__t6_scmfsa8c.depv12024-08-03 10:19 444  
[ ]scmfsa8c__t6_scmfsa8c.depvmin12024-08-03 10:24 24  
[ ]scmfsa8c__t6_scmfsa8c.vmin12024-08-03 10:19 6.2K 
[ ]scmfsa8c__t6_scmfsa8c.vmin1out2024-08-03 10:23 28K 
[ ]scmfsa8c__t6_scmfsa8c.vout2024-08-03 06:48 67K 
[ ]scmfsa8c__t12_scmfsa8c2024-07-26 17:36 53K 
[ ]scmfsa8c__t12_scmfsa8c.vout2024-08-03 06:37 4.7K 
[ ]scmfsa8c__t14_scmfsa8c2024-07-26 17:39 73K 
[ ]scmfsa8c__t14_scmfsa8c.vout2024-08-03 06:05 4.7K 
[ ]scmfsa8c__t16_scmfsa8c2024-07-26 17:41 104K 
[ ]scmfsa8c__t16_scmfsa8c.vout2024-08-03 09:36 4.7K 
[ ]scmfsa8c__t17_scmfsa8c2024-07-26 17:43 62K 
[ ]scmfsa8c__t17_scmfsa8c.vout2024-08-03 04:22 4.7K 
[ ]scmfsa8c__t18_scmfsa8c2024-07-26 17:45 60K 
[ ]scmfsa8c__t18_scmfsa8c.vout2024-08-03 08:26 4.7K 
[ ]scmfsa8c__t19_scmfsa8c2024-07-26 17:48 75K 
[ ]scmfsa8c__t19_scmfsa8c.vout2024-08-03 05:26 4.7K 
[ ]scmfsa8c__t20_scmfsa8c2024-07-26 17:50 72K 
[ ]scmfsa8c__t20_scmfsa8c.vout2024-08-03 06:29 4.7K 
[ ]scmfsa8c__t21_scmfsa8c2024-07-26 17:52 50K 
[ ]scmfsa8c__t21_scmfsa8c.vout2024-08-03 04:07 4.2K 
[ ]scmfsa8c__t22_scmfsa8c2024-07-26 17:54 126K 
[ ]scmfsa8c__t22_scmfsa8c.vout2024-08-03 09:10 4.7K 
[ ]scmfsa8c__t23_scmfsa8c2024-07-26 17:57 67K 
[ ]scmfsa8c__t23_scmfsa8c.vout2024-08-03 09:45 4.7K 
[ ]scmfsa8c__t24_scmfsa8c2024-07-26 17:58 57K 
[ ]scmfsa8c__t24_scmfsa8c.depv12024-08-03 10:19 67  
[ ]scmfsa8c__t24_scmfsa8c.depvmin12024-08-03 10:24 67  
[ ]scmfsa8c__t24_scmfsa8c.vmin12024-08-03 10:19 3.0K 
[ ]scmfsa8c__t24_scmfsa8c.vmin1out2024-08-03 10:20 62K 
[ ]scmfsa8c__t24_scmfsa8c.vout2024-08-03 08:10 67K 
[ ]scmfsa8c__t25_scmfsa8c2024-07-26 18:00 84K 
[ ]scmfsa8c__t25_scmfsa8c.vout2024-08-03 10:16 4.7K 
[ ]scmfsa8c__t26_scmfsa8c2024-07-26 18:03 85K 
[ ]scmfsa8c__t26_scmfsa8c.vout2024-08-03 06:48 4.7K 
[ ]scmfsa8c__t27_scmfsa8c2024-07-26 18:05 95K 
[ ]scmfsa8c__t27_scmfsa8c.vout2024-08-03 06:00 4.1K 
[ ]scmfsa8c__t28_scmfsa8c2024-07-26 18:07 95K 
[ ]scmfsa8c__t28_scmfsa8c.vout2024-08-03 05:30 4.1K 
[ ]scmfsa8c__t29_scmfsa8c2024-07-26 18:10 160K 
[ ]scmfsa8c__t29_scmfsa8c.vout2024-08-03 07:00 4.7K 
[ ]scmfsa8c__t30_scmfsa8c2024-07-26 18:12 94K 
[ ]scmfsa8c__t30_scmfsa8c.vout2024-08-03 05:18 6.8K 
[ ]scmfsa8c__t31_scmfsa8c2024-07-26 18:15 96K 
[ ]scmfsa8c__t31_scmfsa8c.vout2024-08-03 05:23 4.7K 
[ ]scmfsa8c__t32_scmfsa8c2024-07-26 18:17 166K 
[ ]scmfsa8c__t32_scmfsa8c.vout2024-08-03 06:07 4.7K 
[ ]scmfsa8c__t33_scmfsa8c2024-07-26 18:19 166K 
[ ]scmfsa8c__t33_scmfsa8c.vout2024-08-03 04:30 4.7K 
[ ]scmfsa8c__t34_scmfsa8c2024-07-26 18:22 97K 
[ ]scmfsa8c__t34_scmfsa8c.vout2024-08-03 04:31 4.7K 
[ ]scmfsa8c__t35_scmfsa8c2024-07-26 18:24 97K 
[ ]scmfsa8c__t35_scmfsa8c.vout2024-08-03 05:16 4.7K 
[ ]scmfsa8c__t37_scmfsa8c2024-07-26 18:27 239K 
[ ]scmfsa8c__t37_scmfsa8c.vout2024-08-03 06:14 4.7K 
[ ]scmfsa8c__t38_scmfsa8c2024-07-26 18:30 247K 
[ ]scmfsa8c__t38_scmfsa8c.vout2024-08-03 05:58 4.7K 
[ ]scmfsa8c__t39_scmfsa8c2024-07-26 18:33 239K 
[ ]scmfsa8c__t39_scmfsa8c.vout2024-08-03 07:50 4.7K 
[ ]scmfsa8c__t40_scmfsa8c2024-07-26 18:36 247K 
[ ]scmfsa8c__t40_scmfsa8c.vout2024-08-03 04:29 4.7K 
[ ]scmfsa8c__t41_scmfsa8c2024-07-26 18:39 324K 
[ ]scmfsa8c__t41_scmfsa8c.vout2024-08-03 06:02 4.7K 
[ ]scmfsa8c__t42_scmfsa8c2024-07-26 18:43 535K 
[ ]scmfsa8c__t42_scmfsa8c.vout2024-08-03 07:33 4.8K 
[ ]scmfsa8c__t43_scmfsa8c2024-07-26 18:46 324K 
[ ]scmfsa8c__t43_scmfsa8c.vout2024-08-03 09:55 4.7K 
[ ]scmfsa8c__t44_scmfsa8c2024-07-26 18:49 535K 
[ ]scmfsa8c__t44_scmfsa8c.vout2024-08-03 08:16 4.7K 
[ ]scmfsa8c__t45_scmfsa8c2024-07-26 18:51 101K 
[ ]scmfsa8c__t45_scmfsa8c.depv12024-08-03 10:19 39  
[ ]scmfsa8c__t45_scmfsa8c.depvmin12024-08-03 10:24 39  
[ ]scmfsa8c__t45_scmfsa8c.vmin12024-08-03 10:19 3.9K 
[ ]scmfsa8c__t45_scmfsa8c.vmin1out2024-08-03 10:21 63K 
[ ]scmfsa8c__t45_scmfsa8c.vout2024-08-03 07:53 92K 
[ ]scmfsa8c__t46_scmfsa8c2024-07-26 18:54 101K 
[ ]scmfsa8c__t46_scmfsa8c.depv12024-08-03 10:19 39  
[ ]scmfsa8c__t46_scmfsa8c.depvmin12024-08-03 10:24 39  
[ ]scmfsa8c__t46_scmfsa8c.vmin12024-08-03 10:19 4.0K 
[ ]scmfsa8c__t46_scmfsa8c.vmin1out2024-08-03 10:20 63K 
[ ]scmfsa8c__t46_scmfsa8c.vout2024-08-03 08:49 93K 
[ ]scmfsa8c__t47_scmfsa8c2024-07-26 17:15 33K 
[ ]scmfsa8c__t47_scmfsa8c.depv12024-08-03 10:19 26  
[ ]scmfsa8c__t47_scmfsa8c.depvmin12024-08-03 10:24 26  
[ ]scmfsa8c__t47_scmfsa8c.vmin12024-08-03 10:19 703  
[ ]scmfsa8c__t47_scmfsa8c.vmin1out2024-08-03 10:22 7.5K 
[ ]scmfsa8c__t47_scmfsa8c.vout2024-08-03 04:24 5.7K 
[ ]scmfsa8c__t48_scmfsa8c2024-07-26 18:56 49K 
[ ]scmfsa8c__t48_scmfsa8c.vout2024-08-03 06:26 4.1K 
[ ]scmfsa8c__t49_scmfsa8c2024-07-26 17:17 37K 
[ ]scmfsa8c__t49_scmfsa8c.depv12024-08-03 10:19 412  
[ ]scmfsa8c__t49_scmfsa8c.depvmin12024-08-03 10:24 398  
[ ]scmfsa8c__t49_scmfsa8c.vmin12024-08-03 10:19 5.6K 
[ ]scmfsa8c__t49_scmfsa8c.vmin1out2024-08-03 10:20 60K 
[ ]scmfsa8c__t49_scmfsa8c.vout2024-08-03 04:47 84K 
[ ]scmfsa8c__t50_scmfsa8c2024-07-26 18:57 42K 
[ ]scmfsa8c__t50_scmfsa8c.depv12024-08-03 10:19 341  
[ ]scmfsa8c__t50_scmfsa8c.depvmin12024-08-03 10:24 310  
[ ]scmfsa8c__t50_scmfsa8c.vmin12024-08-03 10:19 6.0K 
[ ]scmfsa8c__t50_scmfsa8c.vmin1out2024-08-03 10:23 79K 
[ ]scmfsa8c__t50_scmfsa8c.vout2024-08-03 06:13 90K 
[ ]scmfsa8c__t51_scmfsa8c2024-07-26 18:59 53K 
[ ]scmfsa8c__t51_scmfsa8c.depv12024-08-03 10:19 526  
[ ]scmfsa8c__t51_scmfsa8c.depvmin12024-08-03 10:24 476  
[ ]scmfsa8c__t51_scmfsa8c.vmin12024-08-03 10:19 7.7K 
[ ]scmfsa8c__t51_scmfsa8c.vmin1out2024-08-03 10:20 135K 
[ ]scmfsa8c__t51_scmfsa8c.vout2024-08-03 09:44 120K 
[ ]scmfsa8c__t52_scmfsa8c2024-07-26 19:01 68K 
[ ]scmfsa8c__t52_scmfsa8c.vout2024-08-03 05:13 3.2K 
[ ]scmfsa8c__t53_scmfsa8c2024-07-26 19:03 80K 
[ ]scmfsa8c__t53_scmfsa8c.depv12024-08-03 10:19 95  
[ ]scmfsa8c__t53_scmfsa8c.depvmin12024-08-03 10:24 95  
[ ]scmfsa8c__t53_scmfsa8c.vmin12024-08-03 10:19 2.2K 
[ ]scmfsa8c__t53_scmfsa8c.vmin1out2024-08-03 10:22 29K 
[ ]scmfsa8c__t53_scmfsa8c.vout2024-08-03 10:04 31K 
[ ]scmfsa8c__t54_scmfsa8c2024-07-26 19:05 80K 
[ ]scmfsa8c__t54_scmfsa8c.depv12024-08-03 10:19 95  
[ ]scmfsa8c__t54_scmfsa8c.depvmin12024-08-03 10:24 95  
[ ]scmfsa8c__t54_scmfsa8c.vmin12024-08-03 10:19 2.2K 
[ ]scmfsa8c__t54_scmfsa8c.vmin1out2024-08-03 10:20 28K 
[ ]scmfsa8c__t54_scmfsa8c.vout2024-08-03 08:44 31K 
[ ]scmfsa8c__t55_scmfsa8c2024-07-26 19:07 80K 
[ ]scmfsa8c__t55_scmfsa8c.depv12024-08-03 10:19 95  
[ ]scmfsa8c__t55_scmfsa8c.depvmin12024-08-03 10:24 95  
[ ]scmfsa8c__t55_scmfsa8c.vmin12024-08-03 10:19 2.0K 
[ ]scmfsa8c__t55_scmfsa8c.vmin1out2024-08-03 10:21 30K 
[ ]scmfsa8c__t55_scmfsa8c.vout2024-08-03 05:26 33K 
[ ]scmfsa8c__t56_scmfsa8c2024-07-26 19:09 44K 
[ ]scmfsa8c__t56_scmfsa8c.vout2024-08-03 07:46 6.8K 
[ ]scmfsa8c__t57_scmfsa8c2024-07-26 19:11 39K 
[ ]scmfsa8c__t57_scmfsa8c.vout2024-08-03 08:55 6.2K 
[ ]scmfsa8c__t58_scmfsa8c2024-07-26 19:13 59K 
[ ]scmfsa8c__t58_scmfsa8c.depv12024-08-03 10:19 320  
[ ]scmfsa8c__t58_scmfsa8c.depvmin12024-08-03 10:24 320  
[ ]scmfsa8c__t58_scmfsa8c.vmin12024-08-03 10:19 6.9K 
[ ]scmfsa8c__t58_scmfsa8c.vmin1out2024-08-03 10:20 125K 
[ ]scmfsa8c__t58_scmfsa8c.vout2024-08-03 04:51 65K 
[ ]scmfsa8c__t59_scmfsa8c2024-07-26 19:15 53K 
[ ]scmfsa8c__t59_scmfsa8c.depv12024-08-03 10:19 52  
[ ]scmfsa8c__t59_scmfsa8c.depvmin12024-08-03 10:24 52  
[ ]scmfsa8c__t59_scmfsa8c.vmin12024-08-03 10:19 3.5K 
[ ]scmfsa8c__t59_scmfsa8c.vmin1out2024-08-03 10:20 53K 
[ ]scmfsa8c__t59_scmfsa8c.vout2024-08-03 09:36 63K 
[ ]scmfsa8c__t60_scmfsa8c2024-07-26 19:17 58K 
[ ]scmfsa8c__t60_scmfsa8c.vout2024-08-03 08:46 6.8K 
[ ]scmfsa8c__t61_scmfsa8c2024-07-26 19:19 58K 
[ ]scmfsa8c__t61_scmfsa8c.vout2024-08-03 06:36 6.8K 
[ ]scmfsa8c__t62_scmfsa8c2024-07-26 19:21 56K 
[ ]scmfsa8c__t62_scmfsa8c.vout2024-08-03 05:23 6.8K 
[ ]scmfsa8c__t63_scmfsa8c2024-07-26 19:23 65K 
[ ]scmfsa8c__t63_scmfsa8c.vout2024-08-03 08:56 6.8K 
[ ]scmfsa8c__t64_scmfsa8c2024-07-26 19:26 65K 
[ ]scmfsa8c__t64_scmfsa8c.vout2024-08-03 09:03 4.7K 
[ ]scmfsa8c__t65_scmfsa8c2024-07-26 19:28 56K 
[ ]scmfsa8c__t65_scmfsa8c.vout2024-08-03 04:58 7.3K 
[ ]scmfsa8c__t66_scmfsa8c2024-07-26 17:19 51K 
[ ]scmfsa8c__t66_scmfsa8c.depv12024-08-03 10:19 103  
[ ]scmfsa8c__t66_scmfsa8c.depvmin12024-08-03 10:24 90  
[ ]scmfsa8c__t66_scmfsa8c.vmin12024-08-03 10:19 2.8K 
[ ]scmfsa8c__t66_scmfsa8c.vmin1out2024-08-03 10:23 50K 
[ ]scmfsa8c__t66_scmfsa8c.vout2024-08-03 08:39 90K 
[ ]scmfsa8c__t67_scmfsa8c2024-07-26 19:30 68K 
[ ]scmfsa8c__t67_scmfsa8c.vout2024-08-03 09:39 4.7K 
[ ]scmfsa8c__t68_scmfsa8c2024-07-26 17:21 45K 
[ ]scmfsa8c__t68_scmfsa8c.depv12024-08-03 10:19 103  
[ ]scmfsa8c__t68_scmfsa8c.depvmin12024-08-03 10:24 90  
[ ]scmfsa8c__t68_scmfsa8c.vmin12024-08-03 10:19 2.3K 
[ ]scmfsa8c__t68_scmfsa8c.vmin1out2024-08-03 10:20 28K 
[ ]scmfsa8c__t68_scmfsa8c.vout2024-08-03 05:27 41K 
[ ]scmfsa8c__t69_scmfsa8c2024-07-26 19:32 123K 
[ ]scmfsa8c__t69_scmfsa8c.vout2024-08-03 08:02 4.7K 
[ ]scmfsa8c__t70_scmfsa8c2024-07-26 17:23 51K 
[ ]scmfsa8c__t70_scmfsa8c.vout2024-08-03 05:11 5.8K 
[ ]scmfsa8c__t71_scmfsa8c2024-07-26 19:35 59K 
[ ]scmfsa8c__t71_scmfsa8c.vout2024-08-03 09:27 4.7K 
[ ]scmfsa8c__t72_scmfsa8c2024-07-26 19:37 62K 
[ ]scmfsa8c__t72_scmfsa8c.vout2024-08-03 09:07 4.7K 
[ ]scmfsa8c__t73_scmfsa8c2024-07-26 19:39 67K 
[ ]scmfsa8c__t73_scmfsa8c.vout2024-08-03 09:09 4.7K 
[ ]scmfsa8c__t88_scmfsa8c2024-07-26 19:41 91K 
[ ]scmfsa8c__t88_scmfsa8c.vout2024-08-03 05:09 4.1K 
[ ]scmfsa8c__t91_scmfsa8c2024-07-26 19:44 111K 
[ ]scmfsa8c__t91_scmfsa8c.vout2024-08-03 05:21 4.7K 
[ ]scmfsa8c__t92_scmfsa8c2024-07-26 19:46 93K 
[ ]scmfsa8c__t92_scmfsa8c.vout2024-08-03 05:04 4.7K 
[ ]scmfsa8c__t93_scmfsa8c2024-07-26 19:48 101K 
[ ]scmfsa8c__t93_scmfsa8c.vout2024-08-03 10:14 4.7K 
[ ]scmfsa8c__t94_scmfsa8c2024-07-26 19:50 123K 
[ ]scmfsa8c__t94_scmfsa8c.vout2024-08-03 04:39 6.8K 
[ ]scmfsa8c__t95_scmfsa8c2024-07-26 19:52 56K 
[ ]scmfsa8c__t95_scmfsa8c.vout2024-08-03 05:57 6.8K 
[ ]scmfsa8c__t96_scmfsa8c2024-07-26 17:24 47K 
[ ]scmfsa8c__t96_scmfsa8c.depv12024-08-03 10:19 26  
[ ]scmfsa8c__t96_scmfsa8c.depvmin12024-08-03 10:24 26  
[ ]scmfsa8c__t96_scmfsa8c.vmin12024-08-03 10:19 1.5K 
[ ]scmfsa8c__t96_scmfsa8c.vmin1out2024-08-03 10:23 20K 
[ ]scmfsa8c__t96_scmfsa8c.vout2024-08-03 05:30 12K 
[ ]scmfsa8c__t97_scmfsa8c2024-07-26 17:26 29K 
[ ]scmfsa8c__t97_scmfsa8c.depv12024-08-03 10:19 50  
[ ]scmfsa8c__t97_scmfsa8c.depvmin12024-08-03 10:24 26  
[ ]scmfsa8c__t97_scmfsa8c.vmin12024-08-03 10:19 1.0K 
[ ]scmfsa8c__t97_scmfsa8c.vmin1out2024-08-03 10:23 9.9K 
[ ]scmfsa8c__t97_scmfsa8c.vout2024-08-03 09:48 16K 
[ ]scmfsa8c__t98_scmfsa8c2024-07-26 17:28 82K 
[ ]scmfsa8c__t98_scmfsa8c.depv12024-08-03 10:19 50  
[ ]scmfsa8c__t98_scmfsa8c.depvmin12024-08-03 10:24 26  
[ ]scmfsa8c__t98_scmfsa8c.vmin12024-08-03 10:19 1.2K 
[ ]scmfsa8c__t98_scmfsa8c.vmin1out2024-08-03 10:21 13K 
[ ]scmfsa8c__t98_scmfsa8c.vout2024-08-03 07:38 21K 
[ ]scmfsa8c__t99_scmfsa8c2024-07-26 19:55 90K 
[ ]scmfsa8c__t99_scmfsa8c.vout2024-08-03 09:01 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80