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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8c__t99_scmfsa8c.vout2021-07-25 16:26 4.7K 
[ ]scmfsa8c__t99_scmfsa8c2021-07-18 01:35 113K 
[ ]scmfsa8c__t98_scmfsa8c.vout2021-07-25 15:04 21K 
[ ]scmfsa8c__t98_scmfsa8c.vmin1out2021-07-25 20:58 13K 
[ ]scmfsa8c__t98_scmfsa8c.vmin12021-07-25 20:57 1.2K 
[ ]scmfsa8c__t98_scmfsa8c.depvmin12021-07-25 21:03 26  
[ ]scmfsa8c__t98_scmfsa8c.depv12021-07-25 20:57 50  
[ ]scmfsa8c__t98_scmfsa8c2021-07-18 00:39 104K 
[ ]scmfsa8c__t97_scmfsa8c.vout2021-07-25 17:11 16K 
[ ]scmfsa8c__t97_scmfsa8c.vmin1out2021-07-25 20:58 9.9K 
[ ]scmfsa8c__t97_scmfsa8c.vmin12021-07-25 20:57 1.0K 
[ ]scmfsa8c__t97_scmfsa8c.depvmin12021-07-25 21:03 26  
[ ]scmfsa8c__t97_scmfsa8c.depv12021-07-25 20:57 50  
[ ]scmfsa8c__t97_scmfsa8c2021-07-18 00:38 40K 
[ ]scmfsa8c__t96_scmfsa8c.vout2021-07-25 20:39 22K 
[ ]scmfsa8c__t96_scmfsa8c.vmin1out2021-07-25 21:01 20K 
[ ]scmfsa8c__t96_scmfsa8c.vmin12021-07-25 20:57 1.5K 
[ ]scmfsa8c__t96_scmfsa8c.depvmin12021-07-25 21:03 26  
[ ]scmfsa8c__t96_scmfsa8c.depv12021-07-25 20:57 26  
[ ]scmfsa8c__t96_scmfsa8c2021-07-18 00:37 59K 
[ ]scmfsa8c__t95_scmfsa8c.vout2021-07-25 15:58 7.3K 
[ ]scmfsa8c__t95_scmfsa8c2021-07-18 01:34 70K 
[ ]scmfsa8c__t94_scmfsa8c.vout2021-07-25 19:39 6.8K 
[ ]scmfsa8c__t94_scmfsa8c2021-07-18 01:33 146K 
[ ]scmfsa8c__t93_scmfsa8c.vout2021-07-25 17:52 4.7K 
[ ]scmfsa8c__t93_scmfsa8c2021-07-18 01:32 124K 
[ ]scmfsa8c__t92_scmfsa8c.vout2021-07-25 20:26 4.7K 
[ ]scmfsa8c__t92_scmfsa8c2021-07-18 01:31 116K 
[ ]scmfsa8c__t91_scmfsa8c.vout2021-07-25 16:00 4.7K 
[ ]scmfsa8c__t91_scmfsa8c2021-07-18 01:31 128K 
[ ]scmfsa8c__t88_scmfsa8c.vout2021-07-25 15:10 4.7K 
[ ]scmfsa8c__t88_scmfsa8c2021-07-18 01:30 118K 
[ ]scmfsa8c__t73_scmfsa8c.vout2021-07-25 20:40 4.7K 
[ ]scmfsa8c__t73_scmfsa8c2021-07-18 01:29 82K 
[ ]scmfsa8c__t72_scmfsa8c.vout2021-07-25 18:32 4.7K 
[ ]scmfsa8c__t72_scmfsa8c2021-07-18 01:28 77K 
[ ]scmfsa8c__t71_scmfsa8c.vout2021-07-25 19:23 4.7K 
[ ]scmfsa8c__t71_scmfsa8c2021-07-18 01:27 74K 
[ ]scmfsa8c__t70_scmfsa8c.vout2021-07-25 17:53 5.8K 
[ ]scmfsa8c__t70_scmfsa8c2021-07-18 00:37 63K 
[ ]scmfsa8c__t69_scmfsa8c.vout2021-07-25 17:10 4.7K 
[ ]scmfsa8c__t69_scmfsa8c2021-07-18 01:26 139K 
[ ]scmfsa8c__t68_scmfsa8c.vout2021-07-25 19:14 41K 
[ ]scmfsa8c__t68_scmfsa8c.vmin1out2021-07-25 20:59 28K 
[ ]scmfsa8c__t68_scmfsa8c.vmin12021-07-25 20:57 2.3K 
[ ]scmfsa8c__t68_scmfsa8c.depvmin12021-07-25 21:03 90  
[ ]scmfsa8c__t68_scmfsa8c.depv12021-07-25 20:57 103  
[ ]scmfsa8c__t68_scmfsa8c2021-07-18 00:36 58K 
[ ]scmfsa8c__t67_scmfsa8c.vout2021-07-25 17:30 4.7K 
[ ]scmfsa8c__t67_scmfsa8c2021-07-18 01:25 81K 
[ ]scmfsa8c__t66_scmfsa8c.vout2021-07-25 15:09 90K 
[ ]scmfsa8c__t66_scmfsa8c.vmin1out2021-07-25 21:02 50K 
[ ]scmfsa8c__t66_scmfsa8c.vmin12021-07-25 20:57 2.8K 
[ ]scmfsa8c__t66_scmfsa8c.depvmin12021-07-25 21:03 90  
[ ]scmfsa8c__t66_scmfsa8c.depv12021-07-25 20:57 103  
[ ]scmfsa8c__t66_scmfsa8c2021-07-18 00:36 65K 
[ ]scmfsa8c__t65_scmfsa8c.vout2021-07-25 17:49 7.3K 
[ ]scmfsa8c__t65_scmfsa8c2021-07-18 01:24 69K 
[ ]scmfsa8c__t64_scmfsa8c.vout2021-07-25 19:08 4.7K 
[ ]scmfsa8c__t64_scmfsa8c2021-07-18 01:23 78K 
[ ]scmfsa8c__t63_scmfsa8c.vout2021-07-25 20:13 6.8K 
[ ]scmfsa8c__t63_scmfsa8c2021-07-18 01:22 80K 
[ ]scmfsa8c__t62_scmfsa8c.vout2021-07-25 18:28 6.8K 
[ ]scmfsa8c__t62_scmfsa8c2021-07-18 01:22 70K 
[ ]scmfsa8c__t61_scmfsa8c.vout2021-07-25 19:54 6.8K 
[ ]scmfsa8c__t61_scmfsa8c2021-07-18 01:21 72K 
[ ]scmfsa8c__t60_scmfsa8c.vout2021-07-25 20:31 6.8K 
[ ]scmfsa8c__t60_scmfsa8c2021-07-18 01:20 72K 
[ ]scmfsa8c__t59_scmfsa8c.vout2021-07-25 15:03 51K 
[ ]scmfsa8c__t59_scmfsa8c.vmin1out2021-07-25 21:00 53K 
[ ]scmfsa8c__t59_scmfsa8c.vmin12021-07-25 20:57 3.5K 
[ ]scmfsa8c__t59_scmfsa8c.depvmin12021-07-25 21:03 52  
[ ]scmfsa8c__t59_scmfsa8c.depv12021-07-25 20:57 52  
[ ]scmfsa8c__t59_scmfsa8c2021-07-18 01:19 65K 
[ ]scmfsa8c__t58_scmfsa8c.vout2021-07-25 20:38 6.8K 
[ ]scmfsa8c__t58_scmfsa8c2021-07-18 01:18 72K 
[ ]scmfsa8c__t57_scmfsa8c.vout2021-07-25 19:50 6.2K 
[ ]scmfsa8c__t57_scmfsa8c2021-07-18 01:17 52K 
[ ]scmfsa8c__t56_scmfsa8c.vout2021-07-25 16:47 6.8K 
[ ]scmfsa8c__t56_scmfsa8c2021-07-18 01:17 56K 
[ ]scmfsa8c__t55_scmfsa8c.vout2021-07-25 20:38 4.7K 
[ ]scmfsa8c__t55_scmfsa8c2021-07-18 01:16 102K 
[ ]scmfsa8c__t54_scmfsa8c.vout2021-07-25 15:06 4.7K 
[ ]scmfsa8c__t54_scmfsa8c2021-07-18 01:15 103K 
[ ]scmfsa8c__t53_scmfsa8c.vout2021-07-25 16:12 4.7K 
[ ]scmfsa8c__t53_scmfsa8c2021-07-18 01:14 103K 
[ ]scmfsa8c__t52_scmfsa8c.vout2021-07-25 19:18 7.3K 
[ ]scmfsa8c__t52_scmfsa8c2021-07-18 01:14 91K 
[ ]scmfsa8c__t51_scmfsa8c.vout2021-07-25 16:51 5.8K 
[ ]scmfsa8c__t51_scmfsa8c2021-07-18 01:13 66K 
[ ]scmfsa8c__t50_scmfsa8c.vout2021-07-25 20:24 4.1K 
[ ]scmfsa8c__t50_scmfsa8c2021-07-18 01:12 53K 
[ ]scmfsa8c__t49_scmfsa8c.vout2021-07-25 20:43 5.8K 
[ ]scmfsa8c__t49_scmfsa8c2021-07-18 00:35 47K 
[ ]scmfsa8c__t48_scmfsa8c.vout2021-07-25 19:03 4.7K 
[ ]scmfsa8c__t48_scmfsa8c2021-07-18 01:12 62K 
[ ]scmfsa8c__t47_scmfsa8c.vout2021-07-25 20:48 9.6K 
[ ]scmfsa8c__t47_scmfsa8c.vmin1out2021-07-25 21:01 7.5K 
[ ]scmfsa8c__t47_scmfsa8c.vmin12021-07-25 20:57 703  
[ ]scmfsa8c__t47_scmfsa8c.depvmin12021-07-25 21:03 26  
[ ]scmfsa8c__t47_scmfsa8c.depv12021-07-25 20:57 26  
[ ]scmfsa8c__t47_scmfsa8c2021-07-18 00:35 56K 
[ ]scmfsa8c__t46_scmfsa8c.vout2021-07-25 17:26 93K 
[ ]scmfsa8c__t46_scmfsa8c.vmin1out2021-07-25 21:00 63K 
[ ]scmfsa8c__t46_scmfsa8c.vmin12021-07-25 20:57 4.0K 
[ ]scmfsa8c__t46_scmfsa8c.depvmin12021-07-25 21:03 39  
[ ]scmfsa8c__t46_scmfsa8c.depv12021-07-25 20:57 39  
[ ]scmfsa8c__t46_scmfsa8c2021-07-18 01:11 120K 
[ ]scmfsa8c__t45_scmfsa8c.vout2021-07-25 20:51 37K 
[ ]scmfsa8c__t45_scmfsa8c.vmin1out2021-07-25 21:00 46K 
[ ]scmfsa8c__t45_scmfsa8c.vmin12021-07-25 20:57 4.0K 
[ ]scmfsa8c__t45_scmfsa8c.depvmin12021-07-25 21:03 39  
[ ]scmfsa8c__t45_scmfsa8c.depv12021-07-25 20:57 63  
[ ]scmfsa8c__t45_scmfsa8c2021-07-18 01:10 120K 
[ ]scmfsa8c__t44_scmfsa8c.vout2021-07-25 18:58 4.7K 
[ ]scmfsa8c__t44_scmfsa8c2021-07-18 01:09 501K 
[ ]scmfsa8c__t43_scmfsa8c.vout2021-07-25 19:17 4.7K 
[ ]scmfsa8c__t43_scmfsa8c2021-07-18 01:08 339K 
[ ]scmfsa8c__t42_scmfsa8c.vout2021-07-25 19:03 4.7K 
[ ]scmfsa8c__t42_scmfsa8c2021-07-18 01:07 500K 
[ ]scmfsa8c__t41_scmfsa8c.vout2021-07-25 19:03 4.7K 
[ ]scmfsa8c__t41_scmfsa8c2021-07-18 01:06 339K 
[ ]scmfsa8c__t40_scmfsa8c.vout2021-07-25 19:41 4.7K 
[ ]scmfsa8c__t40_scmfsa8c2021-07-18 01:05 268K 
[ ]scmfsa8c__t39_scmfsa8c.vout2021-07-25 18:06 4.7K 
[ ]scmfsa8c__t39_scmfsa8c2021-07-18 01:04 260K 
[ ]scmfsa8c__t38_scmfsa8c.vout2021-07-25 16:08 4.7K 
[ ]scmfsa8c__t38_scmfsa8c2021-07-18 01:03 268K 
[ ]scmfsa8c__t37_scmfsa8c.vout2021-07-25 14:43 4.7K 
[ ]scmfsa8c__t37_scmfsa8c2021-07-18 01:02 260K 
[ ]scmfsa8c__t35_scmfsa8c.vout2021-07-25 16:29 4.7K 
[ ]scmfsa8c__t35_scmfsa8c2021-07-18 01:01 122K 
[ ]scmfsa8c__t34_scmfsa8c.vout2021-07-25 15:36 4.7K 
[ ]scmfsa8c__t34_scmfsa8c2021-07-18 01:00 122K 
[ ]scmfsa8c__t33_scmfsa8c.vout2021-07-25 14:23 4.7K 
[ ]scmfsa8c__t33_scmfsa8c2021-07-18 00:59 189K 
[ ]scmfsa8c__t32_scmfsa8c.vout2021-07-25 15:27 4.7K 
[ ]scmfsa8c__t32_scmfsa8c2021-07-18 00:58 189K 
[ ]scmfsa8c__t31_scmfsa8c.vout2021-07-25 17:53 4.7K 
[ ]scmfsa8c__t31_scmfsa8c2021-07-18 00:57 114K 
[ ]scmfsa8c__t30_scmfsa8c.vout2021-07-25 19:29 6.8K 
[ ]scmfsa8c__t30_scmfsa8c2021-07-18 00:56 112K 
[ ]scmfsa8c__t29_scmfsa8c.vout2021-07-25 14:55 4.7K 
[ ]scmfsa8c__t29_scmfsa8c2021-07-18 00:55 177K 
[ ]scmfsa8c__t28_scmfsa8c.vout2021-07-25 18:54 4.7K 
[ ]scmfsa8c__t28_scmfsa8c2021-07-18 00:54 122K 
[ ]scmfsa8c__t27_scmfsa8c.vout2021-07-25 16:25 4.7K 
[ ]scmfsa8c__t27_scmfsa8c2021-07-18 00:53 122K 
[ ]scmfsa8c__t26_scmfsa8c.vout2021-07-25 17:40 4.7K 
[ ]scmfsa8c__t26_scmfsa8c2021-07-18 00:52 113K 
[ ]scmfsa8c__t25_scmfsa8c.vout2021-07-25 15:39 4.7K 
[ ]scmfsa8c__t25_scmfsa8c2021-07-18 00:51 111K 
[ ]scmfsa8c__t24_scmfsa8c.vout2021-07-25 15:30 67K 
[ ]scmfsa8c__t24_scmfsa8c.vmin1out2021-07-25 20:59 62K 
[ ]scmfsa8c__t24_scmfsa8c.vmin12021-07-25 20:57 3.0K 
[ ]scmfsa8c__t24_scmfsa8c.depvmin12021-07-25 21:03 67  
[ ]scmfsa8c__t24_scmfsa8c.depv12021-07-25 20:57 67  
[ ]scmfsa8c__t24_scmfsa8c2021-07-18 00:50 72K 
[ ]scmfsa8c__t23_scmfsa8c.vout2021-07-25 20:51 4.7K 
[ ]scmfsa8c__t23_scmfsa8c2021-07-18 00:49 82K 
[ ]scmfsa8c__t22_scmfsa8c.vout2021-07-25 19:07 4.7K 
[ ]scmfsa8c__t22_scmfsa8c2021-07-18 00:48 140K 
[ ]scmfsa8c__t21_scmfsa8c.vout2021-07-25 14:49 4.7K 
[ ]scmfsa8c__t21_scmfsa8c2021-07-18 00:47 62K 
[ ]scmfsa8c__t20_scmfsa8c.vout2021-07-25 18:33 4.7K 
[ ]scmfsa8c__t20_scmfsa8c2021-07-18 00:47 88K 
[ ]scmfsa8c__t19_scmfsa8c.vout2021-07-25 18:22 4.7K 
[ ]scmfsa8c__t19_scmfsa8c2021-07-18 00:46 91K 
[ ]scmfsa8c__t18_scmfsa8c.vout2021-07-25 15:22 4.7K 
[ ]scmfsa8c__t18_scmfsa8c2021-07-18 00:45 76K 
[ ]scmfsa8c__t17_scmfsa8c.vout2021-07-25 15:50 4.7K 
[ ]scmfsa8c__t17_scmfsa8c2021-07-18 00:44 76K 
[ ]scmfsa8c__t16_scmfsa8c.vout2021-07-25 19:37 4.7K 
[ ]scmfsa8c__t16_scmfsa8c2021-07-18 00:43 119K 
[ ]scmfsa8c__t14_scmfsa8c.vout2021-07-25 15:26 4.7K 
[ ]scmfsa8c__t14_scmfsa8c2021-07-18 00:43 89K 
[ ]scmfsa8c__t12_scmfsa8c.vout2021-07-25 16:47 4.7K 
[ ]scmfsa8c__t12_scmfsa8c2021-07-18 00:42 67K 
[ ]scmfsa8c__t6_scmfsa8c.vout2021-07-25 16:08 27K 
[ ]scmfsa8c__t6_scmfsa8c.vmin1out2021-07-25 21:00 29K 
[ ]scmfsa8c__t6_scmfsa8c.vmin12021-07-25 20:57 1.5K 
[ ]scmfsa8c__t6_scmfsa8c.depvmin12021-07-25 21:03 24  
[ ]scmfsa8c__t6_scmfsa8c.depv12021-07-25 20:57 24  
[ ]scmfsa8c__t6_scmfsa8c2021-07-18 00:34 56K 
[ ]scmfsa8c__t5_scmfsa8c.vout2021-07-25 19:44 5.3K 
[ ]scmfsa8c__t5_scmfsa8c2021-07-18 00:41 68K 
[ ]scmfsa8c__t3_scmfsa8c.vout2021-07-25 18:11 53K 
[ ]scmfsa8c__t3_scmfsa8c.vmin1out2021-07-25 21:02 29K 
[ ]scmfsa8c__t3_scmfsa8c.vmin12021-07-25 20:57 4.2K 
[ ]scmfsa8c__t3_scmfsa8c.depvmin12021-07-25 21:03 201  
[ ]scmfsa8c__t3_scmfsa8c.depv12021-07-25 20:57 201  
[ ]scmfsa8c__t3_scmfsa8c2021-07-18 00:33 57K 
[ ]scmfsa8c__t2_scmfsa8c.vout2021-07-25 16:13 6.8K 
[ ]scmfsa8c__t2_scmfsa8c2021-07-18 00:41 138K 
[ ]scmfsa8c__t1_scmfsa8c.vout2021-07-25 17:33 4.7K 
[ ]scmfsa8c__t1_scmfsa8c2021-07-18 00:40 62K 
[ ]scmfsa8c__l95_scmfsa8c.vout2021-07-25 17:49 4.7K 
[ ]scmfsa8c__l95_scmfsa8c2021-07-18 01:37 113K 
[ ]scmfsa8c__l94_scmfsa8c.vout2021-07-25 15:53 4.7K 
[ ]scmfsa8c__l94_scmfsa8c2021-07-18 01:36 88K 
[ ]scmfsa8c__l93_scmfsa8c.vout2021-07-25 20:05 3.2K 
[ ]scmfsa8c__l93_scmfsa8c2021-07-18 01:35 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80