Re: [VT - Tutor] Useful hints, Bugfix & additional refernce outputs

From: Magdalena Hackenberger <magdalena.hackenberger ***AT***student.tugraz.at>
Date: Tue, 29 Nov 2016 21:19:09 +0100
Subject: Re: [VT - Tutor] Useful hints, Bugfix & additional refernce outputs
Newsgroups: tu-graz.lv.vt
Organization: Technische Universitaet Graz
Message-id: <o1knrt$lr3$1@news.tugraz.at>
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.5.0
References: <o1kmhd$ov0$1@news.tugraz.at> <o1kmlq$p2p$1@news.tugraz.at>
Hi!

The solver is definitely able to solve it but it took me some time, too.

Am 29.11.2016 um 20:58 schrieb David Sandru:
Hello!

Could you please give us/me a hint for task 3 too? I've lost far too
much time on task 3 than i'd like to admit. Is there some trick i have
to look out for, or is there even the possibility, that the solver is
not able to prove this example?

Greetings,