Instances of family Abduction solved by <a href='solver_detail.php?solver=235'>ghostq-cegar</a> <br> QBFEVAL'16 - Prenex non-CNF Track.

qbflib.org

Instances of family Abduction solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

Instance	Result	Time
par8-1-c-50	UNSAT	0.13
par8-4-50	UNSAT	0.36
ii32b1-00	SAT	0.54
par16-1-50	UNSAT	19.26
f600-50	FAIL	599.81

Contact | Organization | Links | Citing QBFLIB