Index of /mecosim/doc/case_studies/SubsetSumBIC-TA/Verification/Prop #1

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Output.out31-May-2013 15:31 1.3K
[   ]Output_trail.out31-May-2013 15:31 171
[   ]SubsetSum.pml31-May-2013 15:31 20K
[   ]_spin_nvr.tmp31-May-2013 15:31 461
[   ]pan.b31-May-2013 15:31 11K
[   ]pan.m31-May-2013 15:31 145K
[   ]pan.t31-May-2013 15:31 44K
[   ]play.bat31-May-2013 15:31 93
[   ]runAssertion.bat31-May-2013 15:31 63
[   ]runNext.bat31-May-2013 15:31 266
[   ]runSafety.bat31-May-2013 15:31 260
[   ]runSpin.bat31-May-2013 15:31 171

Apache/2.2.11 (Ubuntu) DAV/2 SVN/1.5.4 PHP/5.2.6-3ubuntu4.6 with Suhosin-Patch mod_ssl/2.2.11 OpenSSL/0.9.8g Server at www.p-lingua.org Port 80