*** zummarize warning: unsat-bound 3620 in 'pdtravdeep/beemadd4b1' >= witness length 15 in 'abcdeep/beemadd4b1' *** zummarize warning: assuming 'u...' lines are globally broken in 'pdtravdeep' cnt ok sat fld to s6 unk real time space max best uniq deep abcsuperprove 61 57 57 4 3 0 1 8378 58143 133439 66991 13 1 0 pdtravthrd 61 56 56 5 3 0 2 8101 39659 119279 11071 4 1 0 nuxmv 61 55 55 6 6 0 0 3788 14960 30122 9760 5 0 91753 abcdeep 61 55 55 6 6 0 0 4324 27600 56432 16224 6 0 92704 blimc 61 53 53 8 8 0 0 5178 5147 7407 1904 3 0 92544 avy 61 52 52 9 8 0 1 3996 14229 31882 9683 2 0 0 iimc 61 52 52 9 8 1 0 6496 44677 39874 8419 5 1 92388 shiftbmc 61 52 52 9 9 0 0 8764 8730 9776 2417 2 0 92490 pdtravdeep 61 51 51 10 10 0 0 4699 12548 102883 22336 3 0 0 conpcheck 61 51 51 10 9 0 1 11857 35229 12433 3042 0 0 91861 nuxmvbmc 61 49 49 12 12 0 0 3946 3913 10645 1963 11 0 92227 truss 61 43 43 18 18 0 0 2727 10098 21770 4477 6 0 91067 iprover 61 41 41 20 20 0 0 7821 52184 572521 124463 1 0 90633 iproverdeep 61 39 39 22 21 0 1 8252 33001 363106 72672 0 0 90927