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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]extreal1__l11_extreal12024-07-27 23:08 57K 
[ ]extreal1__l11_extreal1.vout2024-08-03 05:46 7.3K 
[ ]extreal1__l13_extreal12024-07-27 23:10 48K 
[ ]extreal1__l13_extreal1.vout2024-08-03 05:37 6.3K 
[ ]extreal1__l15_extreal12024-07-27 23:12 107K 
[ ]extreal1__l15_extreal1.vout2024-08-03 07:03 6.8K 
[ ]extreal1__l16_extreal12024-07-27 23:14 80K 
[ ]extreal1__l16_extreal1.vout2024-08-03 05:12 6.8K 
[ ]extreal1__l17_extreal12024-07-27 23:16 100K 
[ ]extreal1__l17_extreal1.vout2024-08-03 07:42 4.7K 
[ ]extreal1__t1_extreal12024-07-27 22:20 25K 
[ ]extreal1__t1_extreal1.depv12024-08-03 10:19 89  
[ ]extreal1__t1_extreal1.depvmin12024-08-03 10:24 37  
[ ]extreal1__t1_extreal1.vmin12024-08-03 10:19 752  
[ ]extreal1__t1_extreal1.vmin1out2024-08-03 10:22 9.1K 
[ ]extreal1__t1_extreal1.vout2024-08-03 04:27 9.6K 
[ ]extreal1__t2_extreal12024-07-27 22:21 32K 
[ ]extreal1__t2_extreal1.depv12024-08-03 10:19 13  
[ ]extreal1__t2_extreal1.depvmin12024-08-03 10:24 13  
[ ]extreal1__t2_extreal1.vmin12024-08-03 10:19 222  
[ ]extreal1__t2_extreal1.vmin1out2024-08-03 10:20 3.3K 
[ ]extreal1__t2_extreal1.vout2024-08-03 08:39 4.3K 
[ ]extreal1__t3_extreal12024-07-27 22:22 25K 
[ ]extreal1__t3_extreal1.depv12024-08-03 10:19 61  
[ ]extreal1__t3_extreal1.depvmin12024-08-03 10:24 37  
[ ]extreal1__t3_extreal1.vmin12024-08-03 10:19 464  
[ ]extreal1__t3_extreal1.vmin1out2024-08-03 10:20 3.5K 
[ ]extreal1__t3_extreal1.vout2024-08-03 07:02 4.7K 
[ ]extreal1__t4_extreal12024-07-27 22:24 25K 
[ ]extreal1__t4_extreal1.depv12024-08-03 10:19 86  
[ ]extreal1__t4_extreal1.depvmin12024-08-03 10:24 62  
[ ]extreal1__t4_extreal1.vmin12024-08-03 10:19 598  
[ ]extreal1__t4_extreal1.vmin1out2024-08-03 10:20 4.2K 
[ ]extreal1__t4_extreal1.vout2024-08-03 07:12 6.3K 
[ ]extreal1__t7_extreal12024-07-27 22:28 39K 
[ ]extreal1__t7_extreal1.depv12024-08-03 10:19 257  
[ ]extreal1__t7_extreal1.depvmin12024-08-03 10:24 234  
[ ]extreal1__t7_extreal1.vmin12024-08-03 10:19 1.9K 
[ ]extreal1__t7_extreal1.vmin1out2024-08-03 10:21 20K 
[ ]extreal1__t7_extreal1.vout2024-08-03 08:22 24K 
[ ]extreal1__t8_extreal12024-07-27 22:30 46K 
[ ]extreal1__t8_extreal1.vout2024-08-03 09:38 7.3K 
[ ]extreal1__t9_extreal12024-07-27 22:31 39K 
[ ]extreal1__t9_extreal1.depv12024-08-03 10:19 203  
[ ]extreal1__t9_extreal1.depvmin12024-08-03 10:24 203  
[ ]extreal1__t9_extreal1.vmin12024-08-03 10:19 1.4K 
[ ]extreal1__t9_extreal1.vmin1out2024-08-03 10:22 13K 
[ ]extreal1__t9_extreal1.vout2024-08-03 07:28 18K 
[ ]extreal1__t10_extreal12024-07-27 22:33 50K 
[ ]extreal1__t10_extreal1.vout2024-08-03 07:17 6.3K 
[ ]extreal1__t11_extreal12024-07-27 22:35 89K 
[ ]extreal1__t11_extreal1.vout2024-08-03 05:32 4.7K 
[ ]extreal1__t12_extreal12024-07-27 22:36 30K 
[ ]extreal1__t12_extreal1.depv12024-08-03 10:19 38  
[ ]extreal1__t12_extreal1.depvmin12024-08-03 10:24 38  
[ ]extreal1__t12_extreal1.vmin12024-08-03 10:19 339  
[ ]extreal1__t12_extreal1.vmin1out2024-08-03 10:22 5.4K 
[ ]extreal1__t12_extreal1.vout2024-08-03 08:37 4.4K 
[ ]extreal1__t13_extreal12024-07-27 22:25 25K 
[ ]extreal1__t13_extreal1.depv12024-08-03 10:19 25  
[ ]extreal1__t13_extreal1.depvmin12024-08-03 10:24 25  
[ ]extreal1__t13_extreal1.vmin12024-08-03 10:19 306  
[ ]extreal1__t13_extreal1.vmin1out2024-08-03 10:21 3.2K 
[ ]extreal1__t13_extreal1.vout2024-08-03 10:17 3.8K 
[ ]extreal1__t14_extreal12024-07-27 22:37 22K 
[ ]extreal1__t14_extreal1.vout2024-08-03 04:10 8.4K 
[ ]extreal1__t15_extreal12024-07-27 22:38 25K 
[ ]extreal1__t15_extreal1.vout2024-08-03 04:36 7.4K 
[ ]extreal1__t16_extreal12024-07-27 22:26 25K 
[ ]extreal1__t16_extreal1.depv12024-08-03 10:19 101  
[ ]extreal1__t16_extreal1.depvmin12024-08-03 10:24 101  
[ ]extreal1__t16_extreal1.vmin12024-08-03 10:19 698  
[ ]extreal1__t16_extreal1.vmin1out2024-08-03 10:23 12K 
[ ]extreal1__t16_extreal1.vout2024-08-03 08:49 11K 
[ ]extreal1__t17_extreal12024-07-27 22:40 24K 
[ ]extreal1__t17_extreal1.vout2024-08-03 04:34 7.9K 
[ ]extreal1__t18_extreal12024-07-27 22:41 25K 
[ ]extreal1__t18_extreal1.vout2024-08-03 09:48 7.9K 
[ ]extreal1__t19_extreal12024-07-27 22:42 30K 
[ ]extreal1__t19_extreal1.vout2024-08-03 06:19 7.3K 
[ ]extreal1__t20_extreal12024-07-27 22:43 25K 
[ ]extreal1__t20_extreal1.vout2024-08-03 07:15 7.3K 
[ ]extreal1__t21_extreal12024-07-27 22:44 25K 
[ ]extreal1__t21_extreal1.vout2024-08-03 08:24 7.3K 
[ ]extreal1__t22_extreal12024-07-27 22:45 25K 
[ ]extreal1__t22_extreal1.vout2024-08-03 05:21 7.4K 
[ ]extreal1__t23_extreal12024-07-27 22:47 26K 
[ ]extreal1__t23_extreal1.depv12024-08-03 10:19 170  
[ ]extreal1__t23_extreal1.depvmin12024-08-03 10:24 157  
[ ]extreal1__t23_extreal1.vmin12024-08-03 10:19 1.6K 
[ ]extreal1__t23_extreal1.vmin1out2024-08-03 10:21 22K 
[ ]extreal1__t23_extreal1.vout2024-08-03 04:19 27K 
[ ]extreal1__t24_extreal12024-07-27 22:48 34K 
[ ]extreal1__t24_extreal1.vout2024-08-03 07:42 7.3K 
[ ]extreal1__t25_extreal12024-07-27 22:49 49K 
[ ]extreal1__t25_extreal1.vout2024-08-03 07:37 4.7K 
[ ]extreal1__t26_extreal12024-07-27 22:51 36K 
[ ]extreal1__t26_extreal1.vout2024-08-03 06:49 7.3K 
[ ]extreal1__t27_extreal12024-07-27 22:52 38K 
[ ]extreal1__t27_extreal1.vout2024-08-03 06:52 5.8K 
[ ]extreal1__t28_extreal12024-07-27 22:54 39K 
[ ]extreal1__t28_extreal1.vout2024-08-03 07:46 7.3K 
[ ]extreal1__t29_extreal12024-07-27 22:55 25K 
[ ]extreal1__t29_extreal1.vout2024-08-03 09:42 7.4K 
[ ]extreal1__t30_extreal12024-07-27 22:56 26K 
[ ]extreal1__t30_extreal1.depv12024-08-03 10:19 170  
[ ]extreal1__t30_extreal1.depvmin12024-08-03 10:24 170  
[ ]extreal1__t30_extreal1.vmin12024-08-03 10:19 1.1K 
[ ]extreal1__t30_extreal1.vmin1out2024-08-03 10:22 11K 
[ ]extreal1__t30_extreal1.vout2024-08-03 09:04 11K 
[ ]extreal1__t31_extreal12024-07-27 22:57 41K 
[ ]extreal1__t31_extreal1.vout2024-08-03 09:47 7.3K 
[ ]extreal1__t32_extreal12024-07-27 22:59 42K 
[ ]extreal1__t32_extreal1.vout2024-08-03 07:08 4.7K 
[ ]extreal1__t34_extreal12024-07-27 23:00 33K 
[ ]extreal1__t34_extreal1.depv12024-08-03 10:19 133  
[ ]extreal1__t34_extreal1.depvmin12024-08-03 10:24 133  
[ ]extreal1__t34_extreal1.vmin12024-08-03 10:19 1.6K 
[ ]extreal1__t34_extreal1.vmin1out2024-08-03 10:22 21K 
[ ]extreal1__t34_extreal1.vout2024-08-03 09:22 26K 
[ ]extreal1__t35_extreal12024-07-27 23:01 34K 
[ ]extreal1__t35_extreal1.vout2024-08-03 05:17 7.3K 
[ ]extreal1__t36_extreal12024-07-27 23:02 40K 
[ ]extreal1__t36_extreal1.vout2024-08-03 07:08 7.3K 
[ ]extreal1__t37_extreal12024-07-27 23:04 157K 
[ ]extreal1__t37_extreal1.vout2024-08-03 07:25 4.7K 
[ ]extreal1__t38_extreal12024-07-27 23:05 102K 
[ ]extreal1__t38_extreal1.vout2024-08-03 05:35 4.7K 
[ ]extreal1__t39_extreal12024-07-27 23:05 2.1K 
[ ]extreal1__t39_extreal1.depv12024-08-03 10:19 116  
[ ]extreal1__t39_extreal1.depvmin12024-08-03 10:24 116  
[ ]extreal1__t39_extreal1.vmin12024-08-03 10:19 969  
[ ]extreal1__t39_extreal1.vmin1out2024-08-03 10:20 9.5K 
[ ]extreal1__t39_extreal1.vout2024-08-03 05:17 11K 
[ ]extreal1__t40_extreal12024-07-27 23:07 26K 
[ ]extreal1__t40_extreal1.depv12024-08-03 10:19 151  
[ ]extreal1__t40_extreal1.depvmin12024-08-03 10:24 127  
[ ]extreal1__t40_extreal1.vmin12024-08-03 10:19 745  
[ ]extreal1__t40_extreal1.vmin1out2024-08-03 10:21 6.3K 
[ ]extreal1__t40_extreal1.vout2024-08-03 06:44 6.8K 
[ ]extreal1__t41_extreal12024-07-27 22:27 23K 
[ ]extreal1__t41_extreal1.depv12024-08-03 10:19 274  
[ ]extreal1__t41_extreal1.depvmin12024-08-03 10:24 248  
[ ]extreal1__t41_extreal1.vmin12024-08-03 10:19 1.6K 
[ ]extreal1__t41_extreal1.vmin1out2024-08-03 10:21 13K 
[ ]extreal1__t41_extreal1.vout2024-08-03 05:05 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80