---------- Forwarded message ----------
From: brayton <bra...@eecs.berkeley.edu>
Date: Tue, Jul 24, 2012 at 7:34 AM
Subject: Re: new Beem aiger models
, Armin Biere <bi...@jku.at
I ran most of the beem examples through super_prove. Attached is an excel spreadsheet of the results. The examples I did not try were some of the 'b' examples since after a while I found that, almost all the time, when the 'b' version could be solved the 'f' version could be solved as well, but not vice-verse. Time-out was set to 1000 sec.
I thought these results might be useful to others.