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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]extreal1__l11_extreal12021-07-17 22:22 49K 
[ ]extreal1__l11_extreal1.vout2021-07-25 20:22 7.3K 
[ ]extreal1__l13_extreal12021-07-17 22:22 40K 
[ ]extreal1__l13_extreal1.vout2021-07-25 14:59 6.3K 
[ ]extreal1__l15_extreal12021-07-17 22:23 102K 
[ ]extreal1__l15_extreal1.vout2021-07-25 15:55 6.8K 
[ ]extreal1__l16_extreal12021-07-17 22:24 69K 
[ ]extreal1__l16_extreal1.vout2021-07-25 15:57 6.8K 
[ ]extreal1__l17_extreal12021-07-17 22:24 87K 
[ ]extreal1__l17_extreal1.vout2021-07-25 17:22 4.7K 
[ ]extreal1__t1_extreal12021-07-17 22:05 22K 
[ ]extreal1__t1_extreal1.depv12021-07-25 20:57 89  
[ ]extreal1__t1_extreal1.depvmin12021-07-25 21:03 37  
[ ]extreal1__t1_extreal1.vmin12021-07-25 20:57 752  
[ ]extreal1__t1_extreal1.vmin1out2021-07-25 20:58 9.1K 
[ ]extreal1__t1_extreal1.vout2021-07-25 17:36 9.6K 
[ ]extreal1__t2_extreal12021-07-17 22:06 29K 
[ ]extreal1__t2_extreal1.depv12021-07-25 20:57 13  
[ ]extreal1__t2_extreal1.depvmin12021-07-25 21:03 13  
[ ]extreal1__t2_extreal1.vmin12021-07-25 20:57 222  
[ ]extreal1__t2_extreal1.vmin1out2021-07-25 20:59 3.3K 
[ ]extreal1__t2_extreal1.vout2021-07-25 19:32 4.3K 
[ ]extreal1__t3_extreal12021-07-17 22:06 22K 
[ ]extreal1__t3_extreal1.depv12021-07-25 20:57 61  
[ ]extreal1__t3_extreal1.depvmin12021-07-25 21:03 37  
[ ]extreal1__t3_extreal1.vmin12021-07-25 20:57 464  
[ ]extreal1__t3_extreal1.vmin1out2021-07-25 20:59 3.5K 
[ ]extreal1__t3_extreal1.vout2021-07-25 19:44 4.7K 
[ ]extreal1__t4_extreal12021-07-17 22:07 22K 
[ ]extreal1__t4_extreal1.depv12021-07-25 20:57 86  
[ ]extreal1__t4_extreal1.depvmin12021-07-25 21:03 62  
[ ]extreal1__t4_extreal1.vmin12021-07-25 20:57 598  
[ ]extreal1__t4_extreal1.vmin1out2021-07-25 20:57 4.2K 
[ ]extreal1__t4_extreal1.vout2021-07-25 19:20 6.3K 
[ ]extreal1__t7_extreal12021-07-17 22:08 35K 
[ ]extreal1__t7_extreal1.depv12021-07-25 20:57 257  
[ ]extreal1__t7_extreal1.depvmin12021-07-25 21:03 234  
[ ]extreal1__t7_extreal1.vmin12021-07-25 20:57 1.9K 
[ ]extreal1__t7_extreal1.vmin1out2021-07-25 21:00 20K 
[ ]extreal1__t7_extreal1.vout2021-07-25 16:36 24K 
[ ]extreal1__t8_extreal12021-07-17 22:09 40K 
[ ]extreal1__t8_extreal1.vout2021-07-25 19:07 7.3K 
[ ]extreal1__t9_extreal12021-07-17 22:09 33K 
[ ]extreal1__t9_extreal1.depv12021-07-25 20:57 203  
[ ]extreal1__t9_extreal1.depvmin12021-07-25 21:03 203  
[ ]extreal1__t9_extreal1.vmin12021-07-25 20:57 1.4K 
[ ]extreal1__t9_extreal1.vmin1out2021-07-25 21:02 13K 
[ ]extreal1__t9_extreal1.vout2021-07-25 17:51 18K 
[ ]extreal1__t10_extreal12021-07-17 22:10 42K 
[ ]extreal1__t10_extreal1.vout2021-07-25 19:55 6.2K 
[ ]extreal1__t11_extreal12021-07-17 22:11 76K 
[ ]extreal1__t11_extreal1.vout2021-07-25 16:27 4.7K 
[ ]extreal1__t12_extreal12021-07-17 22:11 27K 
[ ]extreal1__t12_extreal1.depv12021-07-25 20:57 38  
[ ]extreal1__t12_extreal1.depvmin12021-07-25 21:03 38  
[ ]extreal1__t12_extreal1.vmin12021-07-25 20:57 339  
[ ]extreal1__t12_extreal1.vmin1out2021-07-25 21:00 5.4K 
[ ]extreal1__t12_extreal1.vout2021-07-25 17:49 4.4K 
[ ]extreal1__t13_extreal12021-07-17 22:07 22K 
[ ]extreal1__t13_extreal1.depv12021-07-25 20:57 25  
[ ]extreal1__t13_extreal1.depvmin12021-07-25 21:03 25  
[ ]extreal1__t13_extreal1.vmin12021-07-25 20:57 306  
[ ]extreal1__t13_extreal1.vmin1out2021-07-25 20:59 3.2K 
[ ]extreal1__t13_extreal1.vout2021-07-25 16:45 3.8K 
[ ]extreal1__t14_extreal12021-07-17 22:11 19K 
[ ]extreal1__t14_extreal1.vout2021-07-25 19:21 8.4K 
[ ]extreal1__t15_extreal12021-07-17 22:12 22K 
[ ]extreal1__t15_extreal1.vout2021-07-25 19:22 7.9K 
[ ]extreal1__t16_extreal12021-07-17 22:07 22K 
[ ]extreal1__t16_extreal1.depv12021-07-25 20:57 101  
[ ]extreal1__t16_extreal1.depvmin12021-07-25 21:03 101  
[ ]extreal1__t16_extreal1.vmin12021-07-25 20:57 698  
[ ]extreal1__t16_extreal1.vmin1out2021-07-25 21:00 12K 
[ ]extreal1__t16_extreal1.vout2021-07-25 15:37 11K 
[ ]extreal1__t17_extreal12021-07-17 22:12 22K 
[ ]extreal1__t17_extreal1.vout2021-07-25 16:33 8.4K 
[ ]extreal1__t18_extreal12021-07-17 22:13 22K 
[ ]extreal1__t18_extreal1.vout2021-07-25 17:43 7.9K 
[ ]extreal1__t19_extreal12021-07-17 22:13 27K 
[ ]extreal1__t19_extreal1.vout2021-07-25 17:15 7.3K 
[ ]extreal1__t20_extreal12021-07-17 22:13 23K 
[ ]extreal1__t20_extreal1.vout2021-07-25 14:47 7.4K 
[ ]extreal1__t21_extreal12021-07-17 22:14 23K 
[ ]extreal1__t21_extreal1.vout2021-07-25 15:27 7.3K 
[ ]extreal1__t22_extreal12021-07-17 22:14 23K 
[ ]extreal1__t22_extreal1.vout2021-07-25 19:12 7.9K 
[ ]extreal1__t23_extreal12021-07-17 22:15 23K 
[ ]extreal1__t23_extreal1.depv12021-07-25 20:57 170  
[ ]extreal1__t23_extreal1.depvmin12021-07-25 21:03 157  
[ ]extreal1__t23_extreal1.vmin12021-07-25 20:57 1.6K 
[ ]extreal1__t23_extreal1.vmin1out2021-07-25 21:00 22K 
[ ]extreal1__t23_extreal1.vout2021-07-25 16:56 27K 
[ ]extreal1__t24_extreal12021-07-17 22:15 32K 
[ ]extreal1__t24_extreal1.vout2021-07-25 17:42 7.3K 
[ ]extreal1__t25_extreal12021-07-17 22:15 47K 
[ ]extreal1__t25_extreal1.vout2021-07-25 16:51 4.7K 
[ ]extreal1__t26_extreal12021-07-17 22:16 33K 
[ ]extreal1__t26_extreal1.vout2021-07-25 17:25 7.3K 
[ ]extreal1__t27_extreal12021-07-17 22:16 35K 
[ ]extreal1__t27_extreal1.vout2021-07-25 17:42 5.8K 
[ ]extreal1__t28_extreal12021-07-17 22:17 37K 
[ ]extreal1__t28_extreal1.vout2021-07-25 19:34 7.3K 
[ ]extreal1__t29_extreal12021-07-17 22:17 23K 
[ ]extreal1__t29_extreal1.vout2021-07-25 17:45 7.4K 
[ ]extreal1__t30_extreal12021-07-17 22:18 23K 
[ ]extreal1__t30_extreal1.depv12021-07-25 20:57 170  
[ ]extreal1__t30_extreal1.depvmin12021-07-25 21:03 170  
[ ]extreal1__t30_extreal1.vmin12021-07-25 20:57 1.1K 
[ ]extreal1__t30_extreal1.vmin1out2021-07-25 21:00 11K 
[ ]extreal1__t30_extreal1.vout2021-07-25 15:33 11K 
[ ]extreal1__t31_extreal12021-07-17 22:18 39K 
[ ]extreal1__t31_extreal1.vout2021-07-25 19:40 7.3K 
[ ]extreal1__t32_extreal12021-07-17 22:19 40K 
[ ]extreal1__t32_extreal1.vout2021-07-25 19:08 4.7K 
[ ]extreal1__t34_extreal12021-07-17 22:19 31K 
[ ]extreal1__t34_extreal1.depv12021-07-25 20:57 133  
[ ]extreal1__t34_extreal1.depvmin12021-07-25 21:03 133  
[ ]extreal1__t34_extreal1.vmin12021-07-25 20:57 1.6K 
[ ]extreal1__t34_extreal1.vmin1out2021-07-25 21:01 21K 
[ ]extreal1__t34_extreal1.vout2021-07-25 18:44 26K 
[ ]extreal1__t35_extreal12021-07-17 22:19 32K 
[ ]extreal1__t35_extreal1.vout2021-07-25 18:55 7.3K 
[ ]extreal1__t36_extreal12021-07-17 22:20 37K 
[ ]extreal1__t36_extreal1.vout2021-07-25 18:11 7.3K 
[ ]extreal1__t37_extreal12021-07-17 22:20 151K 
[ ]extreal1__t37_extreal1.vout2021-07-25 19:27 4.7K 
[ ]extreal1__t38_extreal12021-07-17 22:21 99K 
[ ]extreal1__t38_extreal1.vout2021-07-25 19:16 4.7K 
[ ]extreal1__t39_extreal12021-07-17 22:21 2.1K 
[ ]extreal1__t39_extreal1.depv12021-07-25 20:57 116  
[ ]extreal1__t39_extreal1.depvmin12021-07-25 21:03 116  
[ ]extreal1__t39_extreal1.vmin12021-07-25 20:57 969  
[ ]extreal1__t39_extreal1.vmin1out2021-07-25 20:58 9.5K 
[ ]extreal1__t39_extreal1.vout2021-07-25 14:54 11K 
[ ]extreal1__t40_extreal12021-07-17 22:21 23K 
[ ]extreal1__t40_extreal1.depv12021-07-25 20:57 151  
[ ]extreal1__t40_extreal1.depvmin12021-07-25 21:03 127  
[ ]extreal1__t40_extreal1.vmin12021-07-25 20:57 745  
[ ]extreal1__t40_extreal1.vmin1out2021-07-25 20:59 6.3K 
[ ]extreal1__t40_extreal1.vout2021-07-25 17:29 6.8K 
[ ]extreal1__t41_extreal12021-07-17 22:08 21K 
[ ]extreal1__t41_extreal1.depv12021-07-25 20:57 248  
[ ]extreal1__t41_extreal1.depvmin12021-07-25 21:03 248  
[ ]extreal1__t41_extreal1.vmin12021-07-25 20:57 1.5K 
[ ]extreal1__t41_extreal1.vmin1out2021-07-25 21:00 13K 
[ ]extreal1__t41_extreal1.vout2021-07-25 17:23 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80