File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2643, character 26-38:
Warning Quantified term variable `?alloc : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1737-1761:
Warning Quantified term variable `?EXCEPTION.code_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1762-1775:
Warning Quantified term variable `?type_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1776-1786:
Warning Quantified term variable `?u_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1787-1798:
Warning Quantified term variable `?u2_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1799-1813:
Warning Quantified term variable `?index_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1814-1833:
Warning Quantified term variable `?ALLOCATED_50 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1834-1856:
Warning Quantified term variable `|?ALLOCATED'_15| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1857-1883:
Warning Quantified term variable `?Simplex.UndoStack_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1884-1913:
Warning Quantified term variable `|?Simplex.UndoStack'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1914-1940:
Warning Quantified term variable `?Simplex.undoStack_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1941-1970:
Warning Quantified term variable `|?Simplex.undoStack'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1971-1994:
Warning Quantified term variable `?Simplex.undoSP_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1995-2021:
Warning Quantified term variable `|?Simplex.undoSP'_1| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1606-1620:
Warning Quantified term variable `?res_156 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1475-1489:
Warning Quantified term variable `?res_155 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1393-1407:
Warning Quantified term variable `?res_154 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1408-1422:
Warning Quantified term variable `?res_153 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 3024-3036:
Warning Quantified term variable `?res_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2996-3008:
Warning Quantified term variable `?res_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2945-2957:
Warning Quantified term variable `?res_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2917-2929:
Warning Quantified term variable `?res_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2865-2878:
Warning Quantified term variable `?type_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2839-2849:
Warning Quantified term variable `?u_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2812-2823:
Warning Quantified term variable `?u2_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2782-2796:
Warning Quantified term variable `?index_1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2748-2766:
Warning Quantified term variable `?ALLOCATED_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2706-2732:
Warning Quantified term variable `?Simplex.UndoStack_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2664-2690:
Warning Quantified term variable `?Simplex.undoStack_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 2625-2648:
Warning Quantified term variable `?Simplex.undoSP_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10605-10619:
Warning Quantified term variable `?res_150 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10630-10644:
Warning Quantified term variable `?res_151 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10655-10669:
Warning Quantified term variable `?res_152 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10464-10478:
Warning Quantified term variable `?res_149 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10217-10229:
Warning Quantified term variable `?q0_18 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10230-10242:
Warning Quantified term variable `?q1_18 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10243-10262:
Warning Quantified term variable `?ALLOCATED_49 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 10032-10046:
Warning Quantified term variable `?res_148 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 9840-9854:
Warning Quantified term variable `?res_147 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 9770-9784:
Warning Quantified term variable `?res_146 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 9785-9799:
Warning Quantified term variable `?res_145 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 9629-9643:
Warning Quantified term variable `?res_144 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 12158-12172:
Warning Quantified term variable `?res_143 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 12097-12111:
Warning Quantified term variable `?res_142 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 12042-12056:
Warning Quantified term variable `?res_140 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11981-11995:
Warning Quantified term variable `?res_139 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11928-11940:
Warning Quantified term variable `?q0_17 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11900-11912:
Warning Quantified term variable `?q1_17 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11865-11884:
Warning Quantified term variable `?ALLOCATED_48 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11800-11814:
Warning Quantified term variable `?res_137 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11436-11450:
Warning Quantified term variable `?res_133 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11375-11389:
Warning Quantified term variable `?res_132 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11320-11334:
Warning Quantified term variable `?res_130 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 11265-11279:
Warning Quantified term variable `?res_128 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 23518-23532:
Warning Quantified term variable `?res_123 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 23543-23557:
Warning Quantified term variable `?res_124 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 23568-23582:
Warning Quantified term variable `?res_125 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 24041-24054:
Warning Quantified term variable `?res_58 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 23982-23995:
Warning Quantified term variable `?res_57 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 23929-23942:
Warning Quantified term variable `?res_55 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 28698-28712:
Warning Quantified term variable `?res_120 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 28723-28737:
Warning Quantified term variable `?res_121 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 28748-28762:
Warning Quantified term variable `?res_122 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29218-29231:
Warning Quantified term variable `?res_95 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29159-29172:
Warning Quantified term variable `?res_94 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29106-29119:
Warning Quantified term variable `?res_92 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30825-30849:
Warning Quantified term variable `?EXCEPTION.code_12 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30850-30879:
Warning Quantified term variable `?RES_Rat.Plus_463.18__1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30880-30892:
Warning Quantified term variable `?q0_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30893-30905:
Warning Quantified term variable `?q1_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30906-30925:
Warning Quantified term variable `?ALLOCATED_43 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30926-30948:
Warning Quantified term variable `|?ALLOCATED'_12| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30578-30590:
Warning Quantified term variable `?q0_14 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30591-30603:
Warning Quantified term variable `?q1_14 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30604-30623:
Warning Quantified term variable `?ALLOCATED_42 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30385-30399:
Warning Quantified term variable `?res_119 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30252-30266:
Warning Quantified term variable `?res_118 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30182-30196:
Warning Quantified term variable `?res_117 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 30197-30211:
Warning Quantified term variable `?res_116 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29981-29995:
Warning Quantified term variable `?res_115 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29912-29926:
Warning Quantified term variable `?res_114 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29927-29941:
Warning Quantified term variable `?res_113 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 29765-29779:
Warning Quantified term variable `?res_112 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 32172-32186:
Warning Quantified term variable `?res_111 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 32111-32125:
Warning Quantified term variable `?res_110 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 32056-32070:
Warning Quantified term variable `?res_108 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31995-32009:
Warning Quantified term variable `?res_107 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31940-31954:
Warning Quantified term variable `?res_105 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31879-31893:
Warning Quantified term variable `?res_104 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31826-31838:
Warning Quantified term variable `?q0_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31798-31810:
Warning Quantified term variable `?q1_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31763-31782:
Warning Quantified term variable `?ALLOCATED_41 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31698-31712:
Warning Quantified term variable `?res_102 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31497-31509:
Warning Quantified term variable `?q0_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31469-31481:
Warning Quantified term variable `?q1_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31434-31453:
Warning Quantified term variable `?ALLOCATED_38 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 31370-31383:
Warning Quantified term variable `?res_99 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39135-39158:
Warning Quantified term variable `?EXCEPTION.code_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39159-39188:
Warning Quantified term variable `?RES_Rat.Plus_467.14__1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39189-39200:
Warning Quantified term variable `?q0_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39201-39212:
Warning Quantified term variable `?q1_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39213-39232:
Warning Quantified term variable `?ALLOCATED_33 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39233-39254:
Warning Quantified term variable `|?ALLOCATED'_8| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38893-38904:
Warning Quantified term variable `?q0_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38905-38916:
Warning Quantified term variable `?q1_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38917-38936:
Warning Quantified term variable `?ALLOCATED_32 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38702-38715:
Warning Quantified term variable `?res_82 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38576-38589:
Warning Quantified term variable `?res_81 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38508-38521:
Warning Quantified term variable `?res_80 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38522-38535:
Warning Quantified term variable `?res_79 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38314-38327:
Warning Quantified term variable `?res_78 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38247-38260:
Warning Quantified term variable `?res_77 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38261-38274:
Warning Quantified term variable `?res_76 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 38107-38120:
Warning Quantified term variable `?res_75 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 24594-24604:
Warning Quantified term variable `?j_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 24615-24634:
Warning Quantified term variable `?ALLOCATED_30 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 41294-41304:
Warning Quantified term variable `?j_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 41259-41278:
Warning Quantified term variable `?ALLOCATED_29 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40491-40504:
Warning Quantified term variable `?res_74 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40432-40445:
Warning Quantified term variable `?res_73 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40379-40392:
Warning Quantified term variable `?res_71 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40320-40333:
Warning Quantified term variable `?res_70 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40267-40280:
Warning Quantified term variable `?res_68 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40208-40221:
Warning Quantified term variable `?res_67 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40157-40168:
Warning Quantified term variable `?q0_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40130-40141:
Warning Quantified term variable `?q1_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40095-40114:
Warning Quantified term variable `?ALLOCATED_26 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 40031-40044:
Warning Quantified term variable `?res_65 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39837-39848:
Warning Quantified term variable `?q0_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39810-39821:
Warning Quantified term variable `?q1_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39775-39794:
Warning Quantified term variable `?ALLOCATED_23 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 39711-39724:
Warning Quantified term variable `?res_62 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53529-53552:
Warning Quantified term variable `?EXCEPTION.code_4 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53553-53583:
Warning Quantified term variable `?RES_Rat.Times_472.23__1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53584-53595:
Warning Quantified term variable `?q0_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53596-53607:
Warning Quantified term variable `?q1_3 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53608-53627:
Warning Quantified term variable `?ALLOCATED_18 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53628-53649:
Warning Quantified term variable `|?ALLOCATED'_4| : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53399-53412:
Warning Quantified term variable `?res_45 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53205-53218:
Warning Quantified term variable `?res_44 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53137-53150:
Warning Quantified term variable `?res_43 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 53151-53164:
Warning Quantified term variable `?res_42 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 52996-53009:
Warning Quantified term variable `?res_41 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54372-54385:
Warning Quantified term variable `?res_40 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54313-54326:
Warning Quantified term variable `?res_39 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54260-54273:
Warning Quantified term variable `?res_37 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54201-54214:
Warning Quantified term variable `?res_36 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54150-54161:
Warning Quantified term variable `?q0_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54123-54134:
Warning Quantified term variable `?q1_2 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54088-54107:
Warning Quantified term variable `?ALLOCATED_17 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 54024-54037:
Warning Quantified term variable `?res_34 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 60731-60744:
Warning Quantified term variable `?res_29 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 60755-60768:
Warning Quantified term variable `?res_30 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 60480-60493:
Warning Quantified term variable `?res_27 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 60504-60517:
Warning Quantified term variable `?res_28 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 60297-60310:
Warning Quantified term variable `?res_25 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 60321-60334:
Warning Quantified term variable `?res_26 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 59843-59856:
Warning Quantified term variable `?res_23 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 59867-59880:
Warning Quantified term variable `?res_24 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 59637-59650:
Warning Quantified term variable `?res_22 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 59543-59556:
Warning Quantified term variable `?res_21 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 59413-59426:
Warning Quantified term variable `?res_20 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 49146-49156:
Warning Quantified term variable `?i_7 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 49167-49186:
Warning Quantified term variable `?ALLOCATED_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18855-18865:
Warning Quantified term variable `?i_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18876-18894:
Warning Quantified term variable `?ALLOCATED_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18474-18487:
Warning Quantified term variable `?res_17 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18498-18511:
Warning Quantified term variable `?res_18 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18522-18535:
Warning Quantified term variable `?res_19 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18340-18353:
Warning Quantified term variable `?res_16 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18106-18115:
Warning Quantified term variable `?q0 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18116-18125:
Warning Quantified term variable `?q1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 18126-18144:
Warning Quantified term variable `?ALLOCATED_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 17923-17936:
Warning Quantified term variable `?res_15 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 17736-17749:
Warning Quantified term variable `?res_14 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 17668-17681:
Warning Quantified term variable `?res_13 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 17682-17695:
Warning Quantified term variable `?res_12 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 17534-17547:
Warning Quantified term variable `?res_11 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5710-5718:
Warning Quantified term variable `?j : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5729-5747:
Warning Quantified term variable `?ALLOCATED_6 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5484-5495:
Warning Quantified term variable `?q_48 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5496-5514:
Warning Quantified term variable `?ALLOCATED_5 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5246-5259:
Warning Quantified term variable `?res_10 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5193-5205:
Warning Quantified term variable `?res_9 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 5056-5068:
Warning Quantified term variable `?res_8 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 412-433:
Warning Quantified term variable `?RESIDUE.Valid_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 434-468:
Warning Quantified term variable `?Simplex.VarUnknown.sense_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 469-503:
Warning Quantified term variable `?Simplex.VarUnknown.slack_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 504-543:
Warning Quantified term variable `?Simplex.VarUnknown.restricted_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 544-581:
Warning Quantified term variable `?Simplex.VarUnknown.identity_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 582-607:
Warning Quantified term variable `?RESIDUE.VUValid_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 608-643:
Warning Quantified term variable `?Simplex.VarUnknown.isZero_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 644-675:
Warning Quantified term variable `?Simplex.VarUnknown.id_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 676-693:
Warning Quantified term variable `?Simplex.x_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 694-711:
Warning Quantified term variable `?Simplex.a_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 712-731:
Warning Quantified term variable `?Simplex.n_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 732-749:
Warning Quantified term variable `?Simplex.y_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 750-770:
Warning Quantified term variable `?Simplex.dcol_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 771-790:
Warning Quantified term variable `?Simplex.m_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 791-817:
Warning Quantified term variable `?Simplex.UnknownArr_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 818-843:
Warning Quantified term variable `?Simplex.UndoStack_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 844-878:
Warning Quantified term variable `?Simplex.VarUnknown.index_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 879-913:
Warning Quantified term variable `?Simplex.pivotInnerRoundsEx_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 914-939:
Warning Quantified term variable `?Simplex.undoStack_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 940-976:
Warning Quantified term variable `?Simplex.VarUnknown.ownsRow_.1 : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 977-1000:
Warning Quantified term variable `?Simplex.RatArr2_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1001-1033:
Warning Quantified term variable `?Simplex.pivotInnerRounds_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1034-1056:
Warning Quantified term variable `?Simplex.undoSP_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1057-1073:
Warning Quantified term variable `?undoable_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1074-1085:
Warning Quantified term variable `?col_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1086-1097:
Warning Quantified term variable `?row_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1098-1115:
Warning Quantified term variable `?ALLOCATED_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1116-1126:
Warning Quantified term variable `?LL_ : int` is unused
File "/home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2", line 2695, character 1127-1141:
Warning Quantified term variable `?VIRGIN_ : int` is unused