Index of /~mptp/1147/MPTP2/problems_small_consist/ring_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ring_1__l9_ring_12013-09-04 12:25 22K 
[   ]ring_1__l22_ring_12013-09-04 12:25 24K 
[   ]ring_1__t1_ring_12013-09-04 12:24 12K 
[   ]ring_1__t2_ring_12013-09-04 12:24 12K 
[   ]ring_1__t3_ring_12013-09-04 12:24 13K 
[   ]ring_1__t4_ring_12013-09-04 12:24 19K 
[   ]ring_1__t5_ring_12013-09-04 12:24 19K 
[   ]ring_1__t6_ring_12013-09-04 12:24 18K 
[   ]ring_1__t7_ring_12013-09-04 12:24 20K 
[   ]ring_1__t8_ring_12013-09-04 12:24 23K 
[   ]ring_1__t9_ring_12013-09-04 12:24 21K 
[   ]ring_1__t10_ring_12013-09-04 12:24 25K 
[   ]ring_1__t11_ring_12013-09-04 12:24 25K 
[   ]ring_1__t12_ring_12013-09-04 12:24 25K 
[   ]ring_1__t13_ring_12013-09-04 12:24 27K 
[   ]ring_1__t14_ring_12013-09-04 12:24 29K 
[   ]ring_1__t15_ring_12013-09-04 12:24 25K 
[   ]ring_1__t16_ring_12013-09-04 12:24 28K 
[   ]ring_1__t17_ring_12013-09-04 12:24 30K 
[   ]ring_1__t18_ring_12013-09-04 12:25 19K 
[   ]ring_1__t19_ring_12013-09-04 12:25 36K 
[   ]ring_1__t20_ring_12013-09-04 12:25 32K 
[   ]ring_1__t21_ring_12013-09-04 12:25 21K 

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