Polynomial Time Distinguishing Inputs

Command

-solver gurobi_v1 -reduction standard -verify_steps -run solve -locked ../data/toc13xor/enc50/des_enc50.bench

Issue

• Get stuck on trying to find the first distinguishing input
• A solution might be for a parallel thread to run and try random inputs to see if a distinguishing input could be found