commiting benchmarks
Slight change in proxdd.pl
Adding experiment 3 and 4 backup history
removing experiments from version control
Added result(). predicated to generated frameworks
Removing unneded files
Removing experiments from version control
adding condor script for frameworks generation
Modified aba_generic model