gistfile1.txt

   (define num-asserts (length (asserts)))
   (printf "Number of asserts made ~a~%" num-asserts)
   ; (define old-asserts (asserts))
   ; (clear-asserts!)
   ; (displayln "Printing time for filtering out clauses")
   ; (for ([asrt old-asserts])
   ;  (when (! (sat? (solve (assert (not asrt)))))
   ;    (displayln asrt)))
   ; (define new-asserts
   ;   (time (filter (lambda (a) (sat? (solve (assert (not a)))))
   ;                 old-asserts)))
   ; (printf "Num old asserts: ~a~%Num new asserts: ~a~%" (length old-asserts) (length new-asserts))
   ; (for-each (lambda (a) (assert a)) new-asserts)