author | boehmes |
Tue, 20 Oct 2009 10:11:30 +0200 | |
changeset 33006 | 39f73a59e855 |
permissions | -rw-r--r-- |
boehmes@33006 | 1 |
(benchmark Isabelle |
boehmes@33006 | 2 |
:assumption (not (= (bvsub bv11[8] bv27[8]) (bvneg bv16[8]))) |
boehmes@33006 | 3 |
:formula true |
boehmes@33006 | 4 |
) |