Instances of family ISCAS89 solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
s01488_PR_1_10SAT0
s00420_PR_1_20SAT0.37
s00838_PR_6_90UNSAT0.81
s05378_PR_4_90UNSAT1.43
s09234_PR_9_90UNSAT1.88
s38417_PR_4_50SAT1.97
s38584_PR_8_50SAT4.54
s15850_PR_8_90UNSAT6.97
s38584_PR_9_90SAT11.28
s15850_PR_0_50FAIL900.03