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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan16__t1_jordan162013-09-04 12:48 35K 
[   ]jordan16__t2_jordan162013-09-04 12:48 23K 
[   ]jordan16__t3_jordan162013-09-04 12:48 21K 
[   ]jordan16__t4_jordan162013-09-04 12:48 21K 
[   ]jordan16__t5_jordan162013-09-04 12:48 33K 
[   ]jordan16__t6_jordan162013-09-04 12:48 37K 
[   ]jordan16__t7_jordan162013-09-04 12:48 35K 
[   ]jordan16__t8_jordan162013-09-04 12:48 24K 
[   ]jordan16__t9_jordan162013-09-04 12:48 25K 
[   ]jordan16__t10_jordan162013-09-04 12:48 45K 
[   ]jordan16__t11_jordan162013-09-04 12:48 27K 
[   ]jordan16__t12_jordan162013-09-04 12:48 23K 
[   ]jordan16__t13_jordan162013-09-04 12:48 26K 
[   ]jordan16__t14_jordan162013-09-04 12:48 26K 
[   ]jordan16__t15_jordan162013-09-04 12:48 20K 
[   ]jordan16__t16_jordan162013-09-04 12:48 32K 
[   ]jordan16__t17_jordan162013-09-04 12:48 27K 
[   ]jordan16__t18_jordan162013-09-04 12:48 28K 
[   ]jordan16__t19_jordan162013-09-04 12:48 21K 
[   ]jordan16__t20_jordan162013-09-04 12:48 34K 
[   ]jordan16__t21_jordan162013-09-04 12:48 77K 
[   ]jordan16__t22_jordan162013-09-04 12:48 23K 
[   ]jordan16__t23_jordan162013-09-04 12:48 26K 
[   ]jordan16__t24_jordan162013-09-04 12:48 20K 

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