Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/latstone

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latstone__l31_latstone2025-09-10 05:29 27K 
[ ]latstone__l31_latstone.vout2025-09-15 15:12 7.3K 
[ ]latstone__t1_latstone2025-09-10 04:43 14K 
[ ]latstone__t1_latstone.vout2025-09-15 18:13 7.3K 
[ ]latstone__t2_latstone2025-09-10 04:45 20K 
[ ]latstone__t2_latstone.vout2025-09-15 13:31 7.9K 
[ ]latstone__t3_latstone2025-09-10 04:46 20K 
[ ]latstone__t3_latstone.vout2025-09-15 19:30 7.9K 
[ ]latstone__t4_latstone2025-09-10 04:47 18K 
[ ]latstone__t4_latstone.vout2025-09-15 18:27 3.7K 
[ ]latstone__t5_latstone2025-09-10 04:48 13K 
[ ]latstone__t5_latstone.depv12025-09-15 19:47 115  
[ ]latstone__t5_latstone.depvmin12025-09-15 19:51 115  
[ ]latstone__t5_latstone.vmin12025-09-15 19:47 1.8K 
[ ]latstone__t5_latstone.vmin1out2025-09-15 19:50 18K 
[ ]latstone__t5_latstone.vout2025-09-15 14:00 18K 
[ ]latstone__t6_latstone2025-09-10 04:49 13K 
[ ]latstone__t6_latstone.depv12025-09-15 19:47 104  
[ ]latstone__t6_latstone.depvmin12025-09-15 19:51 104  
[ ]latstone__t6_latstone.vmin12025-09-15 19:47 1.7K 
[ ]latstone__t6_latstone.vmin1out2025-09-15 19:47 22K 
[ ]latstone__t6_latstone.vout2025-09-15 16:49 21K 
[ ]latstone__t7_latstone2025-09-10 04:50 12K 
[ ]latstone__t7_latstone.depv12025-09-15 19:47 89  
[ ]latstone__t7_latstone.depvmin12025-09-15 19:51 89  
[ ]latstone__t7_latstone.vmin12025-09-15 19:47 1.7K 
[ ]latstone__t7_latstone.vmin1out2025-09-15 19:47 34K 
[ ]latstone__t7_latstone.vout2025-09-15 14:16 30K 
[ ]latstone__t8_latstone2025-09-10 04:51 14K 
[ ]latstone__t8_latstone.depv12025-09-15 19:47 219  
[ ]latstone__t8_latstone.depvmin12025-09-15 19:51 219  
[ ]latstone__t8_latstone.vmin12025-09-15 19:47 3.5K 
[ ]latstone__t8_latstone.vmin1out2025-09-15 19:48 66K 
[ ]latstone__t8_latstone.vout2025-09-15 16:59 58K 
[ ]latstone__t9_latstone2025-09-10 04:52 12K 
[ ]latstone__t9_latstone.depv12025-09-15 19:47 116  
[ ]latstone__t9_latstone.depvmin12025-09-15 19:51 116  
[ ]latstone__t9_latstone.vmin12025-09-15 19:47 1.9K 
[ ]latstone__t9_latstone.vmin1out2025-09-15 19:49 18K 
[ ]latstone__t9_latstone.vout2025-09-15 13:33 13K 
[ ]latstone__t10_latstone2025-09-10 04:53 14K 
[ ]latstone__t10_latstone.vout2025-09-15 17:23 7.9K 
[ ]latstone__t11_latstone2025-09-10 04:54 15K 
[ ]latstone__t11_latstone.depv12025-09-15 19:47 172  
[ ]latstone__t11_latstone.depvmin12025-09-15 19:51 172  
[ ]latstone__t11_latstone.vmin12025-09-15 19:47 2.4K 
[ ]latstone__t11_latstone.vmin1out2025-09-15 19:49 32K 
[ ]latstone__t11_latstone.vout2025-09-15 17:53 31K 
[ ]latstone__t12_latstone2025-09-10 04:55 17K 
[ ]latstone__t12_latstone.depv12025-09-15 19:47 247  
[ ]latstone__t12_latstone.depvmin12025-09-15 19:51 247  
[ ]latstone__t12_latstone.vmin12025-09-15 19:47 3.9K 
[ ]latstone__t12_latstone.vmin1out2025-09-15 19:49 28K 
[ ]latstone__t12_latstone.vout2025-09-15 19:31 29K 
[ ]latstone__t13_latstone2025-09-10 04:56 17K 
[ ]latstone__t13_latstone.depv12025-09-15 19:47 163  
[ ]latstone__t13_latstone.depvmin12025-09-15 19:51 163  
[ ]latstone__t13_latstone.vmin12025-09-15 19:47 2.1K 
[ ]latstone__t13_latstone.vmin1out2025-09-15 19:49 19K 
[ ]latstone__t13_latstone.vout2025-09-15 14:15 27K 
[ ]latstone__t14_latstone2025-09-10 04:57 16K 
[ ]latstone__t14_latstone.depv12025-09-15 19:47 66  
[ ]latstone__t14_latstone.depvmin12025-09-15 19:51 66  
[ ]latstone__t14_latstone.vmin12025-09-15 19:47 1.2K 
[ ]latstone__t14_latstone.vmin1out2025-09-15 19:48 15K 
[ ]latstone__t14_latstone.vout2025-09-15 14:18 16K 
[ ]latstone__t15_latstone2025-09-10 05:25 15K 
[ ]latstone__t15_latstone.depv12025-09-15 19:47 110  
[ ]latstone__t15_latstone.depvmin12025-09-15 19:51 110  
[ ]latstone__t15_latstone.vmin12025-09-15 19:47 1.5K 
[ ]latstone__t15_latstone.vmin1out2025-09-15 19:47 45K 
[ ]latstone__t15_latstone.vout2025-09-15 18:37 28K 
[ ]latstone__t16_latstone2025-09-10 04:58 14K 
[ ]latstone__t16_latstone.depv12025-09-15 19:47 99  
[ ]latstone__t16_latstone.depvmin12025-09-15 19:51 99  
[ ]latstone__t16_latstone.vmin12025-09-15 19:47 1.3K 
[ ]latstone__t16_latstone.vmin1out2025-09-15 19:47 24K 
[ ]latstone__t16_latstone.vout2025-09-15 16:07 24K 
[ ]latstone__t17_latstone2025-09-10 04:59 18K 
[ ]latstone__t17_latstone.vout2025-09-15 14:51 7.9K 
[ ]latstone__t18_latstone2025-09-10 05:00 15K 
[ ]latstone__t18_latstone.depv12025-09-15 19:47 147  
[ ]latstone__t18_latstone.depvmin12025-09-15 19:51 132  
[ ]latstone__t18_latstone.vmin12025-09-15 19:47 2.0K 
[ ]latstone__t18_latstone.vmin1out2025-09-15 19:48 23K 
[ ]latstone__t18_latstone.vout2025-09-15 16:24 21K 
[ ]latstone__t19_latstone2025-09-10 05:01 20K 
[ ]latstone__t19_latstone.vout2025-09-15 16:02 4.1K 
[ ]latstone__t20_latstone2025-09-10 05:02 23K 
[ ]latstone__t20_latstone.vout2025-09-15 13:30 7.3K 
[ ]latstone__t21_latstone2025-09-10 05:03 16K 
[ ]latstone__t21_latstone.depv12025-09-15 19:47 169  
[ ]latstone__t21_latstone.depvmin12025-09-15 19:51 169  
[ ]latstone__t21_latstone.vmin12025-09-15 19:47 1.9K 
[ ]latstone__t21_latstone.vmin1out2025-09-15 19:48 27K 
[ ]latstone__t21_latstone.vout2025-09-15 15:34 27K 
[ ]latstone__t22_latstone2025-09-10 05:04 19K 
[ ]latstone__t22_latstone.depv12025-09-15 19:47 154  
[ ]latstone__t22_latstone.depvmin12025-09-15 19:51 141  
[ ]latstone__t22_latstone.vmin12025-09-15 19:47 2.6K 
[ ]latstone__t22_latstone.vmin1out2025-09-15 19:49 31K 
[ ]latstone__t22_latstone.vout2025-09-15 14:46 32K 
[ ]latstone__t23_latstone2025-09-10 05:06 16K 
[ ]latstone__t23_latstone.depv12025-09-15 19:47 141  
[ ]latstone__t23_latstone.depvmin12025-09-15 19:51 141  
[ ]latstone__t23_latstone.vmin12025-09-15 19:47 1.5K 
[ ]latstone__t23_latstone.vmin1out2025-09-15 19:49 13K 
[ ]latstone__t23_latstone.vout2025-09-15 16:42 19K 
[ ]latstone__t24_latstone2025-09-10 05:07 16K 
[ ]latstone__t24_latstone.depv12025-09-15 19:47 98  
[ ]latstone__t24_latstone.depvmin12025-09-15 19:51 98  
[ ]latstone__t24_latstone.vmin12025-09-15 19:47 1.2K 
[ ]latstone__t24_latstone.vmin1out2025-09-15 19:51 13K 
[ ]latstone__t24_latstone.vout2025-09-15 19:45 16K 
[ ]latstone__t25_latstone2025-09-10 05:08 24K 
[ ]latstone__t25_latstone.vout2025-09-15 14:33 7.9K 
[ ]latstone__t26_latstone2025-09-10 05:08 12K 
[ ]latstone__t26_latstone.vout2025-09-15 16:10 5.3K 
[ ]latstone__t27_latstone2025-09-10 05:09 13K 
[ ]latstone__t27_latstone.vout2025-09-15 14:56 3.7K 
[ ]latstone__t28_latstone2025-09-10 05:11 32K 
[ ]latstone__t28_latstone.vout2025-09-15 16:15 4.1K 
[ ]latstone__t29_latstone2025-09-10 05:12 27K 
[ ]latstone__t29_latstone.vout2025-09-15 17:46 4.1K 
[ ]latstone__t30_latstone2025-09-10 05:14 23K 
[ ]latstone__t30_latstone.vout2025-09-15 15:52 4.1K 
[ ]latstone__t31_latstone2025-09-10 05:15 23K 
[ ]latstone__t31_latstone.depv12025-09-15 19:47 149  
[ ]latstone__t31_latstone.depvmin12025-09-15 19:51 149  
[ ]latstone__t31_latstone.vmin12025-09-15 19:47 3.6K 
[ ]latstone__t31_latstone.vmin1out2025-09-15 19:51 41K 
[ ]latstone__t31_latstone.vout2025-09-15 16:31 41K 
[ ]latstone__t32_latstone2025-09-10 05:16 27K 
[ ]latstone__t32_latstone.vout2025-09-15 14:55 4.1K 
[ ]latstone__t33_latstone2025-09-10 04:42 23K 
[ ]latstone__t33_latstone.depv12025-09-15 19:47 133  
[ ]latstone__t33_latstone.depvmin12025-09-15 19:51 133  
[ ]latstone__t33_latstone.vmin12025-09-15 19:47 3.1K 
[ ]latstone__t33_latstone.vmin1out2025-09-15 19:48 34K 
[ ]latstone__t33_latstone.vout2025-09-15 16:46 31K 
[ ]latstone__t34_latstone2025-09-10 05:17 29K 
[ ]latstone__t34_latstone.depv12025-09-15 19:47 182  
[ ]latstone__t34_latstone.depvmin12025-09-15 19:51 182  
[ ]latstone__t34_latstone.vmin12025-09-15 19:47 3.5K 
[ ]latstone__t34_latstone.vmin1out2025-09-15 19:49 31K 
[ ]latstone__t34_latstone.vout2025-09-15 16:29 89K 
[ ]latstone__t35_latstone2025-09-10 05:19 29K 
[ ]latstone__t35_latstone.depv12025-09-15 19:47 200  
[ ]latstone__t35_latstone.depvmin12025-09-15 19:51 200  
[ ]latstone__t35_latstone.vmin12025-09-15 19:47 1.9K 
[ ]latstone__t35_latstone.vmin1out2025-09-15 19:47 27K 
[ ]latstone__t35_latstone.vout2025-09-15 17:46 27K 
[ ]latstone__t36_latstone2025-09-10 05:20 29K 
[ ]latstone__t36_latstone.depv12025-09-15 19:47 200  
[ ]latstone__t36_latstone.depvmin12025-09-15 19:51 200  
[ ]latstone__t36_latstone.vmin12025-09-15 19:47 1.9K 
[ ]latstone__t36_latstone.vmin1out2025-09-15 19:49 27K 
[ ]latstone__t36_latstone.vout2025-09-15 19:38 27K 
[ ]latstone__t37_latstone2025-09-10 05:21 30K 
[ ]latstone__t37_latstone.depv12025-09-15 19:47 349  
[ ]latstone__t37_latstone.depvmin12025-09-15 19:51 349  
[ ]latstone__t37_latstone.vmin12025-09-15 19:47 4.8K 
[ ]latstone__t37_latstone.vmin1out2025-09-15 19:48 57K 
[ ]latstone__t37_latstone.vout2025-09-15 13:39 58K 
[ ]latstone__t38_latstone2025-09-10 05:22 30K 
[ ]latstone__t38_latstone.depv12025-09-15 19:47 349  
[ ]latstone__t38_latstone.depvmin12025-09-15 19:51 349  
[ ]latstone__t38_latstone.vmin12025-09-15 19:47 4.8K 
[ ]latstone__t38_latstone.vmin1out2025-09-15 19:49 57K 
[ ]latstone__t38_latstone.vout2025-09-15 16:50 58K 
[ ]latstone__t39_latstone2025-09-10 05:24 39K 
[ ]latstone__t39_latstone.vout2025-09-15 19:42 6.8K 
[ ]latstone__t40_latstone2025-09-10 05:26 33K 
[ ]latstone__t40_latstone.vout2025-09-15 13:48 7.9K 
[ ]latstone__t41_latstone2025-09-10 05:28 34K 
[ ]latstone__t41_latstone.vout2025-09-15 17:05 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80