The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Model_instances family
Download (0 Kb)
Submitter:
Francesco Ricca
Suite:
Amendola-Ricca-Truszczynski
Domain:
ART Model
Description:
Number of instances:
60
Results:
2020 - Track 2
2020 - Track 3
2019 - Track 1
2019 - Track 2
2018 - Track 1
2018 - Track 2
2018 - Track 3
2018 - Track 5
2017 - Track 2
2017 - Track 5
2016 - Track 8
Instances:
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp
Contact
|
Organization
|
Links
|
Citing QBFLIB