File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 871, character 26-38:
Warning Quantified term variable `?alloc : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 12886-12899:
Warning Quantified term variable `?res_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 12749-12762:
Warning Quantified term variable `?res_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 13323-13336:
Warning Quantified term variable `?res_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 13186-13199:
Warning Quantified term variable `?res_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1495-1507:
Warning Quantified term variable `?rd_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1508-1526:
Warning Quantified term variable `?ALLOCATED_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1549-1568:
Warning Quantified term variable `?Rd.T.buff_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1591-1622:
Warning Quantified term variable `?RESIDUE.RdClass.svalid_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1658-1679:
Warning Quantified term variable `?Rd.T.closed_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1704-1721:
Warning Quantified term variable `?Rd.T.lo_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1742-1768:
Warning Quantified term variable `?RESIDUE.Rd.istate_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1799-1825:
Warning Quantified term variable `?RdClass.CharArray_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1856-1882:
Warning Quantified term variable `?Rd.T.intermittent_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1913-1931:
Warning Quantified term variable `?Rd.T.cur_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1953-1969:
Warning Quantified term variable `?Rd.T.st_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1990-2012:
Warning Quantified term variable `?Rd.T.seekable_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 2039-2055:
Warning Quantified term variable `?Rd.T.hi_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15780-15792:
Warning Quantified term variable `?rd_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15746-15764:
Warning Quantified term variable `?ALLOCATED_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15712-15730:
Warning Quantified term variable `?Rd.T.buff_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15665-15696:
Warning Quantified term variable `?RESIDUE.RdClass.svalid_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15629-15649:
Warning Quantified term variable `?Rd.T.closed_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15596-15613:
Warning Quantified term variable `?Rd.T.lo_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15554-15580:
Warning Quantified term variable `?RESIDUE.Rd.istate_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15512-15538:
Warning Quantified term variable `?RdClass.CharArray_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15470-15496:
Warning Quantified term variable `?Rd.T.intermittent_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15436-15454:
Warning Quantified term variable `?Rd.T.cur_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15404-15420:
Warning Quantified term variable `?Rd.T.st_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15366-15388:
Warning Quantified term variable `?Rd.T.seekable_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 15334-15350:
Warning Quantified term variable `?Rd.T.hi_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 14167-14179:
Warning Quantified term variable `?res_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 14083-14095:
Warning Quantified term variable `?res_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 43207-43218:
Warning Quantified term variable `?rd_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 43173-43191:
Warning Quantified term variable `?ALLOCATED_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 43139-43157:
Warning Quantified term variable `?Rd.T.buff_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 43092-43123:
Warning Quantified term variable `?RESIDUE.RdClass.svalid_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 43056-43076:
Warning Quantified term variable `?Rd.T.closed_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 43024-43040:
Warning Quantified term variable `?Rd.T.lo_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42982-43008:
Warning Quantified term variable `?RESIDUE.Rd.istate_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42940-42966:
Warning Quantified term variable `?RdClass.CharArray_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42898-42924:
Warning Quantified term variable `?Rd.T.intermittent_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42865-42882:
Warning Quantified term variable `?Rd.T.cur_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42833-42849:
Warning Quantified term variable `?Rd.T.st_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42795-42817:
Warning Quantified term variable `?Rd.T.seekable_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 42763-42779:
Warning Quantified term variable `?Rd.T.hi_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 41551-41563:
Warning Quantified term variable `?res_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 41467-41479:
Warning Quantified term variable `?res_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1288-1298:
Warning Quantified term variable `?res : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1309-1321:
Warning Quantified term variable `?res_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 720-749:
Warning Quantified term variable `?RESIDUE.Rd.seekable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 750-779:
Warning Quantified term variable `?RESIDUE.Rd.isClosed_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 780-799:
Warning Quantified term variable `?Rd.T.buff_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 800-832:
Warning Quantified term variable `?RESIDUE.RdClass.svalid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 833-858:
Warning Quantified term variable `?RESIDUE.Rd.okay_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 859-880:
Warning Quantified term variable `?Rd.T.closed_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 881-908:
Warning Quantified term variable `?RESIDUE.Rd.istate_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 909-926:
Warning Quantified term variable `?Rd.T.lo_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 927-954:
Warning Quantified term variable `?RdClass.CharArray_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 955-982:
Warning Quantified term variable `?Rd.T.intermittent_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 983-1001:
Warning Quantified term variable `?Rd.T.cur_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1002-1019:
Warning Quantified term variable `?Rd.T.st_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1020-1043:
Warning Quantified term variable `?Rd.T.seekable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1044-1075:
Warning Quantified term variable `?RESIDUE.Rd.ungettable_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1076-1102:
Warning Quantified term variable `?RESIDUE.Rd.valid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1103-1120:
Warning Quantified term variable `?Rd.T.hi_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1121-1147:
Warning Quantified term variable `?RESIDUE.Rd.state_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1148-1158:
Warning Quantified term variable `?rd_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1159-1176:
Warning Quantified term variable `?ALLOCATED_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1177-1187:
Warning Quantified term variable `?LL_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2", line 923, character 1188-1202:
Warning Quantified term variable `?VIRGIN_ : int` is unused