Skip to content

Commit

Permalink
Add evaluation results for some budget tests (#5628)
Browse files Browse the repository at this point in the history
  • Loading branch information
@zliu41
zliu41 authored Nov 13, 2023
1 parent 3c196e1 commit d12e2f8
Show file tree
Hide file tree
Showing 107 changed files with 695 additions and 1 deletion.
1 change: 1 addition & 0 deletions plutus-benchmark/nofib/test/9.2/clausify-F5-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(constr 0)
1 change: 1 addition & 0 deletions plutus-benchmark/nofib/test/9.2/knights10-4x4-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(constr 0)
33 changes: 33 additions & 0 deletions plutus-benchmark/nofib/test/9.2/queens4-bt-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
(constr
1
(constr
1
(constr 0 (con integer 4) (con integer 3))
(constr
1
(constr 0 (con integer 3) (con integer 1))
(constr
1
(constr 0 (con integer 2) (con integer 4))
(constr 1 (constr 0 (con integer 1) (con integer 2)) (constr 0))
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 4) (con integer 2))
(constr
1
(constr 0 (con integer 3) (con integer 4))
(constr
1
(constr 0 (con integer 2) (con integer 1))
(constr 1 (constr 0 (con integer 1) (con integer 3)) (constr 0))
)
)
)
(constr 0)
)
)
219 changes: 219 additions & 0 deletions plutus-benchmark/nofib/test/9.2/queens5-fc-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,219 @@
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 4))
(constr
1
(constr 0 (con integer 4) (con integer 2))
(constr
1
(constr 0 (con integer 3) (con integer 5))
(constr
1
(constr 0 (con integer 2) (con integer 3))
(constr 1 (constr 0 (con integer 1) (con integer 1)) (constr 0))
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 3))
(constr
1
(constr 0 (con integer 4) (con integer 5))
(constr
1
(constr 0 (con integer 3) (con integer 2))
(constr
1
(constr 0 (con integer 2) (con integer 4))
(constr 1 (constr 0 (con integer 1) (con integer 1)) (constr 0))
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 5))
(constr
1
(constr 0 (con integer 4) (con integer 3))
(constr
1
(constr 0 (con integer 3) (con integer 1))
(constr
1
(constr 0 (con integer 2) (con integer 4))
(constr 1 (constr 0 (con integer 1) (con integer 2)) (constr 0))
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 4))
(constr
1
(constr 0 (con integer 4) (con integer 1))
(constr
1
(constr 0 (con integer 3) (con integer 3))
(constr
1
(constr 0 (con integer 2) (con integer 5))
(constr 1 (constr 0 (con integer 1) (con integer 2)) (constr 0))
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 5))
(constr
1
(constr 0 (con integer 4) (con integer 2))
(constr
1
(constr 0 (con integer 3) (con integer 4))
(constr
1
(constr 0 (con integer 2) (con integer 1))
(constr
1 (constr 0 (con integer 1) (con integer 3)) (constr 0)
)
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 1))
(constr
1
(constr 0 (con integer 4) (con integer 4))
(constr
1
(constr 0 (con integer 3) (con integer 2))
(constr
1
(constr 0 (con integer 2) (con integer 5))
(constr
1 (constr 0 (con integer 1) (con integer 3)) (constr 0)
)
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 2))
(constr
1
(constr 0 (con integer 4) (con integer 5))
(constr
1
(constr 0 (con integer 3) (con integer 3))
(constr
1
(constr 0 (con integer 2) (con integer 1))
(constr
1 (constr 0 (con integer 1) (con integer 4)) (constr 0)
)
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 1))
(constr
1
(constr 0 (con integer 4) (con integer 3))
(constr
1
(constr 0 (con integer 3) (con integer 5))
(constr
1
(constr 0 (con integer 2) (con integer 2))
(constr
1
(constr 0 (con integer 1) (con integer 4))
(constr 0)
)
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 3))
(constr
1
(constr 0 (con integer 4) (con integer 1))
(constr
1
(constr 0 (con integer 3) (con integer 4))
(constr
1
(constr 0 (con integer 2) (con integer 2))
(constr
1
(constr 0 (con integer 1) (con integer 5))
(constr 0)
)
)
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 5) (con integer 2))
(constr
1
(constr 0 (con integer 4) (con integer 4))
(constr
1
(constr 0 (con integer 3) (con integer 1))
(constr
1
(constr 0 (con integer 2) (con integer 3))
(constr
1
(constr 0 (con integer 1) (con integer 5))
(constr 0)
)
)
)
)
)
(constr 0)
)
)
)
)
)
)
)
)
)
)
1 change: 1 addition & 0 deletions plutus-benchmark/nofib/test/9.6/clausify-F5-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(constr 0)
1 change: 1 addition & 0 deletions plutus-benchmark/nofib/test/9.6/knights10-4x4-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(constr 0)
33 changes: 33 additions & 0 deletions plutus-benchmark/nofib/test/9.6/queens4-bt-result.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
(constr
1
(constr
1
(constr 0 (con integer 4) (con integer 3))
(constr
1
(constr 0 (con integer 3) (con integer 1))
(constr
1
(constr 0 (con integer 2) (con integer 4))
(constr 1 (constr 0 (con integer 1) (con integer 2)) (constr 0))
)
)
)
(constr
1
(constr
1
(constr 0 (con integer 4) (con integer 2))
(constr
1
(constr 0 (con integer 3) (con integer 4))
(constr
1
(constr 0 (con integer 2) (con integer 1))
(constr 1 (constr 0 (con integer 1) (con integer 3)) (constr 0))
)
)
)
(constr 0)
)
)
Loading

0 comments on commit d12e2f8

Please sign in to comment.