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


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