ResearchBenchmarksProgram Synthesis on INV-BV (Invariant Bit-Vector)Program Synthesis on INV-BV (Invariant Bit-Vector)Follow0Count: INV NE BVUDIV1 (4bit)ASAP-0.001-0.000500.0005May 31, 2024Evaluation resultsMethodMethodLinksCount: INV NE BVUDIV1 (4bit)Count: INV BVUGT BVASHR0 (4bit)Count: INV EQ BVLSHR0 (4bit)Count: INV EQ BVAND (4bit)Count: INV BVULE BVUREM0 (4bit)Count: INV BVSGT BVOR (4bit)Count: INV BVUGT BVNEG (4bit)Count: INV BVULE BVUREM1 (4bit)ASAP2024.050836351,5991,8131184143GCD2024.050492281,3051,7101036227