Test (Fact 100 I)

codedot · codedot · commit 4fec9d73f35b · 2017-11-05T14:37:09.000+02:00
diff --git a/README.md b/README.md
@@ -50,6 +50,7 @@ facty6nt        1112/210     80562/2436    2790150/210
 cfact4          3770/704      16114/912      80706/704
 yfact4          4964/769     21152/1105     192158/769
 fibo16nt      24931/3042    134135/5673   5462373/3042
+fact100i      28502/3752   121854/10565            N/A
 cfact5       72944/13480   805218/16206  4702709/13480
 yfact5       76749/13568   821786/16593            N/A
 fact1knt 6215039/1353692            N/A            N/A
diff --git a/samples/fact100i.mlc b/samples/fact100i.mlc
@@ -0,0 +1,2 @@
+Fact 100 I
+# v1: v1
diff --git a/test.sh b/test.sh
@@ -47,6 +47,7 @@ compare facty6nt abstract closed optimal
 compare cfact4   abstract closed optimal
 compare yfact4   abstract closed optimal
 compare fibo16nt abstract closed optimal
+compare fact100i abstract closed OPTIMAL
 compare cfact5   abstract closed optimal
 compare yfact5   abstract closed OPTIMAL
 compare fact1knt abstract CLOSED OPTIMAL
