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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xtuple_0__l2_xtuple_02013-09-04 12:26 1.3K 
[ ]xtuple_0__l3_xtuple_02013-09-04 12:26 1.2K 
[ ]xtuple_0__l4_xtuple_02013-09-04 12:26 1.2K 
[ ]xtuple_0__t1_xtuple_02013-09-04 12:26 1.8K 
[ ]xtuple_0__t2_xtuple_02013-09-04 12:26 1.7K 
[ ]xtuple_0__t3_xtuple_02013-09-04 12:26 1.8K 
[ ]xtuple_0__t4_xtuple_02013-09-04 12:26 2.7K 
[ ]xtuple_0__t5_xtuple_02013-09-04 12:26 2.4K 
[ ]xtuple_0__t6_xtuple_02013-09-04 12:26 1.8K 
[ ]xtuple_0__t7_xtuple_02013-09-04 12:26 1.7K 
[ ]xtuple_0__t8_xtuple_02013-09-04 12:26 1.7K 
[ ]xtuple_0__t9_xtuple_02013-09-04 12:26 1.7K 
[ ]xtuple_0__t10_xtuple_02013-09-04 12:26 505  
[ ]xtuple_0__t11_xtuple_02013-09-04 12:26 659  
[ ]xtuple_0__t12_xtuple_02013-09-04 12:26 2.1K 
[ ]xtuple_0__t13_xtuple_02013-09-04 12:26 2.1K 
[ ]xtuple_0__t14_xtuple_02013-09-04 12:26 2.3K 
[ ]xtuple_0__t15_xtuple_02013-09-04 12:26 2.2K 
[ ]xtuple_0__t16_xtuple_02013-09-04 12:26 743  
[ ]xtuple_0__t17_xtuple_02013-09-04 12:26 782  
[ ]xtuple_0__t18_xtuple_02013-09-04 12:26 2.6K 
[ ]xtuple_0__t19_xtuple_02013-09-04 12:26 2.7K 
[ ]xtuple_0__t20_xtuple_02013-09-04 12:26 2.8K 
[ ]xtuple_0__t21_xtuple_02013-09-04 12:26 2.7K 
[ ]xtuple_0__t22_xtuple_02013-09-04 12:26 3.5K 
[ ]xtuple_0__t23_xtuple_02013-09-04 12:26 2.9K 
[ ]xtuple_0__t24_xtuple_02013-09-04 12:26 828  
[ ]xtuple_0__t25_xtuple_02013-09-04 12:26 2.2K 
[ ]xtuple_0__t26_xtuple_02013-09-04 12:26 1.2K 
[ ]xtuple_0__t27_xtuple_02013-09-04 12:26 2.9K 
[ ]xtuple_0__t28_xtuple_02013-09-04 12:26 2.3K 
[ ]xtuple_0__t29_xtuple_02013-09-04 12:26 2.2K 
[ ]xtuple_0__t30_xtuple_02013-09-04 12:26 1.2K 
[ ]xtuple_0__t31_xtuple_02013-09-04 12:26 659  
[ ]xtuple_0__t32_xtuple_02013-09-04 12:26 953  
[ ]xtuple_0__t33_xtuple_02013-09-04 12:26 2.9K 
[ ]xtuple_0__t34_xtuple_02013-09-04 12:26 1.3K 
[ ]xtuple_0__t35_xtuple_02013-09-04 12:26 825  
[ ]xtuple_0__t36_xtuple_02013-09-04 12:26 1.0K 
[ ]xtuple_0__t37_xtuple_02013-09-04 12:26 3.0K 
[ ]xtuple_0__t38_xtuple_02013-09-04 12:26 1.3K 
[ ]xtuple_0__t39_xtuple_02013-09-04 12:26 908  
[ ]xtuple_0__t40_xtuple_02013-09-04 12:26 1.0K 
[ ]xtuple_0__t41_xtuple_02013-09-04 12:26 3.5K 
[ ]xtuple_0__t42_xtuple_02013-09-04 12:26 1.4K 
[ ]xtuple_0__t43_xtuple_02013-09-04 12:26 948  
[ ]xtuple_0__t44_xtuple_02013-09-04 12:26 1.1K 
[ ]xtuple_0__t45_xtuple_02013-09-04 12:26 3.6K 
[ ]xtuple_0__t46_xtuple_02013-09-04 12:26 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80