Sota solver results for family driver
QBFEVAL'18 - Prenex 2QBF Track


InstanceSolverResultTime
driver_a10y.satRareqs_2018SAT0
driver_a9n.satRareqs_2018SAT0
driver_b8n.satRareqs_2018SAT0
driver_c9n.satQute_opt500SAT0
driver_c9y.satCued_2_2018SAT0
driver_d9y.satCued_2_2018SAT0