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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8c__l93_scmfsa8c2025-09-09 00:34 48K 
[ ]scmfsa8c__l93_scmfsa8c.vout2025-09-15 14:38 3.8K 
[ ]scmfsa8c__l94_scmfsa8c2025-09-09 00:37 75K 
[ ]scmfsa8c__l94_scmfsa8c.vout2025-09-15 17:35 5.3K 
[ ]scmfsa8c__l95_scmfsa8c2025-09-09 00:39 90K 
[ ]scmfsa8c__l95_scmfsa8c.vout2025-09-15 17:03 4.7K 
[ ]scmfsa8c__t1_scmfsa8c2025-09-08 22:09 50K 
[ ]scmfsa8c__t1_scmfsa8c.depv12025-09-15 19:47 133  
[ ]scmfsa8c__t1_scmfsa8c.depvmin12025-09-15 19:52 133  
[ ]scmfsa8c__t1_scmfsa8c.vmin12025-09-15 19:47 3.3K 
[ ]scmfsa8c__t1_scmfsa8c.vmin1out2025-09-15 19:50 58K 
[ ]scmfsa8c__t1_scmfsa8c.vout2025-09-15 18:05 61K 
[ ]scmfsa8c__t2_scmfsa8c2025-09-08 22:11 120K 
[ ]scmfsa8c__t2_scmfsa8c.vout2025-09-15 17:36 6.8K 
[ ]scmfsa8c__t3_scmfsa8c2025-09-08 21:51 46K 
[ ]scmfsa8c__t3_scmfsa8c.depv12025-09-15 19:47 201  
[ ]scmfsa8c__t3_scmfsa8c.depvmin12025-09-15 19:52 201  
[ ]scmfsa8c__t3_scmfsa8c.vmin12025-09-15 19:47 4.2K 
[ ]scmfsa8c__t3_scmfsa8c.vmin1out2025-09-15 19:50 29K 
[ ]scmfsa8c__t3_scmfsa8c.vout2025-09-15 14:55 53K 
[ ]scmfsa8c__t5_scmfsa8c2025-09-08 22:13 55K 
[ ]scmfsa8c__t5_scmfsa8c.vout2025-09-15 17:10 4.7K 
[ ]scmfsa8c__t6_scmfsa8c2025-09-08 21:53 45K 
[ ]scmfsa8c__t6_scmfsa8c.depv12025-09-15 19:47 444  
[ ]scmfsa8c__t6_scmfsa8c.depvmin12025-09-15 19:52 24  
[ ]scmfsa8c__t6_scmfsa8c.vmin12025-09-15 19:47 6.2K 
[ ]scmfsa8c__t6_scmfsa8c.vmin1out2025-09-15 19:49 28K 
[ ]scmfsa8c__t6_scmfsa8c.vout2025-09-15 18:29 67K 
[ ]scmfsa8c__t12_scmfsa8c2025-09-08 22:15 53K 
[ ]scmfsa8c__t12_scmfsa8c.vout2025-09-15 16:10 4.7K 
[ ]scmfsa8c__t14_scmfsa8c2025-09-08 22:17 73K 
[ ]scmfsa8c__t14_scmfsa8c.vout2025-09-15 13:46 4.7K 
[ ]scmfsa8c__t16_scmfsa8c2025-09-08 22:19 105K 
[ ]scmfsa8c__t16_scmfsa8c.vout2025-09-15 17:36 4.7K 
[ ]scmfsa8c__t17_scmfsa8c2025-09-08 22:21 62K 
[ ]scmfsa8c__t17_scmfsa8c.vout2025-09-15 14:27 4.7K 
[ ]scmfsa8c__t18_scmfsa8c2025-09-08 22:23 60K 
[ ]scmfsa8c__t18_scmfsa8c.vout2025-09-15 13:47 4.7K 
[ ]scmfsa8c__t19_scmfsa8c2025-09-08 22:25 75K 
[ ]scmfsa8c__t19_scmfsa8c.vout2025-09-15 16:46 4.7K 
[ ]scmfsa8c__t20_scmfsa8c2025-09-08 22:28 72K 
[ ]scmfsa8c__t20_scmfsa8c.vout2025-09-15 18:02 4.7K 
[ ]scmfsa8c__t21_scmfsa8c2025-09-08 22:30 50K 
[ ]scmfsa8c__t21_scmfsa8c.vout2025-09-15 17:35 4.7K 
[ ]scmfsa8c__t22_scmfsa8c2025-09-08 22:32 127K 
[ ]scmfsa8c__t22_scmfsa8c.vout2025-09-15 16:53 4.7K 
[ ]scmfsa8c__t23_scmfsa8c2025-09-08 22:34 67K 
[ ]scmfsa8c__t23_scmfsa8c.vout2025-09-15 17:47 4.7K 
[ ]scmfsa8c__t24_scmfsa8c2025-09-08 22:36 57K 
[ ]scmfsa8c__t24_scmfsa8c.depv12025-09-15 19:47 67  
[ ]scmfsa8c__t24_scmfsa8c.depvmin12025-09-15 19:52 67  
[ ]scmfsa8c__t24_scmfsa8c.vmin12025-09-15 19:47 3.0K 
[ ]scmfsa8c__t24_scmfsa8c.vmin1out2025-09-15 19:50 62K 
[ ]scmfsa8c__t24_scmfsa8c.vout2025-09-15 14:46 67K 
[ ]scmfsa8c__t25_scmfsa8c2025-09-08 22:38 84K 
[ ]scmfsa8c__t25_scmfsa8c.vout2025-09-15 18:15 4.7K 
[ ]scmfsa8c__t26_scmfsa8c2025-09-08 22:40 85K 
[ ]scmfsa8c__t26_scmfsa8c.vout2025-09-15 14:07 4.7K 
[ ]scmfsa8c__t27_scmfsa8c2025-09-08 22:42 95K 
[ ]scmfsa8c__t27_scmfsa8c.vout2025-09-15 16:16 4.1K 
[ ]scmfsa8c__t28_scmfsa8c2025-09-08 22:44 95K 
[ ]scmfsa8c__t28_scmfsa8c.vout2025-09-15 17:04 4.1K 
[ ]scmfsa8c__t29_scmfsa8c2025-09-08 22:48 160K 
[ ]scmfsa8c__t29_scmfsa8c.vout2025-09-15 19:25 4.7K 
[ ]scmfsa8c__t30_scmfsa8c2025-09-08 22:50 94K 
[ ]scmfsa8c__t30_scmfsa8c.vout2025-09-15 18:00 6.8K 
[ ]scmfsa8c__t31_scmfsa8c2025-09-08 22:53 96K 
[ ]scmfsa8c__t31_scmfsa8c.vout2025-09-15 14:21 4.7K 
[ ]scmfsa8c__t32_scmfsa8c2025-09-08 22:55 167K 
[ ]scmfsa8c__t32_scmfsa8c.vout2025-09-15 16:24 4.7K 
[ ]scmfsa8c__t33_scmfsa8c2025-09-08 22:57 167K 
[ ]scmfsa8c__t33_scmfsa8c.vout2025-09-15 14:31 4.7K 
[ ]scmfsa8c__t34_scmfsa8c2025-09-08 22:59 97K 
[ ]scmfsa8c__t34_scmfsa8c.vout2025-09-15 14:42 4.7K 
[ ]scmfsa8c__t35_scmfsa8c2025-09-08 23:02 97K 
[ ]scmfsa8c__t35_scmfsa8c.vout2025-09-15 15:39 4.7K 
[ ]scmfsa8c__t37_scmfsa8c2025-09-08 23:05 241K 
[ ]scmfsa8c__t37_scmfsa8c.vout2025-09-15 13:47 4.7K 
[ ]scmfsa8c__t38_scmfsa8c2025-09-08 23:08 248K 
[ ]scmfsa8c__t38_scmfsa8c.vout2025-09-15 18:34 4.7K 
[ ]scmfsa8c__t39_scmfsa8c2025-09-08 23:11 241K 
[ ]scmfsa8c__t39_scmfsa8c.vout2025-09-15 18:35 4.7K 
[ ]scmfsa8c__t40_scmfsa8c2025-09-08 23:14 248K 
[ ]scmfsa8c__t40_scmfsa8c.vout2025-09-15 18:50 4.7K 
[ ]scmfsa8c__t41_scmfsa8c2025-09-08 23:17 331K 
[ ]scmfsa8c__t41_scmfsa8c.vout2025-09-15 17:24 4.7K 
[ ]scmfsa8c__t42_scmfsa8c2025-09-08 23:20 547K 
[ ]scmfsa8c__t42_scmfsa8c.vout2025-09-15 17:14 4.7K 
[ ]scmfsa8c__t43_scmfsa8c2025-09-08 23:23 331K 
[ ]scmfsa8c__t43_scmfsa8c.vout2025-09-15 17:10 4.7K 
[ ]scmfsa8c__t44_scmfsa8c2025-09-08 23:27 547K 
[ ]scmfsa8c__t44_scmfsa8c.vout2025-09-15 18:05 4.7K 
[ ]scmfsa8c__t45_scmfsa8c2025-09-08 23:29 101K 
[ ]scmfsa8c__t45_scmfsa8c.depv12025-09-15 19:47 39  
[ ]scmfsa8c__t45_scmfsa8c.depvmin12025-09-15 19:52 39  
[ ]scmfsa8c__t45_scmfsa8c.vmin12025-09-15 19:47 3.9K 
[ ]scmfsa8c__t45_scmfsa8c.vmin1out2025-09-15 19:48 63K 
[ ]scmfsa8c__t45_scmfsa8c.vout2025-09-15 19:22 92K 
[ ]scmfsa8c__t46_scmfsa8c2025-09-08 23:32 101K 
[ ]scmfsa8c__t46_scmfsa8c.depv12025-09-15 19:47 39  
[ ]scmfsa8c__t46_scmfsa8c.depvmin12025-09-15 19:52 39  
[ ]scmfsa8c__t46_scmfsa8c.vmin12025-09-15 19:47 4.0K 
[ ]scmfsa8c__t46_scmfsa8c.vmin1out2025-09-15 19:47 63K 
[ ]scmfsa8c__t46_scmfsa8c.vout2025-09-15 15:50 93K 
[ ]scmfsa8c__t47_scmfsa8c2025-09-08 21:55 33K 
[ ]scmfsa8c__t47_scmfsa8c.depv12025-09-15 19:47 26  
[ ]scmfsa8c__t47_scmfsa8c.depvmin12025-09-15 19:52 26  
[ ]scmfsa8c__t47_scmfsa8c.vmin12025-09-15 19:47 703  
[ ]scmfsa8c__t47_scmfsa8c.vmin1out2025-09-15 19:50 7.5K 
[ ]scmfsa8c__t47_scmfsa8c.vout2025-09-15 19:45 5.7K 
[ ]scmfsa8c__t48_scmfsa8c2025-09-08 23:33 49K 
[ ]scmfsa8c__t48_scmfsa8c.vout2025-09-15 17:08 4.1K 
[ ]scmfsa8c__t49_scmfsa8c2025-09-08 21:56 37K 
[ ]scmfsa8c__t49_scmfsa8c.depv12025-09-15 19:47 412  
[ ]scmfsa8c__t49_scmfsa8c.depvmin12025-09-15 19:52 398  
[ ]scmfsa8c__t49_scmfsa8c.vmin12025-09-15 19:47 5.6K 
[ ]scmfsa8c__t49_scmfsa8c.vmin1out2025-09-15 19:51 60K 
[ ]scmfsa8c__t49_scmfsa8c.vout2025-09-15 15:53 84K 
[ ]scmfsa8c__t50_scmfsa8c2025-09-08 23:35 42K 
[ ]scmfsa8c__t50_scmfsa8c.depv12025-09-15 19:47 341  
[ ]scmfsa8c__t50_scmfsa8c.depvmin12025-09-15 19:52 310  
[ ]scmfsa8c__t50_scmfsa8c.vmin12025-09-15 19:47 6.0K 
[ ]scmfsa8c__t50_scmfsa8c.vmin1out2025-09-15 19:49 79K 
[ ]scmfsa8c__t50_scmfsa8c.vout2025-09-15 16:27 90K 
[ ]scmfsa8c__t51_scmfsa8c2025-09-08 23:37 53K 
[ ]scmfsa8c__t51_scmfsa8c.depv12025-09-15 19:47 526  
[ ]scmfsa8c__t51_scmfsa8c.depvmin12025-09-15 19:52 476  
[ ]scmfsa8c__t51_scmfsa8c.vmin12025-09-15 19:47 7.7K 
[ ]scmfsa8c__t51_scmfsa8c.vmin1out2025-09-15 19:48 135K 
[ ]scmfsa8c__t51_scmfsa8c.vout2025-09-15 19:45 120K 
[ ]scmfsa8c__t52_scmfsa8c2025-09-08 23:39 68K 
[ ]scmfsa8c__t52_scmfsa8c.vout2025-09-15 14:24 3.2K 
[ ]scmfsa8c__t53_scmfsa8c2025-09-08 23:41 80K 
[ ]scmfsa8c__t53_scmfsa8c.depv12025-09-15 19:47 95  
[ ]scmfsa8c__t53_scmfsa8c.depvmin12025-09-15 19:52 95  
[ ]scmfsa8c__t53_scmfsa8c.vmin12025-09-15 19:47 2.2K 
[ ]scmfsa8c__t53_scmfsa8c.vmin1out2025-09-15 19:50 29K 
[ ]scmfsa8c__t53_scmfsa8c.vout2025-09-15 17:23 31K 
[ ]scmfsa8c__t54_scmfsa8c2025-09-08 23:43 80K 
[ ]scmfsa8c__t54_scmfsa8c.depv12025-09-15 19:47 95  
[ ]scmfsa8c__t54_scmfsa8c.depvmin12025-09-15 19:52 95  
[ ]scmfsa8c__t54_scmfsa8c.vmin12025-09-15 19:47 2.2K 
[ ]scmfsa8c__t54_scmfsa8c.vmin1out2025-09-15 19:51 28K 
[ ]scmfsa8c__t54_scmfsa8c.vout2025-09-15 17:44 31K 
[ ]scmfsa8c__t55_scmfsa8c2025-09-08 23:46 80K 
[ ]scmfsa8c__t55_scmfsa8c.depv12025-09-15 19:47 95  
[ ]scmfsa8c__t55_scmfsa8c.depvmin12025-09-15 19:52 95  
[ ]scmfsa8c__t55_scmfsa8c.vmin12025-09-15 19:47 2.0K 
[ ]scmfsa8c__t55_scmfsa8c.vmin1out2025-09-15 19:49 30K 
[ ]scmfsa8c__t55_scmfsa8c.vout2025-09-15 17:37 33K 
[ ]scmfsa8c__t56_scmfsa8c2025-09-08 23:47 44K 
[ ]scmfsa8c__t56_scmfsa8c.vout2025-09-15 16:21 6.8K 
[ ]scmfsa8c__t57_scmfsa8c2025-09-08 23:49 39K 
[ ]scmfsa8c__t57_scmfsa8c.vout2025-09-15 15:19 6.2K 
[ ]scmfsa8c__t58_scmfsa8c2025-09-08 23:51 59K 
[ ]scmfsa8c__t58_scmfsa8c.depv12025-09-15 19:47 320  
[ ]scmfsa8c__t58_scmfsa8c.depvmin12025-09-15 19:52 320  
[ ]scmfsa8c__t58_scmfsa8c.vmin12025-09-15 19:47 6.9K 
[ ]scmfsa8c__t58_scmfsa8c.vmin1out2025-09-15 19:50 125K 
[ ]scmfsa8c__t58_scmfsa8c.vout2025-09-15 18:04 65K 
[ ]scmfsa8c__t59_scmfsa8c2025-09-08 23:53 53K 
[ ]scmfsa8c__t59_scmfsa8c.depv12025-09-15 19:47 52  
[ ]scmfsa8c__t59_scmfsa8c.depvmin12025-09-15 19:52 52  
[ ]scmfsa8c__t59_scmfsa8c.vmin12025-09-15 19:47 3.5K 
[ ]scmfsa8c__t59_scmfsa8c.vmin1out2025-09-15 19:50 53K 
[ ]scmfsa8c__t59_scmfsa8c.vout2025-09-15 16:50 63K 
[ ]scmfsa8c__t60_scmfsa8c2025-09-08 23:55 58K 
[ ]scmfsa8c__t60_scmfsa8c.vout2025-09-15 15:36 6.8K 
[ ]scmfsa8c__t61_scmfsa8c2025-09-08 23:57 58K 
[ ]scmfsa8c__t61_scmfsa8c.vout2025-09-15 18:12 6.8K 
[ ]scmfsa8c__t62_scmfsa8c2025-09-08 23:59 56K 
[ ]scmfsa8c__t62_scmfsa8c.vout2025-09-15 14:55 6.8K 
[ ]scmfsa8c__t63_scmfsa8c2025-09-09 00:02 65K 
[ ]scmfsa8c__t63_scmfsa8c.vout2025-09-15 15:59 7.3K 
[ ]scmfsa8c__t64_scmfsa8c2025-09-09 00:04 65K 
[ ]scmfsa8c__t64_scmfsa8c.vout2025-09-15 18:13 4.7K 
[ ]scmfsa8c__t65_scmfsa8c2025-09-09 00:06 56K 
[ ]scmfsa8c__t65_scmfsa8c.vout2025-09-15 17:03 7.3K 
[ ]scmfsa8c__t66_scmfsa8c2025-09-08 21:58 51K 
[ ]scmfsa8c__t66_scmfsa8c.depv12025-09-15 19:47 103  
[ ]scmfsa8c__t66_scmfsa8c.depvmin12025-09-15 19:52 90  
[ ]scmfsa8c__t66_scmfsa8c.vmin12025-09-15 19:47 2.8K 
[ ]scmfsa8c__t66_scmfsa8c.vmin1out2025-09-15 19:51 50K 
[ ]scmfsa8c__t66_scmfsa8c.vout2025-09-15 14:40 90K 
[ ]scmfsa8c__t67_scmfsa8c2025-09-09 00:08 68K 
[ ]scmfsa8c__t67_scmfsa8c.vout2025-09-15 15:17 4.7K 
[ ]scmfsa8c__t68_scmfsa8c2025-09-08 22:00 45K 
[ ]scmfsa8c__t68_scmfsa8c.depv12025-09-15 19:47 103  
[ ]scmfsa8c__t68_scmfsa8c.depvmin12025-09-15 19:52 90  
[ ]scmfsa8c__t68_scmfsa8c.vmin12025-09-15 19:47 2.3K 
[ ]scmfsa8c__t68_scmfsa8c.vmin1out2025-09-15 19:49 28K 
[ ]scmfsa8c__t68_scmfsa8c.vout2025-09-15 15:28 41K 
[ ]scmfsa8c__t69_scmfsa8c2025-09-09 00:11 123K 
[ ]scmfsa8c__t69_scmfsa8c.vout2025-09-15 14:04 4.7K 
[ ]scmfsa8c__t70_scmfsa8c2025-09-08 22:02 51K 
[ ]scmfsa8c__t70_scmfsa8c.vout2025-09-15 19:26 5.8K 
[ ]scmfsa8c__t71_scmfsa8c2025-09-09 00:13 59K 
[ ]scmfsa8c__t71_scmfsa8c.vout2025-09-15 17:25 4.7K 
[ ]scmfsa8c__t72_scmfsa8c2025-09-09 00:15 62K 
[ ]scmfsa8c__t72_scmfsa8c.vout2025-09-15 15:33 4.7K 
[ ]scmfsa8c__t73_scmfsa8c2025-09-09 00:17 67K 
[ ]scmfsa8c__t73_scmfsa8c.vout2025-09-15 18:29 4.7K 
[ ]scmfsa8c__t88_scmfsa8c2025-09-09 00:19 91K 
[ ]scmfsa8c__t88_scmfsa8c.vout2025-09-15 15:29 4.1K 
[ ]scmfsa8c__t91_scmfsa8c2025-09-09 00:22 111K 
[ ]scmfsa8c__t91_scmfsa8c.vout2025-09-15 19:12 4.7K 
[ ]scmfsa8c__t92_scmfsa8c2025-09-09 00:24 93K 
[ ]scmfsa8c__t92_scmfsa8c.vout2025-09-15 18:48 4.7K 
[ ]scmfsa8c__t93_scmfsa8c2025-09-09 00:26 101K 
[ ]scmfsa8c__t93_scmfsa8c.vout2025-09-15 13:48 4.7K 
[ ]scmfsa8c__t94_scmfsa8c2025-09-09 00:28 123K 
[ ]scmfsa8c__t94_scmfsa8c.vout2025-09-15 17:03 6.8K 
[ ]scmfsa8c__t95_scmfsa8c2025-09-09 00:31 56K 
[ ]scmfsa8c__t95_scmfsa8c.vout2025-09-15 15:19 6.8K 
[ ]scmfsa8c__t96_scmfsa8c2025-09-08 22:03 47K 
[ ]scmfsa8c__t96_scmfsa8c.depv12025-09-15 19:47 26  
[ ]scmfsa8c__t96_scmfsa8c.depvmin12025-09-15 19:52 26  
[ ]scmfsa8c__t96_scmfsa8c.vmin12025-09-15 19:47 1.5K 
[ ]scmfsa8c__t96_scmfsa8c.vmin1out2025-09-15 19:50 20K 
[ ]scmfsa8c__t96_scmfsa8c.vout2025-09-15 15:51 12K 
[ ]scmfsa8c__t97_scmfsa8c2025-09-08 22:05 29K 
[ ]scmfsa8c__t97_scmfsa8c.depv12025-09-15 19:47 50  
[ ]scmfsa8c__t97_scmfsa8c.depvmin12025-09-15 19:52 26  
[ ]scmfsa8c__t97_scmfsa8c.vmin12025-09-15 19:47 1.0K 
[ ]scmfsa8c__t97_scmfsa8c.vmin1out2025-09-15 19:49 9.9K 
[ ]scmfsa8c__t97_scmfsa8c.vout2025-09-15 19:11 16K 
[ ]scmfsa8c__t98_scmfsa8c2025-09-08 22:07 82K 
[ ]scmfsa8c__t98_scmfsa8c.depv12025-09-15 19:47 50  
[ ]scmfsa8c__t98_scmfsa8c.depvmin12025-09-15 19:52 26  
[ ]scmfsa8c__t98_scmfsa8c.vmin12025-09-15 19:47 1.2K 
[ ]scmfsa8c__t98_scmfsa8c.vmin1out2025-09-15 19:48 13K 
[ ]scmfsa8c__t98_scmfsa8c.vout2025-09-15 16:55 21K 
[ ]scmfsa8c__t99_scmfsa8c2025-09-09 00:33 90K 
[ ]scmfsa8c__t99_scmfsa8c.vout2025-09-15 13:26 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80