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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_2__t1_seq_22021-07-18 11:29 26K 
[   ]seq_2__t1_seq_2.depv12021-07-25 20:57 355  
[   ]seq_2__t1_seq_2.depvmin12021-07-25 21:03 253  
[   ]seq_2__t1_seq_2.vmin12021-07-25 20:57 3.4K 
[   ]seq_2__t1_seq_2.vmin1out2021-07-25 21:01 46K 
[   ]seq_2__t1_seq_2.vout2021-07-25 19:10 54K 
[   ]seq_2__t2_seq_22021-07-18 11:29 31K 
[   ]seq_2__t2_seq_2.vout2021-07-25 20:20 7.8K 
[   ]seq_2__t3_seq_22021-07-18 11:30 39K 
[   ]seq_2__t3_seq_2.vout2021-07-25 17:19 7.2K 
[   ]seq_2__t4_seq_22021-07-18 11:30 38K 
[   ]seq_2__t4_seq_2.vout2021-07-25 16:00 2.0K 
[   ]seq_2__t5_seq_22021-07-18 11:31 55K 
[   ]seq_2__t5_seq_2.vout2021-07-25 20:12 4.7K 
[   ]seq_2__t6_seq_22021-07-18 11:31 55K 
[   ]seq_2__t6_seq_2.vout2021-07-25 16:03 4.6K 
[   ]seq_2__t9_seq_22021-07-18 11:29 27K 
[   ]seq_2__t9_seq_2.depv12021-07-25 20:57 174  
[   ]seq_2__t9_seq_2.depvmin12021-07-25 21:03 174  
[   ]seq_2__t9_seq_2.vmin12021-07-25 20:57 1.8K 
[   ]seq_2__t9_seq_2.vmin1out2021-07-25 20:59 14K 
[   ]seq_2__t9_seq_2.vout2021-07-25 17:10 13K 
[   ]seq_2__t10_seq_22021-07-18 11:31 38K 
[   ]seq_2__t10_seq_2.vout2021-07-25 15:46 2.0K 
[   ]seq_2__t11_seq_22021-07-18 11:32 37K 
[   ]seq_2__t11_seq_2.depv12021-07-25 20:57 176  
[   ]seq_2__t11_seq_2.depvmin12021-07-25 21:03 176  
[   ]seq_2__t11_seq_2.vmin12021-07-25 20:57 2.7K 
[   ]seq_2__t11_seq_2.vmin1out2021-07-25 21:02 26K 
[   ]seq_2__t11_seq_2.vout2021-07-25 18:44 30K 
[   ]seq_2__t12_seq_22021-07-18 11:32 47K 
[   ]seq_2__t12_seq_2.vout2021-07-25 15:20 1.1K 
[   ]seq_2__t13_seq_22021-07-18 11:32 38K 
[   ]seq_2__t13_seq_2.vout2021-07-25 15:50 2.0K 
[   ]seq_2__t14_seq_22021-07-18 11:33 57K 
[   ]seq_2__t14_seq_2.vout2021-07-25 18:50 4.7K 
[   ]seq_2__t15_seq_22021-07-18 11:33 58K 
[   ]seq_2__t15_seq_2.vout2021-07-25 15:11 4.7K 
[   ]seq_2__t16_seq_22021-07-18 11:34 88K 
[   ]seq_2__t16_seq_2.vout2021-07-25 15:08 7.2K 
[   ]seq_2__t17_seq_22021-07-18 11:34 38K 
[   ]seq_2__t17_seq_2.vout2021-07-25 18:44 7.2K 
[   ]seq_2__t18_seq_22021-07-18 11:34 56K 
[   ]seq_2__t18_seq_2.vout2021-07-25 18:14 4.7K 
[   ]seq_2__t19_seq_22021-07-18 11:35 48K 
[   ]seq_2__t19_seq_2.vout2021-07-25 19:11 6.8K 
[   ]seq_2__t20_seq_22021-07-18 11:35 49K 
[   ]seq_2__t20_seq_2.vout2021-07-25 17:25 6.7K 
[   ]seq_2__t23_seq_22021-07-18 11:36 32K 
[   ]seq_2__t23_seq_2.depv12021-07-25 20:57 339  
[   ]seq_2__t23_seq_2.depvmin12021-07-25 21:03 312  
[   ]seq_2__t23_seq_2.vmin12021-07-25 20:57 4.1K 
[   ]seq_2__t23_seq_2.vmin1out2021-07-25 20:59 39K 
[   ]seq_2__t23_seq_2.vout2021-07-25 16:18 71K 
[   ]seq_2__t27_seq_22021-07-18 11:36 44K 
[   ]seq_2__t27_seq_2.vout2021-07-25 20:40 7.3K 
[   ]seq_2__t28_seq_22021-07-18 11:36 42K 
[   ]seq_2__t28_seq_2.vout2021-07-25 17:10 1.1K 
[   ]seq_2__t29_seq_22021-07-18 11:37 40K 
[   ]seq_2__t29_seq_2.vout2021-07-25 15:49 1.1K 
[   ]seq_2__t30_seq_22021-07-18 11:37 46K 
[   ]seq_2__t30_seq_2.vout2021-07-25 17:30 1.1K 
[   ]seq_2__t31_seq_22021-07-18 11:37 57K 
[   ]seq_2__t31_seq_2.vout2021-07-25 17:27 1.0K 
[   ]seq_2__t32_seq_22021-07-18 11:38 42K 
[   ]seq_2__t32_seq_2.vout2021-07-25 17:35 1.1K 
[   ]seq_2__t33_seq_22021-07-18 11:38 40K 
[   ]seq_2__t33_seq_2.vout2021-07-25 18:48 2.0K 
[   ]seq_2__t34_seq_22021-07-18 11:39 49K 
[   ]seq_2__t34_seq_2.vout2021-07-25 17:37 2.0K 
[   ]seq_2__t35_seq_22021-07-18 11:39 43K 
[   ]seq_2__t35_seq_2.vout2021-07-25 14:50 2.0K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80