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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relset_2__t1_relset_22024-07-28 16:13 9.6K 
[ ]relset_2__t1_relset_2.depv12024-08-03 10:19 333  
[ ]relset_2__t1_relset_2.depvmin12024-08-03 10:24 333  
[ ]relset_2__t1_relset_2.vmin12024-08-03 10:19 2.9K 
[ ]relset_2__t1_relset_2.vmin1out2024-08-03 10:20 41K 
[ ]relset_2__t1_relset_2.vout2024-08-03 04:26 36K 
[ ]relset_2__t2_relset_22024-07-28 16:14 7.7K 
[ ]relset_2__t2_relset_2.depv12024-08-03 10:19 58  
[ ]relset_2__t2_relset_2.depvmin12024-08-03 10:24 58  
[ ]relset_2__t2_relset_2.vmin12024-08-03 10:19 446  
[ ]relset_2__t2_relset_2.vmin1out2024-08-03 10:21 8.1K 
[ ]relset_2__t2_relset_2.vout2024-08-03 08:21 9.9K 
[ ]relset_2__t3_relset_22024-07-28 16:14 8.9K 
[ ]relset_2__t3_relset_2.vout2024-08-03 04:21 8.4K 
[ ]relset_2__t4_relset_22024-07-28 16:15 8.7K 
[ ]relset_2__t4_relset_2.vout2024-08-03 08:20 8.4K 
[ ]relset_2__t5_relset_22024-07-28 16:16 8.8K 
[ ]relset_2__t5_relset_2.vout2024-08-03 09:54 8.4K 
[ ]relset_2__t6_relset_22024-07-28 16:16 7.8K 
[ ]relset_2__t6_relset_2.depv12024-08-03 10:19 127  
[ ]relset_2__t6_relset_2.depvmin12024-08-03 10:24 104  
[ ]relset_2__t6_relset_2.vmin12024-08-03 10:19 800  
[ ]relset_2__t6_relset_2.vmin1out2024-08-03 10:21 17K 
[ ]relset_2__t6_relset_2.vout2024-08-03 09:24 21K 
[ ]relset_2__t7_relset_22024-07-28 16:17 6.5K 
[ ]relset_2__t7_relset_2.depv12024-08-03 10:19 156  
[ ]relset_2__t7_relset_2.depvmin12024-08-03 10:24 156  
[ ]relset_2__t7_relset_2.vmin12024-08-03 10:19 1.7K 
[ ]relset_2__t7_relset_2.vmin1out2024-08-03 10:23 18K 
[ ]relset_2__t7_relset_2.vout2024-08-03 10:00 19K 
[ ]relset_2__t8_relset_22024-07-28 16:17 5.1K 
[ ]relset_2__t8_relset_2.vout2024-08-03 05:47 7.3K 
[ ]relset_2__t9_relset_22024-07-28 16:18 2.6K 
[ ]relset_2__t9_relset_2.depv12024-08-03 10:19 46  
[ ]relset_2__t9_relset_2.depvmin12024-08-03 10:24 46  
[ ]relset_2__t9_relset_2.vmin12024-08-03 10:19 594  
[ ]relset_2__t9_relset_2.vmin1out2024-08-03 10:22 13K 
[ ]relset_2__t9_relset_2.vout2024-08-03 06:08 13K 
[ ]relset_2__t10_relset_22024-07-28 16:18 5.1K 
[ ]relset_2__t10_relset_2.depv12024-08-03 10:19 81  
[ ]relset_2__t10_relset_2.depvmin12024-08-03 10:24 49  
[ ]relset_2__t10_relset_2.vmin12024-08-03 10:19 809  
[ ]relset_2__t10_relset_2.vmin1out2024-08-03 10:22 21K 
[ ]relset_2__t10_relset_2.vout2024-08-03 06:09 23K 
[ ]relset_2__t11_relset_22024-07-28 16:19 4.9K 
[ ]relset_2__t11_relset_2.depv12024-08-03 10:19 49  
[ ]relset_2__t11_relset_2.depvmin12024-08-03 10:24 49  
[ ]relset_2__t11_relset_2.vmin12024-08-03 10:19 599  
[ ]relset_2__t11_relset_2.vmin1out2024-08-03 10:20 18K 
[ ]relset_2__t11_relset_2.vout2024-08-03 10:08 19K 
[ ]relset_2__t12_relset_22024-07-28 16:19 5.0K 
[ ]relset_2__t12_relset_2.depv12024-08-03 10:19 74  
[ ]relset_2__t12_relset_2.depvmin12024-08-03 10:24 74  
[ ]relset_2__t12_relset_2.vmin12024-08-03 10:19 695  
[ ]relset_2__t12_relset_2.vmin1out2024-08-03 10:22 19K 
[ ]relset_2__t12_relset_2.vout2024-08-03 08:26 19K 
[ ]relset_2__t13_relset_22024-07-28 16:20 8.9K 
[ ]relset_2__t13_relset_2.vout2024-08-03 04:56 7.3K 
[ ]relset_2__t14_relset_22024-07-28 16:50 5.0K 
[ ]relset_2__t14_relset_2.vout2024-08-03 07:53 6.8K 
[ ]relset_2__t15_relset_22024-07-28 16:51 4.3K 
[ ]relset_2__t15_relset_2.depv12024-08-03 10:19 90  
[ ]relset_2__t15_relset_2.depvmin12024-08-03 10:24 90  
[ ]relset_2__t15_relset_2.vmin12024-08-03 10:19 836  
[ ]relset_2__t15_relset_2.vmin1out2024-08-03 10:23 15K 
[ ]relset_2__t15_relset_2.vout2024-08-03 09:22 21K 
[ ]relset_2__t16_relset_22024-07-28 16:51 4.2K 
[ ]relset_2__t16_relset_2.depv12024-08-03 10:19 116  
[ ]relset_2__t16_relset_2.depvmin12024-08-03 10:24 116  
[ ]relset_2__t16_relset_2.vmin12024-08-03 10:19 970  
[ ]relset_2__t16_relset_2.vmin1out2024-08-03 10:22 16K 
[ ]relset_2__t16_relset_2.vout2024-08-03 08:29 11K 
[ ]relset_2__t17_relset_22024-07-28 16:52 8.1K 
[ ]relset_2__t17_relset_2.vout2024-08-03 06:01 7.3K 
[ ]relset_2__t18_relset_22024-07-28 16:52 6.8K 
[ ]relset_2__t18_relset_2.depv12024-08-03 10:19 42  
[ ]relset_2__t18_relset_2.depvmin12024-08-03 10:24 42  
[ ]relset_2__t18_relset_2.vmin12024-08-03 10:19 520  
[ ]relset_2__t18_relset_2.vmin1out2024-08-03 10:23 5.1K 
[ ]relset_2__t18_relset_2.vout2024-08-03 07:16 7.0K 
[ ]relset_2__t19_relset_22024-07-28 16:21 7.8K 
[ ]relset_2__t19_relset_2.depv12024-08-03 10:19 123  
[ ]relset_2__t19_relset_2.depvmin12024-08-03 10:24 123  
[ ]relset_2__t19_relset_2.vmin12024-08-03 10:19 1.2K 
[ ]relset_2__t19_relset_2.vmin1out2024-08-03 10:21 17K 
[ ]relset_2__t19_relset_2.vout2024-08-03 08:55 17K 
[ ]relset_2__t20_relset_22024-07-28 16:21 8.7K 
[ ]relset_2__t20_relset_2.vout2024-08-03 04:07 7.4K 
[ ]relset_2__t21_relset_22024-07-28 16:22 9.1K 
[ ]relset_2__t21_relset_2.depv12024-08-03 10:19 286  
[ ]relset_2__t21_relset_2.depvmin12024-08-03 10:24 234  
[ ]relset_2__t21_relset_2.vmin12024-08-03 10:19 2.8K 
[ ]relset_2__t21_relset_2.vmin1out2024-08-03 10:21 30K 
[ ]relset_2__t21_relset_2.vout2024-08-03 07:06 32K 
[ ]relset_2__t22_relset_22024-07-28 16:23 9.5K 
[ ]relset_2__t22_relset_2.vout2024-08-03 07:34 7.3K 
[ ]relset_2__t23_relset_22024-07-28 16:24 13K 
[ ]relset_2__t23_relset_2.vout2024-08-03 07:37 7.3K 
[ ]relset_2__t24_relset_22024-07-28 16:25 14K 
[ ]relset_2__t24_relset_2.vout2024-08-03 04:32 7.3K 
[ ]relset_2__t25_relset_22024-07-28 16:26 14K 
[ ]relset_2__t25_relset_2.vout2024-08-03 09:04 7.4K 
[ ]relset_2__t26_relset_22024-07-28 16:26 12K 
[ ]relset_2__t26_relset_2.vout2024-08-03 06:48 2.0K 
[ ]relset_2__t27_relset_22024-07-28 16:27 13K 
[ ]relset_2__t27_relset_2.vout2024-08-03 08:27 7.3K 
[ ]relset_2__t28_relset_22024-07-28 16:53 11K 
[ ]relset_2__t28_relset_2.depv12024-08-03 10:19 67  
[ ]relset_2__t28_relset_2.depvmin12024-08-03 10:24 42  
[ ]relset_2__t28_relset_2.vmin12024-08-03 10:19 627  
[ ]relset_2__t28_relset_2.vmin1out2024-08-03 10:22 5.6K 
[ ]relset_2__t28_relset_2.vout2024-08-03 07:09 8.1K 
[ ]relset_2__t29_relset_22024-07-28 16:11 11K 
[ ]relset_2__t29_relset_2.depv12024-08-03 10:19 122  
[ ]relset_2__t29_relset_2.depvmin12024-08-03 10:24 122  
[ ]relset_2__t29_relset_2.vmin12024-08-03 10:19 1.4K 
[ ]relset_2__t29_relset_2.vmin1out2024-08-03 10:22 15K 
[ ]relset_2__t29_relset_2.vout2024-08-03 04:29 14K 
[ ]relset_2__t30_relset_22024-07-28 16:54 14K 
[ ]relset_2__t30_relset_2.vout2024-08-03 04:10 3.7K 
[ ]relset_2__t31_relset_22024-07-28 16:28 12K 
[ ]relset_2__t31_relset_2.vout2024-08-03 07:47 7.3K 
[ ]relset_2__t32_relset_22024-07-28 16:29 15K 
[ ]relset_2__t32_relset_2.vout2024-08-03 08:20 7.3K 
[ ]relset_2__t33_relset_22024-07-28 16:30 13K 
[ ]relset_2__t33_relset_2.vout2024-08-03 07:39 6.8K 
[ ]relset_2__t34_relset_22024-07-28 16:55 7.4K 
[ ]relset_2__t34_relset_2.vout2024-08-03 08:36 6.8K 
[ ]relset_2__t35_relset_22024-07-28 16:56 11K 
[ ]relset_2__t35_relset_2.depv12024-08-03 10:19 67  
[ ]relset_2__t35_relset_2.depvmin12024-08-03 10:24 42  
[ ]relset_2__t35_relset_2.vmin12024-08-03 10:19 614  
[ ]relset_2__t35_relset_2.vmin1out2024-08-03 10:21 4.8K 
[ ]relset_2__t35_relset_2.vout2024-08-03 04:08 7.1K 
[ ]relset_2__t36_relset_22024-07-28 16:31 11K 
[ ]relset_2__t36_relset_2.depv12024-08-03 10:19 146  
[ ]relset_2__t36_relset_2.depvmin12024-08-03 10:24 146  
[ ]relset_2__t36_relset_2.vmin12024-08-03 10:19 1.3K 
[ ]relset_2__t36_relset_2.vmin1out2024-08-03 10:20 16K 
[ ]relset_2__t36_relset_2.vout2024-08-03 05:05 14K 
[ ]relset_2__t37_relset_22024-07-28 16:32 12K 
[ ]relset_2__t37_relset_2.vout2024-08-03 04:53 7.3K 
[ ]relset_2__t38_relset_22024-07-28 16:57 14K 
[ ]relset_2__t38_relset_2.vout2024-08-03 08:11 3.7K 
[ ]relset_2__t39_relset_22024-07-28 16:33 12K 
[ ]relset_2__t39_relset_2.vout2024-08-03 04:46 7.3K 
[ ]relset_2__t40_relset_22024-07-28 16:34 13K 
[ ]relset_2__t40_relset_2.vout2024-08-03 05:15 6.8K 
[ ]relset_2__t41_relset_22024-07-28 16:34 8.2K 
[ ]relset_2__t41_relset_2.vout2024-08-03 04:41 4.7K 
[ ]relset_2__t42_relset_22024-07-28 16:35 12K 
[ ]relset_2__t42_relset_2.vout2024-08-03 05:56 7.3K 
[ ]relset_2__t43_relset_22024-07-28 16:36 9.2K 
[ ]relset_2__t43_relset_2.depv12024-08-03 10:19 206  
[ ]relset_2__t43_relset_2.depvmin12024-08-03 10:24 185  
[ ]relset_2__t43_relset_2.vmin12024-08-03 10:19 2.1K 
[ ]relset_2__t43_relset_2.vmin1out2024-08-03 10:23 28K 
[ ]relset_2__t43_relset_2.vout2024-08-03 05:55 55K 
[ ]relset_2__t44_relset_22024-07-28 16:37 9.4K 
[ ]relset_2__t44_relset_2.depv12024-08-03 10:19 255  
[ ]relset_2__t44_relset_2.depvmin12024-08-03 10:24 221  
[ ]relset_2__t44_relset_2.vmin12024-08-03 10:19 2.5K 
[ ]relset_2__t44_relset_2.vmin1out2024-08-03 10:21 34K 
[ ]relset_2__t44_relset_2.vout2024-08-03 07:02 53K 
[ ]relset_2__t45_relset_22024-07-28 16:37 9.3K 
[ ]relset_2__t45_relset_2.depv12024-08-03 10:19 104  
[ ]relset_2__t45_relset_2.depvmin12024-08-03 10:24 104  
[ ]relset_2__t45_relset_2.vmin12024-08-03 10:19 1.8K 
[ ]relset_2__t45_relset_2.vmin1out2024-08-03 10:20 26K 
[ ]relset_2__t45_relset_2.vout2024-08-03 06:28 27K 
[ ]relset_2__t46_relset_22024-07-28 16:38 8.0K 
[ ]relset_2__t46_relset_2.vout2024-08-03 08:13 7.3K 
[ ]relset_2__t47_relset_22024-07-28 16:39 8.8K 
[ ]relset_2__t47_relset_2.vout2024-08-03 08:46 7.3K 
[ ]relset_2__t48_relset_22024-07-28 16:40 13K 
[ ]relset_2__t48_relset_2.vout2024-08-03 05:04 6.8K 
[ ]relset_2__t49_relset_22024-07-28 16:41 14K 
[ ]relset_2__t49_relset_2.vout2024-08-03 05:28 7.3K 
[ ]relset_2__t50_relset_22024-07-28 16:41 9.2K 
[ ]relset_2__t50_relset_2.depv12024-08-03 10:19 153  
[ ]relset_2__t50_relset_2.depvmin12024-08-03 10:24 129  
[ ]relset_2__t50_relset_2.vmin12024-08-03 10:19 1.5K 
[ ]relset_2__t50_relset_2.vmin1out2024-08-03 10:23 10K 
[ ]relset_2__t50_relset_2.vout2024-08-03 06:58 21K 
[ ]relset_2__t51_relset_22024-07-28 16:42 10K 
[ ]relset_2__t51_relset_2.vout2024-08-03 09:26 7.3K 
[ ]relset_2__t52_relset_22024-07-28 16:42 10K 
[ ]relset_2__t52_relset_2.depv12024-08-03 10:19 155  
[ ]relset_2__t52_relset_2.depvmin12024-08-03 10:24 155  
[ ]relset_2__t52_relset_2.vmin12024-08-03 10:19 1.8K 
[ ]relset_2__t52_relset_2.vmin1out2024-08-03 10:23 17K 
[ ]relset_2__t52_relset_2.vout2024-08-03 10:09 18K 
[ ]relset_2__t53_relset_22024-07-28 16:43 11K 
[ ]relset_2__t53_relset_2.vout2024-08-03 09:17 7.3K 
[ ]relset_2__t54_relset_22024-07-28 16:44 12K 
[ ]relset_2__t54_relset_2.vout2024-08-03 07:51 6.8K 
[ ]relset_2__t55_relset_22024-07-28 16:12 8.1K 
[ ]relset_2__t55_relset_2.depv12024-08-03 10:19 51  
[ ]relset_2__t55_relset_2.depvmin12024-08-03 10:24 51  
[ ]relset_2__t55_relset_2.vmin12024-08-03 10:19 675  
[ ]relset_2__t55_relset_2.vmin1out2024-08-03 10:23 6.9K 
[ ]relset_2__t55_relset_2.vout2024-08-03 09:24 7.2K 
[ ]relset_2__t56_relset_22024-07-28 16:45 12K 
[ ]relset_2__t56_relset_2.vout2024-08-03 04:59 7.3K 
[ ]relset_2__t57_relset_22024-07-28 16:45 12K 
[ ]relset_2__t57_relset_2.vout2024-08-03 06:01 7.3K 
[ ]relset_2__t58_relset_22024-07-28 16:46 13K 
[ ]relset_2__t58_relset_2.vout2024-08-03 06:08 2.0K 
[ ]relset_2__t59_relset_22024-07-28 16:47 8.2K 
[ ]relset_2__t59_relset_2.vout2024-08-03 07:51 4.7K 
[ ]relset_2__t60_relset_22024-07-28 16:48 15K 
[ ]relset_2__t60_relset_2.vout2024-08-03 09:34 7.3K 
[ ]relset_2__t61_relset_22024-07-28 16:48 9.5K 
[ ]relset_2__t61_relset_2.depv12024-08-03 10:19 181  
[ ]relset_2__t61_relset_2.depvmin12024-08-03 10:24 143  
[ ]relset_2__t61_relset_2.vmin12024-08-03 10:19 1.9K 
[ ]relset_2__t61_relset_2.vmin1out2024-08-03 10:20 26K 
[ ]relset_2__t61_relset_2.vout2024-08-03 07:07 29K 
[ ]relset_2__t62_relset_22024-07-28 16:12 12K 
[ ]relset_2__t62_relset_2.depv12024-08-03 10:19 167  
[ ]relset_2__t62_relset_2.depvmin12024-08-03 10:24 78  
[ ]relset_2__t62_relset_2.vmin12024-08-03 10:19 1.5K 
[ ]relset_2__t62_relset_2.vmin1out2024-08-03 10:21 13K 
[ ]relset_2__t62_relset_2.vout2024-08-03 07:53 22K 
[ ]relset_2__t63_relset_22024-07-28 16:49 12K 
[ ]relset_2__t63_relset_2.depv12024-08-03 10:19 107  
[ ]relset_2__t63_relset_2.depvmin12024-08-03 10:24 107  
[ ]relset_2__t63_relset_2.vmin12024-08-03 10:19 1.7K 
[ ]relset_2__t63_relset_2.vmin1out2024-08-03 10:23 19K 
[ ]relset_2__t63_relset_2.vout2024-08-03 07:16 39K 
[ ]relset_2__t64_relset_22024-07-28 16:50 8.7K 
[ ]relset_2__t64_relset_2.depv12024-08-03 10:19 130  
[ ]relset_2__t64_relset_2.depvmin12024-08-03 10:24 130  
[ ]relset_2__t64_relset_2.vmin12024-08-03 10:19 1.3K 
[ ]relset_2__t64_relset_2.vmin1out2024-08-03 10:21 11K 
[ ]relset_2__t64_relset_2.vout2024-08-03 08:13 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80