Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/cousin

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cousin__t1_cousin2025-09-08 07:13 78K 
[ ]cousin__t1_cousin.vout2025-09-15 17:27 4.7K 
[ ]cousin__t2_cousin2025-09-08 07:15 32K 
[ ]cousin__t2_cousin.depv12025-09-15 19:47 204  
[ ]cousin__t2_cousin.depvmin12025-09-15 19:52 204  
[ ]cousin__t2_cousin.vmin12025-09-15 19:47 1.8K 
[ ]cousin__t2_cousin.vmin1out2025-09-15 19:48 14K 
[ ]cousin__t2_cousin.vout2025-09-15 19:24 15K 
[ ]cousin__t3_cousin2025-09-08 07:16 32K 
[ ]cousin__t3_cousin.depv12025-09-15 19:47 204  
[ ]cousin__t3_cousin.depvmin12025-09-15 19:52 204  
[ ]cousin__t3_cousin.vmin12025-09-15 19:47 1.7K 
[ ]cousin__t3_cousin.vmin1out2025-09-15 19:47 14K 
[ ]cousin__t3_cousin.vout2025-09-15 18:42 15K 
[ ]cousin__t4_cousin2025-09-08 07:18 45K 
[ ]cousin__t4_cousin.vout2025-09-15 13:53 5.8K 
[ ]cousin__t5_cousin2025-09-08 07:20 57K 
[ ]cousin__t5_cousin.depv12025-09-15 19:47 225  
[ ]cousin__t5_cousin.depvmin12025-09-15 19:52 225  
[ ]cousin__t5_cousin.vmin12025-09-15 19:47 1.5K 
[ ]cousin__t5_cousin.vmin1out2025-09-15 19:51 11K 
[ ]cousin__t5_cousin.vout2025-09-15 15:01 15K 
[ ]cousin__t6_cousin2025-09-08 07:22 60K 
[ ]cousin__t6_cousin.depv12025-09-15 19:47 270  
[ ]cousin__t6_cousin.depvmin12025-09-15 19:52 177  
[ ]cousin__t6_cousin.vmin12025-09-15 19:47 1.9K 
[ ]cousin__t6_cousin.vmin1out2025-09-15 19:50 17K 
[ ]cousin__t6_cousin.vout2025-09-15 13:27 17K 
[ ]cousin__t7_cousin2025-09-08 07:23 42K 
[ ]cousin__t7_cousin.vout2025-09-15 13:53 2.0K 
[ ]cousin__t8_cousin2025-09-08 07:24 43K 
[ ]cousin__t8_cousin.vout2025-09-15 16:00 2.0K 
[ ]cousin__t9_cousin2025-09-08 07:26 42K 
[ ]cousin__t9_cousin.vout2025-09-15 14:12 2.0K 
[ ]cousin__t10_cousin2025-09-08 07:08 38K 
[ ]cousin__t10_cousin.depv12025-09-15 19:47 87  
[ ]cousin__t10_cousin.depvmin12025-09-15 19:52 87  
[ ]cousin__t10_cousin.vmin12025-09-15 19:47 864  
[ ]cousin__t10_cousin.vmin1out2025-09-15 19:50 9.8K 
[ ]cousin__t10_cousin.vout2025-09-15 18:49 8.3K 
[ ]cousin__t11_cousin2025-09-08 07:27 64K 
[ ]cousin__t11_cousin.vout2025-09-15 15:53 7.3K 
[ ]cousin__t12_cousin2025-09-08 07:30 77K 
[ ]cousin__t12_cousin.vout2025-09-15 13:25 5.3K 
[ ]cousin__t13_cousin2025-09-08 07:33 64K 
[ ]cousin__t13_cousin.depv12025-09-15 19:47 60  
[ ]cousin__t13_cousin.depvmin12025-09-15 19:52 60  
[ ]cousin__t13_cousin.vmin12025-09-15 19:47 1.1K 
[ ]cousin__t13_cousin.vmin1out2025-09-15 19:49 11K 
[ ]cousin__t13_cousin.vout2025-09-15 18:18 10K 
[ ]cousin__t14_cousin2025-09-08 07:35 62K 
[ ]cousin__t14_cousin.vout2025-09-15 14:18 4.7K 
[ ]cousin__t15_cousin2025-09-08 07:38 76K 
[ ]cousin__t15_cousin.vout2025-09-15 19:02 4.7K 
[ ]cousin__t16_cousin2025-09-08 07:40 57K 
[ ]cousin__t16_cousin.vout2025-09-15 19:31 4.7K 
[ ]cousin__t17_cousin2025-09-08 07:10 50K 
[ ]cousin__t17_cousin.vout2025-09-15 18:12 8.3K 
[ ]cousin__t18_cousin2025-09-08 07:43 78K 
[ ]cousin__t18_cousin.vout2025-09-15 15:24 4.7K 
[ ]cousin__t19_cousin2025-09-08 07:46 64K 
[ ]cousin__t19_cousin.depv12025-09-15 19:47 149  
[ ]cousin__t19_cousin.depvmin12025-09-15 19:52 149  
[ ]cousin__t19_cousin.vmin12025-09-15 19:47 3.3K 
[ ]cousin__t19_cousin.vmin1out2025-09-15 19:48 24K 
[ ]cousin__t19_cousin.vout2025-09-15 15:06 50K 
[ ]cousin__t20_cousin2025-09-08 07:48 56K 
[ ]cousin__t20_cousin.depv12025-09-15 19:47 98  
[ ]cousin__t20_cousin.depvmin12025-09-15 19:52 98  
[ ]cousin__t20_cousin.vmin12025-09-15 19:47 1.5K 
[ ]cousin__t20_cousin.vmin1out2025-09-15 19:49 17K 
[ ]cousin__t20_cousin.vout2025-09-15 16:04 16K 
[ ]cousin__t21_cousin2025-09-08 07:49 48K 
[ ]cousin__t21_cousin.vout2025-09-15 19:14 8.3K 
[ ]cousin__t22_cousin2025-09-08 07:52 76K 
[ ]cousin__t22_cousin.vout2025-09-15 16:41 4.7K 
[ ]cousin__t23_cousin2025-09-08 07:55 96K 
[ ]cousin__t23_cousin.vout2025-09-15 18:59 4.7K 
[ ]cousin__t24_cousin2025-09-08 07:58 96K 
[ ]cousin__t24_cousin.vout2025-09-15 17:13 4.7K 
[ ]cousin__t25_cousin2025-09-08 08:02 117K 
[ ]cousin__t25_cousin.vout2025-09-15 16:02 7.3K 
[ ]cousin__t26_cousin2025-09-08 08:04 65K 
[ ]cousin__t26_cousin.vout2025-09-15 17:16 6.8K 
[ ]cousin__t27_cousin2025-09-08 08:06 64K 
[ ]cousin__t27_cousin.vout2025-09-15 17:06 4.7K 
[ ]cousin__t28_cousin2025-09-08 08:08 81K 
[ ]cousin__t28_cousin.vout2025-09-15 15:51 4.7K 
[ ]cousin__t29_cousin2025-09-08 08:09 63K 
[ ]cousin__t29_cousin.vout2025-09-15 14:24 2.0K 
[ ]cousin__t30_cousin2025-09-08 08:11 74K 
[ ]cousin__t30_cousin.vout2025-09-15 13:40 6.8K 
[ ]cousin__t31_cousin2025-09-08 08:13 92K 
[ ]cousin__t31_cousin.vout2025-09-15 14:02 4.7K 
[ ]cousin__t32_cousin2025-09-08 08:15 86K 
[ ]cousin__t32_cousin.vout2025-09-15 18:20 4.7K 
[ ]cousin__t33_cousin2025-09-08 08:16 118K 
[ ]cousin__t33_cousin.vout2025-09-15 13:52 6.8K 
[ ]cousin__t34_cousin2025-09-08 08:19 116K 
[ ]cousin__t34_cousin.vout2025-09-15 17:47 4.7K 
[ ]cousin__t35_cousin2025-09-08 08:21 73K 
[ ]cousin__t35_cousin.vout2025-09-15 18:17 4.7K 
[ ]cousin__t36_cousin2025-09-08 08:23 106K 
[ ]cousin__t36_cousin.vout2025-09-15 16:38 4.7K 
[ ]cousin__t37_cousin2025-09-08 08:25 39K 
[ ]cousin__t37_cousin.depv12025-09-15 19:47 102  
[ ]cousin__t37_cousin.depvmin12025-09-15 19:52 102  
[ ]cousin__t37_cousin.vmin12025-09-15 19:47 907  
[ ]cousin__t37_cousin.vmin1out2025-09-15 19:50 13K 
[ ]cousin__t37_cousin.vout2025-09-15 15:20 13K 
[ ]cousin__t38_cousin2025-09-08 08:26 41K 
[ ]cousin__t38_cousin.depv12025-09-15 19:47 35  
[ ]cousin__t38_cousin.depvmin12025-09-15 19:52 35  
[ ]cousin__t38_cousin.vmin12025-09-15 19:47 898  
[ ]cousin__t38_cousin.vmin1out2025-09-15 19:50 27K 
[ ]cousin__t38_cousin.vout2025-09-15 15:47 19K 
[ ]cousin__t39_cousin2025-09-08 08:28 57K 
[ ]cousin__t39_cousin.vout2025-09-15 14:51 4.7K 
[ ]cousin__t40_cousin2025-09-08 08:30 59K 
[ ]cousin__t40_cousin.vout2025-09-15 17:29 7.3K 
[ ]cousin__t41_cousin2025-09-08 08:31 47K 
[ ]cousin__t41_cousin.vout2025-09-15 16:26 2.0K 
[ ]cousin__t42_cousin2025-09-08 07:12 52K 
[ ]cousin__t42_cousin.depv12025-09-15 19:47 143  
[ ]cousin__t42_cousin.depvmin12025-09-15 19:52 143  
[ ]cousin__t42_cousin.vmin12025-09-15 19:47 2.0K 
[ ]cousin__t42_cousin.vmin1out2025-09-15 19:48 25K 
[ ]cousin__t42_cousin.vout2025-09-15 16:26 25K 
[ ]cousin__t43_cousin2025-09-08 08:32 42K 
[ ]cousin__t43_cousin.depv12025-09-15 19:47 122  
[ ]cousin__t43_cousin.depvmin12025-09-15 19:52 122  
[ ]cousin__t43_cousin.vmin12025-09-15 19:47 1.9K 
[ ]cousin__t43_cousin.vmin1out2025-09-15 19:50 42K 
[ ]cousin__t43_cousin.vout2025-09-15 17:57 35K 
[ ]cousin__t44_cousin2025-09-08 08:34 67K 
[ ]cousin__t44_cousin.vout2025-09-15 16:22 4.7K 
[ ]cousin__t45_cousin2025-09-08 08:36 45K 
[ ]cousin__t45_cousin.vout2025-09-15 14:57 6.8K 
[ ]cousin__t46_cousin2025-09-08 08:38 121K 
[ ]cousin__t46_cousin.vout2025-09-15 13:40 7.3K 
[ ]cousin__t47_cousin2025-09-08 08:39 56K 
[ ]cousin__t47_cousin.vout2025-09-15 16:13 2.0K 
[ ]cousin__t48_cousin2025-09-08 08:41 57K 
[ ]cousin__t48_cousin.vout2025-09-15 14:04 2.0K 
[ ]cousin__t49_cousin2025-09-08 08:42 45K 
[ ]cousin__t49_cousin.vout2025-09-15 15:53 7.3K 
[ ]cousin__t50_cousin2025-09-08 08:44 55K 
[ ]cousin__t50_cousin.vout2025-09-15 14:21 7.3K 
[ ]cousin__t51_cousin2025-09-08 08:45 59K 
[ ]cousin__t51_cousin.vout2025-09-15 13:59 7.3K 
[ ]cousin__t52_cousin2025-09-08 08:47 51K 
[ ]cousin__t52_cousin.vout2025-09-15 17:31 7.3K 
[ ]cousin__t53_cousin2025-09-08 09:09 65K 
[ ]cousin__t53_cousin.vout2025-09-15 13:31 3.6K 
[ ]cousin__t54_cousin2025-09-08 09:11 70K 
[ ]cousin__t54_cousin.vout2025-09-15 18:39 3.6K 
[ ]cousin__t55_cousin2025-09-08 09:13 71K 
[ ]cousin__t55_cousin.vout2025-09-15 15:05 3.7K 
[ ]cousin__t56_cousin2025-09-08 09:15 61K 
[ ]cousin__t56_cousin.vout2025-09-15 14:13 6.8K 
[ ]cousin__t57_cousin2025-09-08 09:18 81K 
[ ]cousin__t57_cousin.vout2025-09-15 18:26 3.6K 
[ ]cousin__t58_cousin2025-09-08 08:48 51K 
[ ]cousin__t58_cousin.vout2025-09-15 15:42 7.3K 
[ ]cousin__t59_cousin2025-09-08 08:50 56K 
[ ]cousin__t59_cousin.vout2025-09-15 18:47 6.8K 
[ ]cousin__t60_cousin2025-09-08 08:52 55K 
[ ]cousin__t60_cousin.vout2025-09-15 17:51 7.8K 
[ ]cousin__t61_cousin2025-09-08 08:53 57K 
[ ]cousin__t61_cousin.vout2025-09-15 19:26 6.8K 
[ ]cousin__t62_cousin2025-09-08 08:55 51K 
[ ]cousin__t62_cousin.vout2025-09-15 15:50 4.7K 
[ ]cousin__t63_cousin2025-09-08 08:57 87K 
[ ]cousin__t63_cousin.vout2025-09-15 18:06 6.8K 
[ ]cousin__t64_cousin2025-09-08 08:58 55K 
[ ]cousin__t64_cousin.depv12025-09-15 19:47 207  
[ ]cousin__t64_cousin.depvmin12025-09-15 19:52 207  
[ ]cousin__t64_cousin.vmin12025-09-15 19:47 2.2K 
[ ]cousin__t64_cousin.vmin1out2025-09-15 19:49 27K 
[ ]cousin__t64_cousin.vout2025-09-15 16:26 29K 
[ ]cousin__t65_cousin2025-09-08 09:00 107K 
[ ]cousin__t65_cousin.vout2025-09-15 15:25 7.3K 
[ ]cousin__t66_cousin2025-09-08 09:02 56K 
[ ]cousin__t66_cousin.vout2025-09-15 16:50 7.3K 
[ ]cousin__t67_cousin2025-09-08 09:05 144K 
[ ]cousin__t67_cousin.vout2025-09-15 16:30 6.8K 
[ ]cousin__t68_cousin2025-09-08 09:07 145K 
[ ]cousin__t68_cousin.vout2025-09-15 15:18 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80