TSTP Solution File: HWV076+1 by Zenon---0.7.1
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Zenon---0.7.1
% Problem : HWV076+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon %s %d
% Computer : n026.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:31:03 EDT 2022
% Result : Timeout 300.07s 300.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : HWV076+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.06/0.12 % Command : run_zenon %s %d
% 0.12/0.33 % Computer : n026.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 16 20:43:08 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.54/0.71 Zenon warning: unused variable (V335 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V336 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V338 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V339 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V346 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V347 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V349 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V350 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V360 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V361 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V363 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V364 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V371 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V372 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V374 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V375 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V385 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V386 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V388 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V389 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V396 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V397 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V399 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V400 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V410 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V411 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V413 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V414 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V421 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V422 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V424 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V425 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V440 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V441 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V443 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V444 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V447 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V448 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V450 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V451 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V463 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V464 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V466 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V467 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V470 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V471 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V473 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V474 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V489 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V490 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V492 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V493 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V496 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V497 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V499 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V500 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V512 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V513 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V515 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V516 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V519 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V520 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V522 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V523 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V538 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V539 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V541 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V542 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V545 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V546 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V548 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V549 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V561 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V562 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V564 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V565 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V568 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V569 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V571 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V572 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V587 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V588 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V590 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V591 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V594 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V595 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V597 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V598 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V610 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V611 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V613 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V614 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V617 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V618 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V620 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V621 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V640 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V642 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V643 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V645 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V647 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V648 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V651 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V653 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V654 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V656 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V658 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V659 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V676 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V678 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V679 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V681 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V683 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V684 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V687 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V689 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V690 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V692 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V694 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V695 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V712 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V714 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V715 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V717 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V719 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V720 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V723 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V725 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V726 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V728 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V730 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V731 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V748 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V750 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V751 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V753 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V755 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V756 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V759 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V761 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V762 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V764 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V766 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V767 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V771 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V772 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V774 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V775 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V777 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V779 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V780 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V782 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V784 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V785 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V788 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V789 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V791 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V793 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V794 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V796 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V798 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V799 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V801 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V802 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V805 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V806 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V808 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V809 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V812 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V813 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V815 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V816 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V819 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V820 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V822 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V823 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V826 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V827 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V829 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V830 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V832 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V834 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V835 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V838 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V839 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V841 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V842 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V844 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V846 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V847 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V850 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V851 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V853 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V854 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V856 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V858 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V859 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V862 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V863 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V865 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V866 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V868 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V870 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V871 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V873 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V875 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V876 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V879 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V880 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V882 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V883 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V886 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V887 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V889 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V890 : zenon_U) in quant
% 0.54/0.71 Zenon warning: unused variable (V893 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V894 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V896 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V897 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V900 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V901 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V903 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V904 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V907 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V908 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V910 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V911 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V913 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V915 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V916 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V919 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V920 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V922 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V923 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V925 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V927 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V928 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V930 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V932 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V933 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V936 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V937 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V939 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V940 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V943 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V944 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V946 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V948 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V949 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V952 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V953 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V955 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V957 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V958 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V961 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V962 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V964 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V965 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V967 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V969 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V970 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V973 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V974 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V976 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V977 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V983 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V984 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V986 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V987 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V990 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V991 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V993 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V994 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V998 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V999 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1001 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1002 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1005 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1006 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1008 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1009 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1014 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1015 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1017 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1018 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1021 : zenon_U) in quant
% 0.54/0.72 Zenon warning: unused variable (V1022 : zenon_U) in quant
% 0.54/0.72 Zenon warningCputime limit exceeded (core dumped)
%------------------------------------------------------------------------------