Skip to content

Commit ea6b299

Browse files
codedotcodedot
committed
Test (FactY 9 I)
1 parent 7f7fdd8 commit ea6b299

3 files changed

Lines changed: 4 additions & 0 deletions

File tree

‎README.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,7 @@ w2eta 37/7 137/16 205/7
4747
222210i 1311135/139 8652059/852063 N/A
4848
2222101 2621862/327818 N/A N/A
4949
facty6nt 1112/210 80562/2436 2790150/210
50+
facty9i 1629/287 3746232/130949 N/A
5051
cfact4 3770/704 16114/912 80706/704
5152
yfact4 4964/769 21152/1105 192158/769
5253
fibo16nt 24931/3042 134135/5673 5462373/3042

‎samples/facty9i.mlc‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
FactY 9 I
2+
# v1: v1

‎test.sh‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,7 @@ compare 4222i abstract closed OPTIMAL
4444
compare 222210i abstract closed OPTIMAL
4545
compare 2222101 abstract CLOSED OPTIMAL
4646
compare facty6nt abstract closed optimal
47+
compare facty9i abstract closed optimal
4748
compare cfact4 abstract closed optimal
4849
compare yfact4 abstract closed optimal
4950
compare fibo16nt abstract closed optimal

0 commit comments

Comments
 (0)