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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]surreal0__l17_surreal02024-07-27 09:04 32K 
[ ]surreal0__l17_surreal0.vout2024-08-03 06:28 4.7K 
[ ]surreal0__l33_surreal02024-07-27 09:05 36K 
[ ]surreal0__l33_surreal0.vout2024-08-03 06:38 4.7K 
[ ]surreal0__l44_surreal02024-07-27 09:06 18K 
[ ]surreal0__l44_surreal0.vout2024-08-03 04:15 6.3K 
[ ]surreal0__t1_surreal02024-07-27 08:05 32K 
[ ]surreal0__t1_surreal0.vout2024-08-03 06:57 6.8K 
[ ]surreal0__t2_surreal02024-07-27 08:06 30K 
[ ]surreal0__t2_surreal0.vout2024-08-03 07:31 11K 
[ ]surreal0__t3_surreal02024-07-27 08:07 32K 
[ ]surreal0__t3_surreal0.vout2024-08-03 06:38 4.7K 
[ ]surreal0__t4_surreal02024-07-27 08:09 33K 
[ ]surreal0__t4_surreal0.vout2024-08-03 06:25 7.3K 
[ ]surreal0__t5_surreal02024-07-27 08:10 15K 
[ ]surreal0__t5_surreal0.depv12024-08-03 10:19 175  
[ ]surreal0__t5_surreal0.depvmin12024-08-03 10:24 175  
[ ]surreal0__t5_surreal0.vmin12024-08-03 10:19 1.9K 
[ ]surreal0__t5_surreal0.vmin1out2024-08-03 10:20 26K 
[ ]surreal0__t5_surreal0.vout2024-08-03 04:22 27K 
[ ]surreal0__t6_surreal02024-07-27 09:02 31K 
[ ]surreal0__t6_surreal0.vout2024-08-03 09:29 7.3K 
[ ]surreal0__t7_surreal02024-07-27 08:11 32K 
[ ]surreal0__t7_surreal0.vout2024-08-03 04:33 3.7K 
[ ]surreal0__t8_surreal02024-07-27 08:12 28K 
[ ]surreal0__t8_surreal0.vout2024-08-03 06:37 6.8K 
[ ]surreal0__t9_surreal02024-07-27 08:14 28K 
[ ]surreal0__t9_surreal0.vout2024-08-03 10:10 2.0K 
[ ]surreal0__t10_surreal02024-07-27 08:15 18K 
[ ]surreal0__t10_surreal0.vout2024-08-03 08:28 2.0K 
[ ]surreal0__t11_surreal02024-07-27 08:16 18K 
[ ]surreal0__t11_surreal0.depv12024-08-03 10:19 130  
[ ]surreal0__t11_surreal0.depvmin12024-08-03 10:24 104  
[ ]surreal0__t11_surreal0.vmin12024-08-03 10:19 1.5K 
[ ]surreal0__t11_surreal0.vmin1out2024-08-03 10:23 25K 
[ ]surreal0__t11_surreal0.vout2024-08-03 10:06 36K 
[ ]surreal0__t12_surreal02024-07-27 08:17 30K 
[ ]surreal0__t12_surreal0.vout2024-08-03 06:51 7.3K 
[ ]surreal0__t13_surreal02024-07-27 08:19 19K 
[ ]surreal0__t13_surreal0.vout2024-08-03 08:55 7.3K 
[ ]surreal0__t14_surreal02024-07-27 08:20 20K 
[ ]surreal0__t14_surreal0.vout2024-08-03 08:37 4.7K 
[ ]surreal0__t15_surreal02024-07-27 08:21 20K 
[ ]surreal0__t15_surreal0.vout2024-08-03 06:36 4.7K 
[ ]surreal0__t16_surreal02024-07-27 08:22 19K 
[ ]surreal0__t16_surreal0.vout2024-08-03 08:09 7.3K 
[ ]surreal0__t17_surreal02024-07-27 08:23 19K 
[ ]surreal0__t17_surreal0.vout2024-08-03 06:05 7.3K 
[ ]surreal0__t18_surreal02024-07-27 08:24 19K 
[ ]surreal0__t18_surreal0.vout2024-08-03 06:40 7.4K 
[ ]surreal0__t19_surreal02024-07-27 08:25 19K 
[ ]surreal0__t19_surreal0.vout2024-08-03 08:32 7.3K 
[ ]surreal0__t20_surreal02024-07-27 08:26 32K 
[ ]surreal0__t20_surreal0.vout2024-08-03 09:24 4.7K 
[ ]surreal0__t21_surreal02024-07-27 08:28 32K 
[ ]surreal0__t21_surreal0.vout2024-08-03 04:11 4.7K 
[ ]surreal0__t22_surreal02024-07-27 08:29 36K 
[ ]surreal0__t22_surreal0.vout2024-08-03 08:59 4.7K 
[ ]surreal0__t23_surreal02024-07-27 08:31 35K 
[ ]surreal0__t23_surreal0.vout2024-08-03 09:10 6.2K 
[ ]surreal0__t24_surreal02024-07-27 08:33 36K 
[ ]surreal0__t24_surreal0.vout2024-08-03 04:59 4.7K 
[ ]surreal0__t25_surreal02024-07-27 08:34 20K 
[ ]surreal0__t25_surreal0.vout2024-08-03 05:44 4.7K 
[ ]surreal0__t26_surreal02024-07-27 08:36 38K 
[ ]surreal0__t26_surreal0.vout2024-08-03 07:37 7.3K 
[ ]surreal0__t27_surreal02024-07-27 08:38 28K 
[ ]surreal0__t27_surreal0.vout2024-08-03 07:46 7.3K 
[ ]surreal0__t28_surreal02024-07-27 08:39 29K 
[ ]surreal0__t28_surreal0.vout2024-08-03 07:04 6.8K 
[ ]surreal0__t29_surreal02024-07-27 08:40 20K 
[ ]surreal0__t29_surreal0.vout2024-08-03 09:26 4.7K 
[ ]surreal0__t30_surreal02024-07-27 08:41 16K 
[ ]surreal0__t30_surreal0.depv12024-08-03 10:19 151  
[ ]surreal0__t30_surreal0.depvmin12024-08-03 10:24 151  
[ ]surreal0__t30_surreal0.vmin12024-08-03 10:19 1.5K 
[ ]surreal0__t30_surreal0.vmin1out2024-08-03 10:22 17K 
[ ]surreal0__t30_surreal0.vout2024-08-03 07:24 17K 
[ ]surreal0__t31_surreal02024-07-27 08:42 34K 
[ ]surreal0__t31_surreal0.vout2024-08-03 09:26 6.2K 
[ ]surreal0__t32_surreal02024-07-27 08:43 18K 
[ ]surreal0__t32_surreal0.depv12024-08-03 10:19 78  
[ ]surreal0__t32_surreal0.depvmin12024-08-03 10:24 78  
[ ]surreal0__t32_surreal0.vmin12024-08-03 10:19 1.0K 
[ ]surreal0__t32_surreal0.vmin1out2024-08-03 10:22 12K 
[ ]surreal0__t32_surreal0.vout2024-08-03 08:20 10K 
[ ]surreal0__t33_surreal02024-07-27 08:44 19K 
[ ]surreal0__t33_surreal0.vout2024-08-03 06:49 7.3K 
[ ]surreal0__t34_surreal02024-07-27 08:46 32K 
[ ]surreal0__t34_surreal0.vout2024-08-03 07:03 7.3K 
[ ]surreal0__t35_surreal02024-07-27 08:47 19K 
[ ]surreal0__t35_surreal0.depv12024-08-03 10:19 103  
[ ]surreal0__t35_surreal0.depvmin12024-08-03 10:24 103  
[ ]surreal0__t35_surreal0.vmin12024-08-03 10:19 1.3K 
[ ]surreal0__t35_surreal0.vmin1out2024-08-03 10:22 16K 
[ ]surreal0__t35_surreal0.vout2024-08-03 08:36 13K 
[ ]surreal0__t36_surreal02024-07-27 08:48 19K 
[ ]surreal0__t36_surreal0.depv12024-08-03 10:19 91  
[ ]surreal0__t36_surreal0.depvmin12024-08-03 10:24 91  
[ ]surreal0__t36_surreal0.vmin12024-08-03 10:19 1.2K 
[ ]surreal0__t36_surreal0.vmin1out2024-08-03 10:23 13K 
[ ]surreal0__t36_surreal0.vout2024-08-03 06:51 12K 
[ ]surreal0__t37_surreal02024-07-27 08:49 17K 
[ ]surreal0__t37_surreal0.depv12024-08-03 10:19 263  
[ ]surreal0__t37_surreal0.depvmin12024-08-03 10:24 263  
[ ]surreal0__t37_surreal0.vmin12024-08-03 10:19 1.9K 
[ ]surreal0__t37_surreal0.vmin1out2024-08-03 10:21 20K 
[ ]surreal0__t37_surreal0.vout2024-08-03 08:44 20K 
[ ]surreal0__t38_surreal02024-07-27 08:50 20K 
[ ]surreal0__t38_surreal0.vout2024-08-03 06:44 6.2K 
[ ]surreal0__t39_surreal02024-07-27 08:51 33K 
[ ]surreal0__t39_surreal0.vout2024-08-03 09:57 7.4K 
[ ]surreal0__t40_surreal02024-07-27 08:52 29K 
[ ]surreal0__t40_surreal0.vout2024-08-03 05:46 2.0K 
[ ]surreal0__t41_surreal02024-07-27 08:53 13K 
[ ]surreal0__t41_surreal0.depv12024-08-03 10:19 61  
[ ]surreal0__t41_surreal0.depvmin12024-08-03 10:24 61  
[ ]surreal0__t41_surreal0.vmin12024-08-03 10:19 620  
[ ]surreal0__t41_surreal0.vmin1out2024-08-03 10:20 17K 
[ ]surreal0__t41_surreal0.vout2024-08-03 06:20 17K 
[ ]surreal0__t42_surreal02024-07-27 08:54 13K 
[ ]surreal0__t42_surreal0.depv12024-08-03 10:19 61  
[ ]surreal0__t42_surreal0.depvmin12024-08-03 10:24 61  
[ ]surreal0__t42_surreal0.vmin12024-08-03 10:19 620  
[ ]surreal0__t42_surreal0.vmin1out2024-08-03 10:20 17K 
[ ]surreal0__t42_surreal0.vout2024-08-03 09:38 17K 
[ ]surreal0__t43_surreal02024-07-27 08:56 33K 
[ ]surreal0__t43_surreal0.vout2024-08-03 06:03 5.8K 
[ ]surreal0__t44_surreal02024-07-27 08:57 13K 
[ ]surreal0__t44_surreal0.depv12024-08-03 10:19 148  
[ ]surreal0__t44_surreal0.depvmin12024-08-03 10:24 148  
[ ]surreal0__t44_surreal0.vmin12024-08-03 10:19 1.4K 
[ ]surreal0__t44_surreal0.vmin1out2024-08-03 10:20 33K 
[ ]surreal0__t44_surreal0.vout2024-08-03 05:22 44K 
[ ]surreal0__t45_surreal02024-07-27 08:58 31K 
[ ]surreal0__t45_surreal0.vout2024-08-03 06:44 7.9K 
[ ]surreal0__t46_surreal02024-07-27 09:00 34K 
[ ]surreal0__t46_surreal0.vout2024-08-03 08:21 7.3K 
[ ]surreal0__t47_surreal02024-07-27 09:01 30K 
[ ]surreal0__t47_surreal0.vout2024-08-03 09:23 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80