Sota solver results for family term1
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
term1.blif_0.10_0.20_0_0_out_exactxb-qstsSAT0.08
term1.blif_0.10_0.20_0_1_inp_exactquabs-minisatSAT0.1
term1.blif_0.10_1.00_0_0_out_exactquabs-minisatUNSAT0.01
term1.blif_0.10_1.00_0_1_out_exactquabs-minisatSAT0.01