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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relset_2__t64_relset_2.vout2021-07-25 19:01 15K 
[ ]relset_2__t64_relset_2.vmin1out2021-07-25 21:00 11K 
[ ]relset_2__t64_relset_2.vmin12021-07-25 20:57 1.3K 
[ ]relset_2__t64_relset_2.depvmin12021-07-25 21:03 130  
[ ]relset_2__t64_relset_2.depv12021-07-25 20:57 130  
[ ]relset_2__t64_relset_22021-07-17 23:38 8.7K 
[ ]relset_2__t63_relset_2.vout2021-07-25 16:20 39K 
[ ]relset_2__t63_relset_2.vmin1out2021-07-25 21:00 19K 
[ ]relset_2__t63_relset_2.vmin12021-07-25 20:57 1.7K 
[ ]relset_2__t63_relset_2.depvmin12021-07-25 21:03 107  
[ ]relset_2__t63_relset_2.depv12021-07-25 20:57 107  
[ ]relset_2__t63_relset_22021-07-17 23:38 12K 
[ ]relset_2__t62_relset_2.vout2021-07-25 15:41 22K 
[ ]relset_2__t62_relset_2.vmin1out2021-07-25 21:01 13K 
[ ]relset_2__t62_relset_2.vmin12021-07-25 20:57 1.5K 
[ ]relset_2__t62_relset_2.depvmin12021-07-25 21:03 78  
[ ]relset_2__t62_relset_2.depv12021-07-25 20:57 167  
[ ]relset_2__t62_relset_22021-07-17 23:25 12K 
[ ]relset_2__t61_relset_2.vout2021-07-25 14:30 29K 
[ ]relset_2__t61_relset_2.vmin1out2021-07-25 20:59 26K 
[ ]relset_2__t61_relset_2.vmin12021-07-25 20:57 1.9K 
[ ]relset_2__t61_relset_2.depvmin12021-07-25 21:03 143  
[ ]relset_2__t61_relset_2.depv12021-07-25 20:57 181  
[ ]relset_2__t61_relset_22021-07-17 23:38 9.5K 
[ ]relset_2__t60_relset_2.vout2021-07-25 16:04 7.3K 
[ ]relset_2__t60_relset_22021-07-17 23:38 15K 
[ ]relset_2__t59_relset_2.vout2021-07-25 20:41 4.7K 
[ ]relset_2__t59_relset_22021-07-17 23:37 8.2K 
[ ]relset_2__t58_relset_2.vout2021-07-25 15:00 2.0K 
[ ]relset_2__t58_relset_22021-07-17 23:37 13K 
[ ]relset_2__t57_relset_2.vout2021-07-25 20:14 7.3K 
[ ]relset_2__t57_relset_22021-07-17 23:37 12K 
[ ]relset_2__t56_relset_2.vout2021-07-25 15:39 7.3K 
[ ]relset_2__t56_relset_22021-07-17 23:36 12K 
[ ]relset_2__t55_relset_2.vout2021-07-25 15:34 7.2K 
[ ]relset_2__t55_relset_2.vmin1out2021-07-25 21:01 6.9K 
[ ]relset_2__t55_relset_2.vmin12021-07-25 20:57 675  
[ ]relset_2__t55_relset_2.depvmin12021-07-25 21:03 51  
[ ]relset_2__t55_relset_2.depv12021-07-25 20:57 51  
[ ]relset_2__t55_relset_22021-07-17 23:25 8.1K 
[ ]relset_2__t54_relset_2.vout2021-07-25 14:24 6.8K 
[ ]relset_2__t54_relset_22021-07-17 23:36 12K 
[ ]relset_2__t53_relset_2.vout2021-07-25 16:59 6.8K 
[ ]relset_2__t53_relset_22021-07-17 23:36 11K 
[ ]relset_2__t52_relset_2.vout2021-07-25 17:44 18K 
[ ]relset_2__t52_relset_2.vmin1out2021-07-25 21:01 17K 
[ ]relset_2__t52_relset_2.vmin12021-07-25 20:57 1.8K 
[ ]relset_2__t52_relset_2.depvmin12021-07-25 21:03 155  
[ ]relset_2__t52_relset_2.depv12021-07-25 20:57 155  
[ ]relset_2__t52_relset_22021-07-17 23:36 10K 
[ ]relset_2__t51_relset_2.vout2021-07-25 15:54 7.3K 
[ ]relset_2__t51_relset_22021-07-17 23:36 10K 
[ ]relset_2__t50_relset_2.vout2021-07-25 14:25 21K 
[ ]relset_2__t50_relset_2.vmin1out2021-07-25 21:00 10K 
[ ]relset_2__t50_relset_2.vmin12021-07-25 20:57 1.5K 
[ ]relset_2__t50_relset_2.depvmin12021-07-25 21:03 129  
[ ]relset_2__t50_relset_2.depv12021-07-25 20:57 153  
[ ]relset_2__t50_relset_22021-07-17 23:35 9.2K 
[ ]relset_2__t49_relset_2.vout2021-07-25 17:51 7.3K 
[ ]relset_2__t49_relset_22021-07-17 23:35 14K 
[ ]relset_2__t48_relset_2.vout2021-07-25 18:52 6.8K 
[ ]relset_2__t48_relset_22021-07-17 23:35 13K 
[ ]relset_2__t47_relset_2.vout2021-07-25 19:09 7.3K 
[ ]relset_2__t47_relset_22021-07-17 23:34 8.8K 
[ ]relset_2__t46_relset_2.vout2021-07-25 20:35 7.3K 
[ ]relset_2__t46_relset_22021-07-17 23:34 8.0K 
[ ]relset_2__t45_relset_2.vout2021-07-25 18:55 27K 
[ ]relset_2__t45_relset_2.vmin1out2021-07-25 20:58 26K 
[ ]relset_2__t45_relset_2.vmin12021-07-25 20:57 1.8K 
[ ]relset_2__t45_relset_2.depvmin12021-07-25 21:03 104  
[ ]relset_2__t45_relset_2.depv12021-07-25 20:57 104  
[ ]relset_2__t45_relset_22021-07-17 23:34 9.3K 
[ ]relset_2__t44_relset_2.vout2021-07-25 20:27 53K 
[ ]relset_2__t44_relset_2.vmin1out2021-07-25 21:00 34K 
[ ]relset_2__t44_relset_2.vmin12021-07-25 20:57 2.5K 
[ ]relset_2__t44_relset_2.depvmin12021-07-25 21:03 221  
[ ]relset_2__t44_relset_2.depv12021-07-25 20:57 255  
[ ]relset_2__t44_relset_22021-07-17 23:34 9.4K 
[ ]relset_2__t43_relset_2.vout2021-07-25 19:30 7.2K 
[ ]relset_2__t43_relset_22021-07-17 23:34 9.2K 
[ ]relset_2__t42_relset_2.vout2021-07-25 18:28 7.3K 
[ ]relset_2__t42_relset_22021-07-17 23:33 12K 
[ ]relset_2__t41_relset_2.vout2021-07-25 18:53 4.7K 
[ ]relset_2__t41_relset_22021-07-17 23:33 8.2K 
[ ]relset_2__t40_relset_2.vout2021-07-25 19:02 6.8K 
[ ]relset_2__t40_relset_22021-07-17 23:33 13K 
[ ]relset_2__t39_relset_2.vout2021-07-25 16:57 7.3K 
[ ]relset_2__t39_relset_22021-07-17 23:32 12K 
[ ]relset_2__t38_relset_2.vout2021-07-25 15:53 3.7K 
[ ]relset_2__t38_relset_22021-07-17 23:41 14K 
[ ]relset_2__t37_relset_2.vout2021-07-25 18:46 7.3K 
[ ]relset_2__t37_relset_22021-07-17 23:32 12K 
[ ]relset_2__t36_relset_2.vout2021-07-25 18:29 14K 
[ ]relset_2__t36_relset_2.vmin1out2021-07-25 21:00 16K 
[ ]relset_2__t36_relset_2.vmin12021-07-25 20:57 1.3K 
[ ]relset_2__t36_relset_2.depvmin12021-07-25 21:03 146  
[ ]relset_2__t36_relset_2.depv12021-07-25 20:57 146  
[ ]relset_2__t36_relset_22021-07-17 23:32 11K 
[ ]relset_2__t35_relset_2.vout2021-07-25 19:55 7.1K 
[ ]relset_2__t35_relset_2.vmin1out2021-07-25 21:02 4.8K 
[ ]relset_2__t35_relset_2.vmin12021-07-25 20:57 614  
[ ]relset_2__t35_relset_2.depvmin12021-07-25 21:03 42  
[ ]relset_2__t35_relset_2.depv12021-07-25 20:57 67  
[ ]relset_2__t35_relset_22021-07-17 23:41 11K 
[ ]relset_2__t34_relset_2.vout2021-07-25 15:08 6.8K 
[ ]relset_2__t34_relset_22021-07-17 23:40 7.4K 
[ ]relset_2__t33_relset_2.vout2021-07-25 19:38 6.8K 
[ ]relset_2__t33_relset_22021-07-17 23:31 13K 
[ ]relset_2__t32_relset_2.vout2021-07-25 19:53 6.8K 
[ ]relset_2__t32_relset_22021-07-17 23:31 15K 
[ ]relset_2__t31_relset_2.vout2021-07-25 19:38 7.3K 
[ ]relset_2__t31_relset_22021-07-17 23:31 12K 
[ ]relset_2__t30_relset_2.vout2021-07-25 17:24 3.7K 
[ ]relset_2__t30_relset_22021-07-17 23:40 14K 
[ ]relset_2__t29_relset_2.vout2021-07-25 17:44 14K 
[ ]relset_2__t29_relset_2.vmin1out2021-07-25 21:00 15K 
[ ]relset_2__t29_relset_2.vmin12021-07-25 20:57 1.4K 
[ ]relset_2__t29_relset_2.depvmin12021-07-25 21:03 122  
[ ]relset_2__t29_relset_2.depv12021-07-25 20:57 122  
[ ]relset_2__t29_relset_22021-07-17 23:25 11K 
[ ]relset_2__t28_relset_2.vout2021-07-25 20:19 8.1K 
[ ]relset_2__t28_relset_2.vmin1out2021-07-25 21:02 6.9K 
[ ]relset_2__t28_relset_2.vmin12021-07-25 20:57 627  
[ ]relset_2__t28_relset_2.depvmin12021-07-25 21:03 67  
[ ]relset_2__t28_relset_2.depv12021-07-25 20:57 67  
[ ]relset_2__t28_relset_22021-07-17 23:40 11K 
[ ]relset_2__t27_relset_2.vout2021-07-25 19:22 7.3K 
[ ]relset_2__t27_relset_22021-07-17 23:30 13K 
[ ]relset_2__t26_relset_2.vout2021-07-25 17:42 2.0K 
[ ]relset_2__t26_relset_22021-07-17 23:30 12K 
[ ]relset_2__t25_relset_2.vout2021-07-25 15:31 7.4K 
[ ]relset_2__t25_relset_22021-07-17 23:30 14K 
[ ]relset_2__t24_relset_2.vout2021-07-25 16:34 7.3K 
[ ]relset_2__t24_relset_22021-07-17 23:29 14K 
[ ]relset_2__t23_relset_2.vout2021-07-25 17:11 7.3K 
[ ]relset_2__t23_relset_22021-07-17 23:29 13K 
[ ]relset_2__t22_relset_2.vout2021-07-25 16:07 7.3K 
[ ]relset_2__t22_relset_22021-07-17 23:29 9.5K 
[ ]relset_2__t21_relset_2.vout2021-07-25 15:35 32K 
[ ]relset_2__t21_relset_2.vmin1out2021-07-25 21:01 30K 
[ ]relset_2__t21_relset_2.vmin12021-07-25 20:57 2.8K 
[ ]relset_2__t21_relset_2.depvmin12021-07-25 21:03 234  
[ ]relset_2__t21_relset_2.depv12021-07-25 20:57 286  
[ ]relset_2__t21_relset_22021-07-17 23:29 9.1K 
[ ]relset_2__t20_relset_2.vout2021-07-25 15:13 7.4K 
[ ]relset_2__t20_relset_22021-07-17 23:28 8.7K 
[ ]relset_2__t19_relset_2.vout2021-07-25 18:42 17K 
[ ]relset_2__t19_relset_2.vmin1out2021-07-25 20:58 17K 
[ ]relset_2__t19_relset_2.vmin12021-07-25 20:57 1.2K 
[ ]relset_2__t19_relset_2.depvmin12021-07-25 21:03 123  
[ ]relset_2__t19_relset_2.depv12021-07-25 20:57 123  
[ ]relset_2__t19_relset_22021-07-17 23:28 7.8K 
[ ]relset_2__t18_relset_2.vout2021-07-25 15:50 7.0K 
[ ]relset_2__t18_relset_2.vmin1out2021-07-25 21:01 5.1K 
[ ]relset_2__t18_relset_2.vmin12021-07-25 20:57 520  
[ ]relset_2__t18_relset_2.depvmin12021-07-25 21:03 42  
[ ]relset_2__t18_relset_2.depv12021-07-25 20:57 42  
[ ]relset_2__t18_relset_22021-07-17 23:39 6.8K 
[ ]relset_2__t17_relset_2.vout2021-07-25 19:05 6.8K 
[ ]relset_2__t17_relset_22021-07-17 23:39 8.1K 
[ ]relset_2__t16_relset_2.vout2021-07-25 17:00 11K 
[ ]relset_2__t16_relset_2.vmin1out2021-07-25 21:01 16K 
[ ]relset_2__t16_relset_2.vmin12021-07-25 20:57 970  
[ ]relset_2__t16_relset_2.depvmin12021-07-25 21:03 116  
[ ]relset_2__t16_relset_2.depv12021-07-25 20:57 116  
[ ]relset_2__t16_relset_22021-07-17 23:39 4.2K 
[ ]relset_2__t15_relset_2.vout2021-07-25 19:31 21K 
[ ]relset_2__t15_relset_2.vmin1out2021-07-25 21:02 15K 
[ ]relset_2__t15_relset_2.vmin12021-07-25 20:57 836  
[ ]relset_2__t15_relset_2.depvmin12021-07-25 21:03 90  
[ ]relset_2__t15_relset_2.depv12021-07-25 20:57 90  
[ ]relset_2__t15_relset_22021-07-17 23:39 4.3K 
[ ]relset_2__t14_relset_2.vout2021-07-25 20:50 6.8K 
[ ]relset_2__t14_relset_22021-07-17 23:39 5.0K 
[ ]relset_2__t13_relset_2.vout2021-07-25 18:06 7.3K 
[ ]relset_2__t13_relset_22021-07-17 23:28 8.9K 
[ ]relset_2__t12_relset_2.vout2021-07-25 18:48 7.3K 
[ ]relset_2__t12_relset_22021-07-17 23:28 5.0K 
[ ]relset_2__t11_relset_2.vout2021-07-25 17:41 19K 
[ ]relset_2__t11_relset_2.vmin1out2021-07-25 21:01 18K 
[ ]relset_2__t11_relset_2.vmin12021-07-25 20:57 599  
[ ]relset_2__t11_relset_2.depvmin12021-07-25 21:03 49  
[ ]relset_2__t11_relset_2.depv12021-07-25 20:57 49  
[ ]relset_2__t11_relset_22021-07-17 23:27 4.9K 
[ ]relset_2__t10_relset_2.vout2021-07-25 15:26 23K 
[ ]relset_2__t10_relset_2.vmin1out2021-07-25 21:00 21K 
[ ]relset_2__t10_relset_2.vmin12021-07-25 20:57 809  
[ ]relset_2__t10_relset_2.depvmin12021-07-25 21:03 49  
[ ]relset_2__t10_relset_2.depv12021-07-25 20:57 81  
[ ]relset_2__t10_relset_22021-07-17 23:27 5.1K 
[ ]relset_2__t9_relset_2.vout2021-07-25 20:10 13K 
[ ]relset_2__t9_relset_2.vmin1out2021-07-25 20:59 13K 
[ ]relset_2__t9_relset_2.vmin12021-07-25 20:57 594  
[ ]relset_2__t9_relset_2.depvmin12021-07-25 21:03 46  
[ ]relset_2__t9_relset_2.depv12021-07-25 20:57 46  
[ ]relset_2__t9_relset_22021-07-17 23:27 2.6K 
[ ]relset_2__t8_relset_2.vout2021-07-25 20:31 7.3K 
[ ]relset_2__t8_relset_22021-07-17 23:27 5.1K 
[ ]relset_2__t7_relset_2.vout2021-07-25 19:16 19K 
[ ]relset_2__t7_relset_2.vmin1out2021-07-25 20:58 18K 
[ ]relset_2__t7_relset_2.vmin12021-07-25 20:57 1.7K 
[ ]relset_2__t7_relset_2.depvmin12021-07-25 21:03 156  
[ ]relset_2__t7_relset_2.depv12021-07-25 20:57 156  
[ ]relset_2__t7_relset_22021-07-17 23:27 6.5K 
[ ]relset_2__t6_relset_2.vout2021-07-25 19:44 21K 
[ ]relset_2__t6_relset_2.vmin1out2021-07-25 21:02 17K 
[ ]relset_2__t6_relset_2.vmin12021-07-25 20:57 800  
[ ]relset_2__t6_relset_2.depvmin12021-07-25 21:03 104  
[ ]relset_2__t6_relset_2.depv12021-07-25 20:57 127  
[ ]relset_2__t6_relset_22021-07-17 23:27 7.8K 
[ ]relset_2__t5_relset_2.vout2021-07-25 16:44 8.4K 
[ ]relset_2__t5_relset_22021-07-17 23:26 8.8K 
[ ]relset_2__t4_relset_2.vout2021-07-25 20:43 8.4K 
[ ]relset_2__t4_relset_22021-07-17 23:26 8.7K 
[ ]relset_2__t3_relset_2.vout2021-07-25 20:10 8.4K 
[ ]relset_2__t3_relset_22021-07-17 23:26 8.9K 
[ ]relset_2__t2_relset_2.vout2021-07-25 17:18 9.9K 
[ ]relset_2__t2_relset_2.vmin1out2021-07-25 20:59 8.1K 
[ ]relset_2__t2_relset_2.vmin12021-07-25 20:57 446  
[ ]relset_2__t2_relset_2.depvmin12021-07-25 21:03 58  
[ ]relset_2__t2_relset_2.depv12021-07-25 20:57 58  
[ ]relset_2__t2_relset_22021-07-17 23:26 7.7K 
[ ]relset_2__t1_relset_2.vout2021-07-25 18:05 36K 
[ ]relset_2__t1_relset_2.vmin1out2021-07-25 21:01 41K 
[ ]relset_2__t1_relset_2.vmin12021-07-25 20:57 2.9K 
[ ]relset_2__t1_relset_2.depvmin12021-07-25 21:03 333  
[ ]relset_2__t1_relset_2.depv12021-07-25 20:57 333  
[ ]relset_2__t1_relset_22021-07-17 23:25 9.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80