expected performance for part 2 of hw2

10 views

Skip to first unread message

Emina Torlak

unread,

Sep 10, 2012, 5:50:43 PM9/10/12

to cs294-s...@googlegroups.com

Hi all,

Several of you have asked what kind of performance to expect for Part 2 of HW2. To give you some idea, Z3 takes ~170 seconds on our encoding of xpose2, running on an ordinary laptop. So, your encoding for Part 2 probably won't be as fast as the encoding for Part 1, but the solver should be able to produce a model in a few minutes.