Instances of family circuits solved by ghostq-plain
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k3_1_1SAT0.1
k14_2_3FAIL599.61
k12_4_2FAIL599.62
k8_2_3FAIL599.71
k5_2_3FAIL599.81