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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ranknull__l29_ranknull2024-07-27 16:42 40K 
[ ]ranknull__l29_ranknull.vout2024-08-03 07:07 7.9K 
[ ]ranknull__t1_ranknull2024-07-27 15:33 21K 
[ ]ranknull__t1_ranknull.vout2024-08-03 05:34 7.3K 
[ ]ranknull__t2_ranknull2024-07-27 15:34 16K 
[ ]ranknull__t2_ranknull.depv12024-08-03 10:19 62  
[ ]ranknull__t2_ranknull.depvmin12024-08-03 10:24 62  
[ ]ranknull__t2_ranknull.vmin12024-08-03 10:19 730  
[ ]ranknull__t2_ranknull.vmin1out2024-08-03 10:21 7.6K 
[ ]ranknull__t2_ranknull.vout2024-08-03 08:47 9.1K 
[ ]ranknull__t3_ranknull2024-07-27 15:35 13K 
[ ]ranknull__t3_ranknull.depv12024-08-03 10:19 203  
[ ]ranknull__t3_ranknull.depvmin12024-08-03 10:24 78  
[ ]ranknull__t3_ranknull.vmin12024-08-03 10:19 1.8K 
[ ]ranknull__t3_ranknull.vmin1out2024-08-03 10:23 13K 
[ ]ranknull__t3_ranknull.vout2024-08-03 08:16 20K 
[ ]ranknull__t4_ranknull2024-07-27 15:36 20K 
[ ]ranknull__t4_ranknull.depv12024-08-03 10:19 171  
[ ]ranknull__t4_ranknull.depvmin12024-08-03 10:24 171  
[ ]ranknull__t4_ranknull.vmin12024-08-03 10:19 2.8K 
[ ]ranknull__t4_ranknull.vmin1out2024-08-03 10:21 45K 
[ ]ranknull__t4_ranknull.vout2024-08-03 09:04 49K 
[ ]ranknull__t5_ranknull2024-07-27 15:38 34K 
[ ]ranknull__t5_ranknull.vout2024-08-03 06:45 4.7K 
[ ]ranknull__t6_ranknull2024-07-27 15:39 40K 
[ ]ranknull__t6_ranknull.vout2024-08-03 08:32 7.3K 
[ ]ranknull__t7_ranknull2024-07-27 15:40 23K 
[ ]ranknull__t7_ranknull.depv12024-08-03 10:19 124  
[ ]ranknull__t7_ranknull.depvmin12024-08-03 10:24 124  
[ ]ranknull__t7_ranknull.vmin12024-08-03 10:19 1.5K 
[ ]ranknull__t7_ranknull.vmin1out2024-08-03 10:20 19K 
[ ]ranknull__t7_ranknull.vout2024-08-03 10:12 18K 
[ ]ranknull__t9_ranknull2024-07-27 15:42 26K 
[ ]ranknull__t9_ranknull.vout2024-08-03 07:01 2.0K 
[ ]ranknull__t10_ranknull2024-07-27 15:43 31K 
[ ]ranknull__t10_ranknull.depv12024-08-03 10:19 163  
[ ]ranknull__t10_ranknull.depvmin12024-08-03 10:24 163  
[ ]ranknull__t10_ranknull.vmin12024-08-03 10:19 5.5K 
[ ]ranknull__t10_ranknull.vmin1out2024-08-03 10:21 54K 
[ ]ranknull__t10_ranknull.vout2024-08-03 08:55 82K 
[ ]ranknull__t11_ranknull2024-07-27 15:45 32K 
[ ]ranknull__t11_ranknull.depv12024-08-03 10:19 261  
[ ]ranknull__t11_ranknull.depvmin12024-08-03 10:24 209  
[ ]ranknull__t11_ranknull.vmin12024-08-03 10:19 5.0K 
[ ]ranknull__t11_ranknull.vmin1out2024-08-03 10:22 77K 
[ ]ranknull__t11_ranknull.vout2024-08-03 04:34 119K 
[ ]ranknull__t12_ranknull2024-07-27 15:46 30K 
[ ]ranknull__t12_ranknull.vout2024-08-03 05:47 7.3K 
[ ]ranknull__t13_ranknull2024-07-27 15:48 34K 
[ ]ranknull__t13_ranknull.vout2024-08-03 08:38 7.3K 
[ ]ranknull__t14_ranknull2024-07-27 15:49 30K 
[ ]ranknull__t14_ranknull.vout2024-08-03 08:10 3.2K 
[ ]ranknull__t15_ranknull2024-07-27 15:51 37K 
[ ]ranknull__t15_ranknull.vout2024-08-03 06:41 7.3K 
[ ]ranknull__t16_ranknull2024-07-27 15:52 31K 
[ ]ranknull__t16_ranknull.depv12024-08-03 10:19 188  
[ ]ranknull__t16_ranknull.depvmin12024-08-03 10:24 188  
[ ]ranknull__t16_ranknull.vmin12024-08-03 10:19 4.8K 
[ ]ranknull__t16_ranknull.vmin1out2024-08-03 10:23 118K 
[ ]ranknull__t16_ranknull.vout2024-08-03 09:54 113K 
[ ]ranknull__t17_ranknull2024-07-27 15:54 32K 
[ ]ranknull__t17_ranknull.depv12024-08-03 10:19 190  
[ ]ranknull__t17_ranknull.depvmin12024-08-03 10:24 177  
[ ]ranknull__t17_ranknull.vmin12024-08-03 10:19 5.3K 
[ ]ranknull__t17_ranknull.vmin1out2024-08-03 10:23 42K 
[ ]ranknull__t17_ranknull.vout2024-08-03 08:34 103K 
[ ]ranknull__t18_ranknull2024-07-27 15:56 34K 
[ ]ranknull__t18_ranknull.vout2024-08-03 05:58 4.1K 
[ ]ranknull__t19_ranknull2024-07-27 15:57 28K 
[ ]ranknull__t19_ranknull.depv12024-08-03 10:19 60  
[ ]ranknull__t19_ranknull.depvmin12024-08-03 10:24 45  
[ ]ranknull__t19_ranknull.vmin12024-08-03 10:19 2.8K 
[ ]ranknull__t19_ranknull.vmin1out2024-08-03 10:20 50K 
[ ]ranknull__t19_ranknull.vout2024-08-03 05:17 80K 
[ ]ranknull__t20_ranknull2024-07-27 15:59 29K 
[ ]ranknull__t20_ranknull.vout2024-08-03 05:35 6.8K 
[ ]ranknull__t21_ranknull2024-07-27 16:00 34K 
[ ]ranknull__t21_ranknull.vout2024-08-03 06:19 7.3K 
[ ]ranknull__t22_ranknull2024-07-27 16:02 47K 
[ ]ranknull__t22_ranknull.vout2024-08-03 10:05 6.8K 
[ ]ranknull__t23_ranknull2024-07-27 16:04 35K 
[ ]ranknull__t23_ranknull.vout2024-08-03 05:45 6.8K 
[ ]ranknull__t24_ranknull2024-07-27 16:06 41K 
[ ]ranknull__t24_ranknull.vout2024-08-03 07:20 7.9K 
[ ]ranknull__t25_ranknull2024-07-27 16:07 39K 
[ ]ranknull__t25_ranknull.vout2024-08-03 07:06 6.8K 
[ ]ranknull__t26_ranknull2024-07-27 16:09 39K 
[ ]ranknull__t26_ranknull.vout2024-08-03 04:09 7.4K 
[ ]ranknull__t27_ranknull2024-07-27 16:11 47K 
[ ]ranknull__t27_ranknull.vout2024-08-03 08:20 7.3K 
[ ]ranknull__t28_ranknull2024-07-27 16:12 32K 
[ ]ranknull__t28_ranknull.vout2024-08-03 09:37 7.3K 
[ ]ranknull__t29_ranknull2024-07-27 16:14 41K 
[ ]ranknull__t29_ranknull.vout2024-08-03 09:08 7.3K 
[ ]ranknull__t30_ranknull2024-07-27 16:16 31K 
[ ]ranknull__t30_ranknull.depv12024-08-03 10:19 168  
[ ]ranknull__t30_ranknull.depvmin12024-08-03 10:24 168  
[ ]ranknull__t30_ranknull.vmin12024-08-03 10:19 4.3K 
[ ]ranknull__t30_ranknull.vmin1out2024-08-03 10:22 61K 
[ ]ranknull__t30_ranknull.vout2024-08-03 08:37 86K 
[ ]ranknull__t31_ranknull2024-07-27 16:17 34K 
[ ]ranknull__t31_ranknull.vout2024-08-03 06:04 7.3K 
[ ]ranknull__t32_ranknull2024-07-27 16:19 36K 
[ ]ranknull__t32_ranknull.depv12024-08-03 10:19 67  
[ ]ranknull__t32_ranknull.depvmin12024-08-03 10:24 67  
[ ]ranknull__t32_ranknull.vmin12024-08-03 10:19 3.3K 
[ ]ranknull__t32_ranknull.vmin1out2024-08-03 10:23 60K 
[ ]ranknull__t32_ranknull.vout2024-08-03 07:09 109K 
[ ]ranknull__t33_ranknull2024-07-27 16:21 71K 
[ ]ranknull__t33_ranknull.vout2024-08-03 05:48 7.3K 
[ ]ranknull__t34_ranknull2024-07-27 16:23 39K 
[ ]ranknull__t34_ranknull.vout2024-08-03 05:34 6.8K 
[ ]ranknull__t35_ranknull2024-07-27 16:25 34K 
[ ]ranknull__t35_ranknull.vout2024-08-03 06:06 7.3K 
[ ]ranknull__t36_ranknull2024-07-27 16:26 37K 
[ ]ranknull__t36_ranknull.vout2024-08-03 04:40 7.3K 
[ ]ranknull__t37_ranknull2024-07-27 16:28 49K 
[ ]ranknull__t37_ranknull.vout2024-08-03 05:18 7.3K 
[ ]ranknull__t38_ranknull2024-07-27 16:30 45K 
[ ]ranknull__t38_ranknull.vout2024-08-03 04:27 7.3K 
[ ]ranknull__t39_ranknull2024-07-27 16:32 39K 
[ ]ranknull__t39_ranknull.vout2024-08-03 09:04 7.3K 
[ ]ranknull__t40_ranknull2024-07-27 16:34 53K 
[ ]ranknull__t40_ranknull.vout2024-08-03 09:25 6.8K 
[ ]ranknull__t41_ranknull2024-07-27 16:35 27K 
[ ]ranknull__t41_ranknull.depv12024-08-03 10:19 25  
[ ]ranknull__t41_ranknull.depvmin12024-08-03 10:24 25  
[ ]ranknull__t41_ranknull.vmin12024-08-03 10:19 1.1K 
[ ]ranknull__t41_ranknull.vmin1out2024-08-03 10:22 22K 
[ ]ranknull__t41_ranknull.vout2024-08-03 08:17 18K 
[ ]ranknull__t42_ranknull2024-07-27 16:37 45K 
[ ]ranknull__t42_ranknull.vout2024-08-03 05:44 6.8K 
[ ]ranknull__t43_ranknull2024-07-27 16:39 58K 
[ ]ranknull__t43_ranknull.vout2024-08-03 07:29 6.8K 
[ ]ranknull__t45_ranknull2024-07-27 16:41 40K 
[ ]ranknull__t45_ranknull.depv12024-08-03 10:19 114  
[ ]ranknull__t45_ranknull.depvmin12024-08-03 10:24 114  
[ ]ranknull__t45_ranknull.vmin12024-08-03 10:19 6.2K 
[ ]ranknull__t45_ranknull.vmin1out2024-08-03 10:20 124K 
[ ]ranknull__t45_ranknull.vout2024-08-03 04:20 133K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80