Imperas RISC-V Instruction Coverage Report

Extension : RVM, instructions: 8
    div            
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         11/1 : 100.00%
                pos         14/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   9/1 : 100.00%
                00000000000000000000000000000001   4/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   1/1 : 100.00%
                10000000000000000000000000000000   2/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   8/1 : 100.00%
            value 5/66 :   7.58%
        rd 31/100 :  31.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    div 100/310 :  32.26%
    divu           
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg          7/1 : 100.00%
                pos         18/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  10/1 : 100.00%
                00000000000000000000000000000001   6/1 : 100.00%
                00000000000000000000000000000010   1/1 : 100.00%
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   1/1 : 100.00%
                10000000000000000000000000000000   1/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   6/1 : 100.00%
            value 6/66 :   9.09%
        rd 32/100 :  32.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    divu 101/310 :  32.58%
    mul            
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  10/1 : 100.00%
                00000000000000000000000000000001   3/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   2/1 : 100.00%
                10000000000000000000000000000000   6/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   2/1 : 100.00%
            value 5/66 :   7.58%
        rd 31/100 :  31.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    mul 100/310 :  32.26%
    mulh           
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg          8/1 : 100.00%
                pos         17/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  15/1 : 100.00%
                00000000000000000000000000000001   0/1 :   0.00% ZERO
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   1/1 : 100.00%
                01111111111111111111111111111111   0/1 :   0.00% ZERO
                10000000000000000000000000000000   0/1 :   0.00% ZERO
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   6/1 : 100.00%
            value 3/66 :   4.55%
        rd 29/100 :  29.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    mulh 98/310 :  31.61%
    mulhsu         
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg          8/1 : 100.00%
                pos         17/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  14/1 : 100.00%
                00000000000000000000000000000001   0/1 :   0.00% ZERO
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   0/1 :   0.00% ZERO
                10000000000000000000000000000000   1/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 3/66 :   4.55%
        rd 29/100 :  29.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    mulhsu 98/310 :  31.61%
    mulhu          
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg          1/1 : 100.00%
                pos         24/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  16/1 : 100.00%
                00000000000000000000000000000001   0/1 :   0.00% ZERO
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   1/1 : 100.00%
                01111111111111111111111111111111   2/1 : 100.00%
                10000000000000000000000000000000   0/1 :   0.00% ZERO
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   1/1 : 100.00%
                11111111111111111111111111111111   0/1 :   0.00% ZERO
            value 4/66 :   6.06%
        rd 30/100 :  30.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    mulhu 99/310 :  31.94%
    rem            
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg          5/1 : 100.00%
                pos         20/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  15/1 : 100.00%
                00000000000000000000000000000001   3/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   2/1 : 100.00%
                10000000000000000000000000000000   1/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   4/1 : 100.00%
            value 5/66 :   7.58%
        rd 31/100 :  31.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    rem 100/310 :  32.26%
    remu           
        compare        
            rd_rs1         
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rd_rs1 1/2 :  50.00%
            rd_rs2         
                !=           0/1 :   0.00% ZERO
                ==          25/1 : 100.00%
            rd_rs2 1/2 :  50.00%
            rs1_rs2        
                !=          25/1 : 100.00%
                ==           0/1 :   0.00% ZERO
            rs1_rs2 1/2 :  50.00%
        compare 3/6 :  50.00%
        cross          
            rs1_rs2        
                c00          9/1 : 100.00%
                c01          6/1 : 100.00%
                c10          6/1 : 100.00%
                c11          4/1 : 100.00%
            rs1_rs2 4/4 : 100.00%
        cross 4/4 : 100.00%
        rd             
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg          3/1 : 100.00%
                pos         22/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000  12/1 : 100.00%
                00000000000000000000000000000001   6/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   4/1 : 100.00%
                10000000000000000000000000000000   2/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   1/1 : 100.00%
            value 5/66 :   7.58%
        rd 31/100 :  31.00%
        rs1            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs1 31/100 :  31.00%
        rs2            
            gpr            
                a0           0/1 :   0.00% ZERO
                a1           1/1 : 100.00%
                a2           1/1 : 100.00%
                a3           1/1 : 100.00%
                a4           1/1 : 100.00%
                a5           1/1 : 100.00%
                a6           1/1 : 100.00%
                a7           1/1 : 100.00%
                gp           1/1 : 100.00%
                ra           0/1 :   0.00% ZERO
                s0           1/1 : 100.00%
                s1           1/1 : 100.00%
                s10          1/1 : 100.00%
                s11          1/1 : 100.00%
                s2           1/1 : 100.00%
                s3           1/1 : 100.00%
                s4           1/1 : 100.00%
                s5           2/1 : 100.00%
                s6           1/1 : 100.00%
                s7           1/1 : 100.00%
                s8           1/1 : 100.00%
                s9           1/1 : 100.00%
                sp           0/1 :   0.00% ZERO
                t0           0/1 :   0.00% ZERO
                t1           0/1 :   0.00% ZERO
                t2           0/1 :   0.00% ZERO
                t3           1/1 : 100.00%
                t4           1/1 : 100.00%
                t5           1/1 : 100.00%
                t6           0/1 :   0.00% ZERO
                tp           1/1 : 100.00%
                zero         0/1 :   0.00% ZERO
            gpr 24/32 :  75.00%
            sign           
                neg         10/1 : 100.00%
                pos         15/1 : 100.00%
            sign 2/2 : 100.00%
            value          
                00000000000000000000000000000000   5/1 : 100.00%
                00000000000000000000000000000001   5/1 : 100.00%
                00000000000000000000000000000010   0/1 :   0.00% ZERO
                00000000000000000000000000000100   0/1 :   0.00% ZERO
                00000000000000000000000000001000   0/1 :   0.00% ZERO
                00000000000000000000000000010000   0/1 :   0.00% ZERO
                00000000000000000000000000100000   0/1 :   0.00% ZERO
                00000000000000000000000001000000   0/1 :   0.00% ZERO
                00000000000000000000000010000000   0/1 :   0.00% ZERO
                00000000000000000000000100000000   0/1 :   0.00% ZERO
                00000000000000000000001000000000   0/1 :   0.00% ZERO
                00000000000000000000010000000000   0/1 :   0.00% ZERO
                00000000000000000000100000000000   0/1 :   0.00% ZERO
                00000000000000000001000000000000   0/1 :   0.00% ZERO
                00000000000000000010000000000000   0/1 :   0.00% ZERO
                00000000000000000100000000000000   0/1 :   0.00% ZERO
                00000000000000001000000000000000   0/1 :   0.00% ZERO
                00000000000000010000000000000000   0/1 :   0.00% ZERO
                00000000000000100000000000000000   0/1 :   0.00% ZERO
                00000000000001000000000000000000   0/1 :   0.00% ZERO
                00000000000010000000000000000000   0/1 :   0.00% ZERO
                00000000000100000000000000000000   0/1 :   0.00% ZERO
                00000000001000000000000000000000   0/1 :   0.00% ZERO
                00000000010000000000000000000000   0/1 :   0.00% ZERO
                00000000100000000000000000000000   0/1 :   0.00% ZERO
                00000001000000000000000000000000   0/1 :   0.00% ZERO
                00000010000000000000000000000000   0/1 :   0.00% ZERO
                00000100000000000000000000000000   0/1 :   0.00% ZERO
                00001000000000000000000000000000   0/1 :   0.00% ZERO
                00010000000000000000000000000000   0/1 :   0.00% ZERO
                00100000000000000000000000000000   0/1 :   0.00% ZERO
                01000000000000000000000000000000   0/1 :   0.00% ZERO
                01111111111111111111111111111111   5/1 : 100.00%
                10000000000000000000000000000000   5/1 : 100.00%
                10111111111111111111111111111111   0/1 :   0.00% ZERO
                11011111111111111111111111111111   0/1 :   0.00% ZERO
                11101111111111111111111111111111   0/1 :   0.00% ZERO
                11110111111111111111111111111111   0/1 :   0.00% ZERO
                11111011111111111111111111111111   0/1 :   0.00% ZERO
                11111101111111111111111111111111   0/1 :   0.00% ZERO
                11111110111111111111111111111111   0/1 :   0.00% ZERO
                11111111011111111111111111111111   0/1 :   0.00% ZERO
                11111111101111111111111111111111   0/1 :   0.00% ZERO
                11111111110111111111111111111111   0/1 :   0.00% ZERO
                11111111111011111111111111111111   0/1 :   0.00% ZERO
                11111111111101111111111111111111   0/1 :   0.00% ZERO
                11111111111110111111111111111111   0/1 :   0.00% ZERO
                11111111111111011111111111111111   0/1 :   0.00% ZERO
                11111111111111101111111111111111   0/1 :   0.00% ZERO
                11111111111111110111111111111111   0/1 :   0.00% ZERO
                11111111111111111011111111111111   0/1 :   0.00% ZERO
                11111111111111111101111111111111   0/1 :   0.00% ZERO
                11111111111111111110111111111111   0/1 :   0.00% ZERO
                11111111111111111111011111111111   0/1 :   0.00% ZERO
                11111111111111111111101111111111   0/1 :   0.00% ZERO
                11111111111111111111110111111111   0/1 :   0.00% ZERO
                11111111111111111111111011111111   0/1 :   0.00% ZERO
                11111111111111111111111101111111   0/1 :   0.00% ZERO
                11111111111111111111111110111111   0/1 :   0.00% ZERO
                11111111111111111111111111011111   0/1 :   0.00% ZERO
                11111111111111111111111111101111   0/1 :   0.00% ZERO
                11111111111111111111111111110111   0/1 :   0.00% ZERO
                11111111111111111111111111111011   0/1 :   0.00% ZERO
                11111111111111111111111111111101   0/1 :   0.00% ZERO
                11111111111111111111111111111110   0/1 :   0.00% ZERO
                11111111111111111111111111111111   5/1 : 100.00%
            value 5/66 :   7.58%
        rs2 31/100 :  31.00%
    remu 100/310 :  32.26%
