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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]absvalue__t1_absvalue2013-09-04 12:16 10K 
[   ]absvalue__t2_absvalue2013-09-04 12:16 10K 
[   ]absvalue__t3_absvalue2013-09-04 12:16 15K 
[   ]absvalue__t4_absvalue2013-09-04 12:16 18K 
[   ]absvalue__t5_absvalue2013-09-04 12:16 11K 
[   ]absvalue__t6_absvalue2013-09-04 12:16 17K 
[   ]absvalue__t7_absvalue2013-09-04 12:16 8.5K 
[   ]absvalue__t8_absvalue2013-09-04 12:16 16K 
[   ]absvalue__t9_absvalue2013-09-04 12:16 3.5K 
[   ]absvalue__t10_absvalue2013-09-04 12:16 12K 
[   ]absvalue__t11_absvalue2013-09-04 12:16 22K 
[   ]absvalue__t12_absvalue2013-09-04 12:16 22K 
[   ]absvalue__t13_absvalue2013-09-04 12:16 36K 
[   ]absvalue__t14_absvalue2013-09-04 12:16 11K 
[   ]absvalue__t15_absvalue2013-09-04 12:16 11K 
[   ]absvalue__t16_absvalue2013-09-04 12:16 11K 
[   ]absvalue__t17_absvalue2013-09-04 12:16 27K 
[   ]absvalue__t18_absvalue2013-09-04 12:16 19K 
[   ]absvalue__t20_absvalue2013-09-04 12:16 28K 
[   ]absvalue__t21_absvalue2013-09-04 12:16 15K 
[   ]absvalue__t22_absvalue2013-09-04 12:16 17K 
[   ]absvalue__t23_absvalue2013-09-04 12:16 54K 
[   ]absvalue__t24_absvalue2013-09-04 12:16 14K 
[   ]absvalue__t25_absvalue2013-09-04 12:16 20K 
[   ]absvalue__t26_absvalue2013-09-04 12:16 22K 
[   ]absvalue__t27_absvalue2013-09-04 12:16 15K 
[   ]absvalue__t28_absvalue2013-09-04 12:16 17K 
[   ]absvalue__t29_absvalue2013-09-04 12:16 9.5K 
[   ]absvalue__t30_absvalue2013-09-04 12:16 11K 

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