Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/scpisort

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scpisort__l12_scpisort2013-09-04 12:40 46K 
[   ]scpisort__l13_scpisort2013-09-04 12:40 46K 
[   ]scpisort__l14_scpisort2013-09-04 12:40 59K 
[   ]scpisort__l19_scpisort2013-09-04 12:40 92K 
[   ]scpisort__l20_scpisort2013-09-04 12:40 99K 
[   ]scpisort__l21_scpisort2013-09-04 12:40 320K 
[   ]scpisort__l22_scpisort2013-09-04 12:40 540K 
[   ]scpisort__l23_scpisort2013-09-04 12:40 161K 
[   ]scpisort__l24_scpisort2013-09-04 12:40 178K 
[   ]scpisort__l25_scpisort2013-09-04 12:40 128K 
[   ]scpisort__l26_scpisort2013-09-04 12:40 183K 
[   ]scpisort__l27_scpisort2013-09-04 12:40 179K 
[   ]scpisort__l28_scpisort2013-09-04 12:40 181K 
[   ]scpisort__l31_scpisort2013-09-04 12:40 162K 
[   ]scpisort__l33_scpisort2013-09-04 12:40 487K 
[   ]scpisort__t1_scpisort2013-09-04 12:40 41K 
[   ]scpisort__t2_scpisort2013-09-04 12:40 41K 
[   ]scpisort__t3_scpisort2013-09-04 12:40 23K 
[   ]scpisort__t4_scpisort2013-09-04 12:40 50K 
[   ]scpisort__t5_scpisort2013-09-04 12:40 55K 
[   ]scpisort__t6_scpisort2013-09-04 12:40 52K 
[   ]scpisort__t7_scpisort2013-09-04 12:40 53K 
[   ]scpisort__t8_scpisort2013-09-04 12:40 51K 
[   ]scpisort__t9_scpisort2013-09-04 12:40 51K 
[   ]scpisort__t10_scpisort2013-09-04 12:40 55K 
[   ]scpisort__t11_scpisort2013-09-04 12:40 65K 
[   ]scpisort__t12_scpisort2013-09-04 12:40 66K 
[   ]scpisort__t13_scpisort2013-09-04 12:40 44K 
[   ]scpisort__t14_scpisort2013-09-04 12:40 123K 
[   ]scpisort__t15_scpisort2013-09-04 12:40 160K 
[   ]scpisort__t16_scpisort2013-09-04 12:40 488K 
[   ]scpisort__t17_scpisort2013-09-04 12:40 380K 

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