Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/scpinvar

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scpinvar__l6_scpinvar2013-09-04 12:58 143K 
[   ]scpinvar__l7_scpinvar2013-09-04 12:58 441K 
[   ]scpinvar__l8_scpinvar2013-09-04 12:58 445K 
[   ]scpinvar__l12_scpinvar2013-09-04 12:58 153K 
[   ]scpinvar__l13_scpinvar2013-09-04 12:58 104K 
[   ]scpinvar__l14_scpinvar2013-09-04 12:58 121K 
[   ]scpinvar__l18_scpinvar2013-09-04 12:58 78K 
[   ]scpinvar__l22_scpinvar2013-09-04 12:58 70K 
[   ]scpinvar__l27_scpinvar2013-09-04 12:58 73K 
[   ]scpinvar__l31_scpinvar2013-09-04 12:58 73K 
[   ]scpinvar__l32_scpinvar2013-09-04 12:58 98K 
[   ]scpinvar__l34_scpinvar2013-09-04 12:58 150K 
[   ]scpinvar__l35_scpinvar2013-09-04 12:58 505K 
[   ]scpinvar__l36_scpinvar2013-09-04 12:58 348K 
[   ]scpinvar__t1_scpinvar2013-09-04 12:58 75K 
[   ]scpinvar__t2_scpinvar2013-09-04 12:58 64K 
[   ]scpinvar__t3_scpinvar2013-09-04 12:58 73K 
[   ]scpinvar__t4_scpinvar2013-09-04 12:58 154K 
[   ]scpinvar__t5_scpinvar2013-09-04 12:58 110K 
[   ]scpinvar__t6_scpinvar2013-09-04 12:58 146K 
[   ]scpinvar__t7_scpinvar2013-09-04 12:58 102K 
[   ]scpinvar__t8_scpinvar2013-09-04 12:58 69K 
[   ]scpinvar__t9_scpinvar2013-09-04 12:58 287K 
[   ]scpinvar__t10_scpinvar2013-09-04 12:58 79K 
[   ]scpinvar__t11_scpinvar2013-09-04 12:58 124K 
[   ]scpinvar__t12_scpinvar2013-09-04 12:58 204K 
[   ]scpinvar__t13_scpinvar2013-09-04 12:58 186K 
[   ]scpinvar__t14_scpinvar2013-09-04 12:58 90K 
[   ]scpinvar__t15_scpinvar2013-09-04 12:58 90K 
[   ]scpinvar__t16_scpinvar2013-09-04 12:58 178K 
[   ]scpinvar__t17_scpinvar2013-09-04 12:58 404K 
[   ]scpinvar__t18_scpinvar2013-09-04 12:58 96K 
[   ]scpinvar__t19_scpinvar2013-09-04 12:58 108K 

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