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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan9__l1_jordan92013-09-04 12:32 25K 
[   ]jordan9__l8_jordan92013-09-04 12:32 35K 
[   ]jordan9__t1_jordan92013-09-04 12:32 17K 
[   ]jordan9__t2_jordan92013-09-04 12:32 19K 
[   ]jordan9__t3_jordan92013-09-04 12:32 41K 
[   ]jordan9__t4_jordan92013-09-04 12:32 34K 
[   ]jordan9__t5_jordan92013-09-04 12:32 37K 
[   ]jordan9__t6_jordan92013-09-04 12:32 31K 
[   ]jordan9__t7_jordan92013-09-04 12:32 41K 
[   ]jordan9__t8_jordan92013-09-04 12:32 35K 
[   ]jordan9__t9_jordan92013-09-04 12:32 54K 
[   ]jordan9__t10_jordan92013-09-04 12:32 54K 
[   ]jordan9__t11_jordan92013-09-04 12:32 54K 
[   ]jordan9__t12_jordan92013-09-04 12:32 39K 
[   ]jordan9__t13_jordan92013-09-04 12:32 39K 
[   ]jordan9__t14_jordan92013-09-04 12:32 84K 
[   ]jordan9__t15_jordan92013-09-04 12:32 55K 
[   ]jordan9__t16_jordan92013-09-04 12:32 32K 
[   ]jordan9__t17_jordan92013-09-04 12:32 37K 
[   ]jordan9__t18_jordan92013-09-04 12:32 35K 
[   ]jordan9__t19_jordan92013-09-04 12:32 46K 
[   ]jordan9__t20_jordan92013-09-04 12:32 36K 
[   ]jordan9__t21_jordan92013-09-04 12:32 40K 
[   ]jordan9__t22_jordan92013-09-04 12:32 83K 
[   ]jordan9__t23_jordan92013-09-04 12:32 37K 
[   ]jordan9__t24_jordan92013-09-04 12:32 30K 
[   ]jordan9__t25_jordan92013-09-04 12:32 30K 
[   ]jordan9__t26_jordan92013-09-04 12:32 37K 
[   ]jordan9__t27_jordan92013-09-04 12:32 44K 
[   ]jordan9__t28_jordan92013-09-04 12:32 163K 
[   ]jordan9__t29_jordan92013-09-04 12:32 162K 
[   ]jordan9__t30_jordan92013-09-04 12:32 185K 
[   ]jordan9__t31_jordan92013-09-04 12:32 252K 
[   ]jordan9__t32_jordan92013-09-04 12:32 57K 

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