Sota solver results for family k_ph_n <br> QBFEVAL'16 - Solver Portfolio Track.

qbflib.org

Sota solver results for family k_ph_n
QBFEVAL'16 - Solver Portfolio Track.

Instance	Solver	Result	Time
k_ph_n-1	caqe-portfolio	SAT	0.12
k_ph_n-11	caqe-portfolio	SAT	0.42
k_ph_n-14	caqe-portfolio	SAT	1.32
k_ph_n-16	caqe-portfolio	SAT	3.43
k_ph_n-21	caqe-portfolio	SAT	84.56
k_ph_n-3	caqe-portfolio	SAT	0.12
k_ph_n-4	caqe-portfolio	SAT	0.12
k_ph_n-6	caqe-portfolio	SAT	0.12
k_ph_n-8	caqe-portfolio	SAT	0.12
k_ph_n-9	caqe-portfolio	SAT	0.22

Contact | Organization | Links | Citing QBFLIB