Discrepancies tables for ASP_Program_Inclusion
QBFEVAL'16 - Random QBFs Track.


Instance # Sat # Unsat Minority Solver
T-adeu-42 1 16 xb-bid-qsts
Download table[csv, latex]