UNSAT
SAT (35)
UNSAT
UNSAT
UNSAT
SAT (143)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (51)
SAT (4031)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
SAT (76)
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
SAT (45)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (29)
SAT (543)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (40)
UNSAT
UNSAT
SAT (40)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
SAT (239)
SAT (32)
SAT (35)
UNSAT
generator produced more than 8 rounds
SAT (25)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (595)
SAT (35)
UNSAT
UNSAT
UNSAT
SAT (59)
UNSAT
SAT (413)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (26)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (217)
UNSAT
UNSAT
UNSAT
SAT (424)
UNSAT
SAT (366)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (56)
UNSAT
UNSAT
UNSAT
SAT (409)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (35)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
SAT (29)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (31)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (61)
UNSAT
SAT (21)
UNSAT
SAT (69)
UNSAT
SAT (173)
UNSAT
UNSAT
UNSAT
SAT (29)
UNSAT
UNSAT
SAT (185)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (55)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (23)
UNSAT
SAT (27)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (29)
UNSAT
UNSAT
SAT (59)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
generator produced more than 8 rounds
SAT (35)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (208)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (45)
UNSAT
SAT (1154)
UNSAT
UNSAT
SAT (328)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
SAT (51)
SAT (1389)
UNSAT
SAT (71)
UNSAT
UNSAT
SAT (687)
UNSAT
UNSAT
SAT (35)
UNSAT
UNSAT
UNSAT
SAT (61)
UNSAT
UNSAT
SAT (227)
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (46)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (2027)
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
SAT (27)
UNSAT
SAT (107)
UNSAT
UNSAT
UNSAT
SAT (65)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (87)
SAT (75)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (175)
UNSAT
SAT (103)
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
SAT (102)
SAT (262)
UNSAT
UNSAT
SAT (37)
UNSAT
SAT (117)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (46)
UNSAT
SAT (277)
SAT (319)
UNSAT
SAT (33)
UNSAT
UNSAT
SAT (831)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (139)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (49)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (355)
UNSAT
UNSAT
UNSAT
SAT (1239)
UNSAT
SAT (49)
UNSAT
SAT (1207)
generator produced more than 8 rounds
SAT (395)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (29)
UNSAT
SAT (41)
generator produced more than 8 rounds
SAT (149)
UNSAT
UNSAT
UNSAT
SAT (57)
UNSAT
UNSAT
UNSAT
SAT (509)
UNSAT
generator produced more than 8 rounds
SAT (314)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (53)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (579)
SAT (83)
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
SAT (633)
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (407)
SAT (71)
UNSAT
SAT (19)
UNSAT
UNSAT
SAT (53)
UNSAT
UNSAT
UNSAT
SAT (57)
UNSAT
UNSAT
SAT (43)
UNSAT
UNSAT
UNSAT
SAT (57)
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (77)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (35)
UNSAT
SAT (41)
UNSAT
UNSAT
SAT (61)
UNSAT
SAT (43)
UNSAT
UNSAT
UNSAT
SAT (24)
UNSAT
generator produced more than 8 rounds
SAT (45)
SAT (117)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (406)
SAT (41)
UNSAT
SAT (81)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (138)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (158)
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (65)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
SAT (20)
UNSAT
SAT (32)
SAT (63)
SAT (2730)
SAT (35)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (89)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (1535)
UNSAT
UNSAT
SAT (366)
SAT (235)
generator produced more than 8 rounds
UNSAT
UNSAT
generator produced more than 8 rounds
SAT (23)
UNSAT
SAT (75)
SAT (40)
UNSAT
UNSAT
SAT (81)
UNSAT
UNSAT
SAT (69)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (195)
SAT (39)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (45)
UNSAT
SAT (31)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (25)
SAT (158)
UNSAT
SAT (419)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
SAT (3065)
UNSAT
UNSAT
UNSAT
SAT (23)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (95)
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
SAT (45)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
generator produced more than 8 rounds
UNSAT
UNSAT
UNSAT
UNSAT
SAT (24)
SAT (229)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (65)
UNSAT
UNSAT
SAT (49)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (20)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (229)
SAT (35)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (3005)
UNSAT
UNSAT
UNSAT
SAT (2071)
SAT (49)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (839)
UNSAT
UNSAT
SAT (49)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (353)
SAT (345)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (277)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (41)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (37)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (373)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (41)
SAT (103)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (46)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (15)
UNSAT
UNSAT
SAT (481)
UNSAT
UNSAT
UNSAT
UNSAT
SAT (37)
UNSAT
SAT (53)
SAT (19)
UNSAT
SAT (41)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (28)
UNSAT
SAT (16)
UNSAT
SAT (69)
UNSAT
SAT (37)
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
UNSAT
SAT (289)
SAT (25)
UNSAT
UNSAT
generator produced more than 8 rounds
SAT (11)
SUCCESS, see test.smt and test.sol