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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpisort__l12_scpisort2016-03-08 13:09 73K 
[ ]scpisort__l13_scpisort2016-03-08 13:09 76K 
[ ]scpisort__l14_scpisort2016-03-08 13:09 94K 
[ ]scpisort__l19_scpisort2016-03-08 13:09 156K 
[ ]scpisort__l20_scpisort2016-03-08 13:09 169K 
[ ]scpisort__l21_scpisort2016-03-08 13:09 566K 
[ ]scpisort__l22_scpisort2016-03-08 13:09 1.0M 
[ ]scpisort__l23_scpisort2016-03-08 13:09 271K 
[ ]scpisort__l24_scpisort2016-03-08 13:09 278K 
[ ]scpisort__l25_scpisort2016-03-08 13:09 219K 
[ ]scpisort__l26_scpisort2016-03-08 13:09 311K 
[ ]scpisort__l27_scpisort2016-03-08 13:09 305K 
[ ]scpisort__l28_scpisort2016-03-08 13:09 307K 
[ ]scpisort__l31_scpisort2016-03-08 13:09 273K 
[ ]scpisort__l33_scpisort2016-03-08 13:09 859K 
[ ]scpisort__t1_scpisort2016-03-08 13:09 66K 
[ ]scpisort__t2_scpisort2016-03-08 13:09 65K 
[ ]scpisort__t3_scpisort2016-03-08 13:09 37K 
[ ]scpisort__t4_scpisort2016-03-08 13:09 80K 
[ ]scpisort__t5_scpisort2016-03-08 13:09 85K 
[ ]scpisort__t6_scpisort2016-03-08 13:09 82K 
[ ]scpisort__t7_scpisort2016-03-08 13:09 82K 
[ ]scpisort__t8_scpisort2016-03-08 13:09 79K 
[ ]scpisort__t9_scpisort2016-03-08 13:09 79K 
[ ]scpisort__t10_scpisort2016-03-08 13:09 85K 
[ ]scpisort__t11_scpisort2016-03-08 13:09 103K 
[ ]scpisort__t12_scpisort2016-03-08 13:09 103K 
[ ]scpisort__t13_scpisort2016-03-08 13:09 70K 
[ ]scpisort__t14_scpisort2016-03-08 13:09 212K 
[ ]scpisort__t15_scpisort2016-03-08 13:09 271K 
[ ]scpisort__t16_scpisort2016-03-08 13:09 859K 
[ ]scpisort__t17_scpisort2016-03-08 13:09 674K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80