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
Edited by Jon Shahen