Instances of family HardwareFixpoint solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
small-swap1-fixpoint-3SAT0
small-swap2-fixpoint-4SAT0
sdlx-fixpoint-3UNSAT1.58