Sota solver results for family driver
Prenex CNF Track


InstanceSolverResultTime
driver_a10y.satRareqs_2018SAT0
driver_a9n.satRareqs_2018SAT0
driver_b8n.satRareqs_2018SAT0
driver_c9n.satQute_defaultSAT0
driver_c9y.satQute_defaultSAT0
driver_d9y.satQute_defaultSAT0