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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fvsum_1__t90_fvsum_1.vout2021-07-25 17:51 2.0K 
[ ]fvsum_1__t90_fvsum_12021-07-18 01:21 33K 
[ ]fvsum_1__t89_fvsum_1.vout2021-07-25 16:05 2.0K 
[ ]fvsum_1__t89_fvsum_12021-07-18 02:00 37K 
[ ]fvsum_1__t88_fvsum_1.vout2021-07-25 14:41 7.3K 
[ ]fvsum_1__t88_fvsum_12021-07-18 01:59 38K 
[ ]fvsum_1__t87_fvsum_1.vout2021-07-25 15:30 2.0K 
[ ]fvsum_1__t87_fvsum_12021-07-18 01:58 43K 
[ ]fvsum_1__t86_fvsum_1.vout2021-07-25 17:51 2.0K 
[ ]fvsum_1__t86_fvsum_12021-07-18 01:20 35K 
[ ]fvsum_1__t85_fvsum_1.vout2021-07-25 18:41 2.0K 
[ ]fvsum_1__t85_fvsum_12021-07-18 01:20 34K 
[ ]fvsum_1__t84_fvsum_1.vout2021-07-25 19:24 2.0K 
[ ]fvsum_1__t84_fvsum_12021-07-18 01:19 35K 
[ ]fvsum_1__t83_fvsum_1.vout2021-07-25 16:22 1.1K 
[ ]fvsum_1__t83_fvsum_12021-07-18 01:19 37K 
[ ]fvsum_1__t82_fvsum_1.vout2021-07-25 17:20 4.7K 
[ ]fvsum_1__t82_fvsum_12021-07-18 01:58 47K 
[ ]fvsum_1__t81_fvsum_1.vout2021-07-25 19:55 3.7K 
[ ]fvsum_1__t81_fvsum_12021-07-18 01:57 33K 
[ ]fvsum_1__t80_fvsum_1.vout2021-07-25 20:53 39K 
[ ]fvsum_1__t80_fvsum_1.vmin1out2021-07-25 21:00 20K 
[ ]fvsum_1__t80_fvsum_1.vmin12021-07-25 20:57 2.7K 
[ ]fvsum_1__t80_fvsum_1.depvmin12021-07-25 21:03 337  
[ ]fvsum_1__t80_fvsum_1.depv12021-07-25 20:57 337  
[ ]fvsum_1__t80_fvsum_12021-07-18 01:56 31K 
[ ]fvsum_1__t79_fvsum_1.vout2021-07-25 16:32 2.0K 
[ ]fvsum_1__t79_fvsum_12021-07-18 01:56 38K 
[ ]fvsum_1__t78_fvsum_1.vout2021-07-25 18:53 2.0K 
[ ]fvsum_1__t78_fvsum_12021-07-18 01:55 36K 
[ ]fvsum_1__t77_fvsum_1.vout2021-07-25 19:33 4.7K 
[ ]fvsum_1__t77_fvsum_12021-07-18 01:55 38K 
[ ]fvsum_1__t76_fvsum_1.vout2021-07-25 17:23 2.0K 
[ ]fvsum_1__t76_fvsum_12021-07-18 01:18 32K 
[ ]fvsum_1__t75_fvsum_1.vout2021-07-25 20:03 4.1K 
[ ]fvsum_1__t75_fvsum_12021-07-18 01:54 39K 
[ ]fvsum_1__t74_fvsum_1.vout2021-07-25 15:37 35K 
[ ]fvsum_1__t74_fvsum_1.vmin1out2021-07-25 21:01 17K 
[ ]fvsum_1__t74_fvsum_1.vmin12021-07-25 20:57 2.4K 
[ ]fvsum_1__t74_fvsum_1.depvmin12021-07-25 21:03 308  
[ ]fvsum_1__t74_fvsum_1.depv12021-07-25 20:57 308  
[ ]fvsum_1__t74_fvsum_12021-07-18 01:54 29K 
[ ]fvsum_1__t73_fvsum_1.vout2021-07-25 15:51 2.0K 
[ ]fvsum_1__t73_fvsum_12021-07-18 01:53 41K 
[ ]fvsum_1__t72_fvsum_1.vout2021-07-25 16:04 2.0K 
[ ]fvsum_1__t72_fvsum_12021-07-18 01:53 32K 
[ ]fvsum_1__t71_fvsum_1.vout2021-07-25 14:49 2.0K 
[ ]fvsum_1__t71_fvsum_12021-07-18 01:52 32K 
[ ]fvsum_1__t70_fvsum_1.vout2021-07-25 15:07 8.7K 
[ ]fvsum_1__t70_fvsum_1.vmin1out2021-07-25 20:59 9.2K 
[ ]fvsum_1__t70_fvsum_1.vmin12021-07-25 20:57 837  
[ ]fvsum_1__t70_fvsum_1.depvmin12021-07-25 21:03 24  
[ ]fvsum_1__t70_fvsum_1.depv12021-07-25 20:57 24  
[ ]fvsum_1__t70_fvsum_12021-07-18 01:18 37K 
[ ]fvsum_1__t69_fvsum_1.vout2021-07-25 16:43 4.7K 
[ ]fvsum_1__t69_fvsum_12021-07-18 01:52 38K 
[ ]fvsum_1__t68_fvsum_1.vout2021-07-25 17:26 4.7K 
[ ]fvsum_1__t68_fvsum_12021-07-18 01:17 37K 
[ ]fvsum_1__t67_fvsum_1.vout2021-07-25 16:25 17K 
[ ]fvsum_1__t67_fvsum_1.vmin1out2021-07-25 21:02 19K 
[ ]fvsum_1__t67_fvsum_1.vmin12021-07-25 20:57 1.8K 
[ ]fvsum_1__t67_fvsum_1.depvmin12021-07-25 21:03 103  
[ ]fvsum_1__t67_fvsum_1.depv12021-07-25 20:57 103  
[ ]fvsum_1__t67_fvsum_12021-07-18 01:51 39K 
[ ]fvsum_1__t66_fvsum_1.vout2021-07-25 19:09 4.7K 
[ ]fvsum_1__t66_fvsum_12021-07-18 01:51 39K 
[ ]fvsum_1__t65_fvsum_1.vout2021-07-25 15:35 4.1K 
[ ]fvsum_1__t65_fvsum_12021-07-18 01:17 30K 
[ ]fvsum_1__t64_fvsum_1.vout2021-07-25 14:45 4.1K 
[ ]fvsum_1__t64_fvsum_12021-07-18 01:50 37K 
[ ]fvsum_1__t63_fvsum_1.vout2021-07-25 20:02 4.1K 
[ ]fvsum_1__t63_fvsum_12021-07-18 01:16 30K 
[ ]fvsum_1__t62_fvsum_1.vout2021-07-25 17:15 53K 
[ ]fvsum_1__t62_fvsum_1.vmin1out2021-07-25 20:59 47K 
[ ]fvsum_1__t62_fvsum_1.vmin12021-07-25 20:57 3.5K 
[ ]fvsum_1__t62_fvsum_1.depvmin12021-07-25 21:03 232  
[ ]fvsum_1__t62_fvsum_1.depv12021-07-25 20:57 246  
[ ]fvsum_1__t62_fvsum_12021-07-18 01:16 30K 
[ ]fvsum_1__t61_fvsum_1.vout2021-07-25 20:19 6.8K 
[ ]fvsum_1__t61_fvsum_12021-07-18 01:50 34K 
[ ]fvsum_1__t60_fvsum_1.vout2021-07-25 17:51 2.0K 
[ ]fvsum_1__t60_fvsum_12021-07-18 01:15 30K 
[ ]fvsum_1__t59_fvsum_1.vout2021-07-25 18:36 4.7K 
[ ]fvsum_1__t59_fvsum_12021-07-18 01:49 46K 
[ ]fvsum_1__t58_fvsum_1.vout2021-07-25 19:08 4.7K 
[ ]fvsum_1__t58_fvsum_12021-07-18 01:48 44K 
[ ]fvsum_1__t57_fvsum_1.vout2021-07-25 20:26 4.7K 
[ ]fvsum_1__t57_fvsum_12021-07-18 01:47 41K 
[ ]fvsum_1__t56_fvsum_1.vout2021-07-25 17:48 4.7K 
[ ]fvsum_1__t56_fvsum_12021-07-18 01:15 42K 
[ ]fvsum_1__t55_fvsum_1.vout2021-07-25 19:07 4.7K 
[ ]fvsum_1__t55_fvsum_12021-07-18 01:47 44K 
[ ]fvsum_1__t54_fvsum_1.vout2021-07-25 14:30 5.3K 
[ ]fvsum_1__t54_fvsum_12021-07-18 01:46 37K 
[ ]fvsum_1__t53_fvsum_1.vout2021-07-25 17:15 4.7K 
[ ]fvsum_1__t53_fvsum_12021-07-18 01:46 38K 
[ ]fvsum_1__t52_fvsum_1.vout2021-07-25 15:16 7.3K 
[ ]fvsum_1__t52_fvsum_12021-07-18 01:45 36K 
[ ]fvsum_1__t51_fvsum_1.vout2021-07-25 19:27 6.8K 
[ ]fvsum_1__t51_fvsum_12021-07-18 01:45 40K 
[ ]fvsum_1__t50_fvsum_1.vout2021-07-25 16:26 2.0K 
[ ]fvsum_1__t50_fvsum_12021-07-18 01:44 37K 
[ ]fvsum_1__t49_fvsum_1.vout2021-07-25 16:10 7.8K 
[ ]fvsum_1__t49_fvsum_1.vmin1out2021-07-25 21:02 8.4K 
[ ]fvsum_1__t49_fvsum_1.vmin12021-07-25 20:57 871  
[ ]fvsum_1__t49_fvsum_1.depvmin12021-07-25 21:03 35  
[ ]fvsum_1__t49_fvsum_1.depv12021-07-25 20:57 35  
[ ]fvsum_1__t49_fvsum_12021-07-18 01:14 29K 
[ ]fvsum_1__t48_fvsum_1.vout2021-07-25 17:52 24K 
[ ]fvsum_1__t48_fvsum_1.vmin1out2021-07-25 21:01 24K 
[ ]fvsum_1__t48_fvsum_1.vmin12021-07-25 20:57 2.4K 
[ ]fvsum_1__t48_fvsum_1.depvmin12021-07-25 21:03 182  
[ ]fvsum_1__t48_fvsum_1.depv12021-07-25 20:57 182  
[ ]fvsum_1__t48_fvsum_12021-07-18 01:44 29K 
[ ]fvsum_1__t47_fvsum_1.vout2021-07-25 14:26 4.7K 
[ ]fvsum_1__t47_fvsum_12021-07-18 01:43 41K 
[ ]fvsum_1__t46_fvsum_1.vout2021-07-25 16:11 2.0K 
[ ]fvsum_1__t46_fvsum_12021-07-18 01:43 35K 
[ ]fvsum_1__t45_fvsum_1.vout2021-07-25 17:28 4.7K 
[ ]fvsum_1__t45_fvsum_12021-07-18 01:42 40K 
[ ]fvsum_1__t44_fvsum_1.vout2021-07-25 17:12 4.7K 
[ ]fvsum_1__t44_fvsum_12021-07-18 01:42 39K 
[ ]fvsum_1__t43_fvsum_1.vout2021-07-25 15:24 4.7K 
[ ]fvsum_1__t43_fvsum_12021-07-18 01:41 40K 
[ ]fvsum_1__t42_fvsum_1.vout2021-07-25 15:54 4.7K 
[ ]fvsum_1__t42_fvsum_12021-07-18 01:41 41K 
[ ]fvsum_1__t41_fvsum_1.vout2021-07-25 14:28 4.7K 
[ ]fvsum_1__t41_fvsum_12021-07-18 01:40 40K 
[ ]fvsum_1__t40_fvsum_1.vout2021-07-25 18:25 4.7K 
[ ]fvsum_1__t40_fvsum_12021-07-18 01:39 40K 
[ ]fvsum_1__t39_fvsum_1.vout2021-07-25 16:56 4.7K 
[ ]fvsum_1__t39_fvsum_12021-07-18 01:39 40K 
[ ]fvsum_1__t38_fvsum_1.vout2021-07-25 18:19 4.7K 
[ ]fvsum_1__t38_fvsum_12021-07-18 01:38 39K 
[ ]fvsum_1__t37_fvsum_1.vout2021-07-25 14:33 4.7K 
[ ]fvsum_1__t37_fvsum_12021-07-18 01:38 40K 
[ ]fvsum_1__t36_fvsum_1.vout2021-07-25 17:09 4.7K 
[ ]fvsum_1__t36_fvsum_12021-07-18 01:37 41K 
[ ]fvsum_1__t35_fvsum_1.vout2021-07-25 15:21 4.7K 
[ ]fvsum_1__t35_fvsum_12021-07-18 01:37 36K 
[ ]fvsum_1__t34_fvsum_1.vout2021-07-25 20:24 7.3K 
[ ]fvsum_1__t34_fvsum_12021-07-18 01:36 34K 
[ ]fvsum_1__t33_fvsum_1.vout2021-07-25 16:40 6.8K 
[ ]fvsum_1__t33_fvsum_12021-07-18 01:35 38K 
[ ]fvsum_1__t32_fvsum_1.vout2021-07-25 19:53 2.0K 
[ ]fvsum_1__t32_fvsum_12021-07-18 01:35 34K 
[ ]fvsum_1__t31_fvsum_1.vout2021-07-25 15:48 4.1K 
[ ]fvsum_1__t31_fvsum_12021-07-18 01:34 38K 
[ ]fvsum_1__t30_fvsum_1.vout2021-07-25 16:42 4.1K 
[ ]fvsum_1__t30_fvsum_12021-07-18 01:33 31K 
[ ]fvsum_1__t29_fvsum_1.vout2021-07-25 14:49 15K 
[ ]fvsum_1__t29_fvsum_1.vmin1out2021-07-25 20:59 15K 
[ ]fvsum_1__t29_fvsum_1.vmin12021-07-25 20:57 754  
[ ]fvsum_1__t29_fvsum_1.depvmin12021-07-25 21:03 24  
[ ]fvsum_1__t29_fvsum_1.depv12021-07-25 20:57 24  
[ ]fvsum_1__t29_fvsum_12021-07-18 01:33 32K 
[ ]fvsum_1__t28_fvsum_1.vout2021-07-25 16:12 23K 
[ ]fvsum_1__t28_fvsum_1.vmin1out2021-07-25 21:01 18K 
[ ]fvsum_1__t28_fvsum_1.vmin12021-07-25 20:57 1.9K 
[ ]fvsum_1__t28_fvsum_1.depvmin12021-07-25 21:03 114  
[ ]fvsum_1__t28_fvsum_1.depv12021-07-25 20:57 114  
[ ]fvsum_1__t28_fvsum_12021-07-18 01:32 36K 
[ ]fvsum_1__t27_fvsum_1.vout2021-07-25 19:33 4.1K 
[ ]fvsum_1__t27_fvsum_12021-07-18 01:32 39K 
[ ]fvsum_1__t26_fvsum_1.vout2021-07-25 17:30 4.2K 
[ ]fvsum_1__t26_fvsum_12021-07-18 01:31 37K 
[ ]fvsum_1__t25_fvsum_1.vout2021-07-25 19:33 4.1K 
[ ]fvsum_1__t25_fvsum_12021-07-18 01:31 39K 
[ ]fvsum_1__t24_fvsum_1.vout2021-07-25 20:43 7.3K 
[ ]fvsum_1__t24_fvsum_12021-07-18 01:30 38K 
[ ]fvsum_1__t23_fvsum_1.vout2021-07-25 20:05 6.8K 
[ ]fvsum_1__t23_fvsum_12021-07-18 01:29 36K 
[ ]fvsum_1__t22_fvsum_1.vout2021-07-25 18:43 1.1K 
[ ]fvsum_1__t22_fvsum_12021-07-18 01:29 38K 
[ ]fvsum_1__t21_fvsum_1.vout2021-07-25 15:44 4.1K 
[ ]fvsum_1__t21_fvsum_12021-07-18 01:28 32K 
[ ]fvsum_1__t20_fvsum_1.vout2021-07-25 14:27 4.1K 
[ ]fvsum_1__t20_fvsum_12021-07-18 01:14 32K 
[ ]fvsum_1__t19_fvsum_1.vout2021-07-25 18:27 7.3K 
[ ]fvsum_1__t19_fvsum_12021-07-18 01:14 30K 
[ ]fvsum_1__t18_fvsum_1.vout2021-07-25 15:27 6.8K 
[ ]fvsum_1__t18_fvsum_12021-07-18 01:28 35K 
[ ]fvsum_1__t17_fvsum_1.vout2021-07-25 15:43 2.0K 
[ ]fvsum_1__t17_fvsum_12021-07-18 01:13 31K 
[ ]fvsum_1__t16_fvsum_1.vout2021-07-25 20:07 39K 
[ ]fvsum_1__t16_fvsum_1.vmin1out2021-07-25 21:01 22K 
[ ]fvsum_1__t16_fvsum_1.vmin12021-07-25 20:57 3.4K 
[ ]fvsum_1__t16_fvsum_1.depvmin12021-07-25 21:03 209  
[ ]fvsum_1__t16_fvsum_1.depv12021-07-25 20:57 209  
[ ]fvsum_1__t16_fvsum_12021-07-18 01:27 25K 
[ ]fvsum_1__t15_fvsum_1.vout2021-07-25 20:03 30K 
[ ]fvsum_1__t15_fvsum_1.vmin1out2021-07-25 20:59 18K 
[ ]fvsum_1__t15_fvsum_1.vmin12021-07-25 20:57 2.9K 
[ ]fvsum_1__t15_fvsum_1.depvmin12021-07-25 21:03 168  
[ ]fvsum_1__t15_fvsum_1.depv12021-07-25 20:57 181  
[ ]fvsum_1__t15_fvsum_12021-07-18 01:27 26K 
[ ]fvsum_1__t14_fvsum_1.vout2021-07-25 17:01 18K 
[ ]fvsum_1__t14_fvsum_1.vmin1out2021-07-25 21:00 20K 
[ ]fvsum_1__t14_fvsum_1.vmin12021-07-25 20:57 1.9K 
[ ]fvsum_1__t14_fvsum_1.depvmin12021-07-25 21:03 122  
[ ]fvsum_1__t14_fvsum_1.depv12021-07-25 20:57 122  
[ ]fvsum_1__t14_fvsum_12021-07-18 01:26 24K 
[ ]fvsum_1__t13_fvsum_1.vout2021-07-25 14:51 3.7K 
[ ]fvsum_1__t13_fvsum_12021-07-18 01:26 30K 
[ ]fvsum_1__t12_fvsum_1.vout2021-07-25 19:00 35K 
[ ]fvsum_1__t12_fvsum_1.vmin1out2021-07-25 21:02 69K 
[ ]fvsum_1__t12_fvsum_1.vmin12021-07-25 20:57 3.1K 
[ ]fvsum_1__t12_fvsum_1.depvmin12021-07-25 21:03 229  
[ ]fvsum_1__t12_fvsum_1.depv12021-07-25 20:57 229  
[ ]fvsum_1__t12_fvsum_12021-07-18 01:13 33K 
[ ]fvsum_1__t11_fvsum_1.vout2021-07-25 18:12 2.0K 
[ ]fvsum_1__t11_fvsum_12021-07-18 01:25 34K 
[ ]fvsum_1__t10_fvsum_1.vout2021-07-25 15:28 3.7K 
[ ]fvsum_1__t10_fvsum_12021-07-18 01:25 30K 
[ ]fvsum_1__t9_fvsum_1.vout2021-07-25 18:40 7.4K 
[ ]fvsum_1__t9_fvsum_1.vmin1out2021-07-25 20:58 7.6K 
[ ]fvsum_1__t9_fvsum_1.vmin12021-07-25 20:57 897  
[ ]fvsum_1__t9_fvsum_1.depvmin12021-07-25 21:03 64  
[ ]fvsum_1__t9_fvsum_1.depv12021-07-25 20:57 64  
[ ]fvsum_1__t9_fvsum_12021-07-18 01:12 23K 
[ ]fvsum_1__t8_fvsum_1.vout2021-07-25 20:19 23K 
[ ]fvsum_1__t8_fvsum_1.vmin1out2021-07-25 20:59 13K 
[ ]fvsum_1__t8_fvsum_1.vmin12021-07-25 20:57 1.3K 
[ ]fvsum_1__t8_fvsum_1.depvmin12021-07-25 21:03 107  
[ ]fvsum_1__t8_fvsum_1.depv12021-07-25 20:57 107  
[ ]fvsum_1__t8_fvsum_12021-07-18 01:24 24K 
[ ]fvsum_1__t7_fvsum_1.vout2021-07-25 19:09 16K 
[ ]fvsum_1__t7_fvsum_1.vmin1out2021-07-25 20:58 15K 
[ ]fvsum_1__t7_fvsum_1.vmin12021-07-25 20:57 1.2K 
[ ]fvsum_1__t7_fvsum_1.depvmin12021-07-25 21:03 78  
[ ]fvsum_1__t7_fvsum_1.depv12021-07-25 20:57 78  
[ ]fvsum_1__t7_fvsum_12021-07-18 01:24 24K 
[ ]fvsum_1__t6_fvsum_1.vout2021-07-25 20:11 2.0K 
[ ]fvsum_1__t6_fvsum_12021-07-18 01:23 25K 
[ ]fvsum_1__t5_fvsum_1.vout2021-07-25 14:52 15K 
[ ]fvsum_1__t5_fvsum_1.vmin1out2021-07-25 20:59 15K 
[ ]fvsum_1__t5_fvsum_1.vmin12021-07-25 20:57 1.2K 
[ ]fvsum_1__t5_fvsum_1.depvmin12021-07-25 21:03 78  
[ ]fvsum_1__t5_fvsum_1.depv12021-07-25 20:57 78  
[ ]fvsum_1__t5_fvsum_12021-07-18 01:23 24K 
[ ]fvsum_1__t4_fvsum_1.vout2021-07-25 14:52 2.0K 
[ ]fvsum_1__t4_fvsum_12021-07-18 01:22 26K 
[ ]fvsum_1__t3_fvsum_1.vout2021-07-25 18:23 2.0K 
[ ]fvsum_1__t3_fvsum_12021-07-18 01:22 24K 
[ ]fvsum_1__t2_fvsum_1.vout2021-07-25 19:44 2.0K 
[ ]fvsum_1__t2_fvsum_12021-07-18 01:22 24K 
[ ]fvsum_1__t1_fvsum_1.vout2021-07-25 19:24 2.0K 
[ ]fvsum_1__t1_fvsum_12021-07-18 01:21 25K 
[ ]fvsum_1__l91_fvsum_1.vout2021-07-25 17:36 10K 
[ ]fvsum_1__l91_fvsum_1.vmin1out2021-07-25 20:59 11K 
[ ]fvsum_1__l91_fvsum_1.vmin12021-07-25 20:57 1.3K 
[ ]fvsum_1__l91_fvsum_1.depvmin12021-07-25 21:03 147  
[ ]fvsum_1__l91_fvsum_1.depv12021-07-25 20:57 147  
[ ]fvsum_1__l91_fvsum_12021-07-18 02:02 28K 
[ ]fvsum_1__l74_fvsum_1.vout2021-07-25 19:10 4.7K 
[ ]fvsum_1__l74_fvsum_12021-07-18 02:02 35K 
[ ]fvsum_1__l37_fvsum_1.vout2021-07-25 17:32 4.2K 
[ ]fvsum_1__l37_fvsum_12021-07-18 02:01 37K 
[ ]fvsum_1__l32_fvsum_1.vout2021-07-25 15:58 4.1K 
[ ]fvsum_1__l32_fvsum_12021-07-18 02:01 39K 
[ ]fvsum_1__l25_fvsum_1.vout2021-07-25 17:46 4.1K 
[ ]fvsum_1__l25_fvsum_12021-07-18 02:00 32K 
[ ]fvsum_1__l14_fvsum_1.vout2021-07-25 19:12 24K 
[ ]fvsum_1__l14_fvsum_1.vmin1out2021-07-25 21:01 24K 
[ ]fvsum_1__l14_fvsum_1.vmin12021-07-25 20:57 2.4K 
[ ]fvsum_1__l14_fvsum_1.depvmin12021-07-25 21:03 182  
[ ]fvsum_1__l14_fvsum_1.depv12021-07-25 20:57 182  
[ ]fvsum_1__l14_fvsum_12021-07-18 02:00 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80