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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polyeq_2__l1_polyeq_22016-03-08 13:08 14K 
[ ]polyeq_2__l2_polyeq_22016-03-08 13:08 15K 
[ ]polyeq_2__l3_polyeq_22016-03-08 13:08 11K 
[ ]polyeq_2__l4_polyeq_22016-03-08 13:08 17K 
[ ]polyeq_2__l5_polyeq_22016-03-08 13:08 18K 
[ ]polyeq_2__t1_polyeq_22016-03-08 13:08 273K 
[ ]polyeq_2__t2_polyeq_22016-03-08 13:08 221K 
[ ]polyeq_2__t3_polyeq_22016-03-08 13:08 729K 
[ ]polyeq_2__t4_polyeq_22016-03-08 13:08 210K 
[ ]polyeq_2__t5_polyeq_22016-03-08 13:08 261K 
[ ]polyeq_2__t6_polyeq_22016-03-08 13:08 306K 
[ ]polyeq_2__t7_polyeq_22016-03-08 13:08 306K 
[ ]polyeq_2__t8_polyeq_22016-03-08 13:08 166K 
[ ]polyeq_2__t9_polyeq_22016-03-08 13:08 1.0M 
[ ]polyeq_2__t10_polyeq_22016-03-08 13:08 169K 
[ ]polyeq_2__t11_polyeq_22016-03-08 13:08 171K 
[ ]polyeq_2__t12_polyeq_22016-03-08 13:08 174K 
[ ]polyeq_2__t13_polyeq_22016-03-08 13:08 250K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80