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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpinvar__l6_scpinvar2016-03-08 13:09 239K 
[ ]scpinvar__l7_scpinvar2016-03-08 13:09 786K 
[ ]scpinvar__l8_scpinvar2016-03-08 13:09 791K 
[ ]scpinvar__l12_scpinvar2016-03-08 13:09 263K 
[ ]scpinvar__l13_scpinvar2016-03-08 13:09 168K 
[ ]scpinvar__l14_scpinvar2016-03-08 13:09 190K 
[ ]scpinvar__l18_scpinvar2016-03-08 13:09 123K 
[ ]scpinvar__l22_scpinvar2016-03-08 13:09 111K 
[ ]scpinvar__l27_scpinvar2016-03-08 13:09 116K 
[ ]scpinvar__l31_scpinvar2016-03-08 13:09 116K 
[ ]scpinvar__l32_scpinvar2016-03-08 13:09 158K 
[ ]scpinvar__l34_scpinvar2016-03-08 13:09 251K 
[ ]scpinvar__l35_scpinvar2016-03-08 13:09 902K 
[ ]scpinvar__l36_scpinvar2016-03-08 13:09 606K 
[ ]scpinvar__t1_scpinvar2016-03-08 13:09 118K 
[ ]scpinvar__t2_scpinvar2016-03-08 13:09 101K 
[ ]scpinvar__t3_scpinvar2016-03-08 13:09 116K 
[ ]scpinvar__t4_scpinvar2016-03-08 13:09 246K 
[ ]scpinvar__t5_scpinvar2016-03-08 13:09 174K 
[ ]scpinvar__t6_scpinvar2016-03-08 13:09 236K 
[ ]scpinvar__t7_scpinvar2016-03-08 13:09 160K 
[ ]scpinvar__t8_scpinvar2016-03-08 13:09 109K 
[ ]scpinvar__t9_scpinvar2016-03-08 13:09 513K 
[ ]scpinvar__t10_scpinvar2016-03-08 13:09 128K 
[ ]scpinvar__t11_scpinvar2016-03-08 13:09 213K 
[ ]scpinvar__t12_scpinvar2016-03-08 13:09 344K 
[ ]scpinvar__t13_scpinvar2016-03-08 13:09 312K 
[ ]scpinvar__t14_scpinvar2016-03-08 13:09 143K 
[ ]scpinvar__t15_scpinvar2016-03-08 13:09 142K 
[ ]scpinvar__t16_scpinvar2016-03-08 13:09 293K 
[ ]scpinvar__t17_scpinvar2016-03-08 13:09 715K 
[ ]scpinvar__t18_scpinvar2016-03-08 13:09 153K 
[ ]scpinvar__t19_scpinvar2016-03-08 13:09 171K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80