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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cfunct_1__t85_cfunct_1.vout2021-07-25 17:52 6.9K 
[ ]cfunct_1__t85_cfunct_1.vmin1out2021-07-25 21:01 8.4K 
[ ]cfunct_1__t85_cfunct_1.vmin12021-07-25 20:57 463  
[ ]cfunct_1__t85_cfunct_1.depvmin12021-07-25 21:03 26  
[ ]cfunct_1__t85_cfunct_1.depv12021-07-25 20:57 26  
[ ]cfunct_1__t85_cfunct_12021-07-18 00:28 12K 
[ ]cfunct_1__t84_cfunct_1.vout2021-07-25 16:11 19K 
[ ]cfunct_1__t84_cfunct_1.vmin1out2021-07-25 21:01 23K 
[ ]cfunct_1__t84_cfunct_1.vmin12021-07-25 20:57 1.6K 
[ ]cfunct_1__t84_cfunct_1.depvmin12021-07-25 21:03 65  
[ ]cfunct_1__t84_cfunct_1.depv12021-07-25 20:57 65  
[ ]cfunct_1__t84_cfunct_12021-07-18 00:51 30K 
[ ]cfunct_1__t83_cfunct_1.vout2021-07-25 17:04 12K 
[ ]cfunct_1__t83_cfunct_1.vmin1out2021-07-25 20:58 13K 
[ ]cfunct_1__t83_cfunct_1.vmin12021-07-25 20:57 1.2K 
[ ]cfunct_1__t83_cfunct_1.depvmin12021-07-25 21:03 39  
[ ]cfunct_1__t83_cfunct_1.depv12021-07-25 20:57 39  
[ ]cfunct_1__t83_cfunct_12021-07-18 00:51 16K 
[ ]cfunct_1__t82_cfunct_1.vout2021-07-25 17:56 46K 
[ ]cfunct_1__t82_cfunct_1.vmin1out2021-07-25 20:57 42K 
[ ]cfunct_1__t82_cfunct_1.vmin12021-07-25 20:57 3.8K 
[ ]cfunct_1__t82_cfunct_1.depvmin12021-07-25 21:03 284  
[ ]cfunct_1__t82_cfunct_1.depv12021-07-25 20:57 284  
[ ]cfunct_1__t82_cfunct_12021-07-18 00:51 21K 
[ ]cfunct_1__t81_cfunct_1.vout2021-07-25 17:26 25K 
[ ]cfunct_1__t81_cfunct_1.vmin1out2021-07-25 20:58 28K 
[ ]cfunct_1__t81_cfunct_1.vmin12021-07-25 20:57 1.5K 
[ ]cfunct_1__t81_cfunct_1.depvmin12021-07-25 21:03 115  
[ ]cfunct_1__t81_cfunct_1.depv12021-07-25 20:57 115  
[ ]cfunct_1__t81_cfunct_12021-07-18 00:50 17K 
[ ]cfunct_1__t80_cfunct_1.vout2021-07-25 17:55 7.3K 
[ ]cfunct_1__t80_cfunct_12021-07-18 00:50 37K 
[ ]cfunct_1__t79_cfunct_1.vout2021-07-25 20:39 7.3K 
[ ]cfunct_1__t79_cfunct_12021-07-18 00:50 19K 
[ ]cfunct_1__t78_cfunct_1.vout2021-07-25 17:40 7.3K 
[ ]cfunct_1__t78_cfunct_12021-07-18 00:49 31K 
[ ]cfunct_1__t77_cfunct_1.vout2021-07-25 14:40 28K 
[ ]cfunct_1__t77_cfunct_1.vmin1out2021-07-25 21:02 22K 
[ ]cfunct_1__t77_cfunct_1.vmin12021-07-25 20:57 2.2K 
[ ]cfunct_1__t77_cfunct_1.depvmin12021-07-25 21:03 174  
[ ]cfunct_1__t77_cfunct_1.depv12021-07-25 20:57 174  
[ ]cfunct_1__t77_cfunct_12021-07-18 00:49 21K 
[ ]cfunct_1__t76_cfunct_1.vout2021-07-25 20:38 7.4K 
[ ]cfunct_1__t76_cfunct_12021-07-18 00:49 36K 
[ ]cfunct_1__t75_cfunct_1.vout2021-07-25 18:12 7.3K 
[ ]cfunct_1__t75_cfunct_12021-07-18 00:48 37K 
[ ]cfunct_1__t74_cfunct_1.vout2021-07-25 20:17 4.7K 
[ ]cfunct_1__t74_cfunct_12021-07-18 00:48 20K 
[ ]cfunct_1__t73_cfunct_1.vout2021-07-25 18:48 20K 
[ ]cfunct_1__t73_cfunct_1.vmin1out2021-07-25 20:59 18K 
[ ]cfunct_1__t73_cfunct_1.vmin12021-07-25 20:57 2.0K 
[ ]cfunct_1__t73_cfunct_1.depvmin12021-07-25 21:03 189  
[ ]cfunct_1__t73_cfunct_1.depv12021-07-25 20:57 189  
[ ]cfunct_1__t73_cfunct_12021-07-18 00:48 20K 
[ ]cfunct_1__t72_cfunct_1.vout2021-07-25 18:18 4.7K 
[ ]cfunct_1__t72_cfunct_12021-07-18 00:47 21K 
[ ]cfunct_1__t71_cfunct_1.vout2021-07-25 19:12 22K 
[ ]cfunct_1__t71_cfunct_1.vmin1out2021-07-25 21:01 20K 
[ ]cfunct_1__t71_cfunct_1.vmin12021-07-25 20:57 2.4K 
[ ]cfunct_1__t71_cfunct_1.depvmin12021-07-25 21:03 236  
[ ]cfunct_1__t71_cfunct_1.depv12021-07-25 20:57 255  
[ ]cfunct_1__t71_cfunct_12021-07-18 00:47 16K 
[ ]cfunct_1__t70_cfunct_1.vout2021-07-25 18:22 26K 
[ ]cfunct_1__t70_cfunct_1.vmin1out2021-07-25 20:59 22K 
[ ]cfunct_1__t70_cfunct_1.vmin12021-07-25 20:57 2.3K 
[ ]cfunct_1__t70_cfunct_1.depvmin12021-07-25 21:03 174  
[ ]cfunct_1__t70_cfunct_1.depv12021-07-25 20:57 174  
[ ]cfunct_1__t70_cfunct_12021-07-18 00:47 19K 
[ ]cfunct_1__t69_cfunct_1.vout2021-07-25 19:08 4.7K 
[ ]cfunct_1__t69_cfunct_12021-07-18 00:47 26K 
[ ]cfunct_1__t68_cfunct_1.vout2021-07-25 14:23 6.8K 
[ ]cfunct_1__t68_cfunct_12021-07-18 00:46 22K 
[ ]cfunct_1__t67_cfunct_1.vout2021-07-25 18:32 7.3K 
[ ]cfunct_1__t67_cfunct_12021-07-18 00:28 15K 
[ ]cfunct_1__t66_cfunct_1.vout2021-07-25 18:00 7.4K 
[ ]cfunct_1__t66_cfunct_12021-07-18 00:46 19K 
[ ]cfunct_1__t65_cfunct_1.vout2021-07-25 17:15 2.0K 
[ ]cfunct_1__t65_cfunct_12021-07-18 00:46 14K 
[ ]cfunct_1__t64_cfunct_1.vout2021-07-25 15:21 2.0K 
[ ]cfunct_1__t64_cfunct_12021-07-18 00:45 28K 
[ ]cfunct_1__t63_cfunct_1.vout2021-07-25 18:23 4.7K 
[ ]cfunct_1__t63_cfunct_12021-07-18 00:45 20K 
[ ]cfunct_1__t62_cfunct_1.vout2021-07-25 18:29 44K 
[ ]cfunct_1__t62_cfunct_1.vmin1out2021-07-25 20:59 42K 
[ ]cfunct_1__t62_cfunct_1.vmin12021-07-25 20:57 2.6K 
[ ]cfunct_1__t62_cfunct_1.depvmin12021-07-25 21:03 251  
[ ]cfunct_1__t62_cfunct_1.depv12021-07-25 20:57 251  
[ ]cfunct_1__t62_cfunct_12021-07-18 00:45 15K 
[ ]cfunct_1__t61_cfunct_1.vout2021-07-25 19:33 8.4K 
[ ]cfunct_1__t61_cfunct_12021-07-18 00:27 13K 
[ ]cfunct_1__t60_cfunct_1.vout2021-07-25 19:13 39K 
[ ]cfunct_1__t60_cfunct_1.vmin1out2021-07-25 20:59 20K 
[ ]cfunct_1__t60_cfunct_1.vmin12021-07-25 20:57 2.2K 
[ ]cfunct_1__t60_cfunct_1.depvmin12021-07-25 21:03 234  
[ ]cfunct_1__t60_cfunct_1.depv12021-07-25 20:57 280  
[ ]cfunct_1__t60_cfunct_12021-07-18 00:27 13K 
[ ]cfunct_1__t59_cfunct_1.vout2021-07-25 17:02 2.0K 
[ ]cfunct_1__t59_cfunct_12021-07-18 00:27 12K 
[ ]cfunct_1__t58_cfunct_1.vout2021-07-25 20:41 7.4K 
[ ]cfunct_1__t58_cfunct_12021-07-18 00:45 28K 
[ ]cfunct_1__t57_cfunct_1.vout2021-07-25 20:08 4.7K 
[ ]cfunct_1__t57_cfunct_12021-07-18 00:44 20K 
[ ]cfunct_1__t56_cfunct_1.vout2021-07-25 20:09 4.7K 
[ ]cfunct_1__t56_cfunct_12021-07-18 00:44 22K 
[ ]cfunct_1__t55_cfunct_1.vout2021-07-25 19:40 4.7K 
[ ]cfunct_1__t55_cfunct_12021-07-18 00:44 24K 
[ ]cfunct_1__t54_cfunct_1.vout2021-07-25 18:22 4.7K 
[ ]cfunct_1__t54_cfunct_12021-07-18 00:43 33K 
[ ]cfunct_1__t53_cfunct_1.vout2021-07-25 20:42 4.7K 
[ ]cfunct_1__t53_cfunct_12021-07-18 00:43 22K 
[ ]cfunct_1__t52_cfunct_1.vout2021-07-25 19:37 4.7K 
[ ]cfunct_1__t52_cfunct_12021-07-18 00:43 22K 
[ ]cfunct_1__t51_cfunct_1.vout2021-07-25 16:24 4.7K 
[ ]cfunct_1__t51_cfunct_12021-07-18 00:42 19K 
[ ]cfunct_1__t50_cfunct_1.vout2021-07-25 15:48 4.7K 
[ ]cfunct_1__t50_cfunct_12021-07-18 00:42 19K 
[ ]cfunct_1__t49_cfunct_1.vout2021-07-25 16:51 4.7K 
[ ]cfunct_1__t49_cfunct_12021-07-18 00:42 16K 
[ ]cfunct_1__t48_cfunct_1.vout2021-07-25 20:38 4.7K 
[ ]cfunct_1__t48_cfunct_12021-07-18 00:42 35K 
[ ]cfunct_1__t47_cfunct_1.vout2021-07-25 16:11 4.7K 
[ ]cfunct_1__t47_cfunct_12021-07-18 00:41 19K 
[ ]cfunct_1__t46_cfunct_1.vout2021-07-25 17:46 4.7K 
[ ]cfunct_1__t46_cfunct_12021-07-18 00:41 20K 
[ ]cfunct_1__t45_cfunct_1.vout2021-07-25 18:37 4.7K 
[ ]cfunct_1__t45_cfunct_12021-07-18 00:41 16K 
[ ]cfunct_1__t44_cfunct_1.vout2021-07-25 20:55 4.7K 
[ ]cfunct_1__t44_cfunct_12021-07-18 00:40 13K 
[ ]cfunct_1__t43_cfunct_1.vout2021-07-25 17:07 4.7K 
[ ]cfunct_1__t43_cfunct_12021-07-18 00:40 16K 
[ ]cfunct_1__t42_cfunct_1.vout2021-07-25 17:49 4.7K 
[ ]cfunct_1__t42_cfunct_12021-07-18 00:40 26K 
[ ]cfunct_1__t41_cfunct_1.vout2021-07-25 17:44 4.7K 
[ ]cfunct_1__t41_cfunct_12021-07-18 00:39 34K 
[ ]cfunct_1__t40_cfunct_1.vout2021-07-25 18:15 4.7K 
[ ]cfunct_1__t40_cfunct_12021-07-18 00:39 14K 
[ ]cfunct_1__t39_cfunct_1.vout2021-07-25 15:36 4.7K 
[ ]cfunct_1__t39_cfunct_12021-07-18 00:39 25K 
[ ]cfunct_1__t38_cfunct_1.vout2021-07-25 16:51 4.7K 
[ ]cfunct_1__t38_cfunct_12021-07-18 00:39 28K 
[ ]cfunct_1__t37_cfunct_1.vout2021-07-25 16:42 4.7K 
[ ]cfunct_1__t37_cfunct_12021-07-18 00:26 17K 
[ ]cfunct_1__t36_cfunct_1.vout2021-07-25 14:47 4.7K 
[ ]cfunct_1__t36_cfunct_12021-07-18 00:38 21K 
[ ]cfunct_1__t35_cfunct_1.vout2021-07-25 19:19 4.7K 
[ ]cfunct_1__t35_cfunct_12021-07-18 00:38 25K 
[ ]cfunct_1__t34_cfunct_1.vout2021-07-25 16:30 4.7K 
[ ]cfunct_1__t34_cfunct_12021-07-18 00:38 22K 
[ ]cfunct_1__t33_cfunct_1.vout2021-07-25 18:30 23K 
[ ]cfunct_1__t33_cfunct_1.vmin1out2021-07-25 20:58 25K 
[ ]cfunct_1__t33_cfunct_1.vmin12021-07-25 20:57 2.8K 
[ ]cfunct_1__t33_cfunct_1.depvmin12021-07-25 21:03 225  
[ ]cfunct_1__t33_cfunct_1.depv12021-07-25 20:57 241  
[ ]cfunct_1__t33_cfunct_12021-07-18 00:26 16K 
[ ]cfunct_1__t31_cfunct_1.vout2021-07-25 16:56 21K 
[ ]cfunct_1__t31_cfunct_1.vmin1out2021-07-25 20:59 16K 
[ ]cfunct_1__t31_cfunct_1.vmin12021-07-25 20:57 2.3K 
[ ]cfunct_1__t31_cfunct_1.depvmin12021-07-25 21:03 213  
[ ]cfunct_1__t31_cfunct_1.depv12021-07-25 20:57 257  
[ ]cfunct_1__t31_cfunct_12021-07-18 00:26 14K 
[ ]cfunct_1__t30_cfunct_1.vout2021-07-25 20:43 4.7K 
[ ]cfunct_1__t30_cfunct_12021-07-18 00:37 20K 
[ ]cfunct_1__t29_cfunct_1.vout2021-07-25 19:03 4.7K 
[ ]cfunct_1__t29_cfunct_12021-07-18 00:37 24K 
[ ]cfunct_1__t28_cfunct_1.vout2021-07-25 19:22 4.7K 
[ ]cfunct_1__t28_cfunct_12021-07-18 00:37 25K 
[ ]cfunct_1__t27_cfunct_1.vout2021-07-25 20:42 4.7K 
[ ]cfunct_1__t27_cfunct_12021-07-18 00:36 25K 
[ ]cfunct_1__t26_cfunct_1.vout2021-07-25 20:20 5.8K 
[ ]cfunct_1__t26_cfunct_12021-07-18 00:36 15K 
[ ]cfunct_1__t25_cfunct_1.vout2021-07-25 18:09 4.7K 
[ ]cfunct_1__t25_cfunct_12021-07-18 00:36 25K 
[ ]cfunct_1__t24_cfunct_1.vout2021-07-25 17:22 4.7K 
[ ]cfunct_1__t24_cfunct_12021-07-18 00:35 23K 
[ ]cfunct_1__t23_cfunct_1.vout2021-07-25 20:55 4.7K 
[ ]cfunct_1__t23_cfunct_12021-07-18 00:35 23K 
[ ]cfunct_1__t22_cfunct_1.vout2021-07-25 20:37 4.7K 
[ ]cfunct_1__t22_cfunct_12021-07-18 00:35 15K 
[ ]cfunct_1__t21_cfunct_1.vout2021-07-25 17:22 4.7K 
[ ]cfunct_1__t21_cfunct_12021-07-18 00:34 23K 
[ ]cfunct_1__t20_cfunct_1.vout2021-07-25 16:34 29K 
[ ]cfunct_1__t20_cfunct_1.vmin1out2021-07-25 20:58 29K 
[ ]cfunct_1__t20_cfunct_1.vmin12021-07-25 20:57 3.1K 
[ ]cfunct_1__t20_cfunct_1.depvmin12021-07-25 21:03 171  
[ ]cfunct_1__t20_cfunct_1.depv12021-07-25 20:57 171  
[ ]cfunct_1__t20_cfunct_12021-07-18 00:25 16K 
[ ]cfunct_1__t19_cfunct_1.vout2021-07-25 14:24 4.7K 
[ ]cfunct_1__t19_cfunct_12021-07-18 00:34 24K 
[ ]cfunct_1__t18_cfunct_1.vout2021-07-25 19:00 4.7K 
[ ]cfunct_1__t18_cfunct_12021-07-18 00:34 20K 
[ ]cfunct_1__t17_cfunct_1.vout2021-07-25 16:14 4.7K 
[ ]cfunct_1__t17_cfunct_12021-07-18 00:33 20K 
[ ]cfunct_1__t16_cfunct_1.vout2021-07-25 18:55 23K 
[ ]cfunct_1__t16_cfunct_1.vmin1out2021-07-25 21:00 34K 
[ ]cfunct_1__t16_cfunct_1.vmin12021-07-25 20:57 2.5K 
[ ]cfunct_1__t16_cfunct_1.depvmin12021-07-25 21:03 132  
[ ]cfunct_1__t16_cfunct_1.depv12021-07-25 20:57 132  
[ ]cfunct_1__t16_cfunct_12021-07-18 00:25 14K 
[ ]cfunct_1__t15_cfunct_1.vout2021-07-25 17:57 4.7K 
[ ]cfunct_1__t15_cfunct_12021-07-18 00:33 24K 
[ ]cfunct_1__t14_cfunct_1.vout2021-07-25 20:37 4.7K 
[ ]cfunct_1__t14_cfunct_12021-07-18 00:33 19K 
[ ]cfunct_1__t13_cfunct_1.vout2021-07-25 15:38 4.7K 
[ ]cfunct_1__t13_cfunct_12021-07-18 00:33 19K 
[ ]cfunct_1__t12_cfunct_1.vout2021-07-25 19:02 4.7K 
[ ]cfunct_1__t12_cfunct_12021-07-18 00:32 17K 
[ ]cfunct_1__t11_cfunct_1.vout2021-07-25 14:37 7.3K 
[ ]cfunct_1__t11_cfunct_12021-07-18 00:32 20K 
[ ]cfunct_1__t10_cfunct_1.vout2021-07-25 17:31 4.7K 
[ ]cfunct_1__t10_cfunct_12021-07-18 00:32 21K 
[ ]cfunct_1__t9_cfunct_1.vout2021-07-25 19:04 4.7K 
[ ]cfunct_1__t9_cfunct_12021-07-18 00:31 16K 
[ ]cfunct_1__t8_cfunct_1.vout2021-07-25 20:22 4.7K 
[ ]cfunct_1__t8_cfunct_12021-07-18 00:31 16K 
[ ]cfunct_1__t7_cfunct_1.vout2021-07-25 17:21 6.8K 
[ ]cfunct_1__t7_cfunct_12021-07-18 00:31 24K 
[ ]cfunct_1__t6_cfunct_1.vout2021-07-25 14:44 45K 
[ ]cfunct_1__t6_cfunct_1.vmin1out2021-07-25 21:00 31K 
[ ]cfunct_1__t6_cfunct_1.vmin12021-07-25 20:57 3.0K 
[ ]cfunct_1__t6_cfunct_1.depvmin12021-07-25 21:03 207  
[ ]cfunct_1__t6_cfunct_1.depv12021-07-25 20:57 343  
[ ]cfunct_1__t6_cfunct_12021-07-18 00:30 18K 
[ ]cfunct_1__t5_cfunct_1.vout2021-07-25 19:05 27K 
[ ]cfunct_1__t5_cfunct_1.vmin1out2021-07-25 20:59 23K 
[ ]cfunct_1__t5_cfunct_1.vmin12021-07-25 20:57 2.3K 
[ ]cfunct_1__t5_cfunct_1.depvmin12021-07-25 21:03 179  
[ ]cfunct_1__t5_cfunct_1.depv12021-07-25 20:57 225  
[ ]cfunct_1__t5_cfunct_12021-07-18 00:30 14K 
[ ]cfunct_1__t4_cfunct_1.vout2021-07-25 18:18 41K 
[ ]cfunct_1__t4_cfunct_1.vmin1out2021-07-25 21:02 40K 
[ ]cfunct_1__t4_cfunct_1.vmin12021-07-25 20:57 2.6K 
[ ]cfunct_1__t4_cfunct_1.depvmin12021-07-25 21:03 207  
[ ]cfunct_1__t4_cfunct_1.depv12021-07-25 20:57 207  
[ ]cfunct_1__t4_cfunct_12021-07-18 00:30 15K 
[ ]cfunct_1__t3_cfunct_1.vout2021-07-25 17:01 62K 
[ ]cfunct_1__t3_cfunct_1.vmin1out2021-07-25 21:01 64K 
[ ]cfunct_1__t3_cfunct_1.vmin12021-07-25 20:57 3.6K 
[ ]cfunct_1__t3_cfunct_1.depvmin12021-07-25 21:03 273  
[ ]cfunct_1__t3_cfunct_1.depv12021-07-25 20:57 300  
[ ]cfunct_1__t3_cfunct_12021-07-18 00:29 19K 
[ ]cfunct_1__t2_cfunct_1.vout2021-07-25 18:49 7.3K 
[ ]cfunct_1__t2_cfunct_12021-07-18 00:29 23K 
[ ]cfunct_1__t1_cfunct_1.vout2021-07-25 15:24 61K 
[ ]cfunct_1__t1_cfunct_1.vmin1out2021-07-25 21:01 63K 
[ ]cfunct_1__t1_cfunct_1.vmin12021-07-25 20:57 3.6K 
[ ]cfunct_1__t1_cfunct_1.depvmin12021-07-25 21:03 270  
[ ]cfunct_1__t1_cfunct_1.depv12021-07-25 20:57 296  
[ ]cfunct_1__t1_cfunct_12021-07-18 00:29 17K 
[ ]cfunct_1__l73_cfunct_1.vout2021-07-25 19:24 60K 
[ ]cfunct_1__l73_cfunct_1.vmin1out2021-07-25 20:58 57K 
[ ]cfunct_1__l73_cfunct_1.vmin12021-07-25 20:57 2.1K 
[ ]cfunct_1__l73_cfunct_1.depvmin12021-07-25 21:03 182  
[ ]cfunct_1__l73_cfunct_1.depv12021-07-25 20:57 198  
[ ]cfunct_1__l73_cfunct_12021-07-18 00:51 15K 
[ ]cfunct_1__l40_cfunct_1.vout2021-07-25 19:54 3.8K 
[ ]cfunct_1__l40_cfunct_1.vmin1out2021-07-25 20:58 3.9K 
[ ]cfunct_1__l40_cfunct_1.vmin12021-07-25 20:57 568  
[ ]cfunct_1__l40_cfunct_1.depvmin12021-07-25 21:03 115  
[ ]cfunct_1__l40_cfunct_1.depv12021-07-25 20:57 115  
[ ]cfunct_1__l40_cfunct_12021-07-18 00:28 7.2K 
[ ]cfunct_1__l8_cfunct_1.vout2021-07-25 20:04 36K 
[ ]cfunct_1__l8_cfunct_1.vmin1out2021-07-25 21:02 35K 
[ ]cfunct_1__l8_cfunct_1.vmin12021-07-25 20:57 1.9K 
[ ]cfunct_1__l8_cfunct_1.depvmin12021-07-25 21:03 163  
[ ]cfunct_1__l8_cfunct_1.depv12021-07-25 20:57 163  
[ ]cfunct_1__l8_cfunct_12021-07-18 00:28 11K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80