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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latstone__l31_latstone2024-07-27 00:01 27K 
[ ]latstone__l31_latstone.vout2024-08-03 07:01 7.3K 
[ ]latstone__t1_latstone2024-07-26 23:12 14K 
[ ]latstone__t1_latstone.vout2024-08-03 09:35 7.3K 
[ ]latstone__t2_latstone2024-07-26 23:13 20K 
[ ]latstone__t2_latstone.vout2024-08-03 09:59 7.9K 
[ ]latstone__t3_latstone2024-07-26 23:14 20K 
[ ]latstone__t3_latstone.vout2024-08-03 10:09 7.9K 
[ ]latstone__t4_latstone2024-07-26 23:16 18K 
[ ]latstone__t4_latstone.vout2024-08-03 10:09 3.7K 
[ ]latstone__t5_latstone2024-07-26 23:17 13K 
[ ]latstone__t5_latstone.depv12024-08-03 10:19 115  
[ ]latstone__t5_latstone.depvmin12024-08-03 10:24 115  
[ ]latstone__t5_latstone.vmin12024-08-03 10:19 1.8K 
[ ]latstone__t5_latstone.vmin1out2024-08-03 10:22 18K 
[ ]latstone__t5_latstone.vout2024-08-03 04:30 18K 
[ ]latstone__t6_latstone2024-07-26 23:18 13K 
[ ]latstone__t6_latstone.depv12024-08-03 10:19 104  
[ ]latstone__t6_latstone.depvmin12024-08-03 10:24 104  
[ ]latstone__t6_latstone.vmin12024-08-03 10:19 1.7K 
[ ]latstone__t6_latstone.vmin1out2024-08-03 10:22 22K 
[ ]latstone__t6_latstone.vout2024-08-03 04:35 21K 
[ ]latstone__t7_latstone2024-07-26 23:19 12K 
[ ]latstone__t7_latstone.depv12024-08-03 10:19 89  
[ ]latstone__t7_latstone.depvmin12024-08-03 10:24 89  
[ ]latstone__t7_latstone.vmin12024-08-03 10:19 1.7K 
[ ]latstone__t7_latstone.vmin1out2024-08-03 10:20 34K 
[ ]latstone__t7_latstone.vout2024-08-03 06:40 30K 
[ ]latstone__t8_latstone2024-07-26 23:20 14K 
[ ]latstone__t8_latstone.depv12024-08-03 10:19 219  
[ ]latstone__t8_latstone.depvmin12024-08-03 10:24 219  
[ ]latstone__t8_latstone.vmin12024-08-03 10:19 3.5K 
[ ]latstone__t8_latstone.vmin1out2024-08-03 10:23 66K 
[ ]latstone__t8_latstone.vout2024-08-03 08:03 58K 
[ ]latstone__t9_latstone2024-07-26 23:21 12K 
[ ]latstone__t9_latstone.depv12024-08-03 10:19 116  
[ ]latstone__t9_latstone.depvmin12024-08-03 10:24 116  
[ ]latstone__t9_latstone.vmin12024-08-03 10:19 1.9K 
[ ]latstone__t9_latstone.vmin1out2024-08-03 10:22 18K 
[ ]latstone__t9_latstone.vout2024-08-03 06:22 13K 
[ ]latstone__t10_latstone2024-07-26 23:22 14K 
[ ]latstone__t10_latstone.vout2024-08-03 05:31 7.9K 
[ ]latstone__t11_latstone2024-07-26 23:23 15K 
[ ]latstone__t11_latstone.depv12024-08-03 10:19 172  
[ ]latstone__t11_latstone.depvmin12024-08-03 10:24 172  
[ ]latstone__t11_latstone.vmin12024-08-03 10:19 2.4K 
[ ]latstone__t11_latstone.vmin1out2024-08-03 10:22 32K 
[ ]latstone__t11_latstone.vout2024-08-03 05:22 31K 
[ ]latstone__t12_latstone2024-07-26 23:24 17K 
[ ]latstone__t12_latstone.depv12024-08-03 10:19 234  
[ ]latstone__t12_latstone.depvmin12024-08-03 10:24 221  
[ ]latstone__t12_latstone.vmin12024-08-03 10:19 3.5K 
[ ]latstone__t12_latstone.vmin1out2024-08-03 10:21 52K 
[ ]latstone__t12_latstone.vout2024-08-03 04:48 58K 
[ ]latstone__t13_latstone2024-07-26 23:25 17K 
[ ]latstone__t13_latstone.depv12024-08-03 10:19 163  
[ ]latstone__t13_latstone.depvmin12024-08-03 10:24 163  
[ ]latstone__t13_latstone.vmin12024-08-03 10:19 2.1K 
[ ]latstone__t13_latstone.vmin1out2024-08-03 10:20 19K 
[ ]latstone__t13_latstone.vout2024-08-03 04:11 27K 
[ ]latstone__t14_latstone2024-07-26 23:26 16K 
[ ]latstone__t14_latstone.depv12024-08-03 10:19 66  
[ ]latstone__t14_latstone.depvmin12024-08-03 10:24 66  
[ ]latstone__t14_latstone.vmin12024-08-03 10:19 1.2K 
[ ]latstone__t14_latstone.vmin1out2024-08-03 10:22 15K 
[ ]latstone__t14_latstone.vout2024-08-03 06:11 16K 
[ ]latstone__t15_latstone2024-07-26 23:56 15K 
[ ]latstone__t15_latstone.depv12024-08-03 10:19 110  
[ ]latstone__t15_latstone.depvmin12024-08-03 10:24 110  
[ ]latstone__t15_latstone.vmin12024-08-03 10:19 1.5K 
[ ]latstone__t15_latstone.vmin1out2024-08-03 10:20 45K 
[ ]latstone__t15_latstone.vout2024-08-03 08:16 44K 
[ ]latstone__t16_latstone2024-07-26 23:27 14K 
[ ]latstone__t16_latstone.depv12024-08-03 10:19 99  
[ ]latstone__t16_latstone.depvmin12024-08-03 10:24 99  
[ ]latstone__t16_latstone.vmin12024-08-03 10:19 1.3K 
[ ]latstone__t16_latstone.vmin1out2024-08-03 10:22 24K 
[ ]latstone__t16_latstone.vout2024-08-03 10:07 24K 
[ ]latstone__t17_latstone2024-07-26 23:28 18K 
[ ]latstone__t17_latstone.vout2024-08-03 05:51 7.9K 
[ ]latstone__t18_latstone2024-07-26 23:29 15K 
[ ]latstone__t18_latstone.depv12024-08-03 10:19 147  
[ ]latstone__t18_latstone.depvmin12024-08-03 10:24 132  
[ ]latstone__t18_latstone.vmin12024-08-03 10:19 2.0K 
[ ]latstone__t18_latstone.vmin1out2024-08-03 10:21 23K 
[ ]latstone__t18_latstone.vout2024-08-03 06:56 21K 
[ ]latstone__t19_latstone2024-07-26 23:30 20K 
[ ]latstone__t19_latstone.vout2024-08-03 07:21 4.1K 
[ ]latstone__t20_latstone2024-07-26 23:32 23K 
[ ]latstone__t20_latstone.vout2024-08-03 07:30 7.3K 
[ ]latstone__t21_latstone2024-07-26 23:33 16K 
[ ]latstone__t21_latstone.depv12024-08-03 10:19 169  
[ ]latstone__t21_latstone.depvmin12024-08-03 10:24 169  
[ ]latstone__t21_latstone.vmin12024-08-03 10:19 1.9K 
[ ]latstone__t21_latstone.vmin1out2024-08-03 10:23 27K 
[ ]latstone__t21_latstone.vout2024-08-03 05:32 27K 
[ ]latstone__t22_latstone2024-07-26 23:34 19K 
[ ]latstone__t22_latstone.depv12024-08-03 10:19 154  
[ ]latstone__t22_latstone.depvmin12024-08-03 10:24 141  
[ ]latstone__t22_latstone.vmin12024-08-03 10:19 2.6K 
[ ]latstone__t22_latstone.vmin1out2024-08-03 10:21 31K 
[ ]latstone__t22_latstone.vout2024-08-03 06:54 32K 
[ ]latstone__t23_latstone2024-07-26 23:35 16K 
[ ]latstone__t23_latstone.depv12024-08-03 10:19 141  
[ ]latstone__t23_latstone.depvmin12024-08-03 10:24 141  
[ ]latstone__t23_latstone.vmin12024-08-03 10:19 1.5K 
[ ]latstone__t23_latstone.vmin1out2024-08-03 10:23 13K 
[ ]latstone__t23_latstone.vout2024-08-03 06:01 19K 
[ ]latstone__t24_latstone2024-07-26 23:36 16K 
[ ]latstone__t24_latstone.depv12024-08-03 10:19 98  
[ ]latstone__t24_latstone.depvmin12024-08-03 10:24 98  
[ ]latstone__t24_latstone.vmin12024-08-03 10:19 1.2K 
[ ]latstone__t24_latstone.vmin1out2024-08-03 10:23 13K 
[ ]latstone__t24_latstone.vout2024-08-03 04:46 16K 
[ ]latstone__t25_latstone2024-07-26 23:38 24K 
[ ]latstone__t25_latstone.vout2024-08-03 08:46 7.9K 
[ ]latstone__t26_latstone2024-07-26 23:38 12K 
[ ]latstone__t26_latstone.vout2024-08-03 05:37 5.3K 
[ ]latstone__t27_latstone2024-07-26 23:39 13K 
[ ]latstone__t27_latstone.vout2024-08-03 04:17 4.2K 
[ ]latstone__t28_latstone2024-07-26 23:41 32K 
[ ]latstone__t28_latstone.vout2024-08-03 08:09 4.1K 
[ ]latstone__t29_latstone2024-07-26 23:42 27K 
[ ]latstone__t29_latstone.vout2024-08-03 09:56 4.1K 
[ ]latstone__t30_latstone2024-07-26 23:44 23K 
[ ]latstone__t30_latstone.vout2024-08-03 05:57 4.1K 
[ ]latstone__t31_latstone2024-07-26 23:45 23K 
[ ]latstone__t31_latstone.depv12024-08-03 10:19 149  
[ ]latstone__t31_latstone.depvmin12024-08-03 10:24 149  
[ ]latstone__t31_latstone.vmin12024-08-03 10:19 3.6K 
[ ]latstone__t31_latstone.vmin1out2024-08-03 10:23 41K 
[ ]latstone__t31_latstone.vout2024-08-03 09:45 41K 
[ ]latstone__t32_latstone2024-07-26 23:47 27K 
[ ]latstone__t32_latstone.vout2024-08-03 06:29 4.1K 
[ ]latstone__t33_latstone2024-07-26 23:11 23K 
[ ]latstone__t33_latstone.depv12024-08-03 10:19 133  
[ ]latstone__t33_latstone.depvmin12024-08-03 10:24 133  
[ ]latstone__t33_latstone.vmin12024-08-03 10:19 3.1K 
[ ]latstone__t33_latstone.vmin1out2024-08-03 10:23 34K 
[ ]latstone__t33_latstone.vout2024-08-03 04:52 31K 
[ ]latstone__t34_latstone2024-07-26 23:48 29K 
[ ]latstone__t34_latstone.depv12024-08-03 10:19 182  
[ ]latstone__t34_latstone.depvmin12024-08-03 10:24 182  
[ ]latstone__t34_latstone.vmin12024-08-03 10:19 3.5K 
[ ]latstone__t34_latstone.vmin1out2024-08-03 10:22 31K 
[ ]latstone__t34_latstone.vout2024-08-03 06:09 89K 
[ ]latstone__t35_latstone2024-07-26 23:49 29K 
[ ]latstone__t35_latstone.depv12024-08-03 10:19 200  
[ ]latstone__t35_latstone.depvmin12024-08-03 10:24 200  
[ ]latstone__t35_latstone.vmin12024-08-03 10:19 1.9K 
[ ]latstone__t35_latstone.vmin1out2024-08-03 10:23 27K 
[ ]latstone__t35_latstone.vout2024-08-03 04:48 27K 
[ ]latstone__t36_latstone2024-07-26 23:51 29K 
[ ]latstone__t36_latstone.depv12024-08-03 10:19 200  
[ ]latstone__t36_latstone.depvmin12024-08-03 10:24 200  
[ ]latstone__t36_latstone.vmin12024-08-03 10:19 1.9K 
[ ]latstone__t36_latstone.vmin1out2024-08-03 10:20 27K 
[ ]latstone__t36_latstone.vout2024-08-03 04:36 27K 
[ ]latstone__t37_latstone2024-07-26 23:52 30K 
[ ]latstone__t37_latstone.depv12024-08-03 10:19 349  
[ ]latstone__t37_latstone.depvmin12024-08-03 10:24 349  
[ ]latstone__t37_latstone.vmin12024-08-03 10:19 4.8K 
[ ]latstone__t37_latstone.vmin1out2024-08-03 10:22 57K 
[ ]latstone__t37_latstone.vout2024-08-03 08:06 58K 
[ ]latstone__t38_latstone2024-07-26 23:54 30K 
[ ]latstone__t38_latstone.depv12024-08-03 10:19 349  
[ ]latstone__t38_latstone.depvmin12024-08-03 10:24 349  
[ ]latstone__t38_latstone.vmin12024-08-03 10:19 4.8K 
[ ]latstone__t38_latstone.vmin1out2024-08-03 10:23 57K 
[ ]latstone__t38_latstone.vout2024-08-03 04:45 58K 
[ ]latstone__t39_latstone2024-07-26 23:55 39K 
[ ]latstone__t39_latstone.vout2024-08-03 04:58 7.3K 
[ ]latstone__t40_latstone2024-07-26 23:58 33K 
[ ]latstone__t40_latstone.vout2024-08-03 08:05 7.4K 
[ ]latstone__t41_latstone2024-07-27 00:00 34K 
[ ]latstone__t41_latstone.vout2024-08-03 04:52 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80