The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Adder family
Download (6910 Kb)
Submitter:
Ayari
Suite:
Ayari
Domain:
Formal Verification
Description:
Number of instances:
32
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2017 - Track 1
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 1
2008 - Track 1
2007 - Track 1
2006 - Track 1
2005 - Track 1
2004 - Track 1
Instances:
adder-10-sat
adder-10-unsat
adder-12-sat
adder-12-unsat
adder-14-sat
adder-14-unsat
adder-16-sat
adder-16-unsat
adder-2-sat
adder-2-unsat
adder-4-sat
adder-4-unsat
adder-6-sat
adder-6-unsat
adder-8-sat
adder-8-unsat
Adder2-10-c
Adder2-10-s
Adder2-12-c
Adder2-12-s
Adder2-14-c
Adder2-14-s
Adder2-16-c
Adder2-16-s
Adder2-2-c
Adder2-2-s
Adder2-4-c
Adder2-4-s
Adder2-6-c
Adder2-6-s
Adder2-8-c
Adder2-8-s
Contact
|
Organization
|
Links
|
Citing QBFLIB