Question

The portal (for VRS) does not accept even answers provided by tools. I have no idea what to do.

Comments

I updated my answer to add some hints on specific tasks. Please check that, and create a specific question on your specific problem.

Answer 1

Hello and thank you for question and your interest in VRS.

Here are some ideas that you could consider:

• Differentiate whether it is the syntax or the semantics that the exercise system does not accept.
• Figure out whether you entered the right input to the tool.
• Do the task by hand and see whether the tool gets a different answer.
• Post a detailed question on q2a where you describe why you think your answer is correct and what the exercise system thought about it.

Added later:

Additional things you could check:

• Task 1: You have five nodes (1, 2, 3, 4, 5) and three colors (a, b, c). Please do make sure that you use them all. So you should write a formula using a1, a2, a3, a4, a5, b1, b2, b3, b4, b5, c1, c2, c3, c4, c5.
• Task 2: Did you submit the right task in the right field? There is a formula on a, b c … and one on x, y, z …. Make sure to put the right formula in the right field.
• Task 3: Also here, make sure you fill your answer to the right form before submitting it.
• Task 4: Note that you are asked to submit ONE satisfying assignment in the form a&!b (for a true, b false). Do not attempt to write multiple assignments in one formula.

Comments

Thank you for your response, my problem with task 2 and 3 is solved but about task 1 I have no idea how to use the tool. My own answer is not correct apparently so I need to check it.
What would be the input and which computaton method should I choose?

---

You will probably not find a tool that generates you a formula for your graph. So the only thing you can do is phrasing one formula that makes statements on every single node and every single edge. So make sure that your formula does include all variables from a1, b1, c1 to a5, b5, c5. And also make sure that you add all the rules. Each node must have precisely one color. Two connected nodes may not have the same color.

---

I'm highly confused. Where is your coloring for node 5?

---

sorry, this was not my full answer. And the problem was Syntax error and now it´s fixed. Thank you

---

Glad I could help. :)

Answer 2

Could you be more specific, i.e., which input has not been accepted for which question? At least, the server is running, and other students got some points, so it seems to be a specific problem.