66111
QF_UF eq_diamond crafted 0 unsat 661776 eq_diamond1.smt
QF_UF eq_diamond crafted 0 unsat 661797 eq_diamond10.smt
QF_UF eq_diamond crafted 0 unsat 661779 eq_diamond11.smt
QF_UF eq_diamond crafted 0 unsat 661735 eq_diamond12.smt
QF_UF eq_diamond crafted 0 unsat 661714 eq_diamond13.smt
QF_UF eq_diamond crafted 0 unsat 661769 eq_diamond14.smt
QF_UF eq_diamond crafted 0 unsat 661736 eq_diamond15.smt
QF_UF eq_diamond crafted 0 unsat 661781 eq_diamond16.smt
QF_UF eq_diamond crafted 0 unsat 661752 eq_diamond17.smt
QF_UF eq_diamond crafted 0 unsat 661761 eq_diamond18.smt
QF_UF eq_diamond crafted 0 unsat 661749 eq_diamond2.smt
QF_UF eq_diamond crafted 0 unsat 661766 eq_diamond3.smt
QF_UF eq_diamond crafted 0 unsat 661755 eq_diamond4.smt
QF_UF eq_diamond crafted 0 unsat 661740 eq_diamond5.smt
QF_UF eq_diamond crafted 0 unsat 661799 eq_diamond6.smt
QF_UF eq_diamond crafted 0 unsat 661780 eq_diamond7.smt
QF_UF eq_diamond crafted 0 unsat 661764 eq_diamond8.smt
QF_UF eq_diamond crafted 0 unsat 661727 eq_diamond9.smt
QF_UF eq_diamond crafted 1 unsat 661709 eq_diamond19.smt
QF_UF eq_diamond crafted 1 unsat 661707 eq_diamond20.smt
QF_UF eq_diamond crafted 1 unsat 661725 eq_diamond21.smt
QF_UF eq_diamond crafted 2 unsat 661728 eq_diamond22.smt
QF_UF eq_diamond crafted 2 unsat 661767 eq_diamond23.smt
QF_UF eq_diamond crafted 2 unsat 661734 eq_diamond24.smt
QF_UF eq_diamond crafted 2 unsat 661791 eq_diamond25.smt
QF_UF eq_diamond crafted 3 unsat 661718 eq_diamond26.smt
QF_UF eq_diamond crafted 5 unsat 661790 eq_diamond100.smt
QF_UF eq_diamond crafted 5 unsat 661747 eq_diamond27.smt
QF_UF eq_diamond crafted 5 unsat 661750 eq_diamond28.smt
QF_UF eq_diamond crafted 5 unsat 661724 eq_diamond29.smt
QF_UF eq_diamond crafted 5 unsat 661802 eq_diamond30.smt
QF_UF eq_diamond crafted 5 unsat 661737 eq_diamond31.smt
QF_UF eq_diamond crafted 5 unsat 661804 eq_diamond32.smt
QF_UF eq_diamond crafted 5 unsat 661770 eq_diamond33.smt
QF_UF eq_diamond crafted 5 unsat 661746 eq_diamond34.smt
QF_UF eq_diamond crafted 5 unsat 661763 eq_diamond35.smt
QF_UF eq_diamond crafted 5 unsat 661777 eq_diamond36.smt
QF_UF eq_diamond crafted 5 unsat 661787 eq_diamond37.smt
QF_UF eq_diamond crafted 5 unsat 661732 eq_diamond38.smt
QF_UF eq_diamond crafted 5 unsat 661711 eq_diamond39.smt
QF_UF eq_diamond crafted 5 unsat 661800 eq_diamond40.smt
QF_UF eq_diamond crafted 5 unsat 661754 eq_diamond41.smt
QF_UF eq_diamond crafted 5 unsat 661731 eq_diamond42.smt
QF_UF eq_diamond crafted 5 unsat 661796 eq_diamond43.smt
QF_UF eq_diamond crafted 5 unsat 661717 eq_diamond44.smt
QF_UF eq_diamond crafted 5 unsat 661806 eq_diamond45.smt
QF_UF eq_diamond crafted 5 unsat 661786 eq_diamond46.smt
QF_UF eq_diamond crafted 5 unsat 661798 eq_diamond47.smt
QF_UF eq_diamond crafted 5 unsat 661771 eq_diamond48.smt
QF_UF eq_diamond crafted 5 unsat 661793 eq_diamond49.smt
QF_UF eq_diamond crafted 5 unsat 661803 eq_diamond50.smt
QF_UF eq_diamond crafted 5 unsat 661794 eq_diamond51.smt
QF_UF eq_diamond crafted 5 unsat 661784 eq_diamond52.smt
QF_UF eq_diamond crafted 5 unsat 661723 eq_diamond53.smt
QF_UF eq_diamond crafted 5 unsat 661726 eq_diamond54.smt
QF_UF eq_diamond crafted 5 unsat 661788 eq_diamond55.smt
QF_UF eq_diamond crafted 5 unsat 661785 eq_diamond56.smt
QF_UF eq_diamond crafted 5 unsat 661782 eq_diamond57.smt
QF_UF eq_diamond crafted 5 unsat 661753 eq_diamond58.smt
QF_UF eq_diamond crafted 5 unsat 661765 eq_diamond59.smt
QF_UF eq_diamond crafted 5 unsat 661792 eq_diamond60.smt
QF_UF eq_diamond crafted 5 unsat 661748 eq_diamond61.smt
QF_UF eq_diamond crafted 5 unsat 661730 eq_diamond62.smt
QF_UF eq_diamond crafted 5 unsat 661708 eq_diamond63.smt
QF_UF eq_diamond crafted 5 unsat 661805 eq_diamond64.smt
QF_UF eq_diamond crafted 5 unsat 661733 eq_diamond65.smt
QF_UF eq_diamond crafted 5 unsat 661722 eq_diamond66.smt
QF_UF eq_diamond crafted 5 unsat 661719 eq_diamond67.smt
QF_UF eq_diamond crafted 5 unsat 661741 eq_diamond68.smt
QF_UF eq_diamond crafted 5 unsat 661751 eq_diamond69.smt
QF_UF eq_diamond crafted 5 unsat 661774 eq_diamond70.smt
QF_UF eq_diamond crafted 5 unsat 661789 eq_diamond71.smt
QF_UF eq_diamond crafted 5 unsat 661783 eq_diamond72.smt
QF_UF eq_diamond crafted 5 unsat 661778 eq_diamond73.smt
QF_UF eq_diamond crafted 5 unsat 661772 eq_diamond74.smt
QF_UF eq_diamond crafted 5 unsat 661795 eq_diamond75.smt
QF_UF eq_diamond crafted 5 unsat 661713 eq_diamond76.smt
QF_UF eq_diamond crafted 5 unsat 661768 eq_diamond77.smt
QF_UF eq_diamond crafted 5 unsat 661710 eq_diamond78.smt
QF_UF eq_diamond crafted 5 unsat 661742 eq_diamond79.smt
QF_UF eq_diamond crafted 5 unsat 661738 eq_diamond80.smt
QF_UF eq_diamond crafted 5 unsat 661743 eq_diamond81.smt
QF_UF eq_diamond crafted 5 unsat 661757 eq_diamond82.smt
QF_UF eq_diamond crafted 5 unsat 661762 eq_diamond83.smt
QF_UF eq_diamond crafted 5 unsat 661721 eq_diamond84.smt
QF_UF eq_diamond crafted 5 unsat 661745 eq_diamond85.smt
QF_UF eq_diamond crafted 5 unsat 661760 eq_diamond86.smt
QF_UF eq_diamond crafted 5 unsat 661758 eq_diamond87.smt
QF_UF eq_diamond crafted 5 unsat 661759 eq_diamond88.smt
QF_UF eq_diamond crafted 5 unsat 661716 eq_diamond89.smt
QF_UF eq_diamond crafted 5 unsat 661775 eq_diamond90.smt
QF_UF eq_diamond crafted 5 unsat 661756 eq_diamond91.smt
QF_UF eq_diamond crafted 5 unsat 661720 eq_diamond92.smt
QF_UF eq_diamond crafted 5 unsat 661729 eq_diamond93.smt
QF_UF eq_diamond crafted 5 unsat 661739 eq_diamond94.smt
QF_UF eq_diamond crafted 5 unsat 661712 eq_diamond95.smt
QF_UF eq_diamond crafted 5 unsat 661715 eq_diamond96.smt
QF_UF eq_diamond crafted 5 unsat 661801 eq_diamond97.smt
QF_UF eq_diamond crafted 5 unsat 661744 eq_diamond98.smt
QF_UF eq_diamond crafted 5 unsat 661773 eq_diamond99.smt
QF_UF NEQ crafted 0 unsat 661629 NEQ004_size4.smt
QF_UF NEQ crafted 0 unsat 661614 NEQ006_size3.smt
QF_UF NEQ crafted 0 unsat 661616 NEQ006_size4.smt
QF_UF NEQ crafted 0 unsat 661612 NEQ015_size3.smt
QF_UF NEQ crafted 0 unsat 661620 NEQ015_size4.smt
QF_UF NEQ crafted 0 unsat 661605 NEQ015_size5.smt
QF_UF NEQ crafted 0 unsat 661606 NEQ015_size6.smt
QF_UF NEQ crafted 0 unsat 661648 NEQ016_size5.smt
QF_UF NEQ crafted 0 unsat 661628 NEQ016_size6.smt
QF_UF NEQ crafted 0 unsat 661638 NEQ023_size4.smt
QF_UF NEQ crafted 0 unsat 661621 NEQ023_size5.smt
QF_UF NEQ crafted 0 unsat 661634 NEQ027_size8.smt
QF_UF NEQ crafted 0 unsat 661633 NEQ027_size9.smt
QF_UF NEQ crafted 0 unsat 661649 NEQ031_size7.smt
QF_UF NEQ crafted 0 unsat 661617 NEQ031_size8.smt
QF_UF NEQ crafted 0 unsat 661627 NEQ032_size3.smt
QF_UF NEQ crafted 0 unsat 661643 NEQ033_size3.smt
QF_UF NEQ crafted 0 unsat 661607 NEQ033_size4.smt
QF_UF NEQ crafted 0 unsat 661645 NEQ041_size6.smt
QF_UF NEQ crafted 0 unsat 661625 NEQ046_size3.smt
QF_UF NEQ crafted 0 unsat 661641 NEQ046_size4.smt
QF_UF NEQ crafted 0 unsat 661631 NEQ046_size5.smt
QF_UF NEQ crafted 0 unsat 661640 NEQ048_size6.smt
QF_UF NEQ crafted 0 unsat 661611 NEQ048_size7.smt
QF_UF NEQ crafted 1 unsat 661637 NEQ004_size5.smt
QF_UF NEQ crafted 1 unsat 661644 NEQ004_size6.smt
QF_UF NEQ crafted 1 unsat 661647 NEQ004_size7.smt
QF_UF NEQ crafted 1 unsat 661618 NEQ006_size5.smt
QF_UF NEQ crafted 1 unsat 661635 NEQ016_size7.smt
QF_UF NEQ crafted 1 unsat 661604 NEQ023_size6.smt
QF_UF NEQ crafted 1 unsat 661630 NEQ027_size10.smt
QF_UF NEQ crafted 1 unsat 661650 NEQ027_size11.smt
QF_UF NEQ crafted 1 unsat 661619 NEQ031_size10.smt
QF_UF NEQ crafted 1 unsat 661624 NEQ031_size9.smt
QF_UF NEQ crafted 1 unsat 661610 NEQ032_size4.smt
QF_UF NEQ crafted 1 unsat 661613 NEQ032_size5.smt
QF_UF NEQ crafted 1 unsat 661623 NEQ032_size6.smt
QF_UF NEQ crafted 1 unsat 661626 NEQ033_size5.smt
QF_UF NEQ crafted 1 unsat 661622 NEQ033_size6.smt
QF_UF NEQ crafted 1 unsat 661609 NEQ041_size7.smt
QF_UF NEQ crafted 1 unsat 661646 NEQ041_size8.smt
QF_UF NEQ crafted 1 unsat 661608 NEQ041_size9.smt
QF_UF NEQ crafted 1 unsat 661603 NEQ046_size6.smt
QF_UF NEQ crafted 2 unsat 661639 NEQ048_size8.smt
QF_UF NEQ crafted 3 unsat 661636 NEQ016_size8.smt
QF_UF NEQ crafted 3 unsat 661632 NEQ048_size9.smt
QF_UF NEQ crafted 4 unsat 661642 NEQ023_size7.smt
QF_UF NEQ crafted 5 unsat 661615 NEQ006_size6.smt
QF_UF PEQ crafted 0 unsat 661832 PEQ002_size5.smt
QF_UF PEQ crafted 0 unsat 661809 PEQ002_size6.smt
QF_UF PEQ crafted 0 unsat 661822 PEQ003_size7.smt
QF_UF PEQ crafted 0 unsat 661846 PEQ004_size6.smt
QF_UF PEQ crafted 0 unsat 661826 PEQ004_size7.smt
QF_UF PEQ crafted 0 unsat 661837 PEQ010_size5.smt
QF_UF PEQ crafted 0 unsat 661817 PEQ010_size6.smt
QF_UF PEQ crafted 0 unsat 661848 PEQ010_size7.smt
QF_UF PEQ crafted 0 unsat 661834 PEQ010_size8.smt
QF_UF PEQ crafted 0 unsat 661811 PEQ011_size5.smt
QF_UF PEQ crafted 0 unsat 661854 PEQ011_size6.smt
QF_UF PEQ crafted 0 unsat 661838 PEQ012_size3.smt
QF_UF PEQ crafted 0 unsat 661827 PEQ012_size4.smt
QF_UF PEQ crafted 0 unsat 661852 PEQ013_size5.smt
QF_UF PEQ crafted 0 unsat 661841 PEQ013_size6.smt
QF_UF PEQ crafted 0 unsat 661810 PEQ014_size8.smt
QF_UF PEQ crafted 0 unsat 661821 PEQ016_size4.smt
QF_UF PEQ crafted 0 unsat 661853 PEQ018_size4.smt
QF_UF PEQ crafted 0 unsat 661823 PEQ018_size5.smt
QF_UF PEQ crafted 0 unsat 661836 PEQ019_size4.smt
QF_UF PEQ crafted 0 unsat 661825 PEQ019_size5.smt
QF_UF PEQ crafted 0 unsat 661851 PEQ019_size6.smt
QF_UF PEQ crafted 0 unsat 661815 PEQ020_size4.smt
QF_UF PEQ crafted 0 unsat 661839 PEQ020_size5.smt
QF_UF PEQ crafted 1 unsat 661847 PEQ011_size7.smt
QF_UF PEQ crafted 1 unsat 661813 PEQ012_size5.smt
QF_UF PEQ crafted 1 unsat 661850 PEQ014_size9.smt
QF_UF PEQ crafted 1 unsat 661819 PEQ016_size5.smt
QF_UF PEQ crafted 1 unsat 661842 PEQ019_size7.smt
QF_UF PEQ crafted 2 unsat 661833 PEQ002_size7.smt
QF_UF PEQ crafted 2 unsat 661849 PEQ004_size8.smt
QF_UF PEQ crafted 2 unsat 661843 PEQ004_size9.smt
QF_UF PEQ crafted 2 unsat 661816 PEQ014_size10.smt
QF_UF PEQ crafted 2 unsat 661844 PEQ016_size6.smt
QF_UF PEQ crafted 2 unsat 661835 PEQ018_size6.smt
QF_UF PEQ crafted 2 unsat 661807 PEQ020_size6.smt
QF_UF PEQ crafted 3 unsat 661820 PEQ003_size8.smt
QF_UF PEQ crafted 3 unsat 661830 PEQ011_size8.smt
QF_UF PEQ crafted 3 unsat 661818 PEQ013_size7.smt
QF_UF PEQ crafted 3 unsat 661814 PEQ014_size11.smt
QF_UF PEQ crafted 4 unsat 661812 PEQ003_size9.smt
QF_UF PEQ crafted 4 unsat 661829 PEQ018_size7.smt
QF_UF PEQ crafted 5 unknown 661824 PEQ012_size6.smt
QF_UF PEQ crafted 5 unknown 661845 PEQ013_size8.smt
QF_UF PEQ crafted 5 unknown 661840 PEQ016_size7.smt
QF_UF PEQ crafted 5 unknown 661831 PEQ020_size7.smt
QF_UF PEQ crafted 5 unsat 661808 PEQ002_size8.smt
QF_UF PEQ crafted 5 unsat 661828 PEQ003_size10.smt
QF_UF QG-classification/loops6 crafted 0 sat 662690 gensys_brn001.smt
QF_UF QG-classification/loops6 crafted 0 sat 662660 gensys_brn002.smt
QF_UF QG-classification/loops6 crafted 0 sat 662527 gensys_brn003.smt
QF_UF QG-classification/loops6 crafted 0 sat 662535 gensys_brn005.smt
QF_UF QG-classification/loops6 crafted 0 sat 662302 gensys_brn006.smt
QF_UF QG-classification/loops6 crafted 0 sat 662708 gensys_brn007.smt
QF_UF QG-classification/loops6 crafted 0 sat 662381 gensys_brn009.smt
QF_UF QG-classification/loops6 crafted 0 sat 662509 gensys_brn010.smt
QF_UF QG-classification/loops6 crafted 0 sat 662483 gensys_brn011.smt
QF_UF QG-classification/loops6 crafted 0 sat 662409 gensys_brn012.smt
QF_UF QG-classification/loops6 crafted 0 sat 662721 gensys_brn013.smt
QF_UF QG-classification/loops6 crafted 0 sat 662572 gensys_brn014.smt
QF_UF QG-classification/loops6 crafted 0 sat 662366 gensys_brn016.smt
QF_UF QG-classification/loops6 crafted 0 sat 662282 gensys_brn017.smt
QF_UF QG-classification/loops6 crafted 0 sat 662653 gensys_brn018.smt
QF_UF QG-classification/loops6 crafted 0 sat 662338 gensys_brn020.smt
QF_UF QG-classification/loops6 crafted 0 sat 662568 gensys_brn021.smt
QF_UF QG-classification/loops6 crafted 0 sat 662420 gensys_brn022.smt
QF_UF QG-classification/loops6 crafted 0 sat 662554 gensys_brn023.smt
QF_UF QG-classification/loops6 crafted 0 sat 662578 gensys_brn024.smt
QF_UF QG-classification/loops6 crafted 0 sat 662327 gensys_brn026.smt
QF_UF QG-classification/loops6 crafted 0 sat 662632 gensys_brn027.smt
QF_UF QG-classification/loops6 crafted 0 sat 662375 gensys_brn028.smt
QF_UF QG-classification/loops6 crafted 0 sat 662550 gensys_brn030.smt
QF_UF QG-classification/loops6 crafted 0 sat 662434 gensys_brn031.smt
QF_UF QG-classification/loops6 crafted 0 sat 662382 gensys_brn032.smt
QF_UF QG-classification/loops6 crafted 0 sat 662629 gensys_brn033.smt
QF_UF QG-classification/loops6 crafted 0 sat 662689 gensys_brn034.smt
QF_UF QG-classification/loops6 crafted 0 sat 662658 gensys_brn037.smt
QF_UF QG-classification/loops6 crafted 0 sat 662529 gensys_brn038.smt
QF_UF QG-classification/loops6 crafted 0 sat 662433 gensys_brn039.smt
QF_UF QG-classification/loops6 crafted 0 sat 662506 gensys_brn041.smt
QF_UF QG-classification/loops6 crafted 0 sat 662639 gensys_brn042.smt
QF_UF QG-classification/loops6 crafted 0 sat 662408 gensys_brn043.smt
QF_UF QG-classification/loops6 crafted 0 sat 662704 gensys_brn044.smt
QF_UF QG-classification/loops6 crafted 0 sat 662377 gensys_brn045.smt
QF_UF QG-classification/loops6 crafted 0 sat 662649 gensys_brn046.smt
QF_UF QG-classification/loops6 crafted 0 sat 662676 gensys_brn047.smt
QF_UF QG-classification/loops6 crafted 0 sat 662706 gensys_brn048.smt
QF_UF QG-classification/loops6 crafted 0 sat 662517 gensys_brn049.smt
QF_UF QG-classification/loops6 crafted 0 sat 662450 gensys_brn050.smt
QF_UF QG-classification/loops6 crafted 0 sat 662476 gensys_brn053.smt
QF_UF QG-classification/loops6 crafted 0 sat 662447 gensys_brn054.smt
QF_UF QG-classification/loops6 crafted 0 sat 662716 gensys_brn055.smt
QF_UF QG-classification/loops6 crafted 0 sat 662634 gensys_brn056.smt
QF_UF QG-classification/loops6 crafted 0 sat 662393 gensys_brn057.smt
QF_UF QG-classification/loops6 crafted 0 sat 662613 gensys_brn058.smt
QF_UF QG-classification/loops6 crafted 0 sat 662345 gensys_brn059.smt
QF_UF QG-classification/loops6 crafted 0 sat 662654 gensys_brn060.smt
QF_UF QG-classification/loops6 crafted 0 sat 662536 gensys_brn061.smt
QF_UF QG-classification/loops6 crafted 0 sat 662432 gensys_brn062.smt
QF_UF QG-classification/loops6 crafted 0 sat 662459 gensys_brn063.smt
QF_UF QG-classification/loops6 crafted 0 sat 662354 gensys_brn066.smt
QF_UF QG-classification/loops6 crafted 0 sat 662667 gensys_brn067.smt
QF_UF QG-classification/loops6 crafted 0 sat 662701 gensys_brn068.smt
QF_UF QG-classification/loops6 crafted 0 sat 662670 gensys_brn069.smt
QF_UF QG-classification/loops6 crafted 0 sat 662341 gensys_brn070.smt
QF_UF QG-classification/loops6 crafted 0 sat 662303 gensys_brn071.smt
QF_UF QG-classification/loops6 crafted 0 sat 662636 gensys_brn072.smt
QF_UF QG-classification/loops6 crafted 0 sat 662643 gensys_brn074.smt
QF_UF QG-classification/loops6 crafted 0 sat 662451 gensys_brn075.smt
QF_UF QG-classification/loops6 crafted 0 sat 662465 gensys_brn077.smt
QF_UF QG-classification/loops6 crafted 0 sat 662552 gensys_brn078.smt
QF_UF QG-classification/loops6 crafted 0 sat 662365 gensys_brn079.smt
QF_UF QG-classification/loops6 crafted 0 sat 662496 gensys_brn080.smt
QF_UF QG-classification/loops6 crafted 0 sat 662323 gensys_brn082.smt
QF_UF QG-classification/loops6 crafted 0 sat 662455 gensys_brn083.smt
QF_UF QG-classification/loops6 crafted 0 sat 662617 gensys_brn086.smt
QF_UF QG-classification/loops6 crafted 0 sat 662512 gensys_brn088.smt
QF_UF QG-classification/loops6 crafted 0 sat 662520 gensys_brn090.smt
QF_UF QG-classification/loops6 crafted 0 sat 662307 gensys_brn091.smt
QF_UF QG-classification/loops6 crafted 0 sat 662410 gensys_brn093.smt
QF_UF QG-classification/loops6 crafted 0 sat 662474 gensys_brn094.smt
QF_UF QG-classification/loops6 crafted 0 sat 662621 gensys_brn096.smt
QF_UF QG-classification/loops6 crafted 0 sat 662449 gensys_brn098.smt
QF_UF QG-classification/loops6 crafted 0 sat 662389 gensys_brn099.smt
QF_UF QG-classification/loops6 crafted 0 sat 662351 gensys_brn100.smt
QF_UF QG-classification/loops6 crafted 0 sat 662392 gensys_brn101.smt
QF_UF QG-classification/loops6 crafted 0 sat 662532 gensys_brn102.smt
QF_UF QG-classification/loops6 crafted 0 sat 662717 gensys_brn103.smt
QF_UF QG-classification/loops6 crafted 0 sat 662624 gensys_brn104.smt
QF_UF QG-classification/loops6 crafted 0 sat 662290 iso_brn001.smt
QF_UF QG-classification/loops6 crafted 0 sat 662469 iso_brn002.smt
QF_UF QG-classification/loops6 crafted 0 sat 662631 iso_brn003.smt
QF_UF QG-classification/loops6 crafted 0 sat 662595 iso_brn004.smt
QF_UF QG-classification/loops6 crafted 0 sat 662559 iso_brn007.smt
QF_UF QG-classification/loops6 crafted 0 sat 662523 iso_brn008.smt
QF_UF QG-classification/loops6 crafted 0 sat 662575 iso_brn009.smt
QF_UF QG-classification/loops6 crafted 0 sat 662723 iso_brn010.smt
QF_UF QG-classification/loops6 crafted 0 sat 662668 iso_brn011.smt
QF_UF QG-classification/loops6 crafted 0 sat 662582 iso_brn012.smt
QF_UF QG-classification/loops6 crafted 0 sat 662570 iso_brn013.smt
QF_UF QG-classification/loops6 crafted 0 sat 662362 iso_brn014.smt
QF_UF QG-classification/loops6 crafted 0 sat 662586 iso_brn015.smt
QF_UF QG-classification/loops6 crafted 0 sat 662611 iso_brn017.smt
QF_UF QG-classification/loops6 crafted 0 sat 662591 iso_brn018.smt
QF_UF QG-classification/loops6 crafted 0 sat 662652 iso_brn019.smt
QF_UF QG-classification/loops6 crafted 0 sat 662490 iso_brn021.smt
QF_UF QG-classification/loops6 crafted 0 sat 662331 iso_brn022.smt
QF_UF QG-classification/loops6 crafted 0 sat 662545 iso_brn023.smt
QF_UF QG-classification/loops6 crafted 0 sat 662391 iso_brn024.smt
QF_UF QG-classification/loops6 crafted 0 sat 662329 iso_brn025.smt
QF_UF QG-classification/loops6 crafted 0 sat 662664 iso_brn026.smt
QF_UF QG-classification/loops6 crafted 0 sat 662445 iso_brn029.smt
QF_UF QG-classification/loops6 crafted 0 sat 662567 iso_brn032.smt
QF_UF QG-classification/loops6 crafted 0 sat 662348 iso_brn034.smt
QF_UF QG-classification/loops6 crafted 0 sat 662349 iso_brn035.smt
QF_UF QG-classification/loops6 crafted 0 sat 662541 iso_brn036.smt
QF_UF QG-classification/loops6 crafted 0 sat 662406 iso_brn037.smt
QF_UF QG-classification/loops6 crafted 0 sat 662361 iso_brn039.smt
QF_UF QG-classification/loops6 crafted 0 sat 662603 iso_brn040.smt
QF_UF QG-classification/loops6 crafted 0 sat 662646 iso_brn041.smt
QF_UF QG-classification/loops6 crafted 0 sat 662592 iso_brn042.smt
QF_UF QG-classification/loops6 crafted 0 sat 662390 iso_brn043.smt
QF_UF QG-classification/loops6 crafted 0 sat 662466 iso_brn047.smt
QF_UF QG-classification/loops6 crafted 0 sat 662533 iso_brn048.smt
QF_UF QG-classification/loops6 crafted 0 sat 662452 iso_brn050.smt
QF_UF QG-classification/loops6 crafted 0 sat 662715 iso_brn051.smt
QF_UF QG-classification/loops6 crafted 0 sat 662430 iso_brn052.smt
QF_UF QG-classification/loops6 crafted 0 sat 662510 iso_brn054.smt
QF_UF QG-classification/loops6 crafted 0 sat 662491 iso_brn055.smt
QF_UF QG-classification/loops6 crafted 0 sat 662645 iso_brn056.smt
QF_UF QG-classification/loops6 crafted 0 sat 662544 iso_brn057.smt
QF_UF QG-classification/loops6 crafted 0 sat 662356 iso_brn058.smt
QF_UF QG-classification/loops6 crafted 0 sat 662463 iso_brn059.smt
QF_UF QG-classification/loops6 crafted 0 sat 662424 iso_brn060.smt
QF_UF QG-classification/loops6 crafted 0 sat 662343 iso_brn061.smt
QF_UF QG-classification/loops6 crafted 0 sat 662562 iso_brn063.smt
QF_UF QG-classification/loops6 crafted 0 sat 662355 iso_brn064.smt
QF_UF QG-classification/loops6 crafted 0 sat 662584 iso_brn065.smt
QF_UF QG-classification/loops6 crafted 0 sat 662478 iso_brn069.smt
QF_UF QG-classification/loops6 crafted 0 sat 662369 iso_brn070.smt
QF_UF QG-classification/loops6 crafted 0 sat 662429 iso_brn071.smt
QF_UF QG-classification/loops6 crafted 0 sat 662556 iso_brn072.smt
QF_UF QG-classification/loops6 crafted 0 sat 662727 iso_brn073.smt
QF_UF QG-classification/loops6 crafted 0 sat 662492 iso_brn076.smt
QF_UF QG-classification/loops6 crafted 0 sat 662647 iso_brn080.smt
QF_UF QG-classification/loops6 crafted 0 sat 662352 iso_brn081.smt
QF_UF QG-classification/loops6 crafted 0 sat 662360 iso_brn082.smt
QF_UF QG-classification/loops6 crafted 0 sat 662294 iso_brn083.smt
QF_UF QG-classification/loops6 crafted 0 sat 662378 iso_brn084.smt
QF_UF QG-classification/loops6 crafted 0 sat 662626 iso_brn085.smt
QF_UF QG-classification/loops6 crafted 0 sat 662577 iso_brn086.smt
QF_UF QG-classification/loops6 crafted 0 sat 662414 iso_brn087.smt
QF_UF QG-classification/loops6 crafted 0 sat 662283 iso_brn088.smt
QF_UF QG-classification/loops6 crafted 0 sat 662367 iso_brn089.smt
QF_UF QG-classification/loops6 crafted 0 sat 662711 iso_brn091.smt
QF_UF QG-classification/loops6 crafted 0 sat 662566 iso_brn092.smt
QF_UF QG-classification/loops6 crafted 0 sat 662305 iso_brn093.smt
QF_UF QG-classification/loops6 crafted 0 sat 662313 iso_brn094.smt
QF_UF QG-classification/loops6 crafted 0 sat 662616 iso_brn095.smt
QF_UF QG-classification/loops6 crafted 0 sat 662397 iso_brn097.smt
QF_UF QG-classification/loops6 crafted 0 sat 662684 iso_brn099.smt
QF_UF QG-classification/loops6 crafted 0 sat 662683 iso_brn100.smt
QF_UF QG-classification/loops6 crafted 0 sat 662292 iso_brn101.smt
QF_UF QG-classification/loops6 crafted 0 sat 662587 iso_brn102.smt
QF_UF QG-classification/loops6 crafted 0 sat 662539 iso_brn103.smt
QF_UF QG-classification/loops6 crafted 0 sat 662511 iso_brn104.smt
QF_UF QG-classification/loops6 crafted 0 sat 662669 iso_brn105.smt
QF_UF QG-classification/loops6 crafted 0 sat 662576 iso_brn106.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662402 dead_dnd001.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662637 dead_dnd002.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662446 dead_dnd003.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662370 dead_dnd004.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662357 dead_dnd005.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662484 dead_dnd006.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662519 dead_dnd007.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662470 dead_dnd008.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662289 dead_dnd009.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662404 dead_dnd010.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662321 dead_dnd011.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662488 dead_dnd012.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662427 dead_dnd013.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662344 dead_dnd014.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662504 dead_dnd015.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662515 dead_dnd016.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662640 dead_dnd017.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662380 dead_dnd018.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662437 gensys_brn004.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662606 gensys_brn008.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662299 gensys_brn015.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662471 gensys_brn019.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662364 gensys_brn025.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662686 gensys_brn029.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662300 gensys_brn035.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662697 gensys_brn036.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662291 gensys_brn040.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662618 gensys_brn051.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662558 gensys_brn052.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662724 gensys_brn064.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662395 gensys_brn065.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662298 gensys_brn073.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662622 gensys_brn076.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662482 gensys_brn081.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662440 gensys_brn084.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662694 gensys_brn085.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662297 gensys_brn087.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662679 gensys_brn089.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662671 gensys_brn092.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662398 gensys_brn095.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662507 gensys_brn097.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662691 gensys_brn105.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662609 gensys_brn106.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662422 gensys_icl001.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662602 gensys_icl002.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662401 gensys_icl003.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662477 gensys_icl004.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662713 gensys_icl005.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662342 gensys_icl006.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662498 gensys_icl007.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662714 gensys_icl008.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662525 gensys_icl009.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662493 gensys_icl010.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662564 gensys_icl011.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662457 gensys_icl012.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662311 gensys_icl013.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662479 gensys_icl014.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662336 gensys_icl015.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662387 gensys_icl016.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662600 gensys_icl017.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662581 gensys_icl018.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662707 gensys_icl019.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662560 gensys_icl020.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662487 gensys_icl021.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662322 gensys_icl022.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662325 gensys_icl023.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662638 gensys_icl024.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662594 gensys_icl025.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662598 gensys_icl026.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662675 gensys_icl027.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662590 gensys_icl028.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662386 gensys_icl029.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662608 gensys_icl030.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662412 gensys_icl031.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662340 gensys_icl032.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662557 gensys_icl033.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662612 gensys_icl034.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662705 gensys_icl035.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662400 gensys_icl036.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662650 gensys_icl037.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662481 gensys_icl038.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662312 gensys_icl039.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662415 gensys_icl040.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662659 gensys_icl041.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662319 gensys_icl042.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662681 gensys_icl043.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662699 gensys_icl044.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662480 gensys_icl045.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662473 gensys_icl046.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662413 gensys_icl047.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662405 gensys_icl048.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662702 gensys_icl049.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662589 gensys_icl050.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662605 gensys_icl051.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662407 gensys_icl052.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662314 gensys_icl053.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662573 gensys_icl054.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662677 gensys_icl055.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662693 gensys_icl056.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662308 gensys_icl057.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662385 gensys_icl058.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662458 gensys_icl059.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662324 gensys_icl060.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662642 gensys_icl061.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662383 gensys_icl062.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662334 gensys_icl063.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662627 gensys_icl064.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662337 gensys_icl065.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662546 gensys_icl066.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662555 gensys_icl067.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662678 gensys_icl068.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662315 gensys_icl069.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662651 gensys_icl070.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662339 gensys_icl071.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662625 gensys_icl072.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662526 gensys_icl073.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662320 gensys_icl074.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662682 gensys_icl075.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662388 gensys_icl076.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662346 gensys_icl077.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662538 gensys_icl078.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662285 gensys_icl079.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662531 gensys_icl080.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662495 gensys_icl081.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662725 gensys_icl082.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662301 gensys_icl083.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662656 gensys_icl084.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662497 gensys_icl085.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662286 gensys_icl086.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662304 gensys_icl087.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662710 gensys_icl088.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662500 gensys_icl089.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662417 gensys_icl090.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662607 gensys_icl091.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662453 gensys_icl092.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662585 gensys_icl093.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662332 gensys_icl094.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662287 gensys_icl095.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662371 gensys_icl096.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662540 gensys_icl097.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662461 gensys_icl098.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662516 gensys_icl099.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662359 gensys_icl100.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662597 gensys_icl101.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662425 gensys_icl102.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662709 gensys_icl103.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662421 gensys_icl104.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662423 gensys_icl105.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662436 gensys_icl106.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662310 gensys_icl107.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662411 gensys_icl108.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662460 gensys_icl109.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662442 iso_brn005.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662700 iso_brn006.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662444 iso_brn016.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662665 iso_brn020.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662503 iso_brn027.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662673 iso_brn028.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662537 iso_brn030.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662712 iso_brn031.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662614 iso_brn033.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662416 iso_brn038.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662718 iso_brn044.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662403 iso_brn045.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662648 iso_brn046.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662508 iso_brn049.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662630 iso_brn053.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662353 iso_brn062.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662376 iso_brn066.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662309 iso_brn067.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662475 iso_brn068.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662435 iso_brn074.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662462 iso_brn075.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662358 iso_brn077.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662561 iso_brn078.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662666 iso_brn079.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662551 iso_brn090.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662524 iso_brn096.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662563 iso_brn098.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662418 iso_icl001.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662293 iso_icl002.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662687 iso_icl003.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662588 iso_icl004.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662443 iso_icl005.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662372 iso_icl006.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662318 iso_icl007.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662579 iso_icl008.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662728 iso_icl009.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662601 iso_icl010.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662620 iso_icl011.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662610 iso_icl012.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662553 iso_icl013.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662542 iso_icl014.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662394 iso_icl015.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662384 iso_icl016.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662663 iso_icl017.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662426 iso_icl018.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662547 iso_icl019.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662644 iso_icl020.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662726 iso_icl021.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662419 iso_icl022.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662580 iso_icl023.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662513 iso_icl024.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662657 iso_icl025.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662454 iso_icl026.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662615 iso_icl027.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662528 iso_icl028.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662330 iso_icl029.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662363 iso_icl030.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662569 iso_icl031.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662501 iso_icl032.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662534 iso_icl033.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662438 iso_icl034.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662296 iso_icl035.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662486 iso_icl036.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662543 iso_icl037.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662288 iso_icl038.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662379 iso_icl039.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662635 iso_icl040.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662514 iso_icl041.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662281 iso_icl042.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662441 iso_icl043.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662448 iso_icl044.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662530 iso_icl045.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662316 iso_icl046.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662295 iso_icl047.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662549 iso_icl048.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662565 iso_icl049.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662628 iso_icl050.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662522 iso_icl051.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662641 iso_icl052.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662574 iso_icl053.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662431 iso_icl054.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662571 iso_icl055.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662284 iso_icl056.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662703 iso_icl057.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662583 iso_icl058.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662306 iso_icl059.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662593 iso_icl060.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662722 iso_icl061.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662674 iso_icl062.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662468 iso_icl063.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662502 iso_icl064.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662662 iso_icl065.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662661 iso_icl066.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662655 iso_icl067.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662368 iso_icl068.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662548 iso_icl069.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662604 iso_icl070.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662350 iso_icl071.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662326 iso_icl072.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662472 iso_icl073.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662695 iso_icl074.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662396 iso_icl075.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662619 iso_icl076.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662623 iso_icl077.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662680 iso_icl078.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662399 iso_icl079.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662596 iso_icl080.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662373 iso_icl081.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662720 iso_icl082.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662347 iso_icl083.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662688 iso_icl084.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662696 iso_icl085.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662672 iso_icl086.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662485 iso_icl087.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662335 iso_icl088.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662633 iso_icl089.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662499 iso_icl090.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662439 iso_icl091.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662719 iso_icl092.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662518 iso_icl093.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662456 iso_icl094.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662328 iso_icl095.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662685 iso_icl096.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662333 iso_icl097.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662698 iso_icl098.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662374 iso_icl099.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662317 iso_icl100.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662521 iso_icl101.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662467 iso_icl102.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662464 iso_icl103.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662489 iso_icl104.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662599 iso_icl105.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662692 iso_icl106.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662494 iso_icl107.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662428 iso_icl108.smt
QF_UF QG-classification/loops6 crafted 0 unsat 662505 iso_icl109.smt
QF_UF QG-classification/qg5 crafted 0 sat 667891 gensys_brn001.smt
QF_UF QG-classification/qg5 crafted 0 sat 667590 gensys_brn002.smt
QF_UF QG-classification/qg5 crafted 0 sat 665984 gensys_brn003.smt
QF_UF QG-classification/qg5 crafted 0 sat 664679 gensys_brn004.smt
QF_UF QG-classification/qg5 crafted 0 sat 666067 gensys_brn005.smt
QF_UF QG-classification/qg5 crafted 0 sat 663267 gensys_brn006.smt
QF_UF QG-classification/qg5 crafted 0 sat 666986 gensys_brn008.smt
QF_UF QG-classification/qg5 crafted 0 sat 665669 gensys_brn010.smt
QF_UF QG-classification/qg5 crafted 0 sat 665393 gensys_brn011.smt
QF_UF QG-classification/qg5 crafted 0 sat 664487 gensys_brn012.smt
QF_UF QG-classification/qg5 crafted 0 sat 668188 gensys_brn013.smt
QF_UF QG-classification/qg5 crafted 0 sat 666575 gensys_brn014.smt
QF_UF QG-classification/qg5 crafted 0 sat 663252 gensys_brn015.smt
QF_UF QG-classification/qg5 crafted 0 sat 663974 gensys_brn016.smt
QF_UF QG-classification/qg5 crafted 0 sat 662985 gensys_brn017.smt
QF_UF QG-classification/qg5 crafted 0 sat 667525 gensys_brn018.smt
QF_UF QG-classification/qg5 crafted 0 sat 665270 gensys_brn019.smt
QF_UF QG-classification/qg5 crafted 0 sat 666515 gensys_brn021.smt
QF_UF QG-classification/qg5 crafted 0 sat 664586 gensys_brn022.smt
QF_UF QG-classification/qg5 crafted 0 sat 663919 gensys_brn025.smt
QF_UF QG-classification/qg5 crafted 0 sat 663560 gensys_brn026.smt
QF_UF QG-classification/qg5 crafted 0 sat 667240 gensys_brn027.smt
QF_UF QG-classification/qg5 crafted 0 sat 664089 gensys_brn028.smt
QF_UF QG-classification/qg5 crafted 0 sat 667857 gensys_brn029.smt
QF_UF QG-classification/qg5 crafted 0 sat 666234 gensys_brn030.smt
QF_UF QG-classification/qg5 crafted 0 sat 664670 gensys_brn031.smt
QF_UF QG-classification/qg5 crafted 0 sat 664142 gensys_brn032.smt
QF_UF QG-classification/qg5 crafted 0 sat 667971 gensys_brn036.smt
QF_UF QG-classification/qg5 crafted 0 sat 667585 gensys_brn037.smt
QF_UF QG-classification/qg5 crafted 0 sat 666002 gensys_brn038.smt
QF_UF QG-classification/qg5 crafted 0 sat 664662 gensys_brn039.smt
QF_UF QG-classification/qg5 crafted 0 sat 663137 gensys_brn040.smt
QF_UF QG-classification/qg5 crafted 0 sat 665624 gensys_brn041.smt
QF_UF QG-classification/qg5 crafted 0 sat 667328 gensys_brn042.smt
QF_UF QG-classification/qg5 crafted 0 sat 664469 gensys_brn043.smt
QF_UF QG-classification/qg5 crafted 0 sat 667996 gensys_brn044.smt
QF_UF QG-classification/qg5 crafted 0 sat 664111 gensys_brn045.smt
QF_UF QG-classification/qg5 crafted 0 sat 667443 gensys_brn046.smt
QF_UF QG-classification/qg5 crafted 0 sat 668012 gensys_brn048.smt
QF_UF QG-classification/qg5 crafted 0 sat 664898 gensys_brn050.smt
QF_UF QG-classification/qg5 crafted 0 sat 667089 gensys_brn051.smt
QF_UF QG-classification/qg5 crafted 0 sat 666387 gensys_brn052.smt
QF_UF QG-classification/qg5 crafted 0 sat 664874 gensys_brn054.smt
QF_UF QG-classification/qg5 crafted 0 sat 668110 gensys_brn055.smt
QF_UF QG-classification/qg5 crafted 0 sat 667287 gensys_brn056.smt
QF_UF QG-classification/qg5 crafted 0 sat 664269 gensys_brn057.smt
QF_UF QG-classification/qg5 crafted 0 sat 667044 gensys_brn058.smt
QF_UF QG-classification/qg5 crafted 0 sat 663708 gensys_brn059.smt
QF_UF QG-classification/qg5 crafted 0 sat 667533 gensys_brn060.smt
QF_UF QG-classification/qg5 crafted 0 sat 666085 gensys_brn061.smt
QF_UF QG-classification/qg5 crafted 0 sat 664660 gensys_brn062.smt
QF_UF QG-classification/qg5 crafted 0 sat 665021 gensys_brn063.smt
QF_UF QG-classification/qg5 crafted 0 sat 668223 gensys_brn064.smt
QF_UF QG-classification/qg5 crafted 0 sat 664294 gensys_brn065.smt
QF_UF QG-classification/qg5 crafted 0 sat 663815 gensys_brn066.smt
QF_UF QG-classification/qg5 crafted 0 sat 667653 gensys_brn067.smt
QF_UF QG-classification/qg5 crafted 0 sat 667979 gensys_brn068.smt
QF_UF QG-classification/qg5 crafted 0 sat 667667 gensys_brn069.smt
QF_UF QG-classification/qg5 crafted 0 sat 663679 gensys_brn070.smt
QF_UF QG-classification/qg5 crafted 0 sat 663278 gensys_brn071.smt
QF_UF QG-classification/qg5 crafted 0 sat 667291 gensys_brn072.smt
QF_UF QG-classification/qg5 crafted 0 sat 663245 gensys_brn073.smt
QF_UF QG-classification/qg5 crafted 0 sat 667364 gensys_brn074.smt
QF_UF QG-classification/qg5 crafted 0 sat 664901 gensys_brn075.smt
QF_UF QG-classification/qg5 crafted 0 sat 667144 gensys_brn076.smt
QF_UF QG-classification/qg5 crafted 0 sat 665084 gensys_brn077.smt
QF_UF QG-classification/qg5 crafted 0 sat 666245 gensys_brn078.smt
QF_UF QG-classification/qg5 crafted 0 sat 663946 gensys_brn079.smt
QF_UF QG-classification/qg5 crafted 0 sat 665544 gensys_brn080.smt
QF_UF QG-classification/qg5 crafted 0 sat 665367 gensys_brn081.smt
QF_UF QG-classification/qg5 crafted 0 sat 663479 gensys_brn082.smt
QF_UF QG-classification/qg5 crafted 0 sat 664976 gensys_brn083.smt
QF_UF QG-classification/qg5 crafted 0 sat 664717 gensys_brn084.smt
QF_UF QG-classification/qg5 crafted 0 sat 667942 gensys_brn085.smt
QF_UF QG-classification/qg5 crafted 0 sat 667082 gensys_brn086.smt
QF_UF QG-classification/qg5 crafted 0 sat 663241 gensys_brn087.smt
QF_UF QG-classification/qg5 crafted 0 sat 667794 gensys_brn089.smt
QF_UF QG-classification/qg5 crafted 0 sat 665862 gensys_brn090.smt
QF_UF QG-classification/qg5 crafted 0 sat 667676 gensys_brn092.smt
QF_UF QG-classification/qg5 crafted 0 sat 665298 gensys_brn094.smt
QF_UF QG-classification/qg5 crafted 0 sat 667141 gensys_brn096.smt
QF_UF QG-classification/qg5 crafted 0 sat 665648 gensys_brn097.smt
QF_UF QG-classification/qg5 crafted 0 sat 664890 gensys_brn098.smt
QF_UF QG-classification/qg5 crafted 0 sat 664221 gensys_brn099.smt
QF_UF QG-classification/qg5 crafted 0 sat 663775 gensys_brn100.smt
QF_UF QG-classification/qg5 crafted 0 sat 667494 gensys_brn1001.smt
QF_UF QG-classification/qg5 crafted 0 sat 666360 gensys_brn1002.smt
QF_UF QG-classification/qg5 crafted 0 sat 665658 gensys_brn1003.smt
QF_UF QG-classification/qg5 crafted 0 sat 666715 gensys_brn1004.smt
QF_UF QG-classification/qg5 crafted 0 sat 664408 gensys_brn1005.smt
QF_UF QG-classification/qg5 crafted 0 sat 666462 gensys_brn1006.smt
QF_UF QG-classification/qg5 crafted 0 sat 664222 gensys_brn1007.smt
QF_UF QG-classification/qg5 crafted 0 sat 664687 gensys_brn1008.smt
QF_UF QG-classification/qg5 crafted 0 sat 667444 gensys_brn1009.smt
QF_UF QG-classification/qg5 crafted 0 sat 664254 gensys_brn101.smt
QF_UF QG-classification/qg5 crafted 0 sat 663991 gensys_brn1010.smt
QF_UF QG-classification/qg5 crafted 0 sat 663048 gensys_brn1011.smt
QF_UF QG-classification/qg5 crafted 0 sat 667723 gensys_brn1012.smt
QF_UF QG-classification/qg5 crafted 0 sat 667201 gensys_brn1013.smt
QF_UF QG-classification/qg5 crafted 0 sat 663135 gensys_brn1014.smt
QF_UF QG-classification/qg5 crafted 0 sat 663971 gensys_brn1015.smt
QF_UF QG-classification/qg5 crafted 0 sat 666271 gensys_brn1016.smt
QF_UF QG-classification/qg5 crafted 0 sat 663529 gensys_brn1017.smt
QF_UF QG-classification/qg5 crafted 0 sat 663405 gensys_brn1018.smt
QF_UF QG-classification/qg5 crafted 0 sat 665167 gensys_brn1019.smt
QF_UF QG-classification/qg5 crafted 0 sat 666011 gensys_brn102.smt
QF_UF QG-classification/qg5 crafted 0 sat 663665 gensys_brn1020.smt
QF_UF QG-classification/qg5 crafted 0 sat 667173 gensys_brn1021.smt
QF_UF QG-classification/qg5 crafted 0 sat 665739 gensys_brn1022.smt
QF_UF QG-classification/qg5 crafted 0 sat 663924 gensys_brn1023.smt
QF_UF QG-classification/qg5 crafted 0 sat 666081 gensys_brn1026.smt
QF_UF QG-classification/qg5 crafted 0 sat 663616 gensys_brn1027.smt
QF_UF QG-classification/qg5 crafted 0 sat 664385 gensys_brn1028.smt
QF_UF QG-classification/qg5 crafted 0 sat 666148 gensys_brn1029.smt
QF_UF QG-classification/qg5 crafted 0 sat 668127 gensys_brn103.smt
QF_UF QG-classification/qg5 crafted 0 sat 663847 gensys_brn1031.smt
QF_UF QG-classification/qg5 crafted 0 sat 664896 gensys_brn1032.smt
QF_UF QG-classification/qg5 crafted 0 sat 666596 gensys_brn1033.smt
QF_UF QG-classification/qg5 crafted 0 sat 668050 gensys_brn1035.smt
QF_UF QG-classification/qg5 crafted 0 sat 666976 gensys_brn1036.smt
QF_UF QG-classification/qg5 crafted 0 sat 665986 gensys_brn1037.smt
QF_UF QG-classification/qg5 crafted 0 sat 667725 gensys_brn1039.smt
QF_UF QG-classification/qg5 crafted 0 sat 667153 gensys_brn104.smt
QF_UF QG-classification/qg5 crafted 0 sat 664498 gensys_brn1040.smt
QF_UF QG-classification/qg5 crafted 0 sat 663695 gensys_brn1042.smt
QF_UF QG-classification/qg5 crafted 0 sat 666929 gensys_brn1043.smt
QF_UF QG-classification/qg5 crafted 0 sat 663035 gensys_brn1044.smt
QF_UF QG-classification/qg5 crafted 0 sat 663030 gensys_brn1045.smt
QF_UF QG-classification/qg5 crafted 0 sat 668147 gensys_brn1046.smt
QF_UF QG-classification/qg5 crafted 0 sat 665310 gensys_brn1047.smt
QF_UF QG-classification/qg5 crafted 0 sat 663363 gensys_brn1048.smt
QF_UF QG-classification/qg5 crafted 0 sat 667334 gensys_brn1049.smt
QF_UF QG-classification/qg5 crafted 0 sat 664259 gensys_brn1051.smt
QF_UF QG-classification/qg5 crafted 0 sat 664960 gensys_brn1053.smt
QF_UF QG-classification/qg5 crafted 0 sat 667249 gensys_brn1054.smt
QF_UF QG-classification/qg5 crafted 0 sat 667189 gensys_brn1055.smt
QF_UF QG-classification/qg5 crafted 0 sat 667252 gensys_brn1056.smt
QF_UF QG-classification/qg5 crafted 0 sat 664339 gensys_brn1058.smt
QF_UF QG-classification/qg5 crafted 0 sat 665882 gensys_brn1059.smt
QF_UF QG-classification/qg5 crafted 0 sat 667014 gensys_brn106.smt
QF_UF QG-classification/qg5 crafted 0 sat 663954 gensys_brn1060.smt
QF_UF QG-classification/qg5 crafted 0 sat 665876 gensys_brn1062.smt
QF_UF QG-classification/qg5 crafted 0 sat 668191 gensys_brn1063.smt
QF_UF QG-classification/qg5 crafted 0 sat 663697 gensys_brn1064.smt
QF_UF QG-classification/qg5 crafted 0 sat 666253 gensys_brn1065.smt
QF_UF QG-classification/qg5 crafted 0 sat 665101 gensys_brn1066.smt
QF_UF QG-classification/qg5 crafted 0 sat 666260 gensys_brn1067.smt
QF_UF QG-classification/qg5 crafted 0 sat 667128 gensys_brn1068.smt
QF_UF QG-classification/qg5 crafted 0 sat 667473 gensys_brn1069.smt
QF_UF QG-classification/qg5 crafted 0 sat 663797 gensys_brn107.smt
QF_UF QG-classification/qg5 crafted 0 sat 663509 gensys_brn1070.smt
QF_UF QG-classification/qg5 crafted 0 sat 663778 gensys_brn1072.smt
QF_UF QG-classification/qg5 crafted 0 sat 667775 gensys_brn1075.smt
QF_UF QG-classification/qg5 crafted 0 sat 662994 gensys_brn1076.smt
QF_UF QG-classification/qg5 crafted 0 sat 663953 gensys_brn1077.smt
QF_UF QG-classification/qg5 crafted 0 sat 663917 gensys_brn1078.smt
QF_UF QG-classification/qg5 crafted 0 sat 665155 gensys_brn1079.smt
QF_UF QG-classification/qg5 crafted 0 sat 665703 gensys_brn108.smt
QF_UF QG-classification/qg5 crafted 0 sat 664902 gensys_brn1080.smt
QF_UF QG-classification/qg5 crafted 0 sat 666150 gensys_brn1081.smt
QF_UF QG-classification/qg5 crafted 0 sat 667917 gensys_brn1082.smt
QF_UF QG-classification/qg5 crafted 0 sat 668109 gensys_brn1084.smt
QF_UF QG-classification/qg5 crafted 0 sat 665714 gensys_brn1086.smt
QF_UF QG-classification/qg5 crafted 0 sat 667573 gensys_brn1088.smt
QF_UF QG-classification/qg5 crafted 0 sat 664871 gensys_brn1089.smt
QF_UF QG-classification/qg5 crafted 0 sat 666731 gensys_brn109.smt
QF_UF QG-classification/qg5 crafted 0 sat 663965 gensys_brn1090.smt
QF_UF QG-classification/qg5 crafted 0 sat 667146 gensys_brn1091.smt
QF_UF QG-classification/qg5 crafted 0 sat 666901 gensys_brn1092.smt
QF_UF QG-classification/qg5 crafted 0 sat 666950 gensys_brn1093.smt
QF_UF QG-classification/qg5 crafted 0 sat 665990 gensys_brn1094.smt
QF_UF QG-classification/qg5 crafted 0 sat 665718 gensys_brn1095.smt
QF_UF QG-classification/qg5 crafted 0 sat 664917 gensys_brn1096.smt
QF_UF QG-classification/qg5 crafted 0 sat 665555 gensys_brn1097.smt
QF_UF QG-classification/qg5 crafted 0 sat 664856 gensys_brn1099.smt
QF_UF QG-classification/qg5 crafted 0 sat 665303 gensys_brn110.smt
QF_UF QG-classification/qg5 crafted 0 sat 665112 gensys_brn1100.smt
QF_UF QG-classification/qg5 crafted 0 sat 663639 gensys_brn1101.smt
QF_UF QG-classification/qg5 crafted 0 sat 664439 gensys_brn1102.smt
QF_UF QG-classification/qg5 crafted 0 sat 666980 gensys_brn1105.smt
QF_UF QG-classification/qg5 crafted 0 sat 665707 gensys_brn1106.smt
QF_UF QG-classification/qg5 crafted 0 sat 663160 gensys_brn1107.smt
QF_UF QG-classification/qg5 crafted 0 sat 665931 gensys_brn1108.smt
QF_UF QG-classification/qg5 crafted 0 sat 668099 gensys_brn1109.smt
QF_UF QG-classification/qg5 crafted 0 sat 666254 gensys_brn111.smt
QF_UF QG-classification/qg5 crafted 0 sat 666669 gensys_brn1110.smt
QF_UF QG-classification/qg5 crafted 0 sat 663319 gensys_brn1111.smt
QF_UF QG-classification/qg5 crafted 0 sat 663771 gensys_brn1112.smt
QF_UF QG-classification/qg5 crafted 0 sat 665003 gensys_brn1113.smt
QF_UF QG-classification/qg5 crafted 0 sat 665758 gensys_brn1114.smt
QF_UF QG-classification/qg5 crafted 0 sat 667307 gensys_brn1115.smt
QF_UF QG-classification/qg5 crafted 0 sat 667434 gensys_brn1116.smt
QF_UF QG-classification/qg5 crafted 0 sat 665523 gensys_brn1117.smt
QF_UF QG-classification/qg5 crafted 0 sat 664883 gensys_brn1118.smt
QF_UF QG-classification/qg5 crafted 0 sat 664417 gensys_brn1119.smt
QF_UF QG-classification/qg5 crafted 0 sat 666708 gensys_brn112.smt
QF_UF QG-classification/qg5 crafted 0 sat 663803 gensys_brn1120.smt
QF_UF QG-classification/qg5 crafted 0 sat 665893 gensys_brn1121.smt
QF_UF QG-classification/qg5 crafted 0 sat 665662 gensys_brn1122.smt
QF_UF QG-classification/qg5 crafted 0 sat 665812 gensys_brn1123.smt
QF_UF QG-classification/qg5 crafted 0 sat 667890 gensys_brn1124.smt
QF_UF QG-classification/qg5 crafted 0 sat 663202 gensys_brn1125.smt
QF_UF QG-classification/qg5 crafted 0 sat 667075 gensys_brn1126.smt
QF_UF QG-classification/qg5 crafted 0 sat 667119 gensys_brn1127.smt
QF_UF QG-classification/qg5 crafted 0 sat 668148 gensys_brn1128.smt
QF_UF QG-classification/qg5 crafted 0 sat 667376 gensys_brn1129.smt
QF_UF QG-classification/qg5 crafted 0 sat 665880 gensys_brn113.smt
QF_UF QG-classification/qg5 crafted 0 sat 667026 gensys_brn1130.smt
QF_UF QG-classification/qg5 crafted 0 sat 664602 gensys_brn1131.smt
QF_UF QG-classification/qg5 crafted 0 sat 665299 gensys_brn1132.smt
QF_UF QG-classification/qg5 crafted 0 sat 667374 gensys_brn1133.smt
QF_UF QG-classification/qg5 crafted 0 sat 665730 gensys_brn1134.smt
QF_UF QG-classification/qg5 crafted 0 sat 664770 gensys_brn1135.smt
QF_UF QG-classification/qg5 crafted 0 sat 667463 gensys_brn1136.smt
QF_UF QG-classification/qg5 crafted 0 sat 666089 gensys_brn1137.smt
QF_UF QG-classification/qg5 crafted 0 sat 665430 gensys_brn1138.smt
QF_UF QG-classification/qg5 crafted 0 sat 665224 gensys_brn1139.smt
QF_UF QG-classification/qg5 crafted 0 sat 667897 gensys_brn114.smt
QF_UF QG-classification/qg5 crafted 0 sat 668117 gensys_brn1140.smt
QF_UF QG-classification/qg5 crafted 0 sat 667577 gensys_brn1141.smt
QF_UF QG-classification/qg5 crafted 0 sat 667776 gensys_brn1142.smt
QF_UF QG-classification/qg5 crafted 0 sat 664847 gensys_brn1143.smt
QF_UF QG-classification/qg5 crafted 0 sat 667574 gensys_brn1144.smt
QF_UF QG-classification/qg5 crafted 0 sat 664101 gensys_brn1145.smt
QF_UF QG-classification/qg5 crafted 0 sat 666910 gensys_brn1146.smt
QF_UF QG-classification/qg5 crafted 0 sat 665742 gensys_brn1147.smt
QF_UF QG-classification/qg5 crafted 0 sat 666079 gensys_brn1151.smt
QF_UF QG-classification/qg5 crafted 0 sat 666050 gensys_brn1152.smt
QF_UF QG-classification/qg5 crafted 0 sat 665665 gensys_brn1153.smt
QF_UF QG-classification/qg5 crafted 0 sat 667726 gensys_brn1154.smt
QF_UF QG-classification/qg5 crafted 0 sat 666680 gensys_brn1155.smt
QF_UF QG-classification/qg5 crafted 0 sat 663471 gensys_brn1156.smt
QF_UF QG-classification/qg5 crafted 0 sat 663680 gensys_brn1157.smt
QF_UF QG-classification/qg5 crafted 0 sat 665861 gensys_brn116.smt
QF_UF QG-classification/qg5 crafted 0 sat 665524 gensys_brn1160.smt
QF_UF QG-classification/qg5 crafted 0 sat 667304 gensys_brn1161.smt
QF_UF QG-classification/qg5 crafted 0 sat 666264 gensys_brn1162.smt
QF_UF QG-classification/qg5 crafted 0 sat 667127 gensys_brn1163.smt
QF_UF QG-classification/qg5 crafted 0 sat 664458 gensys_brn1164.smt
QF_UF QG-classification/qg5 crafted 0 sat 666250 gensys_brn1165.smt
QF_UF QG-classification/qg5 crafted 0 sat 667122 gensys_brn1166.smt
QF_UF QG-classification/qg5 crafted 0 sat 666814 gensys_brn1167.smt
QF_UF QG-classification/qg5 crafted 0 sat 666075 gensys_brn1168.smt
QF_UF QG-classification/qg5 crafted 0 sat 667330 gensys_brn1169.smt
QF_UF QG-classification/qg5 crafted 0 sat 664550 gensys_brn117.smt
QF_UF QG-classification/qg5 crafted 0 sat 666946 gensys_brn1170.smt
QF_UF QG-classification/qg5 crafted 0 sat 665233 gensys_brn1171.smt
QF_UF QG-classification/qg5 crafted 0 sat 667502 gensys_brn1172.smt
QF_UF QG-classification/qg5 crafted 0 sat 667115 gensys_brn1173.smt
QF_UF QG-classification/qg5 crafted 0 sat 666280 gensys_brn1174.smt
QF_UF QG-classification/qg5 crafted 0 sat 665329 gensys_brn1175.smt
QF_UF QG-classification/qg5 crafted 0 sat 665899 gensys_brn1176.smt
QF_UF QG-classification/qg5 crafted 0 sat 665152 gensys_brn1177.smt
QF_UF QG-classification/qg5 crafted 0 sat 663545 gensys_brn1178.smt
QF_UF QG-classification/qg5 crafted 0 sat 666614 gensys_brn1179.smt
QF_UF QG-classification/qg5 crafted 0 sat 665753 gensys_brn118.smt
QF_UF QG-classification/qg5 crafted 0 sat 663722 gensys_brn1180.smt
QF_UF QG-classification/qg5 crafted 0 sat 666719 gensys_brn1181.smt
QF_UF QG-classification/qg5 crafted 0 sat 664471 gensys_brn1182.smt
QF_UF QG-classification/qg5 crafted 0 sat 667006 gensys_brn1184.smt
QF_UF QG-classification/qg5 crafted 0 sat 664251 gensys_brn1185.smt
QF_UF QG-classification/qg5 crafted 0 sat 663546 gensys_brn1186.smt
QF_UF QG-classification/qg5 crafted 0 sat 667492 gensys_brn1187.smt
QF_UF QG-classification/qg5 crafted 0 sat 663337 gensys_brn1188.smt
QF_UF QG-classification/qg5 crafted 0 sat 667945 gensys_brn119.smt
QF_UF QG-classification/qg5 crafted 0 sat 664037 gensys_brn1190.smt
QF_UF QG-classification/qg5 crafted 0 sat 664954 gensys_brn1191.smt
QF_UF QG-classification/qg5 crafted 0 sat 666165 gensys_brn1192.smt
QF_UF QG-classification/qg5 crafted 0 sat 665744 gensys_brn1193.smt
QF_UF QG-classification/qg5 crafted 0 sat 668138 gensys_brn1194.smt
QF_UF QG-classification/qg5 crafted 0 sat 663960 gensys_brn1196.smt
QF_UF QG-classification/qg5 crafted 0 sat 667795 gensys_brn1197.smt
QF_UF QG-classification/qg5 crafted 0 sat 666743 gensys_brn1198.smt
QF_UF QG-classification/qg5 crafted 0 sat 668059 gensys_brn1199.smt
QF_UF QG-classification/qg5 crafted 0 sat 663428 gensys_brn120.smt
QF_UF QG-classification/qg5 crafted 0 sat 663910 gensys_brn1200.smt
QF_UF QG-classification/qg5 crafted 0 sat 666560 gensys_brn1201.smt
QF_UF QG-classification/qg5 crafted 0 sat 663725 gensys_brn1202.smt
QF_UF QG-classification/qg5 crafted 0 sat 665873 gensys_brn1203.smt
QF_UF QG-classification/qg5 crafted 0 sat 664499 gensys_brn1204.smt
QF_UF QG-classification/qg5 crafted 0 sat 665406 gensys_brn1205.smt
QF_UF QG-classification/qg5 crafted 0 sat 664850 gensys_brn1206.smt
QF_UF QG-classification/qg5 crafted 0 sat 665292 gensys_brn1207.smt
QF_UF QG-classification/qg5 crafted 0 sat 667401 gensys_brn1208.smt
QF_UF QG-classification/qg5 crafted 0 sat 667453 gensys_brn1209.smt
QF_UF QG-classification/qg5 crafted 0 sat 667105 gensys_brn121.smt
QF_UF QG-classification/qg5 crafted 0 sat 665073 gensys_brn1210.smt
QF_UF QG-classification/qg5 crafted 0 sat 667690 gensys_brn1211.smt
QF_UF QG-classification/qg5 crafted 0 sat 665503 gensys_brn1212.smt
QF_UF QG-classification/qg5 crafted 0 sat 664886 gensys_brn1213.smt
QF_UF QG-classification/qg5 crafted 0 sat 664788 gensys_brn1215.smt
QF_UF QG-classification/qg5 crafted 0 sat 666113 gensys_brn1216.smt
QF_UF QG-classification/qg5 crafted 0 sat 665813 gensys_brn1217.smt
QF_UF QG-classification/qg5 crafted 0 sat 663427 gensys_brn1218.smt
QF_UF QG-classification/qg5 crafted 0 sat 667876 gensys_brn1219.smt
QF_UF QG-classification/qg5 crafted 0 sat 667045 gensys_brn1220.smt
QF_UF QG-classification/qg5 crafted 0 sat 668049 gensys_brn1221.smt
QF_UF QG-classification/qg5 crafted 0 sat 663597 gensys_brn1222.smt
QF_UF QG-classification/qg5 crafted 0 sat 665174 gensys_brn1224.smt
QF_UF QG-classification/qg5 crafted 0 sat 663304 gensys_brn1225.smt
QF_UF QG-classification/qg5 crafted 0 sat 666016 gensys_brn1227.smt
QF_UF QG-classification/qg5 crafted 0 sat 663413 gensys_brn1228.smt
QF_UF QG-classification/qg5 crafted 0 sat 664680 gensys_brn1229.smt
QF_UF QG-classification/qg5 crafted 0 sat 666753 gensys_brn1232.smt
QF_UF QG-classification/qg5 crafted 0 sat 668118 gensys_brn1234.smt
QF_UF QG-classification/qg5 crafted 0 sat 663829 gensys_brn1235.smt
QF_UF QG-classification/qg5 crafted 0 sat 666730 gensys_brn1236.smt
QF_UF QG-classification/qg5 crafted 0 sat 664878 gensys_brn1237.smt
QF_UF QG-classification/qg5 crafted 0 sat 666240 gensys_brn1239.smt
QF_UF QG-classification/qg5 crafted 0 sat 667728 gensys_brn1241.smt
QF_UF QG-classification/qg5 crafted 0 sat 667685 gensys_brn1242.smt
QF_UF QG-classification/qg5 crafted 0 sat 665450 gensys_brn1243.smt
QF_UF QG-classification/qg5 crafted 0 sat 667428 gensys_brn1244.smt
QF_UF QG-classification/qg5 crafted 0 sat 666953 gensys_brn1245.smt
QF_UF QG-classification/qg5 crafted 0 sat 665597 gensys_brn1246.smt
QF_UF QG-classification/qg5 crafted 0 sat 664059 gensys_brn1247.smt
QF_UF QG-classification/qg5 crafted 0 sat 667559 gensys_brn1248.smt
QF_UF QG-classification/qg5 crafted 0 sat 668142 gensys_brn1249.smt
QF_UF QG-classification/qg5 crafted 0 sat 666489 gensys_brn125.smt
QF_UF QG-classification/qg5 crafted 0 sat 667012 gensys_brn1250.smt
QF_UF QG-classification/qg5 crafted 0 sat 667005 gensys_brn1251.smt
QF_UF QG-classification/qg5 crafted 0 sat 664913 gensys_brn1252.smt
QF_UF QG-classification/qg5 crafted 0 sat 664612 gensys_brn1253.smt
QF_UF QG-classification/qg5 crafted 0 sat 666581 gensys_brn1255.smt
QF_UF QG-classification/qg5 crafted 0 sat 664983 gensys_brn1256.smt
QF_UF QG-classification/qg5 crafted 0 sat 668096 gensys_brn1257.smt
QF_UF QG-classification/qg5 crafted 0 sat 667767 gensys_brn1258.smt
QF_UF QG-classification/qg5 crafted 0 sat 664168 gensys_brn1259.smt
QF_UF QG-classification/qg5 crafted 0 sat 663117 gensys_brn126.smt
QF_UF QG-classification/qg5 crafted 0 sat 667578 gensys_brn1261.smt
QF_UF QG-classification/qg5 crafted 0 sat 665967 gensys_brn1265.smt
QF_UF QG-classification/qg5 crafted 0 sat 667467 gensys_brn1266.smt
QF_UF QG-classification/qg5 crafted 0 sat 666214 gensys_brn1267.smt
QF_UF QG-classification/qg5 crafted 0 sat 664309 gensys_brn1268.smt
QF_UF QG-classification/qg5 crafted 0 sat 663000 gensys_brn1269.smt
QF_UF QG-classification/qg5 crafted 0 sat 667344 gensys_brn127.smt
QF_UF QG-classification/qg5 crafted 0 sat 667062 gensys_brn1270.smt
QF_UF QG-classification/qg5 crafted 0 sat 664435 gensys_brn1272.smt
QF_UF QG-classification/qg5 crafted 0 sat 664711 gensys_brn1273.smt
QF_UF QG-classification/qg5 crafted 0 sat 664881 gensys_brn1274.smt
QF_UF QG-classification/qg5 crafted 0 sat 665030 gensys_brn1275.smt
QF_UF QG-classification/qg5 crafted 0 sat 666041 gensys_brn1276.smt
QF_UF QG-classification/qg5 crafted 0 sat 667234 gensys_brn1277.smt
QF_UF QG-classification/qg5 crafted 0 sat 667379 gensys_brn1278.smt
QF_UF QG-classification/qg5 crafted 0 sat 666810 gensys_brn1279.smt
QF_UF QG-classification/qg5 crafted 0 sat 663508 gensys_brn128.smt
QF_UF QG-classification/qg5 crafted 0 sat 662984 gensys_brn1281.smt
QF_UF QG-classification/qg5 crafted 0 sat 668126 gensys_brn1282.smt
QF_UF QG-classification/qg5 crafted 0 sat 667360 gensys_brn1283.smt
QF_UF QG-classification/qg5 crafted 0 sat 663941 gensys_brn1284.smt
QF_UF QG-classification/qg5 crafted 0 sat 664622 gensys_brn1285.smt
QF_UF QG-classification/qg5 crafted 0 sat 664312 gensys_brn1286.smt
QF_UF QG-classification/qg5 crafted 0 sat 663190 gensys_brn1288.smt
QF_UF QG-classification/qg5 crafted 0 sat 665975 gensys_brn1289.smt
QF_UF QG-classification/qg5 crafted 0 sat 665388 gensys_brn129.smt
QF_UF QG-classification/qg5 crafted 0 sat 667705 gensys_brn1290.smt
QF_UF QG-classification/qg5 crafted 0 sat 665838 gensys_brn1291.smt
QF_UF QG-classification/qg5 crafted 0 sat 664041 gensys_brn1292.smt
QF_UF QG-classification/qg5 crafted 0 sat 666968 gensys_brn1293.smt
QF_UF QG-classification/qg5 crafted 0 sat 666729 gensys_brn1294.smt
QF_UF QG-classification/qg5 crafted 0 sat 667625 gensys_brn1295.smt
QF_UF QG-classification/qg5 crafted 0 sat 663663 gensys_brn1296.smt
QF_UF QG-classification/qg5 crafted 0 sat 666229 gensys_brn1297.smt
QF_UF QG-classification/qg5 crafted 0 sat 667731 gensys_brn1298.smt
QF_UF QG-classification/qg5 crafted 0 sat 667908 gensys_brn1299.smt
QF_UF QG-classification/qg5 crafted 0 sat 663937 gensys_brn130.smt
QF_UF QG-classification/qg5 crafted 0 sat 665636 gensys_brn1300.smt
QF_UF QG-classification/qg5 crafted 0 sat 665587 gensys_brn1302.smt
QF_UF QG-classification/qg5 crafted 0 sat 664941 gensys_brn1303.smt
QF_UF QG-classification/qg5 crafted 0 sat 665218 gensys_brn1304.smt
QF_UF QG-classification/qg5 crafted 0 sat 664369 gensys_brn1305.smt
QF_UF QG-classification/qg5 crafted 0 sat 665007 gensys_brn1306.smt
QF_UF QG-classification/qg5 crafted 0 sat 667524 gensys_brn1307.smt
QF_UF QG-classification/qg5 crafted 0 sat 667430 gensys_brn1309.smt
QF_UF QG-classification/qg5 crafted 0 sat 664646 gensys_brn1310.smt
QF_UF QG-classification/qg5 crafted 0 sat 663973 gensys_brn1311.smt
QF_UF QG-classification/qg5 crafted 0 sat 665628 gensys_brn1312.smt
QF_UF QG-classification/qg5 crafted 0 sat 663234 gensys_brn1313.smt
QF_UF QG-classification/qg5 crafted 0 sat 663994 gensys_brn1314.smt
QF_UF QG-classification/qg5 crafted 0 sat 666248 gensys_brn1316.smt
QF_UF QG-classification/qg5 crafted 0 sat 667150 gensys_brn1317.smt
QF_UF QG-classification/qg5 crafted 0 sat 665435 gensys_brn1318.smt
QF_UF QG-classification/qg5 crafted 0 sat 663666 gensys_brn1320.smt
QF_UF QG-classification/qg5 crafted 0 sat 667124 gensys_brn1322.smt
QF_UF QG-classification/qg5 crafted 0 sat 666132 gensys_brn1323.smt
QF_UF QG-classification/qg5 crafted 0 sat 664256 gensys_brn1324.smt
QF_UF QG-classification/qg5 crafted 0 sat 665670 gensys_brn1325.smt
QF_UF QG-classification/qg5 crafted 0 sat 665962 gensys_brn1327.smt
QF_UF QG-classification/qg5 crafted 0 sat 662976 gensys_brn135.smt
QF_UF QG-classification/qg5 crafted 0 sat 664081 gensys_brn136.smt
QF_UF QG-classification/qg5 crafted 0 sat 667785 gensys_brn137.smt
QF_UF QG-classification/qg5 crafted 0 sat 666221 gensys_brn138.smt
QF_UF QG-classification/qg5 crafted 0 sat 665337 gensys_brn139.smt
QF_UF QG-classification/qg5 crafted 0 sat 666437 gensys_brn140.smt
QF_UF QG-classification/qg5 crafted 0 sat 664441 gensys_brn141.smt
QF_UF QG-classification/qg5 crafted 0 sat 664386 gensys_brn142.smt
QF_UF QG-classification/qg5 crafted 0 sat 668090 gensys_brn143.smt
QF_UF QG-classification/qg5 crafted 0 sat 667642 gensys_brn144.smt
QF_UF QG-classification/qg5 crafted 0 sat 666710 gensys_brn145.smt
QF_UF QG-classification/qg5 crafted 0 sat 666114 gensys_brn146.smt
QF_UF QG-classification/qg5 crafted 0 sat 665500 gensys_brn147.smt
QF_UF QG-classification/qg5 crafted 0 sat 668032 gensys_brn148.smt
QF_UF QG-classification/qg5 crafted 0 sat 663719 gensys_brn149.smt
QF_UF QG-classification/qg5 crafted 0 sat 665106 gensys_brn150.smt
QF_UF QG-classification/qg5 crafted 0 sat 666393 gensys_brn151.smt
QF_UF QG-classification/qg5 crafted 0 sat 666574 gensys_brn152.smt
QF_UF QG-classification/qg5 crafted 0 sat 664751 gensys_brn153.smt
QF_UF QG-classification/qg5 crafted 0 sat 665490 gensys_brn154.smt
QF_UF QG-classification/qg5 crafted 0 sat 666122 gensys_brn155.smt
QF_UF QG-classification/qg5 crafted 0 sat 666541 gensys_brn156.smt
QF_UF QG-classification/qg5 crafted 0 sat 665127 gensys_brn157.smt
QF_UF QG-classification/qg5 crafted 0 sat 665788 gensys_brn158.smt
QF_UF QG-classification/qg5 crafted 0 sat 667687 gensys_brn160.smt
QF_UF QG-classification/qg5 crafted 0 sat 666789 gensys_brn161.smt
QF_UF QG-classification/qg5 crafted 0 sat 665857 gensys_brn162.smt
QF_UF QG-classification/qg5 crafted 0 sat 665613 gensys_brn164.smt
QF_UF QG-classification/qg5 crafted 0 sat 665766 gensys_brn165.smt
QF_UF QG-classification/qg5 crafted 0 sat 666993 gensys_brn167.smt
QF_UF QG-classification/qg5 crafted 0 sat 667584 gensys_brn168.smt
QF_UF QG-classification/qg5 crafted 0 sat 667039 gensys_brn169.smt
QF_UF QG-classification/qg5 crafted 0 sat 667193 gensys_brn170.smt
QF_UF QG-classification/qg5 crafted 0 sat 664521 gensys_brn171.smt
QF_UF QG-classification/qg5 crafted 0 sat 667329 gensys_brn172.smt
QF_UF QG-classification/qg5 crafted 0 sat 667956 gensys_brn173.smt
QF_UF QG-classification/qg5 crafted 0 sat 663488 gensys_brn174.smt
QF_UF QG-classification/qg5 crafted 0 sat 666074 gensys_brn175.smt
QF_UF QG-classification/qg5 crafted 0 sat 665158 gensys_brn176.smt
QF_UF QG-classification/qg5 crafted 0 sat 667160 gensys_brn177.smt
QF_UF QG-classification/qg5 crafted 0 sat 665109 gensys_brn178.smt
QF_UF QG-classification/qg5 crafted 0 sat 667454 gensys_brn179.smt
QF_UF QG-classification/qg5 crafted 0 sat 666091 gensys_brn181.smt
QF_UF QG-classification/qg5 crafted 0 sat 663313 gensys_brn182.smt
QF_UF QG-classification/qg5 crafted 0 sat 666403 gensys_brn183.smt
QF_UF QG-classification/qg5 crafted 0 sat 665277 gensys_brn184.smt
QF_UF QG-classification/qg5 crafted 0 sat 667294 gensys_brn185.smt
QF_UF QG-classification/qg5 crafted 0 sat 666366 gensys_brn186.smt
QF_UF QG-classification/qg5 crafted 0 sat 666303 gensys_brn187.smt
QF_UF QG-classification/qg5 crafted 0 sat 666967 gensys_brn188.smt
QF_UF QG-classification/qg5 crafted 0 sat 664433 gensys_brn189.smt
QF_UF QG-classification/qg5 crafted 0 sat 665808 gensys_brn190.smt
QF_UF QG-classification/qg5 crafted 0 sat 666528 gensys_brn191.smt
QF_UF QG-classification/qg5 crafted 0 sat 664230 gensys_brn192.smt
QF_UF QG-classification/qg5 crafted 0 sat 665187 gensys_brn193.smt
QF_UF QG-classification/qg5 crafted 0 sat 667147 gensys_brn194.smt
QF_UF QG-classification/qg5 crafted 0 sat 667621 gensys_brn195.smt
QF_UF QG-classification/qg5 crafted 0 sat 663466 gensys_brn196.smt
QF_UF QG-classification/qg5 crafted 0 sat 664959 gensys_brn197.smt
QF_UF QG-classification/qg5 crafted 0 sat 666376 gensys_brn198.smt
QF_UF QG-classification/qg5 crafted 0 sat 666768 gensys_brn199.smt
QF_UF QG-classification/qg5 crafted 0 sat 665842 gensys_brn201.smt
QF_UF QG-classification/qg5 crafted 0 sat 667916 gensys_brn202.smt
QF_UF QG-classification/qg5 crafted 0 sat 663277 gensys_brn203.smt
QF_UF QG-classification/qg5 crafted 0 sat 665403 gensys_brn204.smt
QF_UF QG-classification/qg5 crafted 0 sat 668020 gensys_brn205.smt
QF_UF QG-classification/qg5 crafted 0 sat 667107 gensys_brn207.smt
QF_UF QG-classification/qg5 crafted 0 sat 663891 gensys_brn208.smt
QF_UF QG-classification/qg5 crafted 0 sat 667314 gensys_brn210.smt
QF_UF QG-classification/qg5 crafted 0 sat 665709 gensys_brn211.smt
QF_UF QG-classification/qg5 crafted 0 sat 666643 gensys_brn212.smt
QF_UF QG-classification/qg5 crafted 0 sat 663962 gensys_brn213.smt
QF_UF QG-classification/qg5 crafted 0 sat 667426 gensys_brn214.smt
QF_UF QG-classification/qg5 crafted 0 sat 666097 gensys_brn215.smt
QF_UF QG-classification/qg5 crafted 0 sat 665572 gensys_brn216.smt
QF_UF QG-classification/qg5 crafted 0 sat 666333 gensys_brn217.smt
QF_UF QG-classification/qg5 crafted 0 sat 665667 gensys_brn218.smt
QF_UF QG-classification/qg5 crafted 0 sat 666235 gensys_brn219.smt
QF_UF QG-classification/qg5 crafted 0 sat 666369 gensys_brn221.smt
QF_UF QG-classification/qg5 crafted 0 sat 665042 gensys_brn222.smt
QF_UF QG-classification/qg5 crafted 0 sat 667486 gensys_brn223.smt
QF_UF QG-classification/qg5 crafted 0 sat 665771 gensys_brn224.smt
QF_UF QG-classification/qg5 crafted 0 sat 667652 gensys_brn226.smt
QF_UF QG-classification/qg5 crafted 0 sat 665469 gensys_brn227.smt
QF_UF QG-classification/qg5 crafted 0 sat 663020 gensys_brn228.smt
QF_UF QG-classification/qg5 crafted 0 sat 667937 gensys_brn229.smt
QF_UF QG-classification/qg5 crafted 0 sat 667617 gensys_brn230.smt
QF_UF QG-classification/qg5 crafted 0 sat 665515 gensys_brn231.smt
QF_UF QG-classification/qg5 crafted 0 sat 664490 gensys_brn232.smt
QF_UF QG-classification/qg5 crafted 0 sat 666025 gensys_brn233.smt
QF_UF QG-classification/qg5 crafted 0 sat 667176 gensys_brn234.smt
QF_UF QG-classification/qg5 crafted 0 sat 666266 gensys_brn235.smt
QF_UF QG-classification/qg5 crafted 0 sat 664799 gensys_brn236.smt
QF_UF QG-classification/qg5 crafted 0 sat 665955 gensys_brn237.smt
QF_UF QG-classification/qg5 crafted 0 sat 666382 gensys_brn239.smt
QF_UF QG-classification/qg5 crafted 0 sat 667941 gensys_brn240.smt
QF_UF QG-classification/qg5 crafted 0 sat 665684 gensys_brn241.smt
QF_UF QG-classification/qg5 crafted 0 sat 666875 gensys_brn242.smt
QF_UF QG-classification/qg5 crafted 0 sat 665312 gensys_brn245.smt
QF_UF QG-classification/qg5 crafted 0 sat 665883 gensys_brn246.smt
QF_UF QG-classification/qg5 crafted 0 sat 664984 gensys_brn247.smt
QF_UF QG-classification/qg5 crafted 0 sat 666595 gensys_brn249.smt
QF_UF QG-classification/qg5 crafted 0 sat 666020 gensys_brn250.smt
QF_UF QG-classification/qg5 crafted 0 sat 665820 gensys_brn251.smt
QF_UF QG-classification/qg5 crafted 0 sat 663159 gensys_brn252.smt
QF_UF QG-classification/qg5 crafted 0 sat 663203 gensys_brn254.smt
QF_UF QG-classification/qg5 crafted 0 sat 665039 gensys_brn255.smt
QF_UF QG-classification/qg5 crafted 0 sat 663409 gensys_brn256.smt
QF_UF QG-classification/qg5 crafted 0 sat 667899 gensys_brn257.smt
QF_UF QG-classification/qg5 crafted 0 sat 667042 gensys_brn258.smt
QF_UF QG-classification/qg5 crafted 0 sat 663114 gensys_brn259.smt
QF_UF QG-classification/qg5 crafted 0 sat 666786 gensys_brn260.smt
QF_UF QG-classification/qg5 crafted 0 sat 667749 gensys_brn262.smt
QF_UF QG-classification/qg5 crafted 0 sat 663541 gensys_brn263.smt
QF_UF QG-classification/qg5 crafted 0 sat 667746 gensys_brn266.smt
QF_UF QG-classification/qg5 crafted 0 sat 668164 gensys_brn269.smt
QF_UF QG-classification/qg5 crafted 0 sat 665674 gensys_brn271.smt
QF_UF QG-classification/qg5 crafted 0 sat 664712 gensys_brn273.smt
QF_UF QG-classification/qg5 crafted 0 sat 665963 gensys_brn274.smt
QF_UF QG-classification/qg5 crafted 0 sat 664510 gensys_brn275.smt
QF_UF QG-classification/qg5 crafted 0 sat 664949 gensys_brn277.smt
QF_UF QG-classification/qg5 crafted 0 sat 668134 gensys_brn278.smt
QF_UF QG-classification/qg5 crafted 0 sat 666973 gensys_brn280.smt
QF_UF QG-classification/qg5 crafted 0 sat 665782 gensys_brn281.smt
QF_UF QG-classification/qg5 crafted 0 sat 666283 gensys_brn282.smt
QF_UF QG-classification/qg5 crafted 0 sat 667064 gensys_brn285.smt
QF_UF QG-classification/qg5 crafted 0 sat 667333 gensys_brn286.smt
QF_UF QG-classification/qg5 crafted 0 sat 666306 gensys_brn287.smt
QF_UF QG-classification/qg5 crafted 0 sat 667367 gensys_brn289.smt
QF_UF QG-classification/qg5 crafted 0 sat 663380 gensys_brn290.smt
QF_UF QG-classification/qg5 crafted 0 sat 664779 gensys_brn292.smt
QF_UF QG-classification/qg5 crafted 0 sat 667920 gensys_brn293.smt
QF_UF QG-classification/qg5 crafted 0 sat 667011 gensys_brn294.smt
QF_UF QG-classification/qg5 crafted 0 sat 663793 gensys_brn295.smt
QF_UF QG-classification/qg5 crafted 0 sat 665743 gensys_brn296.smt
QF_UF QG-classification/qg5 crafted 0 sat 666389 gensys_brn297.smt
QF_UF QG-classification/qg5 crafted 0 sat 662977 gensys_brn298.smt
QF_UF QG-classification/qg5 crafted 0 sat 665604 gensys_brn299.smt
QF_UF QG-classification/qg5 crafted 0 sat 663453 gensys_brn300.smt
QF_UF QG-classification/qg5 crafted 0 sat 665157 gensys_brn301.smt
QF_UF QG-classification/qg5 crafted 0 sat 667639 gensys_brn302.smt
QF_UF QG-classification/qg5 crafted 0 sat 663967 gensys_brn303.smt
QF_UF QG-classification/qg5 crafted 0 sat 663591 gensys_brn304.smt
QF_UF QG-classification/qg5 crafted 0 sat 663348 gensys_brn305.smt
QF_UF QG-classification/qg5 crafted 0 sat 663010 gensys_brn306.smt
QF_UF QG-classification/qg5 crafted 0 sat 663246 gensys_brn307.smt
QF_UF QG-classification/qg5 crafted 0 sat 667299 gensys_brn308.smt
QF_UF QG-classification/qg5 crafted 0 sat 667541 gensys_brn309.smt
QF_UF QG-classification/qg5 crafted 0 sat 664024 gensys_brn310.smt
QF_UF QG-classification/qg5 crafted 0 sat 665607 gensys_brn312.smt
QF_UF QG-classification/qg5 crafted 0 sat 664258 gensys_brn313.smt
QF_UF QG-classification/qg5 crafted 0 sat 664540 gensys_brn314.smt
QF_UF QG-classification/qg5 crafted 0 sat 663579 gensys_brn315.smt
QF_UF QG-classification/qg5 crafted 0 sat 664974 gensys_brn316.smt
QF_UF QG-classification/qg5 crafted 0 sat 665136 gensys_brn317.smt
QF_UF QG-classification/qg5 crafted 0 sat 666657 gensys_brn319.smt
QF_UF QG-classification/qg5 crafted 0 sat 663016 gensys_brn320.smt
QF_UF QG-classification/qg5 crafted 0 sat 664647 gensys_brn322.smt
QF_UF QG-classification/qg5 crafted 0 sat 666959 gensys_brn324.smt
QF_UF QG-classification/qg5 crafted 0 sat 667253 gensys_brn327.smt
QF_UF QG-classification/qg5 crafted 0 sat 664218 gensys_brn328.smt
QF_UF QG-classification/qg5 crafted 0 sat 665085 gensys_brn329.smt
QF_UF QG-classification/qg5 crafted 0 sat 664579 gensys_brn330.smt
QF_UF QG-classification/qg5 crafted 0 sat 665903 gensys_brn331.smt
QF_UF QG-classification/qg5 crafted 0 sat 663187 gensys_brn333.smt
QF_UF QG-classification/qg5 crafted 0 sat 665806 gensys_brn334.smt
QF_UF QG-classification/qg5 crafted 0 sat 665614 gensys_brn335.smt
QF_UF QG-classification/qg5 crafted 0 sat 666030 gensys_brn336.smt
QF_UF QG-classification/qg5 crafted 0 sat 664479 gensys_brn337.smt
QF_UF QG-classification/qg5 crafted 0 sat 663787 gensys_brn340.smt
QF_UF QG-classification/qg5 crafted 0 sat 663005 gensys_brn341.smt
QF_UF QG-classification/qg5 crafted 0 sat 663238 gensys_brn343.smt
QF_UF QG-classification/qg5 crafted 0 sat 664525 gensys_brn344.smt
QF_UF QG-classification/qg5 crafted 0 sat 664970 gensys_brn345.smt
QF_UF QG-classification/qg5 crafted 0 sat 664823 gensys_brn346.smt
QF_UF QG-classification/qg5 crafted 0 sat 665026 gensys_brn347.smt
QF_UF QG-classification/qg5 crafted 0 sat 663538 gensys_brn349.smt
QF_UF QG-classification/qg5 crafted 0 sat 668187 gensys_brn351.smt
QF_UF QG-classification/qg5 crafted 0 sat 664352 gensys_brn352.smt
QF_UF QG-classification/qg5 crafted 0 sat 666315 gensys_brn353.smt
QF_UF QG-classification/qg5 crafted 0 sat 663810 gensys_brn354.smt
QF_UF QG-classification/qg5 crafted 0 sat 664516 gensys_brn355.smt
QF_UF QG-classification/qg5 crafted 0 sat 667570 gensys_brn356.smt
QF_UF QG-classification/qg5 crafted 0 sat 667377 gensys_brn357.smt
QF_UF QG-classification/qg5 crafted 0 sat 664198 gensys_brn358.smt
QF_UF QG-classification/qg5 crafted 0 sat 665180 gensys_brn359.smt
QF_UF QG-classification/qg5 crafted 0 sat 666488 gensys_brn361.smt
QF_UF QG-classification/qg5 crafted 0 sat 666738 gensys_brn362.smt
QF_UF QG-classification/qg5 crafted 0 sat 663397 gensys_brn363.smt
QF_UF QG-classification/qg5 crafted 0 sat 664666 gensys_brn364.smt
QF_UF QG-classification/qg5 crafted 0 sat 666217 gensys_brn366.smt
QF_UF QG-classification/qg5 crafted 0 sat 665751 gensys_brn369.smt
QF_UF QG-classification/qg5 crafted 0 sat 664416 gensys_brn370.smt
QF_UF QG-classification/qg5 crafted 0 sat 664873 gensys_brn371.smt
QF_UF QG-classification/qg5 crafted 0 sat 667537 gensys_brn372.smt
QF_UF QG-classification/qg5 crafted 0 sat 667781 gensys_brn374.smt
QF_UF QG-classification/qg5 crafted 0 sat 666153 gensys_brn375.smt
QF_UF QG-classification/qg5 crafted 0 sat 665344 gensys_brn377.smt
QF_UF QG-classification/qg5 crafted 0 sat 665639 gensys_brn379.smt
QF_UF QG-classification/qg5 crafted 0 sat 665173 gensys_brn380.smt
QF_UF QG-classification/qg5 crafted 0 sat 663768 gensys_brn381.smt
QF_UF QG-classification/qg5 crafted 0 sat 664797 gensys_brn382.smt
QF_UF QG-classification/qg5 crafted 0 sat 666039 gensys_brn383.smt
QF_UF QG-classification/qg5 crafted 0 sat 666032 gensys_brn384.smt
QF_UF QG-classification/qg5 crafted 0 sat 665340 gensys_brn385.smt
QF_UF QG-classification/qg5 crafted 0 sat 666907 gensys_brn386.smt
QF_UF QG-classification/qg5 crafted 0 sat 666877 gensys_brn387.smt
QF_UF QG-classification/qg5 crafted 0 sat 664091 gensys_brn388.smt
QF_UF QG-classification/qg5 crafted 0 sat 665457 gensys_brn389.smt
QF_UF QG-classification/qg5 crafted 0 sat 667019 gensys_brn390.smt
QF_UF QG-classification/qg5 crafted 0 sat 664495 gensys_brn391.smt
QF_UF QG-classification/qg5 crafted 0 sat 666962 gensys_brn394.smt
QF_UF QG-classification/qg5 crafted 0 sat 664170 gensys_brn397.smt
QF_UF QG-classification/qg5 crafted 0 sat 667072 gensys_brn398.smt
QF_UF QG-classification/qg5 crafted 0 sat 664582 gensys_brn399.smt
QF_UF QG-classification/qg5 crafted 0 sat 667509 gensys_brn400.smt
QF_UF QG-classification/qg5 crafted 0 sat 666455 gensys_brn401.smt
QF_UF QG-classification/qg5 crafted 0 sat 667721 gensys_brn402.smt
QF_UF QG-classification/qg5 crafted 0 sat 665014 gensys_brn403.smt
QF_UF QG-classification/qg5 crafted 0 sat 663875 gensys_brn404.smt
QF_UF QG-classification/qg5 crafted 0 sat 664619 gensys_brn405.smt
QF_UF QG-classification/qg5 crafted 0 sat 666529 gensys_brn408.smt
QF_UF QG-classification/qg5 crafted 0 sat 668077 gensys_brn409.smt
QF_UF QG-classification/qg5 crafted 0 sat 665871 gensys_brn411.smt
QF_UF QG-classification/qg5 crafted 0 sat 667030 gensys_brn413.smt
QF_UF QG-classification/qg5 crafted 0 sat 666225 gensys_brn414.smt
QF_UF QG-classification/qg5 crafted 0 sat 663166 gensys_brn416.smt
QF_UF QG-classification/qg5 crafted 0 sat 664811 gensys_brn418.smt
QF_UF QG-classification/qg5 crafted 0 sat 664803 gensys_brn419.smt
QF_UF QG-classification/qg5 crafted 0 sat 666505 gensys_brn422.smt
QF_UF QG-classification/qg5 crafted 0 sat 666435 gensys_brn423.smt
QF_UF QG-classification/qg5 crafted 0 sat 665264 gensys_brn424.smt
QF_UF QG-classification/qg5 crafted 0 sat 663416 gensys_brn426.smt
QF_UF QG-classification/qg5 crafted 0 sat 666014 gensys_brn429.smt
QF_UF QG-classification/qg5 crafted 0 sat 663004 gensys_brn430.smt
QF_UF QG-classification/qg5 crafted 0 sat 665594 gensys_brn431.smt
QF_UF QG-classification/qg5 crafted 0 sat 663469 gensys_brn432.smt
QF_UF QG-classification/qg5 crafted 0 sat 663284 gensys_brn437.smt
QF_UF QG-classification/qg5 crafted 0 sat 666869 gensys_brn438.smt
QF_UF QG-classification/qg5 crafted 0 sat 663346 gensys_brn439.smt
QF_UF QG-classification/qg5 crafted 0 sat 667008 gensys_brn440.smt
QF_UF QG-classification/qg5 crafted 0 sat 663370 gensys_brn441.smt
QF_UF QG-classification/qg5 crafted 0 sat 667000 gensys_brn443.smt
QF_UF QG-classification/qg5 crafted 0 sat 663869 gensys_brn445.smt
QF_UF QG-classification/qg5 crafted 0 sat 665012 gensys_brn446.smt
QF_UF QG-classification/qg5 crafted 0 sat 663733 gensys_brn449.smt
QF_UF QG-classification/qg5 crafted 0 sat 664915 gensys_brn450.smt
QF_UF QG-classification/qg5 crafted 0 sat 668008 gensys_brn451.smt
QF_UF QG-classification/qg5 crafted 0 sat 663784 gensys_brn452.smt
QF_UF QG-classification/qg5 crafted 0 sat 663950 gensys_brn454.smt
QF_UF QG-classification/qg5 crafted 0 sat 664620 gensys_brn455.smt
QF_UF QG-classification/qg5 crafted 0 sat 663088 gensys_brn456.smt
QF_UF QG-classification/qg5 crafted 0 sat 667357 gensys_brn457.smt
QF_UF QG-classification/qg5 crafted 0 sat 667117 gensys_brn458.smt
QF_UF QG-classification/qg5 crafted 0 sat 665910 gensys_brn459.smt
QF_UF QG-classification/qg5 crafted 0 sat 664003 gensys_brn460.smt
QF_UF QG-classification/qg5 crafted 0 sat 664512 gensys_brn461.smt
QF_UF QG-classification/qg5 crafted 0 sat 666110 gensys_brn463.smt
QF_UF QG-classification/qg5 crafted 0 sat 666602 gensys_brn465.smt
QF_UF QG-classification/qg5 crafted 0 sat 666832 gensys_brn466.smt
QF_UF QG-classification/qg5 crafted 0 sat 664022 gensys_brn467.smt
QF_UF QG-classification/qg5 crafted 0 sat 666138 gensys_brn468.smt
QF_UF QG-classification/qg5 crafted 0 sat 665839 gensys_brn471.smt
QF_UF QG-classification/qg5 crafted 0 sat 663894 gensys_brn472.smt
QF_UF QG-classification/qg5 crafted 0 sat 663237 gensys_brn473.smt
QF_UF QG-classification/qg5 crafted 0 sat 667568 gensys_brn474.smt
QF_UF QG-classification/qg5 crafted 0 sat 664828 gensys_brn477.smt
QF_UF QG-classification/qg5 crafted 0 sat 663075 gensys_brn479.smt
QF_UF QG-classification/qg5 crafted 0 sat 668245 gensys_brn480.smt
QF_UF QG-classification/qg5 crafted 0 sat 667831 gensys_brn481.smt
QF_UF QG-classification/qg5 crafted 0 sat 665479 gensys_brn482.smt
QF_UF QG-classification/qg5 crafted 0 sat 664610 gensys_brn483.smt
QF_UF QG-classification/qg5 crafted 0 sat 667310 gensys_brn484.smt
QF_UF QG-classification/qg5 crafted 0 sat 667986 gensys_brn485.smt
QF_UF QG-classification/qg5 crafted 0 sat 666720 gensys_brn486.smt
QF_UF QG-classification/qg5 crafted 0 sat 667025 gensys_brn489.smt
QF_UF QG-classification/qg5 crafted 0 sat 664789 gensys_brn490.smt
QF_UF QG-classification/qg5 crafted 0 sat 663674 gensys_brn491.smt
QF_UF QG-classification/qg5 crafted 0 sat 663795 gensys_brn492.smt
QF_UF QG-classification/qg5 crafted 0 sat 663928 gensys_brn493.smt
QF_UF QG-classification/qg5 crafted 0 sat 666545 gensys_brn495.smt
QF_UF QG-classification/qg5 crafted 0 sat 666503 gensys_brn496.smt
QF_UF QG-classification/qg5 crafted 0 sat 665371 gensys_brn497.smt
QF_UF QG-classification/qg5 crafted 0 sat 663716 gensys_brn498.smt
QF_UF QG-classification/qg5 crafted 0 sat 667563 gensys_brn499.smt
QF_UF QG-classification/qg5 crafted 0 sat 664860 gensys_brn500.smt
QF_UF QG-classification/qg5 crafted 0 sat 663644 gensys_brn501.smt
QF_UF QG-classification/qg5 crafted 0 sat 665117 gensys_brn502.smt
QF_UF QG-classification/qg5 crafted 0 sat 666424 gensys_brn504.smt
QF_UF QG-classification/qg5 crafted 0 sat 664969 gensys_brn505.smt
QF_UF QG-classification/qg5 crafted 0 sat 663300 gensys_brn507.smt
QF_UF QG-classification/qg5 crafted 0 sat 662990 gensys_brn509.smt
QF_UF QG-classification/qg5 crafted 0 sat 663542 gensys_brn510.smt
QF_UF QG-classification/qg5 crafted 0 sat 663306 gensys_brn511.smt
QF_UF QG-classification/qg5 crafted 0 sat 663152 gensys_brn512.smt
QF_UF QG-classification/qg5 crafted 0 sat 667118 gensys_brn513.smt
QF_UF QG-classification/qg5 crafted 0 sat 665210 gensys_brn514.smt
QF_UF QG-classification/qg5 crafted 0 sat 664659 gensys_brn515.smt
QF_UF QG-classification/qg5 crafted 0 sat 666916 gensys_brn517.smt
QF_UF QG-classification/qg5 crafted 0 sat 667484 gensys_brn518.smt
QF_UF QG-classification/qg5 crafted 0 sat 664683 gensys_brn520.smt
QF_UF QG-classification/qg5 crafted 0 sat 663918 gensys_brn522.smt
QF_UF QG-classification/qg5 crafted 0 sat 667222 gensys_brn523.smt
QF_UF QG-classification/qg5 crafted 0 sat 665464 gensys_brn524.smt
QF_UF QG-classification/qg5 crafted 0 sat 665754 gensys_brn525.smt
QF_UF QG-classification/qg5 crafted 0 sat 664147 gensys_brn528.smt
QF_UF QG-classification/qg5 crafted 0 sat 667699 gensys_brn529.smt
QF_UF QG-classification/qg5 crafted 0 sat 665461 gensys_brn530.smt
QF_UF QG-classification/qg5 crafted 0 sat 663929 gensys_brn531.smt
QF_UF QG-classification/qg5 crafted 0 sat 663690 gensys_brn532.smt
QF_UF QG-classification/qg5 crafted 0 sat 666837 gensys_brn534.smt
QF_UF QG-classification/qg5 crafted 0 sat 664584 gensys_brn535.smt
QF_UF QG-classification/qg5 crafted 0 sat 666200 gensys_brn538.smt
QF_UF QG-classification/qg5 crafted 0 sat 666227 gensys_brn539.smt
QF_UF QG-classification/qg5 crafted 0 sat 666609 gensys_brn540.smt
QF_UF QG-classification/qg5 crafted 0 sat 664668 gensys_brn541.smt
QF_UF QG-classification/qg5 crafted 0 sat 667740 gensys_brn542.smt
QF_UF QG-classification/qg5 crafted 0 sat 664506 gensys_brn543.smt
QF_UF QG-classification/qg5 crafted 0 sat 667672 gensys_brn544.smt
QF_UF QG-classification/qg5 crafted 0 sat 665379 gensys_brn545.smt
QF_UF QG-classification/qg5 crafted 0 sat 664988 gensys_brn546.smt
QF_UF QG-classification/qg5 crafted 0 sat 666632 gensys_brn547.smt
QF_UF QG-classification/qg5 crafted 0 sat 665549 gensys_brn548.smt
QF_UF QG-classification/qg5 crafted 0 sat 663396 gensys_brn549.smt
QF_UF QG-classification/qg5 crafted 0 sat 663948 gensys_brn550.smt
QF_UF QG-classification/qg5 crafted 0 sat 666216 gensys_brn551.smt
QF_UF QG-classification/qg5 crafted 0 sat 667873 gensys_brn552.smt
QF_UF QG-classification/qg5 crafted 0 sat 665875 gensys_brn553.smt
QF_UF QG-classification/qg5 crafted 0 sat 666697 gensys_brn554.smt
QF_UF QG-classification/qg5 crafted 0 sat 664293 gensys_brn555.smt
QF_UF QG-classification/qg5 crafted 0 sat 663068 gensys_brn556.smt
QF_UF QG-classification/qg5 crafted 0 sat 666835 gensys_brn558.smt
QF_UF QG-classification/qg5 crafted 0 sat 664289 gensys_brn559.smt
QF_UF QG-classification/qg5 crafted 0 sat 665908 gensys_brn561.smt
QF_UF QG-classification/qg5 crafted 0 sat 665723 gensys_brn563.smt
QF_UF QG-classification/qg5 crafted 0 sat 667298 gensys_brn564.smt
QF_UF QG-classification/qg5 crafted 0 sat 663926 gensys_brn566.smt
QF_UF QG-classification/qg5 crafted 0 sat 663747 gensys_brn567.smt
QF_UF QG-classification/qg5 crafted 0 sat 668217 gensys_brn568.smt
QF_UF QG-classification/qg5 crafted 0 sat 666263 gensys_brn569.smt
QF_UF QG-classification/qg5 crafted 0 sat 663040 gensys_brn571.smt
QF_UF QG-classification/qg5 crafted 0 sat 664068 gensys_brn572.smt
QF_UF QG-classification/qg5 crafted 0 sat 663915 gensys_brn574.smt
QF_UF QG-classification/qg5 crafted 0 sat 663630 gensys_brn575.smt
QF_UF QG-classification/qg5 crafted 0 sat 667892 gensys_brn576.smt
QF_UF QG-classification/qg5 crafted 0 sat 666783 gensys_brn577.smt
QF_UF QG-classification/qg5 crafted 0 sat 667003 gensys_brn578.smt
QF_UF QG-classification/qg5 crafted 0 sat 668222 gensys_brn579.smt
QF_UF QG-classification/qg5 crafted 0 sat 667596 gensys_brn580.smt
QF_UF QG-classification/qg5 crafted 0 sat 664568 gensys_brn581.smt
QF_UF QG-classification/qg5 crafted 0 sat 665446 gensys_brn582.smt
QF_UF QG-classification/qg5 crafted 0 sat 663606 gensys_brn583.smt
QF_UF QG-classification/qg5 crafted 0 sat 664719 gensys_brn584.smt
QF_UF QG-classification/qg5 crafted 0 sat 665726 gensys_brn585.smt
QF_UF QG-classification/qg5 crafted 0 sat 663567 gensys_brn586.smt
QF_UF QG-classification/qg5 crafted 0 sat 665514 gensys_brn587.smt
QF_UF QG-classification/qg5 crafted 0 sat 664556 gensys_brn588.smt
QF_UF QG-classification/qg5 crafted 0 sat 667589 gensys_brn589.smt
QF_UF QG-classification/qg5 crafted 0 sat 663174 gensys_brn590.smt
QF_UF QG-classification/qg5 crafted 0 sat 665764 gensys_brn592.smt
QF_UF QG-classification/qg5 crafted 0 sat 665580 gensys_brn594.smt
QF_UF QG-classification/qg5 crafted 0 sat 667311 gensys_brn595.smt
QF_UF QG-classification/qg5 crafted 0 sat 666849 gensys_brn596.smt
QF_UF QG-classification/qg5 crafted 0 sat 665474 gensys_brn598.smt
QF_UF QG-classification/qg5 crafted 0 sat 663519 gensys_brn599.smt
QF_UF QG-classification/qg5 crafted 0 sat 666826 gensys_brn600.smt
QF_UF QG-classification/qg5 crafted 0 sat 667283 gensys_brn601.smt
QF_UF QG-classification/qg5 crafted 0 sat 665059 gensys_brn602.smt
QF_UF QG-classification/qg5 crafted 0 sat 667714 gensys_brn603.smt
QF_UF QG-classification/qg5 crafted 0 sat 664166 gensys_brn604.smt
QF_UF QG-classification/qg5 crafted 0 sat 666988 gensys_brn605.smt
QF_UF QG-classification/qg5 crafted 0 sat 664695 gensys_brn606.smt
QF_UF QG-classification/qg5 crafted 0 sat 666349 gensys_brn607.smt
QF_UF QG-classification/qg5 crafted 0 sat 665795 gensys_brn608.smt
QF_UF QG-classification/qg5 crafted 0 sat 663356 gensys_brn609.smt
QF_UF QG-classification/qg5 crafted 0 sat 663467 gensys_brn610.smt
QF_UF QG-classification/qg5 crafted 0 sat 665465 gensys_brn611.smt
QF_UF QG-classification/qg5 crafted 0 sat 663730 gensys_brn612.smt
QF_UF QG-classification/qg5 crafted 0 sat 666427 gensys_brn613.smt
QF_UF QG-classification/qg5 crafted 0 sat 667528 gensys_brn614.smt
QF_UF QG-classification/qg5 crafted 0 sat 665927 gensys_brn615.smt
QF_UF QG-classification/qg5 crafted 0 sat 667880 gensys_brn616.smt
QF_UF QG-classification/qg5 crafted 0 sat 664618 gensys_brn617.smt
QF_UF QG-classification/qg5 crafted 0 sat 667875 gensys_brn618.smt
QF_UF QG-classification/qg5 crafted 0 sat 666508 gensys_brn619.smt
QF_UF QG-classification/qg5 crafted 0 sat 663865 gensys_brn620.smt
QF_UF QG-classification/qg5 crafted 0 sat 663437 gensys_brn621.smt
QF_UF QG-classification/qg5 crafted 0 sat 664609 gensys_brn623.smt
QF_UF QG-classification/qg5 crafted 0 sat 665060 gensys_brn625.smt
QF_UF QG-classification/qg5 crafted 0 sat 663352 gensys_brn626.smt
QF_UF QG-classification/qg5 crafted 0 sat 663023 gensys_brn627.smt
QF_UF QG-classification/qg5 crafted 0 sat 664174 gensys_brn628.smt
QF_UF QG-classification/qg5 crafted 0 sat 666101 gensys_brn629.smt
QF_UF QG-classification/qg5 crafted 0 sat 663483 gensys_brn630.smt
QF_UF QG-classification/qg5 crafted 0 sat 663462 gensys_brn631.smt
QF_UF QG-classification/qg5 crafted 0 sat 663028 gensys_brn632.smt
QF_UF QG-classification/qg5 crafted 0 sat 665510 gensys_brn633.smt
QF_UF QG-classification/qg5 crafted 0 sat 667848 gensys_brn635.smt
QF_UF QG-classification/qg5 crafted 0 sat 666512 gensys_brn636.smt
QF_UF QG-classification/qg5 crafted 0 sat 666419 gensys_brn637.smt
QF_UF QG-classification/qg5 crafted 0 sat 666007 gensys_brn639.smt
QF_UF QG-classification/qg5 crafted 0 sat 666093 gensys_brn640.smt
QF_UF QG-classification/qg5 crafted 0 sat 666038 gensys_brn641.smt
QF_UF QG-classification/qg5 crafted 0 sat 668007 gensys_brn642.smt
QF_UF QG-classification/qg5 crafted 0 sat 664202 gensys_brn643.smt
QF_UF QG-classification/qg5 crafted 0 sat 664664 gensys_brn644.smt
QF_UF QG-classification/qg5 crafted 0 sat 664678 gensys_brn645.smt
QF_UF QG-classification/qg5 crafted 0 sat 667958 gensys_brn646.smt
QF_UF QG-classification/qg5 crafted 0 sat 667455 gensys_brn648.smt
QF_UF QG-classification/qg5 crafted 0 sat 666354 gensys_brn649.smt
QF_UF QG-classification/qg5 crafted 0 sat 664672 gensys_brn650.smt
QF_UF QG-classification/qg5 crafted 0 sat 665466 gensys_brn651.smt
QF_UF QG-classification/qg5 crafted 0 sat 665347 gensys_brn652.smt
QF_UF QG-classification/qg5 crafted 0 sat 665634 gensys_brn653.smt
QF_UF QG-classification/qg5 crafted 0 sat 667303 gensys_brn654.smt
QF_UF QG-classification/qg5 crafted 0 sat 664893 gensys_brn655.smt
QF_UF QG-classification/qg5 crafted 0 sat 664050 gensys_brn656.smt
QF_UF QG-classification/qg5 crafted 0 sat 665872 gensys_brn657.smt
QF_UF QG-classification/qg5 crafted 0 sat 664657 gensys_brn658.smt
QF_UF QG-classification/qg5 crafted 0 sat 664047 gensys_brn659.smt
QF_UF QG-classification/qg5 crafted 0 sat 665419 gensys_brn660.smt
QF_UF QG-classification/qg5 crafted 0 sat 665263 gensys_brn661.smt
QF_UF QG-classification/qg5 crafted 0 sat 663255 gensys_brn662.smt
QF_UF QG-classification/qg5 crafted 0 sat 664842 gensys_brn663.smt
QF_UF QG-classification/qg5 crafted 0 sat 666261 gensys_brn664.smt
QF_UF QG-classification/qg5 crafted 0 sat 666750 gensys_brn665.smt
QF_UF QG-classification/qg5 crafted 0 sat 663607 gensys_brn666.smt
QF_UF QG-classification/qg5 crafted 0 sat 665650 gensys_brn667.smt
QF_UF QG-classification/qg5 crafted 0 sat 663767 gensys_brn668.smt
QF_UF QG-classification/qg5 crafted 0 sat 663222 gensys_brn669.smt
QF_UF QG-classification/qg5 crafted 0 sat 667691 gensys_brn670.smt
QF_UF QG-classification/qg5 crafted 0 sat 663265 gensys_brn671.smt
QF_UF QG-classification/qg5 crafted 0 sat 663125 gensys_brn672.smt
QF_UF QG-classification/qg5 crafted 0 sat 666329 gensys_brn673.smt
QF_UF QG-classification/qg5 crafted 0 sat 666166 gensys_brn674.smt
QF_UF QG-classification/qg5 crafted 0 sat 663939 gensys_brn675.smt
QF_UF QG-classification/qg5 crafted 0 sat 663987 gensys_brn676.smt
QF_UF QG-classification/qg5 crafted 0 sat 666580 gensys_brn677.smt
QF_UF QG-classification/qg5 crafted 0 sat 663553 gensys_brn678.smt
QF_UF QG-classification/qg5 crafted 0 sat 665006 gensys_brn679.smt
QF_UF QG-classification/qg5 crafted 0 sat 665228 gensys_brn680.smt
QF_UF QG-classification/qg5 crafted 0 sat 665198 gensys_brn681.smt
QF_UF QG-classification/qg5 crafted 0 sat 666690 gensys_brn682.smt
QF_UF QG-classification/qg5 crafted 0 sat 667812 gensys_brn683.smt
QF_UF QG-classification/qg5 crafted 0 sat 666420 gensys_brn684.smt
QF_UF QG-classification/qg5 crafted 0 sat 665234 gensys_brn685.smt
QF_UF QG-classification/qg5 crafted 0 sat 664808 gensys_brn686.smt
QF_UF QG-classification/qg5 crafted 0 sat 666762 gensys_brn687.smt
QF_UF QG-classification/qg5 crafted 0 sat 667359 gensys_brn688.smt
QF_UF QG-classification/qg5 crafted 0 sat 665529 gensys_brn689.smt
QF_UF QG-classification/qg5 crafted 0 sat 665941 gensys_brn690.smt
QF_UF QG-classification/qg5 crafted 0 sat 668031 gensys_brn691.smt
QF_UF QG-classification/qg5 crafted 0 sat 667763 gensys_brn692.smt
QF_UF QG-classification/qg5 crafted 0 sat 667313 gensys_brn693.smt
QF_UF QG-classification/qg5 crafted 0 sat 665075 gensys_brn694.smt
QF_UF QG-classification/qg5 crafted 0 sat 668208 gensys_brn695.smt
QF_UF QG-classification/qg5 crafted 0 sat 664485 gensys_brn698.smt
QF_UF QG-classification/qg5 crafted 0 sat 664793 gensys_brn699.smt
QF_UF QG-classification/qg5 crafted 0 sat 664052 gensys_brn701.smt
QF_UF QG-classification/qg5 crafted 0 sat 667185 gensys_brn702.smt
QF_UF QG-classification/qg5 crafted 0 sat 664113 gensys_brn703.smt
QF_UF QG-classification/qg5 crafted 0 sat 663594 gensys_brn704.smt
QF_UF QG-classification/qg5 crafted 0 sat 667755 gensys_brn706.smt
QF_UF QG-classification/qg5 crafted 0 sat 665452 gensys_brn707.smt
QF_UF QG-classification/qg5 crafted 0 sat 663713 gensys_brn708.smt
QF_UF QG-classification/qg5 crafted 0 sat 667665 gensys_brn709.smt
QF_UF QG-classification/qg5 crafted 0 sat 665556 gensys_brn711.smt
QF_UF QG-classification/qg5 crafted 0 sat 663344 gensys_brn713.smt
QF_UF QG-classification/qg5 crafted 0 sat 664783 gensys_brn714.smt
QF_UF QG-classification/qg5 crafted 0 sat 665511 gensys_brn715.smt
QF_UF QG-classification/qg5 crafted 0 sat 663791 gensys_brn716.smt
QF_UF QG-classification/qg5 crafted 0 sat 664154 gensys_brn717.smt
QF_UF QG-classification/qg5 crafted 0 sat 666547 gensys_brn718.smt
QF_UF QG-classification/qg5 crafted 0 sat 667054 gensys_brn719.smt
QF_UF QG-classification/qg5 crafted 0 sat 666447 gensys_brn720.smt
QF_UF QG-classification/qg5 crafted 0 sat 666282 gensys_brn721.smt
QF_UF QG-classification/qg5 crafted 0 sat 667560 gensys_brn724.smt
QF_UF QG-classification/qg5 crafted 0 sat 665924 gensys_brn725.smt
QF_UF QG-classification/qg5 crafted 0 sat 662982 gensys_brn726.smt
QF_UF QG-classification/qg5 crafted 0 sat 663688 gensys_brn728.smt
QF_UF QG-classification/qg5 crafted 0 sat 665290 gensys_brn729.smt
QF_UF QG-classification/qg5 crafted 0 sat 665605 gensys_brn730.smt
QF_UF QG-classification/qg5 crafted 0 sat 665138 gensys_brn731.smt
QF_UF QG-classification/qg5 crafted 0 sat 665959 gensys_brn733.smt
QF_UF QG-classification/qg5 crafted 0 sat 666316 gensys_brn734.smt
QF_UF QG-classification/qg5 crafted 0 sat 668024 gensys_brn735.smt
QF_UF QG-classification/qg5 crafted 0 sat 665728 gensys_brn736.smt
QF_UF QG-classification/qg5 crafted 0 sat 664098 gensys_brn739.smt
QF_UF QG-classification/qg5 crafted 0 sat 668169 gensys_brn740.smt
QF_UF QG-classification/qg5 crafted 0 sat 664308 gensys_brn741.smt
QF_UF QG-classification/qg5 crafted 0 sat 664257 gensys_brn743.smt
QF_UF QG-classification/qg5 crafted 0 sat 663839 gensys_brn744.smt
QF_UF QG-classification/qg5 crafted 0 sat 663061 gensys_brn745.smt
QF_UF QG-classification/qg5 crafted 0 sat 667762 gensys_brn746.smt
QF_UF QG-classification/qg5 crafted 0 sat 664448 gensys_brn747.smt
QF_UF QG-classification/qg5 crafted 0 sat 664262 gensys_brn748.smt
QF_UF QG-classification/qg5 crafted 0 sat 666854 gensys_brn749.smt
QF_UF QG-classification/qg5 crafted 0 sat 667221 gensys_brn750.smt
QF_UF QG-classification/qg5 crafted 0 sat 663021 gensys_brn751.smt
QF_UF QG-classification/qg5 crafted 0 sat 663156 gensys_brn754.smt
QF_UF QG-classification/qg5 crafted 0 sat 664694 gensys_brn756.smt
QF_UF QG-classification/qg5 crafted 0 sat 665784 gensys_brn757.smt
QF_UF QG-classification/qg5 crafted 0 sat 666322 gensys_brn758.smt
QF_UF QG-classification/qg5 crafted 0 sat 667205 gensys_brn759.smt
QF_UF QG-classification/qg5 crafted 0 sat 666296 gensys_brn760.smt
QF_UF QG-classification/qg5 crafted 0 sat 664021 gensys_brn762.smt
QF_UF QG-classification/qg5 crafted 0 sat 662991 gensys_brn763.smt
QF_UF QG-classification/qg5 crafted 0 sat 665953 gensys_brn764.smt
QF_UF QG-classification/qg5 crafted 0 sat 668070 gensys_brn765.smt
QF_UF QG-classification/qg5 crafted 0 sat 667834 gensys_brn767.smt
QF_UF QG-classification/qg5 crafted 0 sat 667571 gensys_brn768.smt
QF_UF QG-classification/qg5 crafted 0 sat 666977 gensys_brn770.smt
QF_UF QG-classification/qg5 crafted 0 sat 664414 gensys_brn771.smt
QF_UF QG-classification/qg5 crafted 0 sat 668224 gensys_brn772.smt
QF_UF QG-classification/qg5 crafted 0 sat 666892 gensys_brn774.smt
QF_UF QG-classification/qg5 crafted 0 sat 667950 gensys_brn776.smt
QF_UF QG-classification/qg5 crafted 0 sat 666008 gensys_brn778.smt
QF_UF QG-classification/qg5 crafted 0 sat 667209 gensys_brn779.smt
QF_UF QG-classification/qg5 crafted 0 sat 665066 gensys_brn780.smt
QF_UF QG-classification/qg5 crafted 0 sat 664366 gensys_brn781.smt
QF_UF QG-classification/qg5 crafted 0 sat 664746 gensys_brn782.smt
QF_UF QG-classification/qg5 crafted 0 sat 663445 gensys_brn783.smt
QF_UF QG-classification/qg5 crafted 0 sat 664148 gensys_brn784.smt
QF_UF QG-classification/qg5 crafted 0 sat 664473 gensys_brn785.smt
QF_UF QG-classification/qg5 crafted 0 sat 668179 gensys_brn786.smt
QF_UF QG-classification/qg5 crafted 0 sat 665001 gensys_brn787.smt
QF_UF QG-classification/qg5 crafted 0 sat 664689 gensys_brn788.smt
QF_UF QG-classification/qg5 crafted 0 sat 666989 gensys_brn789.smt
QF_UF QG-classification/qg5 crafted 0 sat 667657 gensys_brn790.smt
QF_UF QG-classification/qg5 crafted 0 sat 664544 gensys_brn791.smt
QF_UF QG-classification/qg5 crafted 0 sat 666029 gensys_brn792.smt
QF_UF QG-classification/qg5 crafted 0 sat 665153 gensys_brn793.smt
QF_UF QG-classification/qg5 crafted 0 sat 666793 gensys_brn796.smt
QF_UF QG-classification/qg5 crafted 0 sat 667361 gensys_brn797.smt
QF_UF QG-classification/qg5 crafted 0 sat 664611 gensys_brn798.smt
QF_UF QG-classification/qg5 crafted 0 sat 665609 gensys_brn799.smt
QF_UF QG-classification/qg5 crafted 0 sat 665318 gensys_brn800.smt
QF_UF QG-classification/qg5 crafted 0 sat 665802 gensys_brn801.smt
QF_UF QG-classification/qg5 crafted 0 sat 667864 gensys_brn802.smt
QF_UF QG-classification/qg5 crafted 0 sat 665192 gensys_brn803.smt
QF_UF QG-classification/qg5 crafted 0 sat 665097 gensys_brn804.smt
QF_UF QG-classification/qg5 crafted 0 sat 663456 gensys_brn808.smt
QF_UF QG-classification/qg5 crafted 0 sat 665779 gensys_brn809.smt
QF_UF QG-classification/qg5 crafted 0 sat 663511 gensys_brn810.smt
QF_UF QG-classification/qg5 crafted 0 sat 663830 gensys_brn811.smt
QF_UF QG-classification/qg5 crafted 0 sat 665949 gensys_brn812.smt
QF_UF QG-classification/qg5 crafted 0 sat 667457 gensys_brn814.smt
QF_UF QG-classification/qg5 crafted 0 sat 667911 gensys_brn815.smt
QF_UF QG-classification/qg5 crafted 0 sat 665339 gensys_brn816.smt
QF_UF QG-classification/qg5 crafted 0 sat 663216 gensys_brn817.smt
QF_UF QG-classification/qg5 crafted 0 sat 664396 gensys_brn818.smt
QF_UF QG-classification/qg5 crafted 0 sat 665606 gensys_brn820.smt
QF_UF QG-classification/qg5 crafted 0 sat 665852 gensys_brn822.smt
QF_UF QG-classification/qg5 crafted 0 sat 665964 gensys_brn823.smt
QF_UF QG-classification/qg5 crafted 0 sat 665000 gensys_brn826.smt
QF_UF QG-classification/qg5 crafted 0 sat 664187 gensys_brn828.smt
QF_UF QG-classification/qg5 crafted 0 sat 663724 gensys_brn829.smt
QF_UF QG-classification/qg5 crafted 0 sat 668212 gensys_brn830.smt
QF_UF QG-classification/qg5 crafted 0 sat 663998 gensys_brn831.smt
QF_UF QG-classification/qg5 crafted 0 sat 664989 gensys_brn832.smt
QF_UF QG-classification/qg5 crafted 0 sat 667116 gensys_brn833.smt
QF_UF QG-classification/qg5 crafted 0 sat 667887 gensys_brn835.smt
QF_UF QG-classification/qg5 crafted 0 sat 667232 gensys_brn837.smt
QF_UF QG-classification/qg5 crafted 0 sat 667711 gensys_brn839.smt
QF_UF QG-classification/qg5 crafted 0 sat 667327 gensys_brn840.smt
QF_UF QG-classification/qg5 crafted 0 sat 664447 gensys_brn841.smt
QF_UF QG-classification/qg5 crafted 0 sat 664112 gensys_brn842.smt
QF_UF QG-classification/qg5 crafted 0 sat 667315 gensys_brn843.smt
QF_UF QG-classification/qg5 crafted 0 sat 665221 gensys_brn844.smt
QF_UF QG-classification/qg5 crafted 0 sat 663465 gensys_brn845.smt
QF_UF QG-classification/qg5 crafted 0 sat 664028 gensys_brn846.smt
QF_UF QG-classification/qg5 crafted 0 sat 665691 gensys_brn847.smt
QF_UF QG-classification/qg5 crafted 0 sat 665119 gensys_brn848.smt
QF_UF QG-classification/qg5 crafted 0 sat 667332 gensys_brn850.smt
QF_UF QG-classification/qg5 crafted 0 sat 664108 gensys_brn852.smt
QF_UF QG-classification/qg5 crafted 0 sat 668029 gensys_brn853.smt
QF_UF QG-classification/qg5 crafted 0 sat 668195 gensys_brn854.smt
QF_UF QG-classification/qg5 crafted 0 sat 665338 gensys_brn855.smt
QF_UF QG-classification/qg5 crafted 0 sat 665922 gensys_brn856.smt
QF_UF QG-classification/qg5 crafted 0 sat 665420 gensys_brn857.smt
QF_UF QG-classification/qg5 crafted 0 sat 665566 gensys_brn858.smt
QF_UF QG-classification/qg5 crafted 0 sat 663933 gensys_brn859.smt
QF_UF QG-classification/qg5 crafted 0 sat 664268 gensys_brn860.smt
QF_UF QG-classification/qg5 crafted 0 sat 667683 gensys_brn861.smt
QF_UF QG-classification/qg5 crafted 0 sat 666422 gensys_brn862.smt
QF_UF QG-classification/qg5 crafted 0 sat 667675 gensys_brn864.smt
QF_UF QG-classification/qg5 crafted 0 sat 665644 gensys_brn865.smt
QF_UF QG-classification/qg5 crafted 0 sat 664223 gensys_brn866.smt
QF_UF QG-classification/qg5 crafted 0 sat 666878 gensys_brn867.smt
QF_UF QG-classification/qg5 crafted 0 sat 666279 gensys_brn870.smt
QF_UF QG-classification/qg5 crafted 0 sat 664347 gensys_brn871.smt
QF_UF QG-classification/qg5 crafted 0 sat 666332 gensys_brn872.smt
QF_UF QG-classification/qg5 crafted 0 sat 665089 gensys_brn873.smt
QF_UF QG-classification/qg5 crafted 0 sat 666913 gensys_brn874.smt
QF_UF QG-classification/qg5 crafted 0 sat 668060 gensys_brn877.smt
QF_UF QG-classification/qg5 crafted 0 sat 663961 gensys_brn879.smt
QF_UF QG-classification/qg5 crafted 0 sat 663484 gensys_brn881.smt
QF_UF QG-classification/qg5 crafted 0 sat 665428 gensys_brn882.smt
QF_UF QG-classification/qg5 crafted 0 sat 665431 gensys_brn883.smt
QF_UF QG-classification/qg5 crafted 0 sat 666983 gensys_brn884.smt
QF_UF QG-classification/qg5 crafted 0 sat 663176 gensys_brn885.smt
QF_UF QG-classification/qg5 crafted 0 sat 667340 gensys_brn886.smt
QF_UF QG-classification/qg5 crafted 0 sat 667716 gensys_brn887.smt
QF_UF QG-classification/qg5 crafted 0 sat 663268 gensys_brn888.smt
QF_UF QG-classification/qg5 crafted 0 sat 667992 gensys_brn889.smt
QF_UF QG-classification/qg5 crafted 0 sat 667104 gensys_brn890.smt
QF_UF QG-classification/qg5 crafted 0 sat 664730 gensys_brn892.smt
QF_UF QG-classification/qg5 crafted 0 sat 665492 gensys_brn893.smt
QF_UF QG-classification/qg5 crafted 0 sat 664505 gensys_brn894.smt
QF_UF QG-classification/qg5 crafted 0 sat 664649 gensys_brn896.smt
QF_UF QG-classification/qg5 crafted 0 sat 664129 gensys_brn898.smt
QF_UF QG-classification/qg5 crafted 0 sat 666144 gensys_brn899.smt
QF_UF QG-classification/qg5 crafted 0 sat 663213 gensys_brn901.smt
QF_UF QG-classification/qg5 crafted 0 sat 666103 gensys_brn902.smt
QF_UF QG-classification/qg5 crafted 0 sat 667197 gensys_brn904.smt
QF_UF QG-classification/qg5 crafted 0 sat 666921 gensys_brn906.smt
QF_UF QG-classification/qg5 crafted 0 sat 663408 gensys_brn907.smt
QF_UF QG-classification/qg5 crafted 0 sat 666561 gensys_brn908.smt
QF_UF QG-classification/qg5 crafted 0 sat 666342 gensys_brn909.smt
QF_UF QG-classification/qg5 crafted 0 sat 665429 gensys_brn910.smt
QF_UF QG-classification/qg5 crafted 0 sat 664994 gensys_brn911.smt
QF_UF QG-classification/qg5 crafted 0 sat 668244 gensys_brn912.smt
QF_UF QG-classification/qg5 crafted 0 sat 663763 gensys_brn914.smt
QF_UF QG-classification/qg5 crafted 0 sat 667511 gensys_brn915.smt
QF_UF QG-classification/qg5 crafted 0 sat 664530 gensys_brn916.smt
QF_UF QG-classification/qg5 crafted 0 sat 666406 gensys_brn917.smt
QF_UF QG-classification/qg5 crafted 0 sat 664583 gensys_brn918.smt
QF_UF QG-classification/qg5 crafted 0 sat 664774 gensys_brn920.smt
QF_UF QG-classification/qg5 crafted 0 sat 663613 gensys_brn921.smt
QF_UF QG-classification/qg5 crafted 0 sat 666112 gensys_brn922.smt
QF_UF QG-classification/qg5 crafted 0 sat 667285 gensys_brn923.smt
QF_UF QG-classification/qg5 crafted 0 sat 663898 gensys_brn924.smt
QF_UF QG-classification/qg5 crafted 0 sat 665710 gensys_brn925.smt
QF_UF QG-classification/qg5 crafted 0 sat 664845 gensys_brn926.smt
QF_UF QG-classification/qg5 crafted 0 sat 665677 gensys_brn927.smt
QF_UF QG-classification/qg5 crafted 0 sat 663141 gensys_brn928.smt
QF_UF QG-classification/qg5 crafted 0 sat 663587 gensys_brn929.smt
QF_UF QG-classification/qg5 crafted 0 sat 665484 gensys_brn930.smt
QF_UF QG-classification/qg5 crafted 0 sat 664877 gensys_brn931.smt
QF_UF QG-classification/qg5 crafted 0 sat 663621 gensys_brn934.smt
QF_UF QG-classification/qg5 crafted 0 sat 666507 gensys_brn936.smt
QF_UF QG-classification/qg5 crafted 0 sat 663294 gensys_brn937.smt
QF_UF QG-classification/qg5 crafted 0 sat 665654 gensys_brn938.smt
QF_UF QG-classification/qg5 crafted 0 sat 663377 gensys_brn939.smt
QF_UF QG-classification/qg5 crafted 0 sat 664781 gensys_brn940.smt
QF_UF QG-classification/qg5 crafted 0 sat 666589 gensys_brn941.smt
QF_UF QG-classification/qg5 crafted 0 sat 666994 gensys_brn942.smt
QF_UF QG-classification/qg5 crafted 0 sat 666717 gensys_brn943.smt
QF_UF QG-classification/qg5 crafted 0 sat 667331 gensys_brn944.smt
QF_UF QG-classification/qg5 crafted 0 sat 664315 gensys_brn946.smt
QF_UF QG-classification/qg5 crafted 0 sat 666012 gensys_brn947.smt
QF_UF QG-classification/qg5 crafted 0 sat 663225 gensys_brn948.smt
QF_UF QG-classification/qg5 crafted 0 sat 663798 gensys_brn950.smt
QF_UF QG-classification/qg5 crafted 0 sat 665276 gensys_brn951.smt
QF_UF QG-classification/qg5 crafted 0 sat 666653 gensys_brn952.smt
QF_UF QG-classification/qg5 crafted 0 sat 667247 gensys_brn953.smt
QF_UF QG-classification/qg5 crafted 0 sat 664713 gensys_brn955.smt
QF_UF QG-classification/qg5 crafted 0 sat 668053 gensys_brn958.smt
QF_UF QG-classification/qg5 crafted 0 sat 663399 gensys_brn960.smt
QF_UF QG-classification/qg5 crafted 0 sat 666109 gensys_brn963.smt
QF_UF QG-classification/qg5 crafted 0 sat 663721 gensys_brn964.smt
QF_UF QG-classification/qg5 crafted 0 sat 665080 gensys_brn965.smt
QF_UF QG-classification/qg5 crafted 0 sat 664307 gensys_brn966.smt
QF_UF QG-classification/qg5 crafted 0 sat 665559 gensys_brn967.smt
QF_UF QG-classification/qg5 crafted 0 sat 667827 gensys_brn968.smt
QF_UF QG-classification/qg5 crafted 0 sat 665946 gensys_brn970.smt
QF_UF QG-classification/qg5 crafted 0 sat 663122 gensys_brn971.smt
QF_UF QG-classification/qg5 crafted 0 sat 663394 gensys_brn972.smt
QF_UF QG-classification/qg5 crafted 0 sat 666779 gensys_brn975.smt
QF_UF QG-classification/qg5 crafted 0 sat 664328 gensys_brn976.smt
QF_UF QG-classification/qg5 crafted 0 sat 663218 gensys_brn977.smt
QF_UF QG-classification/qg5 crafted 0 sat 668253 gensys_brn978.smt
QF_UF QG-classification/qg5 crafted 0 sat 666670 gensys_brn979.smt
QF_UF QG-classification/qg5 crafted 0 sat 665197 gensys_brn980.smt
QF_UF QG-classification/qg5 crafted 0 sat 666087 gensys_brn981.smt
QF_UF QG-classification/qg5 crafted 0 sat 665476 gensys_brn982.smt
QF_UF QG-classification/qg5 crafted 0 sat 663256 gensys_brn983.smt
QF_UF QG-classification/qg5 crafted 0 sat 664090 gensys_brn984.smt
QF_UF QG-classification/qg5 crafted 0 sat 666065 gensys_brn985.smt
QF_UF QG-classification/qg5 crafted 0 sat 663406 gensys_brn986.smt
QF_UF QG-classification/qg5 crafted 0 sat 663554 gensys_brn987.smt
QF_UF QG-classification/qg5 crafted 0 sat 664344 gensys_brn988.smt
QF_UF QG-classification/qg5 crafted 0 sat 664732 gensys_brn989.smt
QF_UF QG-classification/qg5 crafted 0 sat 663199 gensys_brn990.smt
QF_UF QG-classification/qg5 crafted 0 sat 663318 gensys_brn991.smt
QF_UF QG-classification/qg5 crafted 0 sat 665645 gensys_brn992.smt
QF_UF QG-classification/qg5 crafted 0 sat 666940 gensys_brn993.smt
QF_UF QG-classification/qg5 crafted 0 sat 667159 gensys_brn994.smt
QF_UF QG-classification/qg5 crafted 0 sat 668251 gensys_brn995.smt
QF_UF QG-classification/qg5 crafted 0 sat 663802 gensys_brn996.smt
QF_UF QG-classification/qg5 crafted 0 sat 663779 gensys_brn999.smt
QF_UF QG-classification/qg5 crafted 0 sat 663128 iso_brn001.smt
QF_UF QG-classification/qg5 crafted 0 sat 665213 iso_brn002.smt
QF_UF QG-classification/qg5 crafted 0 sat 667231 iso_brn003.smt
QF_UF QG-classification/qg5 crafted 0 sat 666889 iso_brn004.smt
QF_UF QG-classification/qg5 crafted 0 sat 666395 iso_brn007.smt
QF_UF QG-classification/qg5 crafted 0 sat 665906 iso_brn008.smt
QF_UF QG-classification/qg5 crafted 0 sat 666624 iso_brn009.smt
QF_UF QG-classification/qg5 crafted 0 sat 668220 iso_brn010.smt
QF_UF QG-classification/qg5 crafted 0 sat 667658 iso_brn011.smt
QF_UF QG-classification/qg5 crafted 0 sat 666691 iso_brn012.smt
QF_UF QG-classification/qg5 crafted 0 sat 666544 iso_brn013.smt
QF_UF QG-classification/qg5 crafted 0 sat 663911 iso_brn014.smt
QF_UF QG-classification/qg5 crafted 0 sat 666776 iso_brn015.smt
QF_UF QG-classification/qg5 crafted 0 sat 667021 iso_brn017.smt
QF_UF QG-classification/qg5 crafted 0 sat 667632 iso_brn020.smt
QF_UF QG-classification/qg5 crafted 0 sat 666189 iso_brn023.smt
QF_UF QG-classification/qg5 crafted 0 sat 664239 iso_brn024.smt
QF_UF QG-classification/qg5 crafted 0 sat 664827 iso_brn029.smt
QF_UF QG-classification/qg5 crafted 0 sat 666106 iso_brn030.smt
QF_UF QG-classification/qg5 crafted 0 sat 668086 iso_brn031.smt
QF_UF QG-classification/qg5 crafted 0 sat 666513 iso_brn032.smt
QF_UF QG-classification/qg5 crafted 0 sat 667052 iso_brn033.smt
QF_UF QG-classification/qg5 crafted 0 sat 663745 iso_brn034.smt
QF_UF QG-classification/qg5 crafted 0 sat 663752 iso_brn035.smt
QF_UF QG-classification/qg5 crafted 0 sat 664430 iso_brn037.smt
QF_UF QG-classification/qg5 crafted 0 sat 663904 iso_brn039.smt
QF_UF QG-classification/qg5 crafted 0 sat 666952 iso_brn040.smt
QF_UF QG-classification/qg5 crafted 0 sat 666860 iso_brn042.smt
QF_UF QG-classification/qg5 crafted 0 sat 668176 iso_brn044.smt
QF_UF QG-classification/qg5 crafted 0 sat 665149 iso_brn047.smt
QF_UF QG-classification/qg5 crafted 0 sat 665649 iso_brn049.smt
QF_UF QG-classification/qg5 crafted 0 sat 668105 iso_brn051.smt
QF_UF QG-classification/qg5 crafted 0 sat 667224 iso_brn053.smt
QF_UF QG-classification/qg5 crafted 0 sat 666698 iso_brn065.smt
QF_UF QG-classification/qg5 crafted 0 sat 665305 iso_brn068.smt
QF_UF QG-classification/qg5 crafted 0 sat 665327 iso_brn069.smt
QF_UF QG-classification/qg5 crafted 0 sat 664002 iso_brn070.smt
QF_UF QG-classification/qg5 crafted 0 sat 664627 iso_brn071.smt
QF_UF QG-classification/qg5 crafted 0 sat 666351 iso_brn072.smt
QF_UF QG-classification/qg5 crafted 0 sat 668231 iso_brn073.smt
QF_UF QG-classification/qg5 crafted 0 sat 664671 iso_brn074.smt
QF_UF QG-classification/qg5 crafted 0 sat 665061 iso_brn075.smt
QF_UF QG-classification/qg5 crafted 0 sat 665505 iso_brn076.smt
QF_UF QG-classification/qg5 crafted 0 sat 663872 iso_brn077.smt
QF_UF QG-classification/qg5 crafted 0 sat 666426 iso_brn078.smt
QF_UF QG-classification/qg5 crafted 0 sat 667411 iso_brn080.smt
QF_UF QG-classification/qg5 crafted 0 sat 662996 iso_brn088.smt
QF_UF QG-classification/qg5 crafted 0 sat 666244 iso_brn090.smt
QF_UF QG-classification/qg5 crafted 0 sat 668072 iso_brn091.smt
QF_UF QG-classification/qg5 crafted 0 sat 666478 iso_brn092.smt
QF_UF QG-classification/qg5 crafted 0 sat 663305 iso_brn093.smt
QF_UF QG-classification/qg5 crafted 0 sat 667066 iso_brn095.smt
QF_UF QG-classification/qg5 crafted 0 sat 665917 iso_brn096.smt
QF_UF QG-classification/qg5 crafted 0 sat 664301 iso_brn097.smt
QF_UF QG-classification/qg5 crafted 0 sat 666436 iso_brn098.smt
QF_UF QG-classification/qg5 crafted 0 sat 667841 iso_brn099.smt
QF_UF QG-classification/qg5 crafted 0 sat 667830 iso_brn100.smt
QF_UF QG-classification/qg5 crafted 0 sat 666458 iso_brn1000.smt
QF_UF QG-classification/qg5 crafted 0 sat 668071 iso_brn1001.smt
QF_UF QG-classification/qg5 crafted 0 sat 666516 iso_brn1003.smt
QF_UF QG-classification/qg5 crafted 0 sat 663003 iso_brn1007.smt
QF_UF QG-classification/qg5 crafted 0 sat 664306 iso_brn1008.smt
QF_UF QG-classification/qg5 crafted 0 sat 665513 iso_brn1009.smt
QF_UF QG-classification/qg5 crafted 0 sat 663158 iso_brn101.smt
QF_UF QG-classification/qg5 crafted 0 sat 663750 iso_brn1010.smt
QF_UF QG-classification/qg5 crafted 0 sat 667097 iso_brn1011.smt
QF_UF QG-classification/qg5 crafted 0 sat 664638 iso_brn1013.smt
QF_UF QG-classification/qg5 crafted 0 sat 663311 iso_brn1015.smt
QF_UF QG-classification/qg5 crafted 0 sat 664748 iso_brn1017.smt
QF_UF QG-classification/qg5 crafted 0 sat 665392 iso_brn1018.smt
QF_UF QG-classification/qg5 crafted 0 sat 663482 iso_brn1019.smt
QF_UF QG-classification/qg5 crafted 0 sat 666777 iso_brn102.smt
QF_UF QG-classification/qg5 crafted 0 sat 667915 iso_brn1021.smt
QF_UF QG-classification/qg5 crafted 0 sat 667737 iso_brn1024.smt
QF_UF QG-classification/qg5 crafted 0 sat 663575 iso_brn1025.smt
QF_UF QG-classification/qg5 crafted 0 sat 665983 iso_brn1030.smt
QF_UF QG-classification/qg5 crafted 0 sat 665877 iso_brn1031.smt
QF_UF QG-classification/qg5 crafted 0 sat 667260 iso_brn1033.smt
QF_UF QG-classification/qg5 crafted 0 sat 664754 iso_brn1034.smt
QF_UF QG-classification/qg5 crafted 0 sat 667074 iso_brn1038.smt
QF_UF QG-classification/qg5 crafted 0 sat 667516 iso_brn1039.smt
QF_UF QG-classification/qg5 crafted 0 sat 665694 iso_brn1040.smt
QF_UF QG-classification/qg5 crafted 0 sat 664590 iso_brn1041.smt
QF_UF QG-classification/qg5 crafted 0 sat 667679 iso_brn1042.smt
QF_UF QG-classification/qg5 crafted 0 sat 667194 iso_brn1043.smt
QF_UF QG-classification/qg5 crafted 0 sat 664412 iso_brn1044.smt
QF_UF QG-classification/qg5 crafted 0 sat 663726 iso_brn1045.smt
QF_UF QG-classification/qg5 crafted 0 sat 663194 iso_brn1046.smt
QF_UF QG-classification/qg5 crafted 0 sat 665451 iso_brn1048.smt
QF_UF QG-classification/qg5 crafted 0 sat 667659 iso_brn105.smt
QF_UF QG-classification/qg5 crafted 0 sat 664592 iso_brn1050.smt
QF_UF QG-classification/qg5 crafted 0 sat 665573 iso_brn1051.smt
QF_UF QG-classification/qg5 crafted 0 sat 667615 iso_brn1052.smt
QF_UF QG-classification/qg5 crafted 0 sat 664887 iso_brn1053.smt
QF_UF QG-classification/qg5 crafted 0 sat 663034 iso_brn1054.smt
QF_UF QG-classification/qg5 crafted 0 sat 665502 iso_brn1056.smt
QF_UF QG-classification/qg5 crafted 0 sat 666943 iso_brn1057.smt
QF_UF QG-classification/qg5 crafted 0 sat 664190 iso_brn1061.smt
QF_UF QG-classification/qg5 crafted 0 sat 668115 iso_brn1062.smt
QF_UF QG-classification/qg5 crafted 0 sat 667236 iso_brn1063.smt
QF_UF QG-classification/qg5 crafted 0 sat 666851 iso_brn1064.smt
QF_UF QG-classification/qg5 crafted 0 sat 663330 iso_brn1065.smt
QF_UF QG-classification/qg5 crafted 0 sat 665467 iso_brn1066.smt
QF_UF QG-classification/qg5 crafted 0 sat 666652 iso_brn107.smt
QF_UF QG-classification/qg5 crafted 0 sat 664437 iso_brn1071.smt
QF_UF QG-classification/qg5 crafted 0 sat 667932 iso_brn1072.smt
QF_UF QG-classification/qg5 crafted 0 sat 667738 iso_brn1073.smt
QF_UF QG-classification/qg5 crafted 0 sat 663770 iso_brn1074.smt
QF_UF QG-classification/qg5 crafted 0 sat 664165 iso_brn1076.smt
QF_UF QG-classification/qg5 crafted 0 sat 663686 iso_brn1077.smt
QF_UF QG-classification/qg5 crafted 0 sat 665848 iso_brn108.smt
QF_UF QG-classification/qg5 crafted 0 sat 663704 iso_brn1081.smt
QF_UF QG-classification/qg5 crafted 0 sat 664167 iso_brn1083.smt
QF_UF QG-classification/qg5 crafted 0 sat 664701 iso_brn1085.smt
QF_UF QG-classification/qg5 crafted 0 sat 667700 iso_brn1087.smt
QF_UF QG-classification/qg5 crafted 0 sat 667465 iso_brn1088.smt
QF_UF QG-classification/qg5 crafted 0 sat 665542 iso_brn1089.smt
QF_UF QG-classification/qg5 crafted 0 sat 665708 iso_brn1090.smt
QF_UF QG-classification/qg5 crafted 0 sat 666970 iso_brn1091.smt
QF_UF QG-classification/qg5 crafted 0 sat 663429 iso_brn1095.smt
QF_UF QG-classification/qg5 crafted 0 sat 663033 iso_brn1096.smt
QF_UF QG-classification/qg5 crafted 0 sat 663496 iso_brn1098.smt
QF_UF QG-classification/qg5 crafted 0 sat 667904 iso_brn1099.smt
QF_UF QG-classification/qg5 crafted 0 sat 664500 iso_brn110.smt
QF_UF QG-classification/qg5 crafted 0 sat 663092 iso_brn1100.smt
QF_UF QG-classification/qg5 crafted 0 sat 667050 iso_brn1101.smt
QF_UF QG-classification/qg5 crafted 0 sat 664859 iso_brn1102.smt
QF_UF QG-classification/qg5 crafted 0 sat 663438 iso_brn1103.smt
QF_UF QG-classification/qg5 crafted 0 sat 664539 iso_brn1104.smt
QF_UF QG-classification/qg5 crafted 0 sat 664049 iso_brn1106.smt
QF_UF QG-classification/qg5 crafted 0 sat 666338 iso_brn1109.smt
QF_UF QG-classification/qg5 crafted 0 sat 665399 iso_brn111.smt
QF_UF QG-classification/qg5 crafted 0 sat 665390 iso_brn1110.smt
QF_UF QG-classification/qg5 crafted 0 sat 666801 iso_brn1111.smt
QF_UF QG-classification/qg5 crafted 0 sat 663781 iso_brn1112.smt
QF_UF QG-classification/qg5 crafted 0 sat 663186 iso_brn1114.smt
QF_UF QG-classification/qg5 crafted 0 sat 665148 iso_brn1115.smt
QF_UF QG-classification/qg5 crafted 0 sat 665283 iso_brn1117.smt
QF_UF QG-classification/qg5 crafted 0 sat 665275 iso_brn1118.smt
QF_UF QG-classification/qg5 crafted 0 sat 663423 iso_brn1119.smt
QF_UF QG-classification/qg5 crafted 0 sat 664144 iso_brn112.smt
QF_UF QG-classification/qg5 crafted 0 sat 664645 iso_brn1120.smt
QF_UF QG-classification/qg5 crafted 0 sat 663844 iso_brn1123.smt
QF_UF QG-classification/qg5 crafted 0 sat 667688 iso_brn1125.smt
QF_UF QG-classification/qg5 crafted 0 sat 663556 iso_brn1128.smt
QF_UF QG-classification/qg5 crafted 0 sat 665481 iso_brn1129.smt
QF_UF QG-classification/qg5 crafted 0 sat 667385 iso_brn1130.smt
QF_UF QG-classification/qg5 crafted 0 sat 667366 iso_brn1131.smt
QF_UF QG-classification/qg5 crafted 0 sat 663936 iso_brn1132.smt
QF_UF QG-classification/qg5 crafted 0 sat 665979 iso_brn1133.smt
QF_UF QG-classification/qg5 crafted 0 sat 664492 iso_brn1136.smt
QF_UF QG-classification/qg5 crafted 0 sat 666125 iso_brn1138.smt
QF_UF QG-classification/qg5 crafted 0 sat 667994 iso_brn1142.smt
QF_UF QG-classification/qg5 crafted 0 sat 667435 iso_brn1145.smt
QF_UF QG-classification/qg5 crafted 0 sat 666173 iso_brn1146.smt
QF_UF QG-classification/qg5 crafted 0 sat 664080 iso_brn1148.smt
QF_UF QG-classification/qg5 crafted 0 sat 667067 iso_brn1149.smt
QF_UF QG-classification/qg5 crafted 0 sat 664554 iso_brn115.smt
QF_UF QG-classification/qg5 crafted 0 sat 663204 iso_brn1150.smt
QF_UF QG-classification/qg5 crafted 0 sat 667007 iso_brn1151.smt
QF_UF QG-classification/qg5 crafted 0 sat 667754 iso_brn1152.smt
QF_UF QG-classification/qg5 crafted 0 sat 667156 iso_brn1153.smt
QF_UF QG-classification/qg5 crafted 0 sat 666307 iso_brn1154.smt
QF_UF QG-classification/qg5 crafted 0 sat 663276 iso_brn1155.smt
QF_UF QG-classification/qg5 crafted 0 sat 663959 iso_brn1156.smt
QF_UF QG-classification/qg5 crafted 0 sat 665308 iso_brn1157.smt
QF_UF QG-classification/qg5 crafted 0 sat 662995 iso_brn1158.smt
QF_UF QG-classification/qg5 crafted 0 sat 666942 iso_brn1159.smt
QF_UF QG-classification/qg5 crafted 0 sat 667856 iso_brn1160.smt
QF_UF QG-classification/qg5 crafted 0 sat 663672 iso_brn1161.smt
QF_UF QG-classification/qg5 crafted 0 sat 665441 iso_brn1162.smt
QF_UF QG-classification/qg5 crafted 0 sat 666922 iso_brn1163.smt
QF_UF QG-classification/qg5 crafted 0 sat 666407 iso_brn1164.smt
QF_UF QG-classification/qg5 crafted 0 sat 664798 iso_brn1165.smt
QF_UF QG-classification/qg5 crafted 0 sat 665369 iso_brn1166.smt
QF_UF QG-classification/qg5 crafted 0 sat 664243 iso_brn1167.smt
QF_UF QG-classification/qg5 crafted 0 sat 664206 iso_brn1169.smt
QF_UF QG-classification/qg5 crafted 0 sat 666348 iso_brn1170.smt
QF_UF QG-classification/qg5 crafted 0 sat 665212 iso_brn1171.smt
QF_UF QG-classification/qg5 crafted 0 sat 665333 iso_brn1173.smt
QF_UF QG-classification/qg5 crafted 0 sat 665351 iso_brn1176.smt
QF_UF QG-classification/qg5 crafted 0 sat 664580 iso_brn1179.smt
QF_UF QG-classification/qg5 crafted 0 sat 666208 iso_brn118.smt
QF_UF QG-classification/qg5 crafted 0 sat 667550 iso_brn1183.smt
QF_UF QG-classification/qg5 crafted 0 sat 664463 iso_brn1184.smt
QF_UF QG-classification/qg5 crafted 0 sat 666127 iso_brn1185.smt
QF_UF QG-classification/qg5 crafted 0 sat 663087 iso_brn1186.smt
QF_UF QG-classification/qg5 crafted 0 sat 663002 iso_brn1188.smt
QF_UF QG-classification/qg5 crafted 0 sat 666130 iso_brn1189.smt
QF_UF QG-classification/qg5 crafted 0 sat 663647 iso_brn1190.smt
QF_UF QG-classification/qg5 crafted 0 sat 664164 iso_brn1191.smt
QF_UF QG-classification/qg5 crafted 0 sat 667125 iso_brn1192.smt
QF_UF QG-classification/qg5 crafted 0 sat 667815 iso_brn1193.smt
QF_UF QG-classification/qg5 crafted 0 sat 667134 iso_brn1194.smt
QF_UF QG-classification/qg5 crafted 0 sat 663065 iso_brn1195.smt
QF_UF QG-classification/qg5 crafted 0 sat 666795 iso_brn1196.smt
QF_UF QG-classification/qg5 crafted 0 sat 667745 iso_brn1197.smt
QF_UF QG-classification/qg5 crafted 0 sat 664314 iso_brn1198.smt
QF_UF QG-classification/qg5 crafted 0 sat 666486 iso_brn120.smt
QF_UF QG-classification/qg5 crafted 0 sat 666761 iso_brn1200.smt
QF_UF QG-classification/qg5 crafted 0 sat 667997 iso_brn1201.smt
QF_UF QG-classification/qg5 crafted 0 sat 664402 iso_brn1202.smt
QF_UF QG-classification/qg5 crafted 0 sat 665638 iso_brn1203.smt
QF_UF QG-classification/qg5 crafted 0 sat 663655 iso_brn1204.smt
QF_UF QG-classification/qg5 crafted 0 sat 666817 iso_brn1205.smt
QF_UF QG-classification/qg5 crafted 0 sat 664365 iso_brn1206.smt
QF_UF QG-classification/qg5 crafted 0 sat 663812 iso_brn1208.smt
QF_UF QG-classification/qg5 crafted 0 sat 665680 iso_brn1209.smt
QF_UF QG-classification/qg5 crafted 0 sat 663175 iso_brn1213.smt
QF_UF QG-classification/qg5 crafted 0 sat 666912 iso_brn1214.smt
QF_UF QG-classification/qg5 crafted 0 sat 666205 iso_brn1216.smt
QF_UF QG-classification/qg5 crafted 0 sat 663072 iso_brn1217.smt
QF_UF QG-classification/qg5 crafted 0 sat 667178 iso_brn1218.smt
QF_UF QG-classification/qg5 crafted 0 sat 667046 iso_brn1219.smt
QF_UF QG-classification/qg5 crafted 0 sat 663353 iso_brn122.smt
QF_UF QG-classification/qg5 crafted 0 sat 663963 iso_brn1220.smt
QF_UF QG-classification/qg5 crafted 0 sat 664925 iso_brn1223.smt
QF_UF QG-classification/qg5 crafted 0 sat 668165 iso_brn1226.smt
QF_UF QG-classification/qg5 crafted 0 sat 666754 iso_brn1227.smt
QF_UF QG-classification/qg5 crafted 0 sat 667292 iso_brn1229.smt
QF_UF QG-classification/qg5 crafted 0 sat 664782 iso_brn123.smt
QF_UF QG-classification/qg5 crafted 0 sat 665062 iso_brn1230.smt
QF_UF QG-classification/qg5 crafted 0 sat 665996 iso_brn1231.smt
QF_UF QG-classification/qg5 crafted 0 sat 666527 iso_brn1233.smt
QF_UF QG-classification/qg5 crafted 0 sat 663018 iso_brn1234.smt
QF_UF QG-classification/qg5 crafted 0 sat 665055 iso_brn1235.smt
QF_UF QG-classification/qg5 crafted 0 sat 664688 iso_brn1236.smt
QF_UF QG-classification/qg5 crafted 0 sat 667419 iso_brn1238.smt
QF_UF QG-classification/qg5 crafted 0 sat 666908 iso_brn124.smt
QF_UF QG-classification/qg5 crafted 0 sat 662993 iso_brn1240.smt
QF_UF QG-classification/qg5 crafted 0 sat 665041 iso_brn1241.smt
QF_UF QG-classification/qg5 crafted 0 sat 667251 iso_brn1242.smt
QF_UF QG-classification/qg5 crafted 0 sat 665151 iso_brn1243.smt
QF_UF QG-classification/qg5 crafted 0 sat 665040 iso_brn1244.smt
QF_UF QG-classification/qg5 crafted 0 sat 666509 iso_brn1245.smt
QF_UF QG-classification/qg5 crafted 0 sat 667587 iso_brn1246.smt
QF_UF QG-classification/qg5 crafted 0 sat 663876 iso_brn1247.smt
QF_UF QG-classification/qg5 crafted 0 sat 665272 iso_brn1248.smt
QF_UF QG-classification/qg5 crafted 0 sat 665617 iso_brn1249.smt
QF_UF QG-classification/qg5 crafted 0 sat 667531 iso_brn125.smt
QF_UF QG-classification/qg5 crafted 0 sat 666797 iso_brn1250.smt
QF_UF QG-classification/qg5 crafted 0 sat 664758 iso_brn1252.smt
QF_UF QG-classification/qg5 crafted 0 sat 666569 iso_brn1254.smt
QF_UF QG-classification/qg5 crafted 0 sat 666193 iso_brn1255.smt
QF_UF QG-classification/qg5 crafted 0 sat 663754 iso_brn1256.smt
QF_UF QG-classification/qg5 crafted 0 sat 665780 iso_brn1257.smt
QF_UF QG-classification/qg5 crafted 0 sat 666299 iso_brn126.smt
QF_UF QG-classification/qg5 crafted 0 sat 665865 iso_brn1260.smt
QF_UF QG-classification/qg5 crafted 0 sat 668205 iso_brn1261.smt
QF_UF QG-classification/qg5 crafted 0 sat 666475 iso_brn1262.smt
QF_UF QG-classification/qg5 crafted 0 sat 666099 iso_brn1263.smt
QF_UF QG-classification/qg5 crafted 0 sat 668227 iso_brn1264.smt
QF_UF QG-classification/qg5 crafted 0 sat 664833 iso_brn1268.smt
QF_UF QG-classification/qg5 crafted 0 sat 663026 iso_brn1269.smt
QF_UF QG-classific