TSTP Solution File: HWV056+1 by Zenon---0.7.1
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Zenon---0.7.1
% Problem : HWV056+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon %s %d
% Computer : n006.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sat Jul 16 21:30:54 EDT 2022
% Result : Unknown 144.66s 144.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : HWV056+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.10/0.13 % Command : run_zenon %s %d
% 0.14/0.34 % Computer : n006.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jun 17 06:19:26 EDT 2022
% 0.14/0.34 % CPUTime :
% 3.75/3.93 Zenon warning: unused variable (V622 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V623 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V624 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V625 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V626 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V627 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V628 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V629 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V630 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V631 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V632 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V633 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V634 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V635 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V636 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V637 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V638 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V639 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V640 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V641 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V642 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V643 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V644 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V645 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V646 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V647 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V648 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V649 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V650 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V651 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V652 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V653 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V654 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V655 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V656 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V657 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V658 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V659 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V660 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V661 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V662 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V663 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V664 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V665 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V666 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V667 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V668 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V669 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V670 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V671 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V672 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V673 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V674 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V675 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V676 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V677 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V678 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V679 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V680 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V681 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V682 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V683 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V684 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V685 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V690 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V691 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V692 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V693 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V694 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V695 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V696 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V697 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V698 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V699 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V700 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V701 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V702 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V703 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V704 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V705 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V706 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V707 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V708 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V709 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V710 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V711 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V712 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V713 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V714 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V715 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V716 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V717 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V718 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V719 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V720 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V721 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V722 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V723 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V724 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V725 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V726 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V727 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V728 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V729 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V730 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V731 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V732 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V733 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V734 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V735 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V736 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V737 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V738 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V739 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V740 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V741 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V742 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V743 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V744 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V745 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V746 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V747 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V748 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V749 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V750 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V751 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V752 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V753 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V754 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V755 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V756 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V757 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V758 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V759 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V760 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V761 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V762 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V763 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V764 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V765 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V766 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V767 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V768 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V769 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V770 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V771 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V772 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V773 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V774 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V775 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V776 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V777 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V778 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V779 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V780 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V781 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V782 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V783 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V784 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V785 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V786 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V787 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V788 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V789 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V790 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V791 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V792 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V793 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V794 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V795 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V796 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V797 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V798 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V799 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V800 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V801 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V802 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V803 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V804 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V805 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V806 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V807 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V808 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V809 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V810 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V811 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V812 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V813 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V814 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V815 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V816 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V817 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V818 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V819 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V820 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V821 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V822 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V823 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V824 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V825 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V836 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V837 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V838 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V839 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V840 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V841 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V842 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V843 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1192 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1193 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1194 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1195 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1196 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1197 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1198 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1199 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1200 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1201 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1202 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1203 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1204 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1205 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1206 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1207 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1208 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1209 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1210 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1211 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1212 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1213 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1214 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1215 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1216 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1217 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1218 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1219 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1220 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1221 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1222 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1223 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1224 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1225 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1226 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1227 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1228 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1229 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1230 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1231 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1232 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1233 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1234 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1235 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1236 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1237 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1238 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1239 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1240 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1241 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1242 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1243 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1244 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1245 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1246 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1247 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1248 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1249 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1250 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1251 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1252 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1253 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1254 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1255 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1260 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1261 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1262 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1263 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1264 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1265 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1266 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1267 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1268 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1269 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1270 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1271 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1272 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1273 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1274 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1275 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1276 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1277 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1278 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1279 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1280 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1281 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1282 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1283 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1284 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1285 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1286 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1287 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1288 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1289 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1290 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1291 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1292 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1293 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1294 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1295 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1296 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1297 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1298 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1299 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1300 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1301 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1302 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1303 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1304 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1305 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1306 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1307 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1308 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1309 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1310 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1311 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1312 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1313 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1314 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1315 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1316 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1317 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1318 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1319 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1320 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1321 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1322 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1323 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1324 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1325 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1326 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1327 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1328 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1329 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1330 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1331 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1332 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1333 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1334 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1335 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1336 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1337 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1338 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1339 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1340 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1341 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1342 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1343 : zenon_U) in quant
% 3.75/3.93 Zenon warning: unused variable (V1344 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1345 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1346 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1347 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1348 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1349 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1350 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1351 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1352 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1353 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1354 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1355 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1356 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1357 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1358 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1359 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1360 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1361 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1362 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1363 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1364 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1365 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1366 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1367 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1368 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1369 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1370 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1371 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1372 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1373 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1374 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1375 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1376 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1377 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1378 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1379 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1380 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1381 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1382 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1383 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1384 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1385 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1386 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1387 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1388 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1389 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1390 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1391 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1392 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1393 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1394 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1395 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1406 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1407 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1408 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1409 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1410 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1411 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1412 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1413 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1690 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1691 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1692 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1693 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1694 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1695 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1696 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1697 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1698 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1699 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1700 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1701 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1702 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1703 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1704 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1705 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1706 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1707 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1708 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1709 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1710 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1711 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1712 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1713 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1714 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1715 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1716 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1717 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1718 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1719 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1720 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1721 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1722 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1723 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1724 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1725 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1726 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1727 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1728 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1729 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1730 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1731 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1732 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1733 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1734 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1735 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1736 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1737 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1738 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1739 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1740 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1741 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1742 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1743 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1744 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1745 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1746 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1747 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1748 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1749 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1750 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1751 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1752 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1753 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1754 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1755 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1756 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1757 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1758 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1759 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1760 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1761 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1762 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1763 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1764 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1765 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1766 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1767 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1768 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1769 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1770 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1771 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1772 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1773 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1774 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1775 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1776 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1777 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1778 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1779 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1780 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1781 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1782 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1783 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1784 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1785 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1786 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1787 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1788 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1789 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1790 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1791 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1792 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1793 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1794 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1795 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1796 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1797 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1798 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1799 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1800 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1801 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1802 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1803 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1804 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1805 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1806 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1807 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1808 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1809 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1810 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1811 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1812 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1813 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1814 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1815 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1816 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1817 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1818 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1819 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1820 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1821 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1822 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1823 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1824 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1825 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1826 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1827 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1828 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1829 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1830 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1831 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1832 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1833 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1834 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1835 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1836 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1837 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1838 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1839 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1840 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1841 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1842 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1843 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1844 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1845 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1846 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1847 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1848 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1849 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1850 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1851 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1852 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1853 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1854 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1855 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1856 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1857 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1858 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1859 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1860 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1861 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1862 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1863 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1864 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1865 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1866 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1867 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1868 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1869 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1870 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1871 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1872 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1873 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1874 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1875 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1876 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1877 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1878 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1879 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1880 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1881 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1882 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1883 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1884 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1885 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1886 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1887 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1888 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1889 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1890 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1891 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1892 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1893 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1894 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1895 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1896 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1897 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1898 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1899 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1900 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1901 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1902 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1903 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1904 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1905 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1906 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1907 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1908 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1909 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1910 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1911 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1912 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1913 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1914 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1915 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1916 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1917 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1918 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1919 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1920 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1921 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1922 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1923 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1924 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1925 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1926 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1927 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1928 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1929 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1930 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1931 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1932 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1933 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1934 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1935 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1936 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1937 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1938 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1939 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1940 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1941 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1942 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1943 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1944 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1945 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1956 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1957 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1958 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1959 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1960 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1961 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1962 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V1963 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2042 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2043 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2044 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2045 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2046 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2047 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2048 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2049 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2050 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2051 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2052 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2053 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2054 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2055 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2056 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2057 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2058 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2059 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2060 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2061 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2062 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2063 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2064 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2065 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2066 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2067 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2068 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2069 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2070 : zenon_U) in quant
% 3.75/3.94 Zenon warning: unused variable (V2071 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2072 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2073 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2074 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2075 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2076 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2077 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2078 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2079 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2080 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2081 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2082 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2083 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2084 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2085 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2086 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2087 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2088 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2089 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2090 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2091 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2092 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2093 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2094 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2095 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2096 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2097 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2098 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2099 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2100 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2101 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2102 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2103 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2104 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2105 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2106 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2107 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2108 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2109 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2110 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2111 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2112 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2113 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2114 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2115 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2116 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2117 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2118 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2119 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2120 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2121 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2122 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2123 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2124 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2125 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2126 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2127 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2128 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2129 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2130 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2131 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2132 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2133 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2134 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2135 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2136 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2137 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2138 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2139 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2140 : zenon_U) in quant
% 144.54/144.69 Zenon warning: unused variable (V2141 : zenon_U) in quant
% 144.54/144.69 Zenon error: could not find a proof within the memory size limit
% 144.66/144.83 (* NO-PROOF *)
% 144.66/144.83 % SZS status GaveUp
% 144.66/144.83 nodes searched: 83
% 144.66/144.83 max branch formulas: 85
% 144.66/144.83 proof nodes created: 0
% 144.66/144.83 formulas created: 873655
% 144.66/144.83
%------------------------------------------------------------------------------