Index of /CS/Verification/Projects/CUSP/IJCAI16/experiments

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]ijcai16_k2_n25/ 2016-08-28 23:17 -  
[DIR]ijcai16_k2_n50/ 2016-08-28 23:18 -  
[DIR]ijcai16_k2_n100/ 2016-08-30 16:04 -  
[DIR]ijcai16_k2_n150/ 2016-08-30 16:05 -  
[DIR]ijcai16_k3_n25/ 2016-08-28 23:24 -  
[DIR]ijcai16_k3_n50/ 2016-08-28 23:24 -  
[DIR]ijcai16_k3_n100/ 2016-08-30 16:06 -  
[DIR]ijcai16_k4_n25/ 2016-08-28 23:25 -  
[DIR]ijcai16_k4_n50/ 2016-08-28 23:26 -  
[DIR]ijcai16_k5_n25/ 2016-08-28 23:26 -  
[DIR]ijcai16_k5_n50/ 2016-08-28 23:27 -