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


Instance # Sat # Unsat Minority Solver
robots_1_5_5_91.7 1 16 xb-bid-qsts
Download table[csv, latex]