#|

CS 2800 Homework 12 - Fall 2019

This homework is done INDIVIDUALLY!

Other instructions as per homework 02.

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

 * YOU MUST LIST YOUR NAME HERE: THIS HOMEWORK IS DONE INDIVIDUALLY!

Name of student submitting this homework: 




;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

Technical and programming instructions: as per previous homeworks,
but change file names appropriately.
|#

#|
Find invariants using the invariant game at:
	http://invgame.atwalter.com/

You will use the invariant game to find invariants for some of the
programs displayed in that game. For each program, you have to
come up with an invariant I to pass the level.

Example:
12.0. Pass the level:
http://invgame.atwalter.com/game/multiply

answer:
 The invariant is: cnt<=m & res=cnt*n

|#


#|
12.1. Pass the level:
http://invgame.atwalter.com/game/mult-by-1000

; answer

|#


#|
12.2. Pass the level:
http://invgame.atwalter.com/game/mult-of-6

; answer

|#


#|
12.3. Pass the level:
http://invgame.atwalter.com/game/summation

; answer

|#


#|
12.4. Pass the level:
http://invgame.atwalter.com/game/summation2

; answer

|#

#|
12.5. Pass the level:
http://invgame.atwalter.com/game/mult-by-add

; answer

|#

#|
12.6. Pass the level:
http://invgame.atwalter.com/game/square-times-2

; answer

|#

#|
12.7. Pass the level:
http://invgame.atwalter.com/game/square-times-const

; answer

|#

#|
12.8. Pass the level:
http://invgame.atwalter.com/game/cube

; answer

|#

#|
12.9. Pass the level:
http://invgame.atwalter.com/game/cube2

; answer

|#

#|
12.10. Pass the level:
http://invgame.atwalter.com/game/int-square-root

; answer

|#


#|
12.11. Pass the level:
http://invgame.atwalter.com/game/binary-product

; answer

|#




;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;  Feedback (5 points)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
#|
Each we'll take a short survey to monitor homework difficulty and to solicit feedback.

This survey is anonymous. We don't collect names, emails, etc. Each student responds individually.
If you answer all mandatory questions, you get 5 points for this homework set.
You report who among your team answered the survey in your homework answers, and we trust you
that you reported this truthfully.

Please fill out the following form (one response per team member):

https://docs.google.com/forms/d/e/1FAIpQLScCDA2zbrxYOCx1Mgtg0UaJhU5XUCaDeSJ5XSBwaDl1U7vFJQ/viewform?usp=sf_link

|#