Detail page for BoundedSynthesisPetriGames family


	Submitter:	Jesko Hecking-Harbusch

	Suite:	HeckingHarbusch

	Domain:	Miscellanea

	Description:

	Number of instances:	360

	Results:	2020 - Track 3 2019 - Track 2 2018 - Track 2 2017 - Track 2

	Instances:	CM-sat-02-01-06-3 CM-sat-02-01-06-4 CM-sat-02-01-07-3 CM-sat-03-01-06-3 CM-sat-03-01-06-4 CM-sat-03-01-07-3 CM-sat-04-01-06-3 CM-sat-04-01-06-4 CM-sat-04-01-07-3 CM-sat-05-01-06-3 CM-sat-05-01-06-4 CM-sat-05-01-07-3 CM-sat-06-01-06-3 CM-sat-06-01-06-4 CM-sat-06-01-07-3 CM-sat-07-01-06-3 CM-sat-07-01-06-4 CM-sat-07-01-07-3 CM-sat-08-01-06-3 CM-sat-08-01-06-4 CM-sat-08-01-07-3 CM-sat-09-01-06-3 CM-sat-09-01-06-4 CM-sat-09-01-07-3 CM-sat-10-01-06-3 CM-sat-10-01-06-4 CM-sat-10-01-07-3 CM-sat-11-01-06-3 CM-sat-11-01-06-4 CM-sat-11-01-07-3 CM-sat-12-01-06-3 CM-sat-12-01-06-4 CM-sat-12-01-07-3 CM-sat-13-01-06-3 CM-sat-13-01-06-4 CM-sat-13-01-07-3 CM-sat-14-01-06-3 CM-sat-14-01-06-4 CM-sat-14-01-07-3 CM-sat-15-01-06-3 CM-sat-15-01-06-4 CM-sat-15-01-07-3 CM-sat-16-01-06-3 CM-sat-16-01-06-4 CM-sat-16-01-07-3 CM-sat-17-01-06-3 CM-sat-17-01-06-4 CM-sat-17-01-07-3 CM-sat-18-01-06-3 CM-sat-18-01-06-4 CM-sat-18-01-07-3 CM-sat-19-01-06-3 CM-sat-19-01-06-4 CM-sat-19-01-07-3 CM-sat-20-01-06-3 CM-sat-20-01-06-4 CM-sat-20-01-07-3 CM-sat-21-01-06-3 CM-sat-21-01-06-4 CM-sat-21-01-07-3 CM-unsat-02-01-05-3 CM-unsat-02-01-06-2 CM-unsat-03-01-05-3 CM-unsat-03-01-06-2 CM-unsat-04-01-05-3 CM-unsat-04-01-06-2 CM-unsat-05-01-05-3 CM-unsat-05-01-06-2 CM-unsat-06-01-05-3 CM-unsat-06-01-06-2 CM-unsat-07-01-05-3 CM-unsat-07-01-06-2 CM-unsat-08-01-05-3 CM-unsat-08-01-06-2 CM-unsat-09-01-05-3 CM-unsat-09-01-06-2 CM-unsat-10-01-05-3 CM-unsat-10-01-06-2 CM-unsat-11-01-05-3 CM-unsat-11-01-06-2 CM-unsat-12-01-05-3 CM-unsat-12-01-06-2 CM-unsat-13-01-05-3 CM-unsat-13-01-06-2 CM-unsat-14-01-05-3 CM-unsat-14-01-06-2 CM-unsat-15-01-05-3 CM-unsat-15-01-06-2 CM-unsat-16-01-05-3 CM-unsat-16-01-06-2 CM-unsat-17-01-05-3 CM-unsat-17-01-06-2 CM-unsat-18-01-05-3 CM-unsat-18-01-06-2 CM-unsat-19-01-05-3 CM-unsat-19-01-06-2 CM-unsat-20-01-05-3 CM-unsat-20-01-06-2 CM-unsat-21-01-05-3 CM-unsat-21-01-06-2 DW-sat-01-08-1 DW-sat-01-09-1 DW-sat-01-10-1 DW-sat-02-10-1 DW-sat-02-11-1 DW-sat-02-12-1 DW-sat-03-12-1 DW-sat-03-13-1 DW-sat-03-14-1 DW-sat-04-14-1 DW-sat-04-15-1 DW-sat-04-16-1 DW-sat-05-16-1 DW-sat-05-17-1 DW-sat-05-18-1 DW-sat-06-18-1 DW-sat-06-19-1 DW-sat-06-20-1 DW-sat-07-20-1 DW-sat-07-21-1 DW-sat-07-22-1 DW-sat-08-22-1 DW-sat-08-23-1 DW-sat-08-24-1 DW-sat-09-24-1 DW-sat-09-25-1 DW-sat-09-26-1 DW-sat-10-26-1 DW-sat-10-27-1 DW-sat-10-28-1 DW-sat-11-28-1 DW-sat-11-29-1 DW-sat-11-30-1 DW-sat-12-30-1 DW-sat-12-31-1 DW-sat-12-32-1 DW-sat-13-32-1 DW-sat-13-33-1 DW-sat-13-34-1 DW-sat-14-34-1 DW-sat-14-35-1 DW-sat-14-36-1 DW-sat-15-36-1 DW-sat-15-37-1 DW-sat-15-38-1 DW-sat-16-38-1 DW-sat-16-39-1 DW-sat-16-40-1 DW-sat-17-40-1 DW-sat-17-41-1 DW-sat-17-42-1 DW-sat-18-42-1 DW-sat-18-43-1 DW-sat-18-44-1 DW-sat-19-44-1 DW-sat-19-45-1 DW-sat-19-46-1 DW-sat-20-46-1 DW-sat-20-47-1 DW-sat-20-48-1 DW-sat-21-48-1 DW-sat-21-49-1 DW-sat-21-50-1 DW-sat-22-50-1 DW-sat-22-51-1 DW-sat-22-52-1 DW-sat-23-52-1 DW-sat-23-53-1 DW-sat-23-54-1 DW-sat-24-54-1 DW-sat-24-55-1 DW-sat-24-56-1 DW-sat-25-56-1 DW-sat-25-57-1 DW-sat-25-58-1 DW-unsat-01-06-1 DW-unsat-01-07-1 DW-unsat-02-08-1 DW-unsat-02-09-1 DW-unsat-03-10-1 DW-unsat-03-11-1 DW-unsat-04-12-1 DW-unsat-04-13-1 DW-unsat-05-14-1 DW-unsat-05-15-1 DW-unsat-06-16-1 DW-unsat-06-17-1 DW-unsat-07-18-1 DW-unsat-07-19-1 DW-unsat-08-20-1 DW-unsat-08-21-1 DW-unsat-09-22-1 DW-unsat-09-23-1 DW-unsat-10-24-1 DW-unsat-10-25-1 DW-unsat-11-26-1 DW-unsat-11-27-1 DW-unsat-12-28-1 DW-unsat-12-29-1 DW-unsat-13-30-1 DW-unsat-13-31-1 DW-unsat-14-32-1 DW-unsat-14-33-1 DW-unsat-15-34-1 DW-unsat-15-35-1 DW-unsat-16-36-1 DW-unsat-16-37-1 DW-unsat-17-38-1 DW-unsat-17-39-1 DW-unsat-18-40-1 DW-unsat-18-41-1 DW-unsat-19-42-1 DW-unsat-19-43-1 DW-unsat-20-44-1 DW-unsat-20-45-1 DW-unsat-21-46-1 DW-unsat-21-47-1 DW-unsat-22-48-1 DW-unsat-22-49-1 DW-unsat-23-50-1 DW-unsat-23-51-1 DW-unsat-24-52-1 DW-unsat-24-53-1 DW-unsat-25-54-1 DW-unsat-25-55-1 DWs-sat-01-05-1 DWs-sat-01-06-1 DWs-sat-01-07-1 DWs-sat-02-07-1 DWs-sat-02-08-1 DWs-sat-02-09-1 DWs-sat-03-09-1 DWs-sat-03-10-1 DWs-sat-03-11-1 DWs-sat-04-11-1 DWs-sat-04-12-1 DWs-sat-04-13-1 DWs-sat-05-13-1 DWs-sat-05-14-1 DWs-sat-05-15-1 DWs-sat-06-15-1 DWs-sat-06-16-1 DWs-sat-06-17-1 DWs-sat-07-17-1 DWs-sat-07-18-1 DWs-sat-07-19-1 DWs-sat-08-19-1 DWs-sat-08-20-1 DWs-sat-08-21-1 DWs-sat-09-21-1 DWs-sat-09-22-1 DWs-sat-09-23-1 DWs-sat-10-23-1 DWs-sat-10-24-1 DWs-sat-10-25-1 DWs-sat-11-25-1 DWs-sat-11-26-1 DWs-sat-11-27-1 DWs-sat-12-27-1 DWs-sat-12-28-1 DWs-sat-12-29-1 DWs-sat-13-29-1 DWs-sat-13-30-1 DWs-sat-13-31-1 DWs-sat-14-31-1 DWs-sat-14-32-1 DWs-sat-14-33-1 DWs-sat-15-33-1 DWs-sat-15-34-1 DWs-sat-15-35-1 DWs-sat-16-35-1 DWs-sat-17-37-1 DWs-sat-18-39-1 DWs-sat-19-41-1 DWs-sat-20-43-1 DWs-sat-21-45-1 DWs-sat-22-47-1 DWs-sat-23-49-1 DWs-sat-24-51-1 DWs-sat-25-53-1 DWs-unsat-01-03-1 DWs-unsat-01-04-1 DWs-unsat-02-05-1 DWs-unsat-02-06-1 DWs-unsat-03-07-1 DWs-unsat-03-08-1 DWs-unsat-04-09-1 DWs-unsat-04-10-1 DWs-unsat-05-11-1 DWs-unsat-05-12-1 DWs-unsat-06-13-1 DWs-unsat-06-14-1 DWs-unsat-07-15-1 DWs-unsat-07-16-1 DWs-unsat-08-17-1 DWs-unsat-08-18-1 DWs-unsat-09-19-1 DWs-unsat-09-20-1 DWs-unsat-10-21-1 DWs-unsat-10-22-1 DWs-unsat-11-23-1 DWs-unsat-11-24-1 DWs-unsat-12-25-1 DWs-unsat-12-26-1 DWs-unsat-13-27-1 DWs-unsat-13-28-1 DWs-unsat-14-29-1 DWs-unsat-14-30-1 DWs-unsat-15-31-1 DWs-unsat-15-32-1 DWs-unsat-16-33-1 DWs-unsat-16-34-1 DWs-unsat-17-35-1 DWs-unsat-17-36-1 DWs-unsat-18-37-1 DWs-unsat-18-38-1 DWs-unsat-19-39-1 DWs-unsat-19-40-1 DWs-unsat-20-41-1 DWs-unsat-20-42-1 DWs-unsat-21-43-1 DWs-unsat-21-44-1 DWs-unsat-22-45-1 DWs-unsat-22-46-1 DWs-unsat-23-47-1 DWs-unsat-23-48-1 DWs-unsat-24-49-1 DWs-unsat-24-50-1 DWs-unsat-25-51-1 DWs-unsat-25-52-1 JP-sat-02-07-3 JP-sat-02-07-4 JP-sat-02-08-3 JP-sat-03-08-4 JP-sat-03-08-5 JP-sat-03-09-4 JP-sat-03-09-5 JP-sat-03-09-6 JP-sat-03-10-5 JP-unsat-02-06-3 JP-unsat-02-07-2 JP-unsat-03-07-4 JP-unsat-03-08-3 JP-unsat-03-08-5 JP-unsat-03-09-4 SR-sat-02-01-06-2 SR-sat-02-01-06-3 SR-sat-02-01-07-2 SR-sat-03-01-07-2 SR-sat-03-01-07-3 SR-sat-03-01-08-2 SR-sat-04-01-08-2 SR-sat-04-01-08-3 SR-sat-04-01-09-2 SR-unsat-02-01-05-2 SR-unsat-02-01-06-1 SR-unsat-03-01-06-2 SR-unsat-03-01-07-1 SR-unsat-04-01-07-2 SR-unsat-04-01-08-1

The Quantified Boolean Formulas Satisfiability Library

Detail page for BoundedSynthesisPetriGames family