*** 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 fld to s6 unk best deep abcdeep 58 58 58 0 0 32 92704 blimc 58 58 56 0 2 18 92544 shiftbmc 58 58 56 0 2 9 92490 iimc 58 58 58 0 0 5 92388 nuxmvbmc 58 58 56 0 2 3 92227 conpcheck 58 58 58 0 0 2 91861 nuxmv 58 58 58 0 0 2 91753 truss 58 58 57 1 0 5 91067 iproverdeep 58 58 58 0 0 1 90927 iprover 58 58 58 0 0 3 90633 used the following 58 unsolved instances: 6s105 6s128 6s158 6s160 6s163 6s185 6s186 6s188 6s191 6s195 6s22 6s267rb3 6s268r 6s274r 6s279r 6s280r 6s29 6s316b421 6s316b460 6s322rb646 6s329rb19 6s341r 6s342rb122 6s365r 6s367r 6s37 6s376r 6s377r 6s398b09 6s399b02 6s42 6s44 6s514r 6s516r 6s517rb0 beemandrsn6b1 beemlifts3b1 bobpcihm intel012 intel013 intel014 intel016 intel027 intel028 intel032 nusmvdme216 oc8051gm06iram oc8051gm3bacc oc8051gm43acc oc8051gm49acc oc8051gm63iram oc8051gm88iram oc8051gma4pc oc8051gmbfpc oc8051gmd7acc oski15a01b00s oski15a07b0s oski15a10b02s