Coverage points missed:
  div/compare/rd_rs1/==
  div/compare/rd_rs2/!=
  div/compare/rs1_rs2/==
  div/rd/gpr/a0
  div/rd/gpr/ra
  div/rd/gpr/sp
  div/rd/gpr/t0
  div/rd/gpr/t1
  div/rd/gpr/t2
  div/rd/gpr/t6
  div/rd/gpr/zero
  div/rd/value/00000000000000000000000000000010
  div/rd/value/00000000000000000000000000000100
  div/rd/value/00000000000000000000000000001000
  div/rd/value/00000000000000000000000000010000
  div/rd/value/00000000000000000000000000100000
  div/rd/value/00000000000000000000000001000000
  div/rd/value/00000000000000000000000010000000
  div/rd/value/00000000000000000000000100000000
  div/rd/value/00000000000000000000001000000000
  div/rd/value/00000000000000000000010000000000
  div/rd/value/00000000000000000000100000000000
  div/rd/value/00000000000000000001000000000000
  div/rd/value/00000000000000000010000000000000
  div/rd/value/00000000000000000100000000000000
  div/rd/value/00000000000000001000000000000000
  div/rd/value/00000000000000010000000000000000
  div/rd/value/00000000000000100000000000000000
  div/rd/value/00000000000001000000000000000000
  div/rd/value/00000000000010000000000000000000
  div/rd/value/00000000000100000000000000000000
  div/rd/value/00000000001000000000000000000000
  div/rd/value/00000000010000000000000000000000
  div/rd/value/00000000100000000000000000000000
  div/rd/value/00000001000000000000000000000000
  div/rd/value/00000010000000000000000000000000
  div/rd/value/00000100000000000000000000000000
  div/rd/value/00001000000000000000000000000000
  div/rd/value/00010000000000000000000000000000
  div/rd/value/00100000000000000000000000000000
  div/rd/value/01000000000000000000000000000000
  div/rd/value/10111111111111111111111111111111
  div/rd/value/11011111111111111111111111111111
  div/rd/value/11101111111111111111111111111111
  div/rd/value/11110111111111111111111111111111
  div/rd/value/11111011111111111111111111111111
  div/rd/value/11111101111111111111111111111111
  div/rd/value/11111110111111111111111111111111
  div/rd/value/11111111011111111111111111111111
  div/rd/value/11111111101111111111111111111111
  div/rd/value/11111111110111111111111111111111
  div/rd/value/11111111111011111111111111111111
  div/rd/value/11111111111101111111111111111111
  div/rd/value/11111111111110111111111111111111
  div/rd/value/11111111111111011111111111111111
  div/rd/value/11111111111111101111111111111111
  div/rd/value/11111111111111110111111111111111
  div/rd/value/11111111111111111011111111111111
  div/rd/value/11111111111111111101111111111111
  div/rd/value/11111111111111111110111111111111
  div/rd/value/11111111111111111111011111111111
  div/rd/value/11111111111111111111101111111111
  div/rd/value/11111111111111111111110111111111
  div/rd/value/11111111111111111111111011111111
  div/rd/value/11111111111111111111111101111111
  div/rd/value/11111111111111111111111110111111
  div/rd/value/11111111111111111111111111011111
  div/rd/value/11111111111111111111111111101111
  div/rd/value/11111111111111111111111111110111
  div/rd/value/11111111111111111111111111111011
  div/rd/value/11111111111111111111111111111101
  div/rd/value/11111111111111111111111111111110
  div/rs1/gpr/a0
  div/rs1/gpr/ra
  div/rs1/gpr/sp
  div/rs1/gpr/t0
  div/rs1/gpr/t1
  div/rs1/gpr/t2
  div/rs1/gpr/t6
  div/rs1/gpr/zero
  div/rs1/value/00000000000000000000000000000010
  div/rs1/value/00000000000000000000000000000100
  div/rs1/value/00000000000000000000000000001000
  div/rs1/value/00000000000000000000000000010000
  div/rs1/value/00000000000000000000000000100000
  div/rs1/value/00000000000000000000000001000000
  div/rs1/value/00000000000000000000000010000000
  div/rs1/value/00000000000000000000000100000000
  div/rs1/value/00000000000000000000001000000000
  div/rs1/value/00000000000000000000010000000000
  div/rs1/value/00000000000000000000100000000000
  div/rs1/value/00000000000000000001000000000000
  div/rs1/value/00000000000000000010000000000000
  div/rs1/value/00000000000000000100000000000000
  div/rs1/value/00000000000000001000000000000000
  div/rs1/value/00000000000000010000000000000000
  div/rs1/value/00000000000000100000000000000000
  div/rs1/value/00000000000001000000000000000000
  div/rs1/value/00000000000010000000000000000000
  div/rs1/value/00000000000100000000000000000000
  div/rs1/value/00000000001000000000000000000000
  div/rs1/value/00000000010000000000000000000000
  div/rs1/value/00000000100000000000000000000000
  div/rs1/value/00000001000000000000000000000000
  div/rs1/value/00000010000000000000000000000000
  div/rs1/value/00000100000000000000000000000000
  div/rs1/value/00001000000000000000000000000000
  div/rs1/value/00010000000000000000000000000000
  div/rs1/value/00100000000000000000000000000000
  div/rs1/value/01000000000000000000000000000000
  div/rs1/value/10111111111111111111111111111111
  div/rs1/value/11011111111111111111111111111111
  div/rs1/value/11101111111111111111111111111111
  div/rs1/value/11110111111111111111111111111111
  div/rs1/value/11111011111111111111111111111111
  div/rs1/value/11111101111111111111111111111111
  div/rs1/value/11111110111111111111111111111111
  div/rs1/value/11111111011111111111111111111111
  div/rs1/value/11111111101111111111111111111111
  div/rs1/value/11111111110111111111111111111111
  div/rs1/value/11111111111011111111111111111111
  div/rs1/value/11111111111101111111111111111111
  div/rs1/value/11111111111110111111111111111111
  div/rs1/value/11111111111111011111111111111111
  div/rs1/value/11111111111111101111111111111111
  div/rs1/value/11111111111111110111111111111111
  div/rs1/value/11111111111111111011111111111111
  div/rs1/value/11111111111111111101111111111111
  div/rs1/value/11111111111111111110111111111111
  div/rs1/value/11111111111111111111011111111111
  div/rs1/value/11111111111111111111101111111111
  div/rs1/value/11111111111111111111110111111111
  div/rs1/value/11111111111111111111111011111111
  div/rs1/value/11111111111111111111111101111111
  div/rs1/value/11111111111111111111111110111111
  div/rs1/value/11111111111111111111111111011111
  div/rs1/value/11111111111111111111111111101111
  div/rs1/value/11111111111111111111111111110111
  div/rs1/value/11111111111111111111111111111011
  div/rs1/value/11111111111111111111111111111101
  div/rs1/value/11111111111111111111111111111110
  div/rs2/gpr/a0
  div/rs2/gpr/ra
  div/rs2/gpr/sp
  div/rs2/gpr/t0
  div/rs2/gpr/t1
  div/rs2/gpr/t2
  div/rs2/gpr/t6
  div/rs2/gpr/zero
  div/rs2/value/00000000000000000000000000000010
  div/rs2/value/00000000000000000000000000000100
  div/rs2/value/00000000000000000000000000001000
  div/rs2/value/00000000000000000000000000010000
  div/rs2/value/00000000000000000000000000100000
  div/rs2/value/00000000000000000000000001000000
  div/rs2/value/00000000000000000000000010000000
  div/rs2/value/00000000000000000000000100000000
  div/rs2/value/00000000000000000000001000000000
  div/rs2/value/00000000000000000000010000000000
  div/rs2/value/00000000000000000000100000000000
  div/rs2/value/00000000000000000001000000000000
  div/rs2/value/00000000000000000010000000000000
  div/rs2/value/00000000000000000100000000000000
  div/rs2/value/00000000000000001000000000000000
  div/rs2/value/00000000000000010000000000000000
  div/rs2/value/00000000000000100000000000000000
  div/rs2/value/00000000000001000000000000000000
  div/rs2/value/00000000000010000000000000000000
  div/rs2/value/00000000000100000000000000000000
  div/rs2/value/00000000001000000000000000000000
  div/rs2/value/00000000010000000000000000000000
  div/rs2/value/00000000100000000000000000000000
  div/rs2/value/00000001000000000000000000000000
  div/rs2/value/00000010000000000000000000000000
  div/rs2/value/00000100000000000000000000000000
  div/rs2/value/00001000000000000000000000000000
  div/rs2/value/00010000000000000000000000000000
  div/rs2/value/00100000000000000000000000000000
  div/rs2/value/01000000000000000000000000000000
  div/rs2/value/10111111111111111111111111111111
  div/rs2/value/11011111111111111111111111111111
  div/rs2/value/11101111111111111111111111111111
  div/rs2/value/11110111111111111111111111111111
  div/rs2/value/11111011111111111111111111111111
  div/rs2/value/11111101111111111111111111111111
  div/rs2/value/11111110111111111111111111111111
  div/rs2/value/11111111011111111111111111111111
  div/rs2/value/11111111101111111111111111111111
  div/rs2/value/11111111110111111111111111111111
  div/rs2/value/11111111111011111111111111111111
  div/rs2/value/11111111111101111111111111111111
  div/rs2/value/11111111111110111111111111111111
  div/rs2/value/11111111111111011111111111111111
  div/rs2/value/11111111111111101111111111111111
  div/rs2/value/11111111111111110111111111111111
  div/rs2/value/11111111111111111011111111111111
  div/rs2/value/11111111111111111101111111111111
  div/rs2/value/11111111111111111110111111111111
  div/rs2/value/11111111111111111111011111111111
  div/rs2/value/11111111111111111111101111111111
  div/rs2/value/11111111111111111111110111111111
  div/rs2/value/11111111111111111111111011111111
  div/rs2/value/11111111111111111111111101111111
  div/rs2/value/11111111111111111111111110111111
  div/rs2/value/11111111111111111111111111011111
  div/rs2/value/11111111111111111111111111101111
  div/rs2/value/11111111111111111111111111110111
  div/rs2/value/11111111111111111111111111111011
  div/rs2/value/11111111111111111111111111111101
  div/rs2/value/11111111111111111111111111111110
  divu/compare/rd_rs1/==
  divu/compare/rd_rs2/!=
  divu/compare/rs1_rs2/==
  divu/rd/gpr/a0
  divu/rd/gpr/ra
  divu/rd/gpr/sp
  divu/rd/gpr/t0
  divu/rd/gpr/t1
  divu/rd/gpr/t2
  divu/rd/gpr/t6
  divu/rd/gpr/zero
  divu/rd/value/00000000000000000000000000000100
  divu/rd/value/00000000000000000000000000001000
  divu/rd/value/00000000000000000000000000010000
  divu/rd/value/00000000000000000000000000100000
  divu/rd/value/00000000000000000000000001000000
  divu/rd/value/00000000000000000000000010000000
  divu/rd/value/00000000000000000000000100000000
  divu/rd/value/00000000000000000000001000000000
  divu/rd/value/00000000000000000000010000000000
  divu/rd/value/00000000000000000000100000000000
  divu/rd/value/00000000000000000001000000000000
  divu/rd/value/00000000000000000010000000000000
  divu/rd/value/00000000000000000100000000000000
  divu/rd/value/00000000000000001000000000000000
  divu/rd/value/00000000000000010000000000000000
  divu/rd/value/00000000000000100000000000000000
  divu/rd/value/00000000000001000000000000000000
  divu/rd/value/00000000000010000000000000000000
  divu/rd/value/00000000000100000000000000000000
  divu/rd/value/00000000001000000000000000000000
  divu/rd/value/00000000010000000000000000000000
  divu/rd/value/00000000100000000000000000000000
  divu/rd/value/00000001000000000000000000000000
  divu/rd/value/00000010000000000000000000000000
  divu/rd/value/00000100000000000000000000000000
  divu/rd/value/00001000000000000000000000000000
  divu/rd/value/00010000000000000000000000000000
  divu/rd/value/00100000000000000000000000000000
  divu/rd/value/01000000000000000000000000000000
  divu/rd/value/10111111111111111111111111111111
  divu/rd/value/11011111111111111111111111111111
  divu/rd/value/11101111111111111111111111111111
  divu/rd/value/11110111111111111111111111111111
  divu/rd/value/11111011111111111111111111111111
  divu/rd/value/11111101111111111111111111111111
  divu/rd/value/11111110111111111111111111111111
  divu/rd/value/11111111011111111111111111111111
  divu/rd/value/11111111101111111111111111111111
  divu/rd/value/11111111110111111111111111111111
  divu/rd/value/11111111111011111111111111111111
  divu/rd/value/11111111111101111111111111111111
  divu/rd/value/11111111111110111111111111111111
  divu/rd/value/11111111111111011111111111111111
  divu/rd/value/11111111111111101111111111111111
  divu/rd/value/11111111111111110111111111111111
  divu/rd/value/11111111111111111011111111111111
  divu/rd/value/11111111111111111101111111111111
  divu/rd/value/11111111111111111110111111111111
  divu/rd/value/11111111111111111111011111111111
  divu/rd/value/11111111111111111111101111111111
  divu/rd/value/11111111111111111111110111111111
  divu/rd/value/11111111111111111111111011111111
  divu/rd/value/11111111111111111111111101111111
  divu/rd/value/11111111111111111111111110111111
  divu/rd/value/11111111111111111111111111011111
  divu/rd/value/11111111111111111111111111101111
  divu/rd/value/11111111111111111111111111110111
  divu/rd/value/11111111111111111111111111111011
  divu/rd/value/11111111111111111111111111111101
  divu/rd/value/11111111111111111111111111111110
  divu/rs1/gpr/a0
  divu/rs1/gpr/ra
  divu/rs1/gpr/sp
  divu/rs1/gpr/t0
  divu/rs1/gpr/t1
  divu/rs1/gpr/t2
  divu/rs1/gpr/t6
  divu/rs1/gpr/zero
  divu/rs1/value/00000000000000000000000000000010
  divu/rs1/value/00000000000000000000000000000100
  divu/rs1/value/00000000000000000000000000001000
  divu/rs1/value/00000000000000000000000000010000
  divu/rs1/value/00000000000000000000000000100000
  divu/rs1/value/00000000000000000000000001000000
  divu/rs1/value/00000000000000000000000010000000
  divu/rs1/value/00000000000000000000000100000000
  divu/rs1/value/00000000000000000000001000000000
  divu/rs1/value/00000000000000000000010000000000
  divu/rs1/value/00000000000000000000100000000000
  divu/rs1/value/00000000000000000001000000000000
  divu/rs1/value/00000000000000000010000000000000
  divu/rs1/value/00000000000000000100000000000000
  divu/rs1/value/00000000000000001000000000000000
  divu/rs1/value/00000000000000010000000000000000
  divu/rs1/value/00000000000000100000000000000000
  divu/rs1/value/00000000000001000000000000000000
  divu/rs1/value/00000000000010000000000000000000
  divu/rs1/value/00000000000100000000000000000000
  divu/rs1/value/00000000001000000000000000000000
  divu/rs1/value/00000000010000000000000000000000
  divu/rs1/value/00000000100000000000000000000000
  divu/rs1/value/00000001000000000000000000000000
  divu/rs1/value/00000010000000000000000000000000
  divu/rs1/value/00000100000000000000000000000000
  divu/rs1/value/00001000000000000000000000000000
  divu/rs1/value/00010000000000000000000000000000
  divu/rs1/value/00100000000000000000000000000000
  divu/rs1/value/01000000000000000000000000000000
  divu/rs1/value/10111111111111111111111111111111
  divu/rs1/value/11011111111111111111111111111111
  divu/rs1/value/11101111111111111111111111111111
  divu/rs1/value/11110111111111111111111111111111
  divu/rs1/value/11111011111111111111111111111111
  divu/rs1/value/11111101111111111111111111111111
  divu/rs1/value/11111110111111111111111111111111
  divu/rs1/value/11111111011111111111111111111111
  divu/rs1/value/11111111101111111111111111111111
  divu/rs1/value/11111111110111111111111111111111
  divu/rs1/value/11111111111011111111111111111111
  divu/rs1/value/11111111111101111111111111111111
  divu/rs1/value/11111111111110111111111111111111
  divu/rs1/value/11111111111111011111111111111111
  divu/rs1/value/11111111111111101111111111111111
  divu/rs1/value/11111111111111110111111111111111
  divu/rs1/value/11111111111111111011111111111111
  divu/rs1/value/11111111111111111101111111111111
  divu/rs1/value/11111111111111111110111111111111
  divu/rs1/value/11111111111111111111011111111111
  divu/rs1/value/11111111111111111111101111111111
  divu/rs1/value/11111111111111111111110111111111
  divu/rs1/value/11111111111111111111111011111111
  divu/rs1/value/11111111111111111111111101111111
  divu/rs1/value/11111111111111111111111110111111
  divu/rs1/value/11111111111111111111111111011111
  divu/rs1/value/11111111111111111111111111101111
  divu/rs1/value/11111111111111111111111111110111
  divu/rs1/value/11111111111111111111111111111011
  divu/rs1/value/11111111111111111111111111111101
  divu/rs1/value/11111111111111111111111111111110
  divu/rs2/gpr/a0
  divu/rs2/gpr/ra
  divu/rs2/gpr/sp
  divu/rs2/gpr/t0
  divu/rs2/gpr/t1
  divu/rs2/gpr/t2
  divu/rs2/gpr/t6
  divu/rs2/gpr/zero
  divu/rs2/value/00000000000000000000000000000010
  divu/rs2/value/00000000000000000000000000000100
  divu/rs2/value/00000000000000000000000000001000
  divu/rs2/value/00000000000000000000000000010000
  divu/rs2/value/00000000000000000000000000100000
  divu/rs2/value/00000000000000000000000001000000
  divu/rs2/value/00000000000000000000000010000000
  divu/rs2/value/00000000000000000000000100000000
  divu/rs2/value/00000000000000000000001000000000
  divu/rs2/value/00000000000000000000010000000000
  divu/rs2/value/00000000000000000000100000000000
  divu/rs2/value/00000000000000000001000000000000
  divu/rs2/value/00000000000000000010000000000000
  divu/rs2/value/00000000000000000100000000000000
  divu/rs2/value/00000000000000001000000000000000
  divu/rs2/value/00000000000000010000000000000000
  divu/rs2/value/00000000000000100000000000000000
  divu/rs2/value/00000000000001000000000000000000
  divu/rs2/value/00000000000010000000000000000000
  divu/rs2/value/00000000000100000000000000000000
  divu/rs2/value/00000000001000000000000000000000
  divu/rs2/value/00000000010000000000000000000000
  divu/rs2/value/00000000100000000000000000000000
  divu/rs2/value/00000001000000000000000000000000
  divu/rs2/value/00000010000000000000000000000000
  divu/rs2/value/00000100000000000000000000000000
  divu/rs2/value/00001000000000000000000000000000
  divu/rs2/value/00010000000000000000000000000000
  divu/rs2/value/00100000000000000000000000000000
  divu/rs2/value/01000000000000000000000000000000
  divu/rs2/value/10111111111111111111111111111111
  divu/rs2/value/11011111111111111111111111111111
  divu/rs2/value/11101111111111111111111111111111
  divu/rs2/value/11110111111111111111111111111111
  divu/rs2/value/11111011111111111111111111111111
  divu/rs2/value/11111101111111111111111111111111
  divu/rs2/value/11111110111111111111111111111111
  divu/rs2/value/11111111011111111111111111111111
  divu/rs2/value/11111111101111111111111111111111
  divu/rs2/value/11111111110111111111111111111111
  divu/rs2/value/11111111111011111111111111111111
  divu/rs2/value/11111111111101111111111111111111
  divu/rs2/value/11111111111110111111111111111111
  divu/rs2/value/11111111111111011111111111111111
  divu/rs2/value/11111111111111101111111111111111
  divu/rs2/value/11111111111111110111111111111111
  divu/rs2/value/11111111111111111011111111111111
  divu/rs2/value/11111111111111111101111111111111
  divu/rs2/value/11111111111111111110111111111111
  divu/rs2/value/11111111111111111111011111111111
  divu/rs2/value/11111111111111111111101111111111
  divu/rs2/value/11111111111111111111110111111111
  divu/rs2/value/11111111111111111111111011111111
  divu/rs2/value/11111111111111111111111101111111
  divu/rs2/value/11111111111111111111111110111111
  divu/rs2/value/11111111111111111111111111011111
  divu/rs2/value/11111111111111111111111111101111
  divu/rs2/value/11111111111111111111111111110111
  divu/rs2/value/11111111111111111111111111111011
  divu/rs2/value/11111111111111111111111111111101
  divu/rs2/value/11111111111111111111111111111110
  mul/compare/rd_rs1/==
  mul/compare/rd_rs2/!=
  mul/compare/rs1_rs2/==
  mul/rd/gpr/a0
  mul/rd/gpr/ra
  mul/rd/gpr/sp
  mul/rd/gpr/t0
  mul/rd/gpr/t1
  mul/rd/gpr/t2
  mul/rd/gpr/t6
  mul/rd/gpr/zero
  mul/rd/value/00000000000000000000000000000010
  mul/rd/value/00000000000000000000000000000100
  mul/rd/value/00000000000000000000000000001000
  mul/rd/value/00000000000000000000000000010000
  mul/rd/value/00000000000000000000000000100000
  mul/rd/value/00000000000000000000000001000000
  mul/rd/value/00000000000000000000000010000000
  mul/rd/value/00000000000000000000000100000000
  mul/rd/value/00000000000000000000001000000000
  mul/rd/value/00000000000000000000010000000000
  mul/rd/value/00000000000000000000100000000000
  mul/rd/value/00000000000000000001000000000000
  mul/rd/value/00000000000000000010000000000000
  mul/rd/value/00000000000000000100000000000000
  mul/rd/value/00000000000000001000000000000000
  mul/rd/value/00000000000000010000000000000000
  mul/rd/value/00000000000000100000000000000000
  mul/rd/value/00000000000001000000000000000000
  mul/rd/value/00000000000010000000000000000000
  mul/rd/value/00000000000100000000000000000000
  mul/rd/value/00000000001000000000000000000000
  mul/rd/value/00000000010000000000000000000000
  mul/rd/value/00000000100000000000000000000000
  mul/rd/value/00000001000000000000000000000000
  mul/rd/value/00000010000000000000000000000000
  mul/rd/value/00000100000000000000000000000000
  mul/rd/value/00001000000000000000000000000000
  mul/rd/value/00010000000000000000000000000000
  mul/rd/value/00100000000000000000000000000000
  mul/rd/value/01000000000000000000000000000000
  mul/rd/value/10111111111111111111111111111111
  mul/rd/value/11011111111111111111111111111111
  mul/rd/value/11101111111111111111111111111111
  mul/rd/value/11110111111111111111111111111111
  mul/rd/value/11111011111111111111111111111111
  mul/rd/value/11111101111111111111111111111111
  mul/rd/value/11111110111111111111111111111111
  mul/rd/value/11111111011111111111111111111111
  mul/rd/value/11111111101111111111111111111111
  mul/rd/value/11111111110111111111111111111111
  mul/rd/value/11111111111011111111111111111111
  mul/rd/value/11111111111101111111111111111111
  mul/rd/value/11111111111110111111111111111111
  mul/rd/value/11111111111111011111111111111111
  mul/rd/value/11111111111111101111111111111111
  mul/rd/value/11111111111111110111111111111111
  mul/rd/value/11111111111111111011111111111111
  mul/rd/value/11111111111111111101111111111111
  mul/rd/value/11111111111111111110111111111111
  mul/rd/value/11111111111111111111011111111111
  mul/rd/value/11111111111111111111101111111111
  mul/rd/value/11111111111111111111110111111111
  mul/rd/value/11111111111111111111111011111111
  mul/rd/value/11111111111111111111111101111111
  mul/rd/value/11111111111111111111111110111111
  mul/rd/value/11111111111111111111111111011111
  mul/rd/value/11111111111111111111111111101111
  mul/rd/value/11111111111111111111111111110111
  mul/rd/value/11111111111111111111111111111011
  mul/rd/value/11111111111111111111111111111101
  mul/rd/value/11111111111111111111111111111110
  mul/rs1/gpr/a0
  mul/rs1/gpr/ra
  mul/rs1/gpr/sp
  mul/rs1/gpr/t0
  mul/rs1/gpr/t1
  mul/rs1/gpr/t2
  mul/rs1/gpr/t6
  mul/rs1/gpr/zero
  mul/rs1/value/00000000000000000000000000000010
  mul/rs1/value/00000000000000000000000000000100
  mul/rs1/value/00000000000000000000000000001000
  mul/rs1/value/00000000000000000000000000010000
  mul/rs1/value/00000000000000000000000000100000
  mul/rs1/value/00000000000000000000000001000000
  mul/rs1/value/00000000000000000000000010000000
  mul/rs1/value/00000000000000000000000100000000
  mul/rs1/value/00000000000000000000001000000000
  mul/rs1/value/00000000000000000000010000000000
  mul/rs1/value/00000000000000000000100000000000
  mul/rs1/value/00000000000000000001000000000000
  mul/rs1/value/00000000000000000010000000000000
  mul/rs1/value/00000000000000000100000000000000
  mul/rs1/value/00000000000000001000000000000000
  mul/rs1/value/00000000000000010000000000000000
  mul/rs1/value/00000000000000100000000000000000
  mul/rs1/value/00000000000001000000000000000000
  mul/rs1/value/00000000000010000000000000000000
  mul/rs1/value/00000000000100000000000000000000
  mul/rs1/value/00000000001000000000000000000000
  mul/rs1/value/00000000010000000000000000000000
  mul/rs1/value/00000000100000000000000000000000
  mul/rs1/value/00000001000000000000000000000000
  mul/rs1/value/00000010000000000000000000000000
  mul/rs1/value/00000100000000000000000000000000
  mul/rs1/value/00001000000000000000000000000000
  mul/rs1/value/00010000000000000000000000000000
  mul/rs1/value/00100000000000000000000000000000
  mul/rs1/value/01000000000000000000000000000000
  mul/rs1/value/10111111111111111111111111111111
  mul/rs1/value/11011111111111111111111111111111
  mul/rs1/value/11101111111111111111111111111111
  mul/rs1/value/11110111111111111111111111111111
  mul/rs1/value/11111011111111111111111111111111
  mul/rs1/value/11111101111111111111111111111111
  mul/rs1/value/11111110111111111111111111111111
  mul/rs1/value/11111111011111111111111111111111
  mul/rs1/value/11111111101111111111111111111111
  mul/rs1/value/11111111110111111111111111111111
  mul/rs1/value/11111111111011111111111111111111
  mul/rs1/value/11111111111101111111111111111111
  mul/rs1/value/11111111111110111111111111111111
  mul/rs1/value/11111111111111011111111111111111
  mul/rs1/value/11111111111111101111111111111111
  mul/rs1/value/11111111111111110111111111111111
  mul/rs1/value/11111111111111111011111111111111
  mul/rs1/value/11111111111111111101111111111111
  mul/rs1/value/11111111111111111110111111111111
  mul/rs1/value/11111111111111111111011111111111
  mul/rs1/value/11111111111111111111101111111111
  mul/rs1/value/11111111111111111111110111111111
  mul/rs1/value/11111111111111111111111011111111
  mul/rs1/value/11111111111111111111111101111111
  mul/rs1/value/11111111111111111111111110111111
  mul/rs1/value/11111111111111111111111111011111
  mul/rs1/value/11111111111111111111111111101111
  mul/rs1/value/11111111111111111111111111110111
  mul/rs1/value/11111111111111111111111111111011
  mul/rs1/value/11111111111111111111111111111101
  mul/rs1/value/11111111111111111111111111111110
  mul/rs2/gpr/a0
  mul/rs2/gpr/ra
  mul/rs2/gpr/sp
  mul/rs2/gpr/t0
  mul/rs2/gpr/t1
  mul/rs2/gpr/t2
  mul/rs2/gpr/t6
  mul/rs2/gpr/zero
  mul/rs2/value/00000000000000000000000000000010
  mul/rs2/value/00000000000000000000000000000100
  mul/rs2/value/00000000000000000000000000001000
  mul/rs2/value/00000000000000000000000000010000
  mul/rs2/value/00000000000000000000000000100000
  mul/rs2/value/00000000000000000000000001000000
  mul/rs2/value/00000000000000000000000010000000
  mul/rs2/value/00000000000000000000000100000000
  mul/rs2/value/00000000000000000000001000000000
  mul/rs2/value/00000000000000000000010000000000
  mul/rs2/value/00000000000000000000100000000000
  mul/rs2/value/00000000000000000001000000000000
  mul/rs2/value/00000000000000000010000000000000
  mul/rs2/value/00000000000000000100000000000000
  mul/rs2/value/00000000000000001000000000000000
  mul/rs2/value/00000000000000010000000000000000
  mul/rs2/value/00000000000000100000000000000000
  mul/rs2/value/00000000000001000000000000000000
  mul/rs2/value/00000000000010000000000000000000
  mul/rs2/value/00000000000100000000000000000000
  mul/rs2/value/00000000001000000000000000000000
  mul/rs2/value/00000000010000000000000000000000
  mul/rs2/value/00000000100000000000000000000000
  mul/rs2/value/00000001000000000000000000000000
  mul/rs2/value/00000010000000000000000000000000
  mul/rs2/value/00000100000000000000000000000000
  mul/rs2/value/00001000000000000000000000000000
  mul/rs2/value/00010000000000000000000000000000
  mul/rs2/value/00100000000000000000000000000000
  mul/rs2/value/01000000000000000000000000000000
  mul/rs2/value/10111111111111111111111111111111
  mul/rs2/value/11011111111111111111111111111111
  mul/rs2/value/11101111111111111111111111111111
  mul/rs2/value/11110111111111111111111111111111
  mul/rs2/value/11111011111111111111111111111111
  mul/rs2/value/11111101111111111111111111111111
  mul/rs2/value/11111110111111111111111111111111
  mul/rs2/value/11111111011111111111111111111111
  mul/rs2/value/11111111101111111111111111111111
  mul/rs2/value/11111111110111111111111111111111
  mul/rs2/value/11111111111011111111111111111111
  mul/rs2/value/11111111111101111111111111111111
  mul/rs2/value/11111111111110111111111111111111
  mul/rs2/value/11111111111111011111111111111111
  mul/rs2/value/11111111111111101111111111111111
  mul/rs2/value/11111111111111110111111111111111
  mul/rs2/value/11111111111111111011111111111111
  mul/rs2/value/11111111111111111101111111111111
  mul/rs2/value/11111111111111111110111111111111
  mul/rs2/value/11111111111111111111011111111111
  mul/rs2/value/11111111111111111111101111111111
  mul/rs2/value/11111111111111111111110111111111
  mul/rs2/value/11111111111111111111111011111111
  mul/rs2/value/11111111111111111111111101111111
  mul/rs2/value/11111111111111111111111110111111
  mul/rs2/value/11111111111111111111111111011111
  mul/rs2/value/11111111111111111111111111101111
  mul/rs2/value/11111111111111111111111111110111
  mul/rs2/value/11111111111111111111111111111011
  mul/rs2/value/11111111111111111111111111111101
  mul/rs2/value/11111111111111111111111111111110
  mulh/compare/rd_rs1/==
  mulh/compare/rd_rs2/!=
  mulh/compare/rs1_rs2/==
  mulh/rd/gpr/a0
  mulh/rd/gpr/ra
  mulh/rd/gpr/sp
  mulh/rd/gpr/t0
  mulh/rd/gpr/t1
  mulh/rd/gpr/t2
  mulh/rd/gpr/t6
  mulh/rd/gpr/zero
  mulh/rd/value/00000000000000000000000000000001
  mulh/rd/value/00000000000000000000000000000010
  mulh/rd/value/00000000000000000000000000000100
  mulh/rd/value/00000000000000000000000000001000
  mulh/rd/value/00000000000000000000000000010000
  mulh/rd/value/00000000000000000000000000100000
  mulh/rd/value/00000000000000000000000001000000
  mulh/rd/value/00000000000000000000000010000000
  mulh/rd/value/00000000000000000000000100000000
  mulh/rd/value/00000000000000000000001000000000
  mulh/rd/value/00000000000000000000010000000000
  mulh/rd/value/00000000000000000000100000000000
  mulh/rd/value/00000000000000000001000000000000
  mulh/rd/value/00000000000000000010000000000000
  mulh/rd/value/00000000000000000100000000000000
  mulh/rd/value/00000000000000001000000000000000
  mulh/rd/value/00000000000000010000000000000000
  mulh/rd/value/00000000000000100000000000000000
  mulh/rd/value/00000000000001000000000000000000
  mulh/rd/value/00000000000010000000000000000000
  mulh/rd/value/00000000000100000000000000000000
  mulh/rd/value/00000000001000000000000000000000
  mulh/rd/value/00000000010000000000000000000000
  mulh/rd/value/00000000100000000000000000000000
  mulh/rd/value/00000001000000000000000000000000
  mulh/rd/value/00000010000000000000000000000000
  mulh/rd/value/00000100000000000000000000000000
  mulh/rd/value/00001000000000000000000000000000
  mulh/rd/value/00010000000000000000000000000000
  mulh/rd/value/00100000000000000000000000000000
  mulh/rd/value/01111111111111111111111111111111
  mulh/rd/value/10000000000000000000000000000000
  mulh/rd/value/10111111111111111111111111111111
  mulh/rd/value/11011111111111111111111111111111
  mulh/rd/value/11101111111111111111111111111111
  mulh/rd/value/11110111111111111111111111111111
  mulh/rd/value/11111011111111111111111111111111
  mulh/rd/value/11111101111111111111111111111111
  mulh/rd/value/11111110111111111111111111111111
  mulh/rd/value/11111111011111111111111111111111
  mulh/rd/value/11111111101111111111111111111111
  mulh/rd/value/11111111110111111111111111111111
  mulh/rd/value/11111111111011111111111111111111
  mulh/rd/value/11111111111101111111111111111111
  mulh/rd/value/11111111111110111111111111111111
  mulh/rd/value/11111111111111011111111111111111
  mulh/rd/value/11111111111111101111111111111111
  mulh/rd/value/11111111111111110111111111111111
  mulh/rd/value/11111111111111111011111111111111
  mulh/rd/value/11111111111111111101111111111111
  mulh/rd/value/11111111111111111110111111111111
  mulh/rd/value/11111111111111111111011111111111
  mulh/rd/value/11111111111111111111101111111111
  mulh/rd/value/11111111111111111111110111111111
  mulh/rd/value/11111111111111111111111011111111
  mulh/rd/value/11111111111111111111111101111111
  mulh/rd/value/11111111111111111111111110111111
  mulh/rd/value/11111111111111111111111111011111
  mulh/rd/value/11111111111111111111111111101111
  mulh/rd/value/11111111111111111111111111110111
  mulh/rd/value/11111111111111111111111111111011
  mulh/rd/value/11111111111111111111111111111101
  mulh/rd/value/11111111111111111111111111111110
  mulh/rs1/gpr/a0
  mulh/rs1/gpr/ra
  mulh/rs1/gpr/sp
  mulh/rs1/gpr/t0
  mulh/rs1/gpr/t1
  mulh/rs1/gpr/t2
  mulh/rs1/gpr/t6
  mulh/rs1/gpr/zero
  mulh/rs1/value/00000000000000000000000000000010
  mulh/rs1/value/00000000000000000000000000000100
  mulh/rs1/value/00000000000000000000000000001000
  mulh/rs1/value/00000000000000000000000000010000
  mulh/rs1/value/00000000000000000000000000100000
  mulh/rs1/value/00000000000000000000000001000000
  mulh/rs1/value/00000000000000000000000010000000
  mulh/rs1/value/00000000000000000000000100000000
  mulh/rs1/value/00000000000000000000001000000000
  mulh/rs1/value/00000000000000000000010000000000
  mulh/rs1/value/00000000000000000000100000000000
  mulh/rs1/value/00000000000000000001000000000000
  mulh/rs1/value/00000000000000000010000000000000
  mulh/rs1/value/00000000000000000100000000000000
  mulh/rs1/value/00000000000000001000000000000000
  mulh/rs1/value/00000000000000010000000000000000
  mulh/rs1/value/00000000000000100000000000000000
  mulh/rs1/value/00000000000001000000000000000000
  mulh/rs1/value/00000000000010000000000000000000
  mulh/rs1/value/00000000000100000000000000000000
  mulh/rs1/value/00000000001000000000000000000000
  mulh/rs1/value/00000000010000000000000000000000
  mulh/rs1/value/00000000100000000000000000000000
  mulh/rs1/value/00000001000000000000000000000000
  mulh/rs1/value/00000010000000000000000000000000
  mulh/rs1/value/00000100000000000000000000000000
  mulh/rs1/value/00001000000000000000000000000000
  mulh/rs1/value/00010000000000000000000000000000
  mulh/rs1/value/00100000000000000000000000000000
  mulh/rs1/value/01000000000000000000000000000000
  mulh/rs1/value/10111111111111111111111111111111
  mulh/rs1/value/11011111111111111111111111111111
  mulh/rs1/value/11101111111111111111111111111111
  mulh/rs1/value/11110111111111111111111111111111
  mulh/rs1/value/11111011111111111111111111111111
  mulh/rs1/value/11111101111111111111111111111111
  mulh/rs1/value/11111110111111111111111111111111
  mulh/rs1/value/11111111011111111111111111111111
  mulh/rs1/value/11111111101111111111111111111111
  mulh/rs1/value/11111111110111111111111111111111
  mulh/rs1/value/11111111111011111111111111111111
  mulh/rs1/value/11111111111101111111111111111111
  mulh/rs1/value/11111111111110111111111111111111
  mulh/rs1/value/11111111111111011111111111111111
  mulh/rs1/value/11111111111111101111111111111111
  mulh/rs1/value/11111111111111110111111111111111
  mulh/rs1/value/11111111111111111011111111111111
  mulh/rs1/value/11111111111111111101111111111111
  mulh/rs1/value/11111111111111111110111111111111
  mulh/rs1/value/11111111111111111111011111111111
  mulh/rs1/value/11111111111111111111101111111111
  mulh/rs1/value/11111111111111111111110111111111
  mulh/rs1/value/11111111111111111111111011111111
  mulh/rs1/value/11111111111111111111111101111111
  mulh/rs1/value/11111111111111111111111110111111
  mulh/rs1/value/11111111111111111111111111011111
  mulh/rs1/value/11111111111111111111111111101111
  mulh/rs1/value/11111111111111111111111111110111
  mulh/rs1/value/11111111111111111111111111111011
  mulh/rs1/value/11111111111111111111111111111101
  mulh/rs1/value/11111111111111111111111111111110
  mulh/rs2/gpr/a0
  mulh/rs2/gpr/ra
  mulh/rs2/gpr/sp
  mulh/rs2/gpr/t0
  mulh/rs2/gpr/t1
  mulh/rs2/gpr/t2
  mulh/rs2/gpr/t6
  mulh/rs2/gpr/zero
  mulh/rs2/value/00000000000000000000000000000010
  mulh/rs2/value/00000000000000000000000000000100
  mulh/rs2/value/00000000000000000000000000001000
  mulh/rs2/value/00000000000000000000000000010000
  mulh/rs2/value/00000000000000000000000000100000
  mulh/rs2/value/00000000000000000000000001000000
  mulh/rs2/value/00000000000000000000000010000000
  mulh/rs2/value/00000000000000000000000100000000
  mulh/rs2/value/00000000000000000000001000000000
  mulh/rs2/value/00000000000000000000010000000000
  mulh/rs2/value/00000000000000000000100000000000
  mulh/rs2/value/00000000000000000001000000000000
  mulh/rs2/value/00000000000000000010000000000000
  mulh/rs2/value/00000000000000000100000000000000
  mulh/rs2/value/00000000000000001000000000000000
  mulh/rs2/value/00000000000000010000000000000000
  mulh/rs2/value/00000000000000100000000000000000
  mulh/rs2/value/00000000000001000000000000000000
  mulh/rs2/value/00000000000010000000000000000000
  mulh/rs2/value/00000000000100000000000000000000
  mulh/rs2/value/00000000001000000000000000000000
  mulh/rs2/value/00000000010000000000000000000000
  mulh/rs2/value/00000000100000000000000000000000
  mulh/rs2/value/00000001000000000000000000000000
  mulh/rs2/value/00000010000000000000000000000000
  mulh/rs2/value/00000100000000000000000000000000
  mulh/rs2/value/00001000000000000000000000000000
  mulh/rs2/value/00010000000000000000000000000000
  mulh/rs2/value/00100000000000000000000000000000
  mulh/rs2/value/01000000000000000000000000000000
  mulh/rs2/value/10111111111111111111111111111111
  mulh/rs2/value/11011111111111111111111111111111
  mulh/rs2/value/11101111111111111111111111111111
  mulh/rs2/value/11110111111111111111111111111111
  mulh/rs2/value/11111011111111111111111111111111
  mulh/rs2/value/11111101111111111111111111111111
  mulh/rs2/value/11111110111111111111111111111111
  mulh/rs2/value/11111111011111111111111111111111
  mulh/rs2/value/11111111101111111111111111111111
  mulh/rs2/value/11111111110111111111111111111111
  mulh/rs2/value/11111111111011111111111111111111
  mulh/rs2/value/11111111111101111111111111111111
  mulh/rs2/value/11111111111110111111111111111111
  mulh/rs2/value/11111111111111011111111111111111
  mulh/rs2/value/11111111111111101111111111111111
  mulh/rs2/value/11111111111111110111111111111111
  mulh/rs2/value/11111111111111111011111111111111
  mulh/rs2/value/11111111111111111101111111111111
  mulh/rs2/value/11111111111111111110111111111111
  mulh/rs2/value/11111111111111111111011111111111
  mulh/rs2/value/11111111111111111111101111111111
  mulh/rs2/value/11111111111111111111110111111111
  mulh/rs2/value/11111111111111111111111011111111
  mulh/rs2/value/11111111111111111111111101111111
  mulh/rs2/value/11111111111111111111111110111111
  mulh/rs2/value/11111111111111111111111111011111
  mulh/rs2/value/11111111111111111111111111101111
  mulh/rs2/value/11111111111111111111111111110111
  mulh/rs2/value/11111111111111111111111111111011
  mulh/rs2/value/11111111111111111111111111111101
  mulh/rs2/value/11111111111111111111111111111110
  mulhsu/compare/rd_rs1/==
  mulhsu/compare/rd_rs2/!=
  mulhsu/compare/rs1_rs2/==
  mulhsu/rd/gpr/a0
  mulhsu/rd/gpr/ra
  mulhsu/rd/gpr/sp
  mulhsu/rd/gpr/t0
  mulhsu/rd/gpr/t1
  mulhsu/rd/gpr/t2
  mulhsu/rd/gpr/t6
  mulhsu/rd/gpr/zero
  mulhsu/rd/value/00000000000000000000000000000001
  mulhsu/rd/value/00000000000000000000000000000010
  mulhsu/rd/value/00000000000000000000000000000100
  mulhsu/rd/value/00000000000000000000000000001000
  mulhsu/rd/value/00000000000000000000000000010000
  mulhsu/rd/value/00000000000000000000000000100000
  mulhsu/rd/value/00000000000000000000000001000000
  mulhsu/rd/value/00000000000000000000000010000000
  mulhsu/rd/value/00000000000000000000000100000000
  mulhsu/rd/value/00000000000000000000001000000000
  mulhsu/rd/value/00000000000000000000010000000000
  mulhsu/rd/value/00000000000000000000100000000000
  mulhsu/rd/value/00000000000000000001000000000000
  mulhsu/rd/value/00000000000000000010000000000000
  mulhsu/rd/value/00000000000000000100000000000000
  mulhsu/rd/value/00000000000000001000000000000000
  mulhsu/rd/value/00000000000000010000000000000000
  mulhsu/rd/value/00000000000000100000000000000000
  mulhsu/rd/value/00000000000001000000000000000000
  mulhsu/rd/value/00000000000010000000000000000000
  mulhsu/rd/value/00000000000100000000000000000000
  mulhsu/rd/value/00000000001000000000000000000000
  mulhsu/rd/value/00000000010000000000000000000000
  mulhsu/rd/value/00000000100000000000000000000000
  mulhsu/rd/value/00000001000000000000000000000000
  mulhsu/rd/value/00000010000000000000000000000000
  mulhsu/rd/value/00000100000000000000000000000000
  mulhsu/rd/value/00001000000000000000000000000000
  mulhsu/rd/value/00010000000000000000000000000000
  mulhsu/rd/value/00100000000000000000000000000000
  mulhsu/rd/value/01000000000000000000000000000000
  mulhsu/rd/value/01111111111111111111111111111111
  mulhsu/rd/value/10111111111111111111111111111111
  mulhsu/rd/value/11011111111111111111111111111111
  mulhsu/rd/value/11101111111111111111111111111111
  mulhsu/rd/value/11110111111111111111111111111111
  mulhsu/rd/value/11111011111111111111111111111111
  mulhsu/rd/value/11111101111111111111111111111111
  mulhsu/rd/value/11111110111111111111111111111111
  mulhsu/rd/value/11111111011111111111111111111111
  mulhsu/rd/value/11111111101111111111111111111111
  mulhsu/rd/value/11111111110111111111111111111111
  mulhsu/rd/value/11111111111011111111111111111111
  mulhsu/rd/value/11111111111101111111111111111111
  mulhsu/rd/value/11111111111110111111111111111111
  mulhsu/rd/value/11111111111111011111111111111111
  mulhsu/rd/value/11111111111111101111111111111111
  mulhsu/rd/value/11111111111111110111111111111111
  mulhsu/rd/value/11111111111111111011111111111111
  mulhsu/rd/value/11111111111111111101111111111111
  mulhsu/rd/value/11111111111111111110111111111111
  mulhsu/rd/value/11111111111111111111011111111111
  mulhsu/rd/value/11111111111111111111101111111111
  mulhsu/rd/value/11111111111111111111110111111111
  mulhsu/rd/value/11111111111111111111111011111111
  mulhsu/rd/value/11111111111111111111111101111111
  mulhsu/rd/value/11111111111111111111111110111111
  mulhsu/rd/value/11111111111111111111111111011111
  mulhsu/rd/value/11111111111111111111111111101111
  mulhsu/rd/value/11111111111111111111111111110111
  mulhsu/rd/value/11111111111111111111111111111011
  mulhsu/rd/value/11111111111111111111111111111101
  mulhsu/rd/value/11111111111111111111111111111110
  mulhsu/rs1/gpr/a0
  mulhsu/rs1/gpr/ra
  mulhsu/rs1/gpr/sp
  mulhsu/rs1/gpr/t0
  mulhsu/rs1/gpr/t1
  mulhsu/rs1/gpr/t2
  mulhsu/rs1/gpr/t6
  mulhsu/rs1/gpr/zero
  mulhsu/rs1/value/00000000000000000000000000000010
  mulhsu/rs1/value/00000000000000000000000000000100
  mulhsu/rs1/value/00000000000000000000000000001000
  mulhsu/rs1/value/00000000000000000000000000010000
  mulhsu/rs1/value/00000000000000000000000000100000
  mulhsu/rs1/value/00000000000000000000000001000000
  mulhsu/rs1/value/00000000000000000000000010000000
  mulhsu/rs1/value/00000000000000000000000100000000
  mulhsu/rs1/value/00000000000000000000001000000000
  mulhsu/rs1/value/00000000000000000000010000000000
  mulhsu/rs1/value/00000000000000000000100000000000
  mulhsu/rs1/value/00000000000000000001000000000000
  mulhsu/rs1/value/00000000000000000010000000000000
  mulhsu/rs1/value/00000000000000000100000000000000
  mulhsu/rs1/value/00000000000000001000000000000000
  mulhsu/rs1/value/00000000000000010000000000000000
  mulhsu/rs1/value/00000000000000100000000000000000
  mulhsu/rs1/value/00000000000001000000000000000000
  mulhsu/rs1/value/00000000000010000000000000000000
  mulhsu/rs1/value/00000000000100000000000000000000
  mulhsu/rs1/value/00000000001000000000000000000000
  mulhsu/rs1/value/00000000010000000000000000000000
  mulhsu/rs1/value/00000000100000000000000000000000
  mulhsu/rs1/value/00000001000000000000000000000000
  mulhsu/rs1/value/00000010000000000000000000000000
  mulhsu/rs1/value/00000100000000000000000000000000
  mulhsu/rs1/value/00001000000000000000000000000000
  mulhsu/rs1/value/00010000000000000000000000000000
  mulhsu/rs1/value/00100000000000000000000000000000
  mulhsu/rs1/value/01000000000000000000000000000000
  mulhsu/rs1/value/10111111111111111111111111111111
  mulhsu/rs1/value/11011111111111111111111111111111
  mulhsu/rs1/value/11101111111111111111111111111111
  mulhsu/rs1/value/11110111111111111111111111111111
  mulhsu/rs1/value/11111011111111111111111111111111
  mulhsu/rs1/value/11111101111111111111111111111111
  mulhsu/rs1/value/11111110111111111111111111111111
  mulhsu/rs1/value/11111111011111111111111111111111
  mulhsu/rs1/value/11111111101111111111111111111111
  mulhsu/rs1/value/11111111110111111111111111111111
  mulhsu/rs1/value/11111111111011111111111111111111
  mulhsu/rs1/value/11111111111101111111111111111111
  mulhsu/rs1/value/11111111111110111111111111111111
  mulhsu/rs1/value/11111111111111011111111111111111
  mulhsu/rs1/value/11111111111111101111111111111111
  mulhsu/rs1/value/11111111111111110111111111111111
  mulhsu/rs1/value/11111111111111111011111111111111
  mulhsu/rs1/value/11111111111111111101111111111111
  mulhsu/rs1/value/11111111111111111110111111111111
  mulhsu/rs1/value/11111111111111111111011111111111
  mulhsu/rs1/value/11111111111111111111101111111111
  mulhsu/rs1/value/11111111111111111111110111111111
  mulhsu/rs1/value/11111111111111111111111011111111
  mulhsu/rs1/value/11111111111111111111111101111111
  mulhsu/rs1/value/11111111111111111111111110111111
  mulhsu/rs1/value/11111111111111111111111111011111
  mulhsu/rs1/value/11111111111111111111111111101111
  mulhsu/rs1/value/11111111111111111111111111110111
  mulhsu/rs1/value/11111111111111111111111111111011
  mulhsu/rs1/value/11111111111111111111111111111101
  mulhsu/rs1/value/11111111111111111111111111111110
  mulhsu/rs2/gpr/a0
  mulhsu/rs2/gpr/ra
  mulhsu/rs2/gpr/sp
  mulhsu/rs2/gpr/t0
  mulhsu/rs2/gpr/t1
  mulhsu/rs2/gpr/t2
  mulhsu/rs2/gpr/t6
  mulhsu/rs2/gpr/zero
  mulhsu/rs2/value/00000000000000000000000000000010
  mulhsu/rs2/value/00000000000000000000000000000100
  mulhsu/rs2/value/00000000000000000000000000001000
  mulhsu/rs2/value/00000000000000000000000000010000
  mulhsu/rs2/value/00000000000000000000000000100000
  mulhsu/rs2/value/00000000000000000000000001000000
  mulhsu/rs2/value/00000000000000000000000010000000
  mulhsu/rs2/value/00000000000000000000000100000000
  mulhsu/rs2/value/00000000000000000000001000000000
  mulhsu/rs2/value/00000000000000000000010000000000
  mulhsu/rs2/value/00000000000000000000100000000000
  mulhsu/rs2/value/00000000000000000001000000000000
  mulhsu/rs2/value/00000000000000000010000000000000
  mulhsu/rs2/value/00000000000000000100000000000000
  mulhsu/rs2/value/00000000000000001000000000000000
  mulhsu/rs2/value/00000000000000010000000000000000
  mulhsu/rs2/value/00000000000000100000000000000000
  mulhsu/rs2/value/00000000000001000000000000000000
  mulhsu/rs2/value/00000000000010000000000000000000
  mulhsu/rs2/value/00000000000100000000000000000000
  mulhsu/rs2/value/00000000001000000000000000000000
  mulhsu/rs2/value/00000000010000000000000000000000
  mulhsu/rs2/value/00000000100000000000000000000000
  mulhsu/rs2/value/00000001000000000000000000000000
  mulhsu/rs2/value/00000010000000000000000000000000
  mulhsu/rs2/value/00000100000000000000000000000000
  mulhsu/rs2/value/00001000000000000000000000000000
  mulhsu/rs2/value/00010000000000000000000000000000
  mulhsu/rs2/value/00100000000000000000000000000000
  mulhsu/rs2/value/01000000000000000000000000000000
  mulhsu/rs2/value/10111111111111111111111111111111
  mulhsu/rs2/value/11011111111111111111111111111111
  mulhsu/rs2/value/11101111111111111111111111111111
  mulhsu/rs2/value/11110111111111111111111111111111
  mulhsu/rs2/value/11111011111111111111111111111111
  mulhsu/rs2/value/11111101111111111111111111111111
  mulhsu/rs2/value/11111110111111111111111111111111
  mulhsu/rs2/value/11111111011111111111111111111111
  mulhsu/rs2/value/11111111101111111111111111111111
  mulhsu/rs2/value/11111111110111111111111111111111
  mulhsu/rs2/value/11111111111011111111111111111111
  mulhsu/rs2/value/11111111111101111111111111111111
  mulhsu/rs2/value/11111111111110111111111111111111
  mulhsu/rs2/value/11111111111111011111111111111111
  mulhsu/rs2/value/11111111111111101111111111111111
  mulhsu/rs2/value/11111111111111110111111111111111
  mulhsu/rs2/value/11111111111111111011111111111111
  mulhsu/rs2/value/11111111111111111101111111111111
  mulhsu/rs2/value/11111111111111111110111111111111
  mulhsu/rs2/value/11111111111111111111011111111111
  mulhsu/rs2/value/11111111111111111111101111111111
  mulhsu/rs2/value/11111111111111111111110111111111
  mulhsu/rs2/value/11111111111111111111111011111111
  mulhsu/rs2/value/11111111111111111111111101111111
  mulhsu/rs2/value/11111111111111111111111110111111
  mulhsu/rs2/value/11111111111111111111111111011111
  mulhsu/rs2/value/11111111111111111111111111101111
  mulhsu/rs2/value/11111111111111111111111111110111
  mulhsu/rs2/value/11111111111111111111111111111011
  mulhsu/rs2/value/11111111111111111111111111111101
  mulhsu/rs2/value/11111111111111111111111111111110
  mulhu/compare/rd_rs1/==
  mulhu/compare/rd_rs2/!=
  mulhu/compare/rs1_rs2/==
  mulhu/rd/gpr/a0
  mulhu/rd/gpr/ra
  mulhu/rd/gpr/sp
  mulhu/rd/gpr/t0
  mulhu/rd/gpr/t1
  mulhu/rd/gpr/t2
  mulhu/rd/gpr/t6
  mulhu/rd/gpr/zero
  mulhu/rd/value/00000000000000000000000000000001
  mulhu/rd/value/00000000000000000000000000000010
  mulhu/rd/value/00000000000000000000000000000100
  mulhu/rd/value/00000000000000000000000000001000
  mulhu/rd/value/00000000000000000000000000010000
  mulhu/rd/value/00000000000000000000000000100000
  mulhu/rd/value/00000000000000000000000001000000
  mulhu/rd/value/00000000000000000000000010000000
  mulhu/rd/value/00000000000000000000000100000000
  mulhu/rd/value/00000000000000000000001000000000
  mulhu/rd/value/00000000000000000000010000000000
  mulhu/rd/value/00000000000000000000100000000000
  mulhu/rd/value/00000000000000000001000000000000
  mulhu/rd/value/00000000000000000010000000000000
  mulhu/rd/value/00000000000000000100000000000000
  mulhu/rd/value/00000000000000001000000000000000
  mulhu/rd/value/00000000000000010000000000000000
  mulhu/rd/value/00000000000000100000000000000000
  mulhu/rd/value/00000000000001000000000000000000
  mulhu/rd/value/00000000000010000000000000000000
  mulhu/rd/value/00000000000100000000000000000000
  mulhu/rd/value/00000000001000000000000000000000
  mulhu/rd/value/00000000010000000000000000000000
  mulhu/rd/value/00000000100000000000000000000000
  mulhu/rd/value/00000001000000000000000000000000
  mulhu/rd/value/00000010000000000000000000000000
  mulhu/rd/value/00000100000000000000000000000000
  mulhu/rd/value/00001000000000000000000000000000
  mulhu/rd/value/00010000000000000000000000000000
  mulhu/rd/value/00100000000000000000000000000000
  mulhu/rd/value/10000000000000000000000000000000
  mulhu/rd/value/10111111111111111111111111111111
  mulhu/rd/value/11011111111111111111111111111111
  mulhu/rd/value/11101111111111111111111111111111
  mulhu/rd/value/11110111111111111111111111111111
  mulhu/rd/value/11111011111111111111111111111111
  mulhu/rd/value/11111101111111111111111111111111
  mulhu/rd/value/11111110111111111111111111111111
  mulhu/rd/value/11111111011111111111111111111111
  mulhu/rd/value/11111111101111111111111111111111
  mulhu/rd/value/11111111110111111111111111111111
  mulhu/rd/value/11111111111011111111111111111111
  mulhu/rd/value/11111111111101111111111111111111
  mulhu/rd/value/11111111111110111111111111111111
  mulhu/rd/value/11111111111111011111111111111111
  mulhu/rd/value/11111111111111101111111111111111
  mulhu/rd/value/11111111111111110111111111111111
  mulhu/rd/value/11111111111111111011111111111111
  mulhu/rd/value/11111111111111111101111111111111
  mulhu/rd/value/11111111111111111110111111111111
  mulhu/rd/value/11111111111111111111011111111111
  mulhu/rd/value/11111111111111111111101111111111
  mulhu/rd/value/11111111111111111111110111111111
  mulhu/rd/value/11111111111111111111111011111111
  mulhu/rd/value/11111111111111111111111101111111
  mulhu/rd/value/11111111111111111111111110111111
  mulhu/rd/value/11111111111111111111111111011111
  mulhu/rd/value/11111111111111111111111111101111
  mulhu/rd/value/11111111111111111111111111110111
  mulhu/rd/value/11111111111111111111111111111011
  mulhu/rd/value/11111111111111111111111111111101
  mulhu/rd/value/11111111111111111111111111111111
  mulhu/rs1/gpr/a0
  mulhu/rs1/gpr/ra
  mulhu/rs1/gpr/sp
  mulhu/rs1/gpr/t0
  mulhu/rs1/gpr/t1
  mulhu/rs1/gpr/t2
  mulhu/rs1/gpr/t6
  mulhu/rs1/gpr/zero
  mulhu/rs1/value/00000000000000000000000000000010
  mulhu/rs1/value/00000000000000000000000000000100
  mulhu/rs1/value/00000000000000000000000000001000
  mulhu/rs1/value/00000000000000000000000000010000
  mulhu/rs1/value/00000000000000000000000000100000
  mulhu/rs1/value/00000000000000000000000001000000
  mulhu/rs1/value/00000000000000000000000010000000
  mulhu/rs1/value/00000000000000000000000100000000
  mulhu/rs1/value/00000000000000000000001000000000
  mulhu/rs1/value/00000000000000000000010000000000
  mulhu/rs1/value/00000000000000000000100000000000
  mulhu/rs1/value/00000000000000000001000000000000
  mulhu/rs1/value/00000000000000000010000000000000
  mulhu/rs1/value/00000000000000000100000000000000
  mulhu/rs1/value/00000000000000001000000000000000
  mulhu/rs1/value/00000000000000010000000000000000
  mulhu/rs1/value/00000000000000100000000000000000
  mulhu/rs1/value/00000000000001000000000000000000
  mulhu/rs1/value/00000000000010000000000000000000
  mulhu/rs1/value/00000000000100000000000000000000
  mulhu/rs1/value/00000000001000000000000000000000
  mulhu/rs1/value/00000000010000000000000000000000
  mulhu/rs1/value/00000000100000000000000000000000
  mulhu/rs1/value/00000001000000000000000000000000
  mulhu/rs1/value/00000010000000000000000000000000
  mulhu/rs1/value/00000100000000000000000000000000
  mulhu/rs1/value/00001000000000000000000000000000
  mulhu/rs1/value/00010000000000000000000000000000
  mulhu/rs1/value/00100000000000000000000000000000
  mulhu/rs1/value/01000000000000000000000000000000
  mulhu/rs1/value/10111111111111111111111111111111
  mulhu/rs1/value/11011111111111111111111111111111
  mulhu/rs1/value/11101111111111111111111111111111
  mulhu/rs1/value/11110111111111111111111111111111
  mulhu/rs1/value/11111011111111111111111111111111
  mulhu/rs1/value/11111101111111111111111111111111
  mulhu/rs1/value/11111110111111111111111111111111
  mulhu/rs1/value/11111111011111111111111111111111
  mulhu/rs1/value/11111111101111111111111111111111
  mulhu/rs1/value/11111111110111111111111111111111
  mulhu/rs1/value/11111111111011111111111111111111
  mulhu/rs1/value/11111111111101111111111111111111
  mulhu/rs1/value/11111111111110111111111111111111
  mulhu/rs1/value/11111111111111011111111111111111
  mulhu/rs1/value/11111111111111101111111111111111
  mulhu/rs1/value/11111111111111110111111111111111
  mulhu/rs1/value/11111111111111111011111111111111
  mulhu/rs1/value/11111111111111111101111111111111
  mulhu/rs1/value/11111111111111111110111111111111
  mulhu/rs1/value/11111111111111111111011111111111
  mulhu/rs1/value/11111111111111111111101111111111
  mulhu/rs1/value/11111111111111111111110111111111
  mulhu/rs1/value/11111111111111111111111011111111
  mulhu/rs1/value/11111111111111111111111101111111
  mulhu/rs1/value/11111111111111111111111110111111
  mulhu/rs1/value/11111111111111111111111111011111
  mulhu/rs1/value/11111111111111111111111111101111
  mulhu/rs1/value/11111111111111111111111111110111
  mulhu/rs1/value/11111111111111111111111111111011
  mulhu/rs1/value/11111111111111111111111111111101
  mulhu/rs1/value/11111111111111111111111111111110
  mulhu/rs2/gpr/a0
  mulhu/rs2/gpr/ra
  mulhu/rs2/gpr/sp
  mulhu/rs2/gpr/t0
  mulhu/rs2/gpr/t1
  mulhu/rs2/gpr/t2
  mulhu/rs2/gpr/t6
  mulhu/rs2/gpr/zero
  mulhu/rs2/value/00000000000000000000000000000010
  mulhu/rs2/value/00000000000000000000000000000100
  mulhu/rs2/value/00000000000000000000000000001000
  mulhu/rs2/value/00000000000000000000000000010000
  mulhu/rs2/value/00000000000000000000000000100000
  mulhu/rs2/value/00000000000000000000000001000000
  mulhu/rs2/value/00000000000000000000000010000000
  mulhu/rs2/value/00000000000000000000000100000000
  mulhu/rs2/value/00000000000000000000001000000000
  mulhu/rs2/value/00000000000000000000010000000000
  mulhu/rs2/value/00000000000000000000100000000000
  mulhu/rs2/value/00000000000000000001000000000000
  mulhu/rs2/value/00000000000000000010000000000000
  mulhu/rs2/value/00000000000000000100000000000000
  mulhu/rs2/value/00000000000000001000000000000000
  mulhu/rs2/value/00000000000000010000000000000000
  mulhu/rs2/value/00000000000000100000000000000000
  mulhu/rs2/value/00000000000001000000000000000000
  mulhu/rs2/value/00000000000010000000000000000000
  mulhu/rs2/value/00000000000100000000000000000000
  mulhu/rs2/value/00000000001000000000000000000000
  mulhu/rs2/value/00000000010000000000000000000000
  mulhu/rs2/value/00000000100000000000000000000000
  mulhu/rs2/value/00000001000000000000000000000000
  mulhu/rs2/value/00000010000000000000000000000000
  mulhu/rs2/value/00000100000000000000000000000000
  mulhu/rs2/value/00001000000000000000000000000000
  mulhu/rs2/value/00010000000000000000000000000000
  mulhu/rs2/value/00100000000000000000000000000000
  mulhu/rs2/value/01000000000000000000000000000000
  mulhu/rs2/value/10111111111111111111111111111111
  mulhu/rs2/value/11011111111111111111111111111111
  mulhu/rs2/value/11101111111111111111111111111111
  mulhu/rs2/value/11110111111111111111111111111111
  mulhu/rs2/value/11111011111111111111111111111111
  mulhu/rs2/value/11111101111111111111111111111111
  mulhu/rs2/value/11111110111111111111111111111111
  mulhu/rs2/value/11111111011111111111111111111111
  mulhu/rs2/value/11111111101111111111111111111111
  mulhu/rs2/value/11111111110111111111111111111111
  mulhu/rs2/value/11111111111011111111111111111111
  mulhu/rs2/value/11111111111101111111111111111111
  mulhu/rs2/value/11111111111110111111111111111111
  mulhu/rs2/value/11111111111111011111111111111111
  mulhu/rs2/value/11111111111111101111111111111111
  mulhu/rs2/value/11111111111111110111111111111111
  mulhu/rs2/value/11111111111111111011111111111111
  mulhu/rs2/value/11111111111111111101111111111111
  mulhu/rs2/value/11111111111111111110111111111111
  mulhu/rs2/value/11111111111111111111011111111111
  mulhu/rs2/value/11111111111111111111101111111111
  mulhu/rs2/value/11111111111111111111110111111111
  mulhu/rs2/value/11111111111111111111111011111111
  mulhu/rs2/value/11111111111111111111111101111111
  mulhu/rs2/value/11111111111111111111111110111111
  mulhu/rs2/value/11111111111111111111111111011111
  mulhu/rs2/value/11111111111111111111111111101111
  mulhu/rs2/value/11111111111111111111111111110111
  mulhu/rs2/value/11111111111111111111111111111011
  mulhu/rs2/value/11111111111111111111111111111101
  mulhu/rs2/value/11111111111111111111111111111110
  rem/compare/rd_rs1/==
  rem/compare/rd_rs2/!=
  rem/compare/rs1_rs2/==
  rem/rd/gpr/a0
  rem/rd/gpr/ra
  rem/rd/gpr/sp
  rem/rd/gpr/t0
  rem/rd/gpr/t1
  rem/rd/gpr/t2
  rem/rd/gpr/t6
  rem/rd/gpr/zero
  rem/rd/value/00000000000000000000000000000010
  rem/rd/value/00000000000000000000000000000100
  rem/rd/value/00000000000000000000000000001000
  rem/rd/value/00000000000000000000000000010000
  rem/rd/value/00000000000000000000000000100000
  rem/rd/value/00000000000000000000000001000000
  rem/rd/value/00000000000000000000000010000000
  rem/rd/value/00000000000000000000000100000000
  rem/rd/value/00000000000000000000001000000000
  rem/rd/value/00000000000000000000010000000000
  rem/rd/value/00000000000000000000100000000000
  rem/rd/value/00000000000000000001000000000000
  rem/rd/value/00000000000000000010000000000000
  rem/rd/value/00000000000000000100000000000000
  rem/rd/value/00000000000000001000000000000000
  rem/rd/value/00000000000000010000000000000000
  rem/rd/value/00000000000000100000000000000000
  rem/rd/value/00000000000001000000000000000000
  rem/rd/value/00000000000010000000000000000000
  rem/rd/value/00000000000100000000000000000000
  rem/rd/value/00000000001000000000000000000000
  rem/rd/value/00000000010000000000000000000000
  rem/rd/value/00000000100000000000000000000000
  rem/rd/value/00000001000000000000000000000000
  rem/rd/value/00000010000000000000000000000000
  rem/rd/value/00000100000000000000000000000000
  rem/rd/value/00001000000000000000000000000000
  rem/rd/value/00010000000000000000000000000000
  rem/rd/value/00100000000000000000000000000000
  rem/rd/value/01000000000000000000000000000000
  rem/rd/value/10111111111111111111111111111111
  rem/rd/value/11011111111111111111111111111111
  rem/rd/value/11101111111111111111111111111111
  rem/rd/value/11110111111111111111111111111111
  rem/rd/value/11111011111111111111111111111111
  rem/rd/value/11111101111111111111111111111111
  rem/rd/value/11111110111111111111111111111111
  rem/rd/value/11111111011111111111111111111111
  rem/rd/value/11111111101111111111111111111111
  rem/rd/value/11111111110111111111111111111111
  rem/rd/value/11111111111011111111111111111111
  rem/rd/value/11111111111101111111111111111111
  rem/rd/value/11111111111110111111111111111111
  rem/rd/value/11111111111111011111111111111111
  rem/rd/value/11111111111111101111111111111111
  rem/rd/value/11111111111111110111111111111111
  rem/rd/value/11111111111111111011111111111111
  rem/rd/value/11111111111111111101111111111111
  rem/rd/value/11111111111111111110111111111111
  rem/rd/value/11111111111111111111011111111111
  rem/rd/value/11111111111111111111101111111111
  rem/rd/value/11111111111111111111110111111111
  rem/rd/value/11111111111111111111111011111111
  rem/rd/value/11111111111111111111111101111111
  rem/rd/value/11111111111111111111111110111111
  rem/rd/value/11111111111111111111111111011111
  rem/rd/value/11111111111111111111111111101111
  rem/rd/value/11111111111111111111111111110111
  rem/rd/value/11111111111111111111111111111011
  rem/rd/value/11111111111111111111111111111101
  rem/rd/value/11111111111111111111111111111110
  rem/rs1/gpr/a0
  rem/rs1/gpr/ra
  rem/rs1/gpr/sp
  rem/rs1/gpr/t0
  rem/rs1/gpr/t1
  rem/rs1/gpr/t2
  rem/rs1/gpr/t6
  rem/rs1/gpr/zero
  rem/rs1/value/00000000000000000000000000000010
  rem/rs1/value/00000000000000000000000000000100
  rem/rs1/value/00000000000000000000000000001000
  rem/rs1/value/00000000000000000000000000010000
  rem/rs1/value/00000000000000000000000000100000
  rem/rs1/value/00000000000000000000000001000000
  rem/rs1/value/00000000000000000000000010000000
  rem/rs1/value/00000000000000000000000100000000
  rem/rs1/value/00000000000000000000001000000000
  rem/rs1/value/00000000000000000000010000000000
  rem/rs1/value/00000000000000000000100000000000
  rem/rs1/value/00000000000000000001000000000000
  rem/rs1/value/00000000000000000010000000000000
  rem/rs1/value/00000000000000000100000000000000
  rem/rs1/value/00000000000000001000000000000000
  rem/rs1/value/00000000000000010000000000000000
  rem/rs1/value/00000000000000100000000000000000
  rem/rs1/value/00000000000001000000000000000000
  rem/rs1/value/00000000000010000000000000000000
  rem/rs1/value/00000000000100000000000000000000
  rem/rs1/value/00000000001000000000000000000000
  rem/rs1/value/00000000010000000000000000000000
  rem/rs1/value/00000000100000000000000000000000
  rem/rs1/value/00000001000000000000000000000000
  rem/rs1/value/00000010000000000000000000000000
  rem/rs1/value/00000100000000000000000000000000
  rem/rs1/value/00001000000000000000000000000000
  rem/rs1/value/00010000000000000000000000000000
  rem/rs1/value/00100000000000000000000000000000
  rem/rs1/value/01000000000000000000000000000000
  rem/rs1/value/10111111111111111111111111111111
  rem/rs1/value/11011111111111111111111111111111
  rem/rs1/value/11101111111111111111111111111111
  rem/rs1/value/11110111111111111111111111111111
  rem/rs1/value/11111011111111111111111111111111
  rem/rs1/value/11111101111111111111111111111111
  rem/rs1/value/11111110111111111111111111111111
  rem/rs1/value/11111111011111111111111111111111
  rem/rs1/value/11111111101111111111111111111111
  rem/rs1/value/11111111110111111111111111111111
  rem/rs1/value/11111111111011111111111111111111
  rem/rs1/value/11111111111101111111111111111111
  rem/rs1/value/11111111111110111111111111111111
  rem/rs1/value/11111111111111011111111111111111
  rem/rs1/value/11111111111111101111111111111111
  rem/rs1/value/11111111111111110111111111111111
  rem/rs1/value/11111111111111111011111111111111
  rem/rs1/value/11111111111111111101111111111111
  rem/rs1/value/11111111111111111110111111111111
  rem/rs1/value/11111111111111111111011111111111
  rem/rs1/value/11111111111111111111101111111111
  rem/rs1/value/11111111111111111111110111111111
  rem/rs1/value/11111111111111111111111011111111
  rem/rs1/value/11111111111111111111111101111111
  rem/rs1/value/11111111111111111111111110111111
  rem/rs1/value/11111111111111111111111111011111
  rem/rs1/value/11111111111111111111111111101111
  rem/rs1/value/11111111111111111111111111110111
  rem/rs1/value/11111111111111111111111111111011
  rem/rs1/value/11111111111111111111111111111101
  rem/rs1/value/11111111111111111111111111111110
  rem/rs2/gpr/a0
  rem/rs2/gpr/ra
  rem/rs2/gpr/sp
  rem/rs2/gpr/t0
  rem/rs2/gpr/t1
  rem/rs2/gpr/t2
  rem/rs2/gpr/t6
  rem/rs2/gpr/zero
  rem/rs2/value/00000000000000000000000000000010
  rem/rs2/value/00000000000000000000000000000100
  rem/rs2/value/00000000000000000000000000001000
  rem/rs2/value/00000000000000000000000000010000
  rem/rs2/value/00000000000000000000000000100000
  rem/rs2/value/00000000000000000000000001000000
  rem/rs2/value/00000000000000000000000010000000
  rem/rs2/value/00000000000000000000000100000000
  rem/rs2/value/00000000000000000000001000000000
  rem/rs2/value/00000000000000000000010000000000
  rem/rs2/value/00000000000000000000100000000000
  rem/rs2/value/00000000000000000001000000000000
  rem/rs2/value/00000000000000000010000000000000
  rem/rs2/value/00000000000000000100000000000000
  rem/rs2/value/00000000000000001000000000000000
  rem/rs2/value/00000000000000010000000000000000
  rem/rs2/value/00000000000000100000000000000000
  rem/rs2/value/00000000000001000000000000000000
  rem/rs2/value/00000000000010000000000000000000
  rem/rs2/value/00000000000100000000000000000000
  rem/rs2/value/00000000001000000000000000000000
  rem/rs2/value/00000000010000000000000000000000
  rem/rs2/value/00000000100000000000000000000000
  rem/rs2/value/00000001000000000000000000000000
  rem/rs2/value/00000010000000000000000000000000
  rem/rs2/value/00000100000000000000000000000000
  rem/rs2/value/00001000000000000000000000000000
  rem/rs2/value/00010000000000000000000000000000
  rem/rs2/value/00100000000000000000000000000000
  rem/rs2/value/01000000000000000000000000000000
  rem/rs2/value/10111111111111111111111111111111
  rem/rs2/value/11011111111111111111111111111111
  rem/rs2/value/11101111111111111111111111111111
  rem/rs2/value/11110111111111111111111111111111
  rem/rs2/value/11111011111111111111111111111111
  rem/rs2/value/11111101111111111111111111111111
  rem/rs2/value/11111110111111111111111111111111
  rem/rs2/value/11111111011111111111111111111111
  rem/rs2/value/11111111101111111111111111111111
  rem/rs2/value/11111111110111111111111111111111
  rem/rs2/value/11111111111011111111111111111111
  rem/rs2/value/11111111111101111111111111111111
  rem/rs2/value/11111111111110111111111111111111
  rem/rs2/value/11111111111111011111111111111111
  rem/rs2/value/11111111111111101111111111111111
  rem/rs2/value/11111111111111110111111111111111
  rem/rs2/value/11111111111111111011111111111111
  rem/rs2/value/11111111111111111101111111111111
  rem/rs2/value/11111111111111111110111111111111
  rem/rs2/value/11111111111111111111011111111111
  rem/rs2/value/11111111111111111111101111111111
  rem/rs2/value/11111111111111111111110111111111
  rem/rs2/value/11111111111111111111111011111111
  rem/rs2/value/11111111111111111111111101111111
  rem/rs2/value/11111111111111111111111110111111
  rem/rs2/value/11111111111111111111111111011111
  rem/rs2/value/11111111111111111111111111101111
  rem/rs2/value/11111111111111111111111111110111
  rem/rs2/value/11111111111111111111111111111011
  rem/rs2/value/11111111111111111111111111111101
  rem/rs2/value/11111111111111111111111111111110
  remu/compare/rd_rs1/==
  remu/compare/rd_rs2/!=
  remu/compare/rs1_rs2/==
  remu/rd/gpr/a0
  remu/rd/gpr/ra
  remu/rd/gpr/sp
  remu/rd/gpr/t0
  remu/rd/gpr/t1
  remu/rd/gpr/t2
  remu/rd/gpr/t6
  remu/rd/gpr/zero
  remu/rd/value/00000000000000000000000000000010
  remu/rd/value/00000000000000000000000000000100
  remu/rd/value/00000000000000000000000000001000
  remu/rd/value/00000000000000000000000000010000
  remu/rd/value/00000000000000000000000000100000
  remu/rd/value/00000000000000000000000001000000
  remu/rd/value/00000000000000000000000010000000
  remu/rd/value/00000000000000000000000100000000
  remu/rd/value/00000000000000000000001000000000
  remu/rd/value/00000000000000000000010000000000
  remu/rd/value/00000000000000000000100000000000
  remu/rd/value/00000000000000000001000000000000
  remu/rd/value/00000000000000000010000000000000
  remu/rd/value/00000000000000000100000000000000
  remu/rd/value/00000000000000001000000000000000
  remu/rd/value/00000000000000010000000000000000
  remu/rd/value/00000000000000100000000000000000
  remu/rd/value/00000000000001000000000000000000
  remu/rd/value/00000000000010000000000000000000
  remu/rd/value/00000000000100000000000000000000
  remu/rd/value/00000000001000000000000000000000
  remu/rd/value/00000000010000000000000000000000
  remu/rd/value/00000000100000000000000000000000
  remu/rd/value/00000001000000000000000000000000
  remu/rd/value/00000010000000000000000000000000
  remu/rd/value/00000100000000000000000000000000
  remu/rd/value/00001000000000000000000000000000
  remu/rd/value/00010000000000000000000000000000
  remu/rd/value/00100000000000000000000000000000
  remu/rd/value/01000000000000000000000000000000
  remu/rd/value/10111111111111111111111111111111
  remu/rd/value/11011111111111111111111111111111
  remu/rd/value/11101111111111111111111111111111
  remu/rd/value/11110111111111111111111111111111
  remu/rd/value/11111011111111111111111111111111
  remu/rd/value/11111101111111111111111111111111
  remu/rd/value/11111110111111111111111111111111
  remu/rd/value/11111111011111111111111111111111
  remu/rd/value/11111111101111111111111111111111
  remu/rd/value/11111111110111111111111111111111
  remu/rd/value/11111111111011111111111111111111
  remu/rd/value/11111111111101111111111111111111
  remu/rd/value/11111111111110111111111111111111
  remu/rd/value/11111111111111011111111111111111
  remu/rd/value/11111111111111101111111111111111
  remu/rd/value/11111111111111110111111111111111
  remu/rd/value/11111111111111111011111111111111
  remu/rd/value/11111111111111111101111111111111
  remu/rd/value/11111111111111111110111111111111
  remu/rd/value/11111111111111111111011111111111
  remu/rd/value/11111111111111111111101111111111
  remu/rd/value/11111111111111111111110111111111
  remu/rd/value/11111111111111111111111011111111
  remu/rd/value/11111111111111111111111101111111
  remu/rd/value/11111111111111111111111110111111
  remu/rd/value/11111111111111111111111111011111
  remu/rd/value/11111111111111111111111111101111
  remu/rd/value/11111111111111111111111111110111
  remu/rd/value/11111111111111111111111111111011
  remu/rd/value/11111111111111111111111111111101
  remu/rd/value/11111111111111111111111111111110
  remu/rs1/gpr/a0
  remu/rs1/gpr/ra
  remu/rs1/gpr/sp
  remu/rs1/gpr/t0
  remu/rs1/gpr/t1
  remu/rs1/gpr/t2
  remu/rs1/gpr/t6
  remu/rs1/gpr/zero
  remu/rs1/value/00000000000000000000000000000010
  remu/rs1/value/00000000000000000000000000000100
  remu/rs1/value/00000000000000000000000000001000
  remu/rs1/value/00000000000000000000000000010000
  remu/rs1/value/00000000000000000000000000100000
  remu/rs1/value/00000000000000000000000001000000
  remu/rs1/value/00000000000000000000000010000000
  remu/rs1/value/00000000000000000000000100000000
  remu/rs1/value/00000000000000000000001000000000
  remu/rs1/value/00000000000000000000010000000000
  remu/rs1/value/00000000000000000000100000000000
  remu/rs1/value/00000000000000000001000000000000
  remu/rs1/value/00000000000000000010000000000000
  remu/rs1/value/00000000000000000100000000000000
  remu/rs1/value/00000000000000001000000000000000
  remu/rs1/value/00000000000000010000000000000000
  remu/rs1/value/00000000000000100000000000000000
  remu/rs1/value/00000000000001000000000000000000
  remu/rs1/value/00000000000010000000000000000000
  remu/rs1/value/00000000000100000000000000000000
  remu/rs1/value/00000000001000000000000000000000
  remu/rs1/value/00000000010000000000000000000000
  remu/rs1/value/00000000100000000000000000000000
  remu/rs1/value/00000001000000000000000000000000
  remu/rs1/value/00000010000000000000000000000000
  remu/rs1/value/00000100000000000000000000000000
  remu/rs1/value/00001000000000000000000000000000
  remu/rs1/value/00010000000000000000000000000000
  remu/rs1/value/00100000000000000000000000000000
  remu/rs1/value/01000000000000000000000000000000
  remu/rs1/value/10111111111111111111111111111111
  remu/rs1/value/11011111111111111111111111111111
  remu/rs1/value/11101111111111111111111111111111
  remu/rs1/value/11110111111111111111111111111111
  remu/rs1/value/11111011111111111111111111111111
  remu/rs1/value/11111101111111111111111111111111
  remu/rs1/value/11111110111111111111111111111111
  remu/rs1/value/11111111011111111111111111111111
  remu/rs1/value/11111111101111111111111111111111
  remu/rs1/value/11111111110111111111111111111111
  remu/rs1/value/11111111111011111111111111111111
  remu/rs1/value/11111111111101111111111111111111
  remu/rs1/value/11111111111110111111111111111111
  remu/rs1/value/11111111111111011111111111111111
  remu/rs1/value/11111111111111101111111111111111
  remu/rs1/value/11111111111111110111111111111111
  remu/rs1/value/11111111111111111011111111111111
  remu/rs1/value/11111111111111111101111111111111
  remu/rs1/value/11111111111111111110111111111111
  remu/rs1/value/11111111111111111111011111111111
  remu/rs1/value/11111111111111111111101111111111
  remu/rs1/value/11111111111111111111110111111111
  remu/rs1/value/11111111111111111111111011111111
  remu/rs1/value/11111111111111111111111101111111
  remu/rs1/value/11111111111111111111111110111111
  remu/rs1/value/11111111111111111111111111011111
  remu/rs1/value/11111111111111111111111111101111
  remu/rs1/value/11111111111111111111111111110111
  remu/rs1/value/11111111111111111111111111111011
  remu/rs1/value/11111111111111111111111111111101
  remu/rs1/value/11111111111111111111111111111110
  remu/rs2/gpr/a0
  remu/rs2/gpr/ra
  remu/rs2/gpr/sp
  remu/rs2/gpr/t0
  remu/rs2/gpr/t1
  remu/rs2/gpr/t2
  remu/rs2/gpr/t6
  remu/rs2/gpr/zero
  remu/rs2/value/00000000000000000000000000000010
  remu/rs2/value/00000000000000000000000000000100
  remu/rs2/value/00000000000000000000000000001000
  remu/rs2/value/00000000000000000000000000010000
  remu/rs2/value/00000000000000000000000000100000
  remu/rs2/value/00000000000000000000000001000000
  remu/rs2/value/00000000000000000000000010000000
  remu/rs2/value/00000000000000000000000100000000
  remu/rs2/value/00000000000000000000001000000000
  remu/rs2/value/00000000000000000000010000000000
  remu/rs2/value/00000000000000000000100000000000
  remu/rs2/value/00000000000000000001000000000000
  remu/rs2/value/00000000000000000010000000000000
  remu/rs2/value/00000000000000000100000000000000
  remu/rs2/value/00000000000000001000000000000000
  remu/rs2/value/00000000000000010000000000000000
  remu/rs2/value/00000000000000100000000000000000
  remu/rs2/value/00000000000001000000000000000000
  remu/rs2/value/00000000000010000000000000000000
  remu/rs2/value/00000000000100000000000000000000
  remu/rs2/value/00000000001000000000000000000000
  remu/rs2/value/00000000010000000000000000000000
  remu/rs2/value/00000000100000000000000000000000
  remu/rs2/value/00000001000000000000000000000000
  remu/rs2/value/00000010000000000000000000000000
  remu/rs2/value/00000100000000000000000000000000
  remu/rs2/value/00001000000000000000000000000000
  remu/rs2/value/00010000000000000000000000000000
  remu/rs2/value/00100000000000000000000000000000
  remu/rs2/value/01000000000000000000000000000000
  remu/rs2/value/10111111111111111111111111111111
  remu/rs2/value/11011111111111111111111111111111
  remu/rs2/value/11101111111111111111111111111111
  remu/rs2/value/11110111111111111111111111111111
  remu/rs2/value/11111011111111111111111111111111
  remu/rs2/value/11111101111111111111111111111111
  remu/rs2/value/11111110111111111111111111111111
  remu/rs2/value/11111111011111111111111111111111
  remu/rs2/value/11111111101111111111111111111111
  remu/rs2/value/11111111110111111111111111111111
  remu/rs2/value/11111111111011111111111111111111
  remu/rs2/value/11111111111101111111111111111111
  remu/rs2/value/11111111111110111111111111111111
  remu/rs2/value/11111111111111011111111111111111
  remu/rs2/value/11111111111111101111111111111111
  remu/rs2/value/11111111111111110111111111111111
  remu/rs2/value/11111111111111111011111111111111
  remu/rs2/value/11111111111111111101111111111111
  remu/rs2/value/11111111111111111110111111111111
  remu/rs2/value/11111111111111111111011111111111
  remu/rs2/value/11111111111111111111101111111111
  remu/rs2/value/11111111111111111111110111111111
  remu/rs2/value/11111111111111111111111011111111
  remu/rs2/value/11111111111111111111111101111111
  remu/rs2/value/11111111111111111111111110111111
  remu/rs2/value/11111111111111111111111111011111
  remu/rs2/value/11111111111111111111111111101111
  remu/rs2/value/11111111111111111111111111110111
  remu/rs2/value/11111111111111111111111111111011
  remu/rs2/value/11111111111111111111111111111101
  remu/rs2/value/11111111111111111111111111111110
Coverage points missed: 1684/2480

Info TOTAL INSTRUCTION COVERAGE : RVM
Info   Threshold             : 1
Info   Instructions counted  : 0
Info   Unique instructions   : 8/8 : 100.00%
Info   Coverage points hit   : 796/2480 :  32.10%
