CORE
main.c

^\*\* Results:$
^\[main.assertion.1\] forall a\[\]: SUCCESS$
^\[main.assertion.2\] assertion a\[.*\] > a\[.*\]: SUCCESS$
^\[main.assertion.3\] assertion a\[.*\] > a\[.*\]: FAILURE$
^\[main.assertion.4\] forall c\[\]: SUCCESS$
^\[main.assertion.5\] assertion c\[.*\] >= c\[.*\]: SUCCESS$

^\*\* 1 of 5 failed (2 iterations)$
^VERIFICATION FAILED$
