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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Output.out31-May-2013 15:31 1.4K
[   ]Output_trail.out31-May-2013 15:31 164
[   ]SubsetSum.pml31-May-2013 15:31 20K
[   ]_spin_nvr.tmp31-May-2013 15:31 474
[   ]pan.b31-May-2013 15:31 12K
[   ]pan.m31-May-2013 15:31 149K
[   ]pan.t31-May-2013 15:31 45K
[   ]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