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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latstone__l31_latstone2021-07-18 10:18 35K 
[ ]latstone__l31_latstone.vout2021-07-25 16:53 7.3K 
[ ]latstone__t1_latstone2021-07-18 10:03 17K 
[ ]latstone__t1_latstone.vout2021-07-25 18:16 7.3K 
[ ]latstone__t2_latstone2021-07-18 10:03 28K 
[ ]latstone__t2_latstone.vout2021-07-25 15:15 7.3K 
[ ]latstone__t3_latstone2021-07-18 10:03 28K 
[ ]latstone__t3_latstone.vout2021-07-25 19:40 7.3K 
[ ]latstone__t4_latstone2021-07-18 10:04 21K 
[ ]latstone__t4_latstone.vout2021-07-25 20:45 3.7K 
[ ]latstone__t5_latstone2021-07-18 10:04 16K 
[ ]latstone__t5_latstone.depv12021-07-25 20:57 115  
[ ]latstone__t5_latstone.depvmin12021-07-25 21:03 115  
[ ]latstone__t5_latstone.vmin12021-07-25 20:57 1.8K 
[ ]latstone__t5_latstone.vmin1out2021-07-25 21:00 18K 
[ ]latstone__t5_latstone.vout2021-07-25 19:33 19K 
[ ]latstone__t6_latstone2021-07-18 10:04 16K 
[ ]latstone__t6_latstone.depv12021-07-25 20:57 104  
[ ]latstone__t6_latstone.depvmin12021-07-25 21:03 104  
[ ]latstone__t6_latstone.vmin12021-07-25 20:57 1.7K 
[ ]latstone__t6_latstone.vmin1out2021-07-25 20:59 22K 
[ ]latstone__t6_latstone.vout2021-07-25 19:39 21K 
[ ]latstone__t7_latstone2021-07-18 10:05 15K 
[ ]latstone__t7_latstone.depv12021-07-25 20:57 89  
[ ]latstone__t7_latstone.depvmin12021-07-25 21:03 89  
[ ]latstone__t7_latstone.vmin12021-07-25 20:57 1.7K 
[ ]latstone__t7_latstone.vmin1out2021-07-25 21:02 34K 
[ ]latstone__t7_latstone.vout2021-07-25 16:13 30K 
[ ]latstone__t8_latstone2021-07-18 10:05 17K 
[ ]latstone__t8_latstone.depv12021-07-25 20:57 219  
[ ]latstone__t8_latstone.depvmin12021-07-25 21:03 219  
[ ]latstone__t8_latstone.vmin12021-07-25 20:57 3.5K 
[ ]latstone__t8_latstone.vmin1out2021-07-25 20:58 66K 
[ ]latstone__t8_latstone.vout2021-07-25 18:38 58K 
[ ]latstone__t9_latstone2021-07-18 10:05 15K 
[ ]latstone__t9_latstone.depv12021-07-25 20:57 116  
[ ]latstone__t9_latstone.depvmin12021-07-25 21:03 116  
[ ]latstone__t9_latstone.vmin12021-07-25 20:57 1.9K 
[ ]latstone__t9_latstone.vmin1out2021-07-25 21:00 18K 
[ ]latstone__t9_latstone.vout2021-07-25 15:15 13K 
[ ]latstone__t10_latstone2021-07-18 10:06 16K 
[ ]latstone__t10_latstone.vout2021-07-25 18:49 7.3K 
[ ]latstone__t11_latstone2021-07-18 10:06 18K 
[ ]latstone__t11_latstone.depv12021-07-25 20:57 172  
[ ]latstone__t11_latstone.depvmin12021-07-25 21:03 172  
[ ]latstone__t11_latstone.vmin12021-07-25 20:57 2.4K 
[ ]latstone__t11_latstone.vmin1out2021-07-25 20:59 32K 
[ ]latstone__t11_latstone.vout2021-07-25 18:13 31K 
[ ]latstone__t12_latstone2021-07-18 10:06 20K 
[ ]latstone__t12_latstone.vout2021-07-25 19:16 4.1K 
[ ]latstone__t13_latstone2021-07-18 10:07 21K 
[ ]latstone__t13_latstone.depv12021-07-25 20:57 163  
[ ]latstone__t13_latstone.depvmin12021-07-25 21:03 163  
[ ]latstone__t13_latstone.vmin12021-07-25 20:57 2.1K 
[ ]latstone__t13_latstone.vmin1out2021-07-25 20:59 19K 
[ ]latstone__t13_latstone.vout2021-07-25 16:40 27K 
[ ]latstone__t14_latstone2021-07-18 10:07 20K 
[ ]latstone__t14_latstone.depv12021-07-25 20:57 66  
[ ]latstone__t14_latstone.depvmin12021-07-25 21:03 66  
[ ]latstone__t14_latstone.vmin12021-07-25 20:57 1.2K 
[ ]latstone__t14_latstone.vmin1out2021-07-25 21:02 15K 
[ ]latstone__t14_latstone.vout2021-07-25 18:03 16K 
[ ]latstone__t15_latstone2021-07-18 10:16 19K 
[ ]latstone__t15_latstone.depv12021-07-25 20:57 110  
[ ]latstone__t15_latstone.depvmin12021-07-25 21:03 110  
[ ]latstone__t15_latstone.vmin12021-07-25 20:57 1.5K 
[ ]latstone__t15_latstone.vmin1out2021-07-25 21:01 45K 
[ ]latstone__t15_latstone.vout2021-07-25 20:46 28K 
[ ]latstone__t16_latstone2021-07-18 10:07 19K 
[ ]latstone__t16_latstone.depv12021-07-25 20:57 99  
[ ]latstone__t16_latstone.depvmin12021-07-25 21:03 99  
[ ]latstone__t16_latstone.vmin12021-07-25 20:57 1.3K 
[ ]latstone__t16_latstone.vmin1out2021-07-25 21:01 24K 
[ ]latstone__t16_latstone.vout2021-07-25 17:40 24K 
[ ]latstone__t17_latstone2021-07-18 10:08 22K 
[ ]latstone__t17_latstone.vout2021-07-25 16:02 7.4K 
[ ]latstone__t18_latstone2021-07-18 10:08 18K 
[ ]latstone__t18_latstone.depv12021-07-25 20:57 132  
[ ]latstone__t18_latstone.depvmin12021-07-25 21:03 132  
[ ]latstone__t18_latstone.vmin12021-07-25 20:57 1.8K 
[ ]latstone__t18_latstone.vmin1out2021-07-25 21:02 23K 
[ ]latstone__t18_latstone.vout2021-07-25 19:06 36K 
[ ]latstone__t19_latstone2021-07-18 10:08 22K 
[ ]latstone__t19_latstone.vout2021-07-25 16:16 4.1K 
[ ]latstone__t20_latstone2021-07-18 10:09 28K 
[ ]latstone__t20_latstone.vout2021-07-25 15:53 7.4K 
[ ]latstone__t21_latstone2021-07-18 10:09 21K 
[ ]latstone__t21_latstone.depv12021-07-25 20:57 169  
[ ]latstone__t21_latstone.depvmin12021-07-25 21:03 169  
[ ]latstone__t21_latstone.vmin12021-07-25 20:57 1.9K 
[ ]latstone__t21_latstone.vmin1out2021-07-25 21:00 27K 
[ ]latstone__t21_latstone.vout2021-07-25 15:33 27K 
[ ]latstone__t22_latstone2021-07-18 10:09 24K 
[ ]latstone__t22_latstone.depv12021-07-25 20:57 154  
[ ]latstone__t22_latstone.depvmin12021-07-25 21:03 141  
[ ]latstone__t22_latstone.vmin12021-07-25 20:57 2.6K 
[ ]latstone__t22_latstone.vmin1out2021-07-25 21:01 31K 
[ ]latstone__t22_latstone.vout2021-07-25 20:18 33K 
[ ]latstone__t23_latstone2021-07-18 10:10 21K 
[ ]latstone__t23_latstone.depv12021-07-25 20:57 141  
[ ]latstone__t23_latstone.depvmin12021-07-25 21:03 141  
[ ]latstone__t23_latstone.vmin12021-07-25 20:57 1.5K 
[ ]latstone__t23_latstone.vmin1out2021-07-25 20:58 13K 
[ ]latstone__t23_latstone.vout2021-07-25 15:10 20K 
[ ]latstone__t24_latstone2021-07-18 10:10 20K 
[ ]latstone__t24_latstone.depv12021-07-25 20:57 98  
[ ]latstone__t24_latstone.depvmin12021-07-25 21:03 98  
[ ]latstone__t24_latstone.vmin12021-07-25 20:57 1.2K 
[ ]latstone__t24_latstone.vmin1out2021-07-25 21:02 13K 
[ ]latstone__t24_latstone.vout2021-07-25 18:09 17K 
[ ]latstone__t25_latstone2021-07-18 10:10 29K 
[ ]latstone__t25_latstone.vout2021-07-25 17:02 7.9K 
[ ]latstone__t26_latstone2021-07-18 10:11 24K 
[ ]latstone__t26_latstone.vout2021-07-25 18:25 3.7K 
[ ]latstone__t27_latstone2021-07-18 10:11 35K 
[ ]latstone__t27_latstone.vout2021-07-25 16:25 3.7K 
[ ]latstone__t28_latstone2021-07-18 10:11 47K 
[ ]latstone__t28_latstone.vout2021-07-25 18:04 4.1K 
[ ]latstone__t29_latstone2021-07-18 10:12 35K 
[ ]latstone__t29_latstone.vout2021-07-25 16:38 4.1K 
[ ]latstone__t30_latstone2021-07-18 10:12 30K 
[ ]latstone__t30_latstone.vout2021-07-25 17:29 4.1K 
[ ]latstone__t31_latstone2021-07-18 10:13 31K 
[ ]latstone__t31_latstone.depv12021-07-25 20:57 149  
[ ]latstone__t31_latstone.depvmin12021-07-25 21:03 149  
[ ]latstone__t31_latstone.vmin12021-07-25 20:57 3.6K 
[ ]latstone__t31_latstone.vmin1out2021-07-25 20:58 41K 
[ ]latstone__t31_latstone.vout2021-07-25 15:12 41K 
[ ]latstone__t32_latstone2021-07-18 10:13 34K 
[ ]latstone__t32_latstone.vout2021-07-25 15:32 4.1K 
[ ]latstone__t33_latstone2021-07-18 10:02 30K 
[ ]latstone__t33_latstone.depv12021-07-25 20:57 133  
[ ]latstone__t33_latstone.depvmin12021-07-25 21:03 133  
[ ]latstone__t33_latstone.vmin12021-07-25 20:57 3.1K 
[ ]latstone__t33_latstone.vmin1out2021-07-25 20:59 34K 
[ ]latstone__t33_latstone.vout2021-07-25 17:37 31K 
[ ]latstone__t34_latstone2021-07-18 10:14 37K 
[ ]latstone__t34_latstone.depv12021-07-25 20:57 221  
[ ]latstone__t34_latstone.depvmin12021-07-25 21:03 182  
[ ]latstone__t34_latstone.vmin12021-07-25 20:57 3.9K 
[ ]latstone__t34_latstone.vmin1out2021-07-25 20:59 31K 
[ ]latstone__t34_latstone.vout2021-07-25 15:36 99K 
[ ]latstone__t35_latstone2021-07-18 10:14 37K 
[ ]latstone__t35_latstone.depv12021-07-25 20:57 200  
[ ]latstone__t35_latstone.depvmin12021-07-25 21:03 200  
[ ]latstone__t35_latstone.vmin12021-07-25 20:57 1.9K 
[ ]latstone__t35_latstone.vmin1out2021-07-25 21:01 27K 
[ ]latstone__t35_latstone.vout2021-07-25 19:18 27K 
[ ]latstone__t36_latstone2021-07-18 10:15 37K 
[ ]latstone__t36_latstone.depv12021-07-25 20:57 200  
[ ]latstone__t36_latstone.depvmin12021-07-25 21:03 200  
[ ]latstone__t36_latstone.vmin12021-07-25 20:57 1.9K 
[ ]latstone__t36_latstone.vmin1out2021-07-25 21:02 27K 
[ ]latstone__t36_latstone.vout2021-07-25 18:56 27K 
[ ]latstone__t37_latstone2021-07-18 10:15 38K 
[ ]latstone__t37_latstone.depv12021-07-25 20:57 322  
[ ]latstone__t37_latstone.depvmin12021-07-25 21:03 313  
[ ]latstone__t37_latstone.vmin12021-07-25 20:57 4.7K 
[ ]latstone__t37_latstone.vmin1out2021-07-25 21:00 59K 
[ ]latstone__t37_latstone.vout2021-07-25 20:43 52K 
[ ]latstone__t38_latstone2021-07-18 10:15 38K 
[ ]latstone__t38_latstone.depv12021-07-25 20:57 322  
[ ]latstone__t38_latstone.depvmin12021-07-25 21:03 313  
[ ]latstone__t38_latstone.vmin12021-07-25 20:57 4.7K 
[ ]latstone__t38_latstone.vmin1out2021-07-25 20:59 59K 
[ ]latstone__t38_latstone.vout2021-07-25 20:33 52K 
[ ]latstone__t39_latstone2021-07-18 10:16 46K 
[ ]latstone__t39_latstone.vout2021-07-25 17:51 6.8K 
[ ]latstone__t40_latstone2021-07-18 10:17 41K 
[ ]latstone__t40_latstone.vout2021-07-25 14:50 7.9K 
[ ]latstone__t41_latstone2021-07-18 10:17 42K 
[ ]latstone__t41_latstone.vout2021-07-25 19:40 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80