diff options
Diffstat (limited to 'examples/euf.log')
-rw-r--r-- | examples/euf.log | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/euf.log b/examples/euf.log new file mode 100644 index 0000000..3bccc6a --- /dev/null +++ b/examples/euf.log @@ -0,0 +1,8 @@ +1:(input (#1:(and #2:(= b a) #3:(= b c) #4:(= c d) #5:(= e c) #6:(= e f) (not #7:(= a f))))) +2:(and (#2) 1 0) +3:(and (#3) 1 1) +4:(and (#5) 1 3) +5:(and (#6) 1 4) +6:(and ((not #7)) 1 5) +7:(eq_transitive ((not #2) (not #3) (not #5) (not #6) #7)) +8:(resolution () 7 2 3 4 5 6) |