TSTP Solution File: HWV059+1 by Zenon---0.7.1
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Zenon---0.7.1
% Problem : HWV059+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon %s %d
% Computer : n016.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:55 EDT 2022
% Result : Unknown 282.37s 282.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : HWV059+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.13 % Command : run_zenon %s %d
% 0.12/0.33 % Computer : n016.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 : Fri Jun 17 08:51:50 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.83/1.05 Zenon warning: unused variable (V554 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V555 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V556 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V557 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V558 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V559 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V560 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V561 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V562 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V563 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V564 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V565 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V566 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V567 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V568 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V569 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V570 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V571 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V572 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V573 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V574 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V575 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V576 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V577 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V578 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V579 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V580 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V581 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V582 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V583 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V584 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V585 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V586 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V587 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V588 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V589 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V590 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V591 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V592 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V593 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V594 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V595 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V596 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V597 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V598 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V599 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V600 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V601 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V602 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V603 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V604 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V605 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V606 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V607 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V608 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V609 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V610 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V611 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V612 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V613 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V614 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V615 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V616 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V617 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V618 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V619 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V620 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V621 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V622 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V623 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V624 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V625 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V626 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V627 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V628 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V629 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V630 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V631 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V632 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V633 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V634 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V635 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V636 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V637 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V638 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V639 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V640 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V641 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V646 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V647 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V648 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V649 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V650 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V651 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V652 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V653 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V654 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V655 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V656 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V657 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V658 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V659 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V660 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V661 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V662 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V663 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V664 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V665 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V666 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V667 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V668 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V669 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V670 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V671 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V672 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V673 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V674 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V675 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V676 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V677 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V678 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V679 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V680 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V681 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V682 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V683 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V684 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V685 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V686 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V687 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V688 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V689 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V690 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V691 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V692 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V693 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V694 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V695 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V696 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V697 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V698 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V699 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V700 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V701 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V702 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V703 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V704 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V705 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V706 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V707 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V708 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V709 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V710 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V711 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V712 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V713 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V714 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V715 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V716 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V717 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V718 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V719 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V720 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V721 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V722 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V723 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V724 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V725 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V726 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V727 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V728 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V729 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V730 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V731 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V732 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V733 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V734 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V735 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V736 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V737 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V738 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V739 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V740 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V741 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V742 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V743 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V744 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V745 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V746 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V747 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V748 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V749 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V750 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V751 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V752 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V753 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V754 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V755 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V756 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V757 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V758 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V759 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V760 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V761 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V762 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V763 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V764 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V765 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V766 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V767 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V768 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V769 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V770 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V771 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V772 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V773 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V774 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V775 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V776 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V777 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V778 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V779 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V780 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V781 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V782 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V783 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V784 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V785 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V786 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V787 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V788 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V789 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V790 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V791 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V792 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V793 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V794 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V795 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V796 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V797 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V798 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V799 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V800 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V801 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V802 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V803 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V804 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V805 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V806 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V807 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V808 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V809 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V820 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V821 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V822 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V823 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V824 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V825 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V826 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V827 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1108 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1109 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1110 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1111 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1112 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1113 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1114 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1115 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1116 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1117 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1118 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1119 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1120 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1121 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1122 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1123 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1124 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1125 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1126 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1127 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1128 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1129 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1130 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1131 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1132 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1133 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1134 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1135 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1136 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1137 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1138 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1139 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1140 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1141 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1142 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1143 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1144 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1145 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1146 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1147 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1148 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1149 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1150 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1151 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1152 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1153 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1154 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1155 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1156 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1157 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1158 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1159 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1160 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1161 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1162 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1163 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1164 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1165 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1166 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1167 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1168 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1169 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1170 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1171 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1172 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1173 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1174 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1175 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1176 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1177 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1178 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1179 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1180 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1181 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1182 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1183 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1184 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1185 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1186 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1187 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1188 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1189 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1190 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1191 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1192 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1193 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1194 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1195 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1200 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1201 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1202 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1203 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1204 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1205 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1206 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1207 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1208 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1209 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1210 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1211 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1212 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1213 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1214 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1215 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1216 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1217 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1218 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1219 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1220 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1221 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1222 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1223 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1224 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1225 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1226 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1227 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1228 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1229 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1230 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1231 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1232 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1233 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1234 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1235 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1236 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1237 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1238 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1239 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1240 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1241 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1242 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1243 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1244 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1245 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1246 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1247 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1248 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1249 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1250 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1251 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1252 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1253 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1254 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1255 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1256 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1257 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1258 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1259 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1260 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1261 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1262 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1263 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1264 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1265 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1266 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1267 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1268 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1269 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1270 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1271 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1272 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1273 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1274 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1275 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1276 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1277 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1278 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1279 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1280 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1281 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1282 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1283 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1284 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1285 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1286 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1287 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1288 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1289 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1290 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1291 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1292 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1293 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1294 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1295 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1296 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1297 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1298 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1299 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1300 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1301 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1302 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1303 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1304 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1305 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1306 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1307 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1308 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1309 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1310 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1311 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1312 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1313 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1314 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1315 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1316 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1317 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1318 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1319 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1320 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1321 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1322 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1323 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1324 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1325 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1326 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1327 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1328 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1329 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1330 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1331 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1332 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1333 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1334 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1335 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1336 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1337 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1338 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1339 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1340 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1341 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1342 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1343 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1344 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1345 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1346 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1347 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1348 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1349 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1350 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1351 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1352 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1353 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1354 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1355 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1356 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1357 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1358 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1359 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1360 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1361 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1362 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1363 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1374 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1375 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1376 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1377 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1378 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1379 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1380 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1381 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1382 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1383 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1384 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1385 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1386 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1387 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1388 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1389 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1390 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1391 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1392 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1393 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1394 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1395 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1396 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1397 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1418 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1419 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1420 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1421 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1422 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1423 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1424 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1425 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1426 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1427 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1428 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1429 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1430 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1431 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1432 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1433 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1434 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1435 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1436 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1437 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1438 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1439 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1440 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1441 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1442 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1443 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1444 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1445 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1446 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1447 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1448 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1449 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1450 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1451 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1452 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1453 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1454 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1455 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1456 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1457 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1458 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1459 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1460 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1461 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1462 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1463 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1464 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1465 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1466 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1467 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1468 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1469 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1470 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1471 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1472 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1473 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1474 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1475 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1476 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1477 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1478 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1479 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1480 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1481 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1482 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1483 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1484 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1485 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1486 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1487 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1488 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1489 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1490 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1491 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1492 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1493 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1494 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1495 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1496 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1497 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1498 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1499 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1500 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1501 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1502 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1503 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1504 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1505 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1506 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1507 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1508 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1509 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1510 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1511 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1512 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1513 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1514 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1515 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1516 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1517 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1518 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1519 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1520 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1521 : zenon_U) in quant
% 0.83/1.05 Zenon warning: unused variable (V1522 : zenon_U) in quant
% 282.34/282.52 Zenon warning: unused variable (V1523 : zenon_U) in quant
% 282.34/282.52 Zenon warning: unused variable (V1524 : zenon_U) in quant
% 282.34/282.52 Zenon warning: unused variable (V1525 : zenon_U) in quant
% 282.34/282.52 Zenon warning: unused variable (V1526 : zenon_U) in quant
% 282.34/282.52 Zenon warning: unused variable (V1527 : zenon_U) in quant
% 282.34/282.52 Zenon error: could not find a proof within the memory size limit
% 282.34/282.52 (* NO-PROOF *)
% 282.34/282.52 % SZS status GaveUp
% 282.34/282.52 nodes searched: 27743
% 282.34/282.52 max branch formulas: 6124
% 282.34/282.52 proof nodes created: 3857
% 282.34/282.52 formulas created: 5882773
% 282.34/282.52
%------------------------------------------------------------------------------