search for: flotter

...S/problem.dfg SPASS derived 39592 clauses, backtracked 10752 clauses and kept 23124 clauses. SPASS allocated 3905 KBytes. SPASS spent No Timing on this machine. on the problem. No Timing on this machine. for the input. No Timing on this machine. for the FLOTTER CNF translation. No Timing on this machine. for inferences. No Timing on this machine. for the backtracking. No Timing on this machine. for the reduction. --------------------------SPASS-STOP------------------------------ exit 0 vanilla:...

On Oct 2, 2007, at 2:27 AM, Arnold Schwaighofer wrote: > Hi all, > > I changed the code that checks whether a tail call is really > eligible for optimization so that it performs the check/fix in > SelectionDAGISel.cpp:BuildSelectionDAG() as suggest by Evan. Also > eliminated an error that caused the remaining failing test cases in > the test-suite. > > The

...erived 39592 clauses, backtracked 10752 clauses and kept 23124 > clauses. > SPASS allocated 3905 KBytes. > SPASS spent No Timing on this machine. on the problem. > No Timing on this machine. for the input. > No Timing on this machine. for the FLOTTER CNF > translation. > No Timing on this machine. for inferences. > No Timing on this machine. for the backtracking. > No Timing on this machine. for the reduction. > > --------------------------SPASS-STOP------------------------...