Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/prvect_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_2__l15_prvect_22016-03-08 13:08 49K 
[ ]prvect_2__l16_prvect_22016-03-08 13:08 49K 
[ ]prvect_2__l17_prvect_22016-03-08 13:08 69K 
[ ]prvect_2__l18_prvect_22016-03-08 13:08 67K 
[ ]prvect_2__l19_prvect_22016-03-08 13:08 86K 
[ ]prvect_2__l21_prvect_22016-03-08 13:08 42K 
[ ]prvect_2__l29_prvect_22017-01-05 20:54 134K 
[ ]prvect_2__l31_prvect_22016-03-08 13:08 76K 
[ ]prvect_2__t1_prvect_22016-03-08 13:08 52K 
[ ]prvect_2__t2_prvect_22017-01-05 20:54 64K 
[ ]prvect_2__t3_prvect_22017-01-05 20:54 60K 
[ ]prvect_2__t4_prvect_22016-03-08 13:08 47K 
[ ]prvect_2__t5_prvect_22016-03-08 13:08 53K 
[ ]prvect_2__t6_prvect_22016-03-08 13:08 67K 
[ ]prvect_2__t7_prvect_22017-01-05 20:54 75K 
[ ]prvect_2__t8_prvect_22017-01-05 20:54 114K 
[ ]prvect_2__t9_prvect_22017-01-05 20:54 74K 
[ ]prvect_2__t10_prvect_22017-01-05 20:54 94K 
[ ]prvect_2__t11_prvect_22016-03-08 13:08 90K 
[ ]prvect_2__t12_prvect_22016-03-08 13:08 85K 
[ ]prvect_2__t13_prvect_22017-01-05 20:54 135K 
[ ]prvect_2__t14_prvect_22016-03-08 13:08 87K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80