Detail page for QBF-Hardness family


	Submitter:	Christian Miller

	Suite:	Miller-Scholl-Becker

	Domain:	Miscellanea

	Description:

	Number of instances:	198

	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

	Instances:	arbiter-05-comp-error01-qbf-hardness-depth-0 arbiter-05-comp-error01-qbf-hardness-depth-1 arbiter-05-comp-error01-qbf-hardness-depth-10 arbiter-05-comp-error01-qbf-hardness-depth-11 arbiter-05-comp-error01-qbf-hardness-depth-12 arbiter-05-comp-error01-qbf-hardness-depth-13 arbiter-05-comp-error01-qbf-hardness-depth-14 arbiter-05-comp-error01-qbf-hardness-depth-15 arbiter-05-comp-error01-qbf-hardness-depth-2 arbiter-05-comp-error01-qbf-hardness-depth-3 arbiter-05-comp-error01-qbf-hardness-depth-4 arbiter-05-comp-error01-qbf-hardness-depth-5 arbiter-05-comp-error01-qbf-hardness-depth-6 arbiter-05-comp-error01-qbf-hardness-depth-7 arbiter-05-comp-error01-qbf-hardness-depth-8 arbiter-05-comp-error01-qbf-hardness-depth-9 arbiter-05-comp-error02-qbf-hardness-depth-0 arbiter-05-comp-error02-qbf-hardness-depth-1 arbiter-05-comp-error02-qbf-hardness-depth-2 arbiter-05-comp-error02-qbf-hardness-depth-3 arbiter-05-comp-error02-qbf-hardness-depth-4 arbiter-05-comp-error02-qbf-hardness-depth-5 arbiter-05-comp-error02-qbf-hardness-depth-6 arbiter-06-comp-error01-qbf-hardness-depth-0 arbiter-06-comp-error01-qbf-hardness-depth-1 arbiter-06-comp-error01-qbf-hardness-depth-10 arbiter-06-comp-error01-qbf-hardness-depth-11 arbiter-06-comp-error01-qbf-hardness-depth-12 arbiter-06-comp-error01-qbf-hardness-depth-13 arbiter-06-comp-error01-qbf-hardness-depth-14 arbiter-06-comp-error01-qbf-hardness-depth-15 arbiter-06-comp-error01-qbf-hardness-depth-16 arbiter-06-comp-error01-qbf-hardness-depth-17 arbiter-06-comp-error01-qbf-hardness-depth-18 arbiter-06-comp-error01-qbf-hardness-depth-2 arbiter-06-comp-error01-qbf-hardness-depth-3 arbiter-06-comp-error01-qbf-hardness-depth-4 arbiter-06-comp-error01-qbf-hardness-depth-5 arbiter-06-comp-error01-qbf-hardness-depth-6 arbiter-06-comp-error01-qbf-hardness-depth-7 arbiter-06-comp-error01-qbf-hardness-depth-8 arbiter-06-comp-error01-qbf-hardness-depth-9 arbiter-06-comp-error02-qbf-hardness-depth-0 arbiter-06-comp-error02-qbf-hardness-depth-1 arbiter-06-comp-error02-qbf-hardness-depth-2 arbiter-06-comp-error02-qbf-hardness-depth-3 arbiter-06-comp-error02-qbf-hardness-depth-4 arbiter-06-comp-error02-qbf-hardness-depth-5 arbiter-06-comp-error02-qbf-hardness-depth-6 arbiter-06-comp-error02-qbf-hardness-depth-7 arbiter-07-comp-error01-qbf-hardness-depth-0 arbiter-07-comp-error01-qbf-hardness-depth-1 arbiter-07-comp-error01-qbf-hardness-depth-10 arbiter-07-comp-error01-qbf-hardness-depth-11 arbiter-07-comp-error01-qbf-hardness-depth-12 arbiter-07-comp-error01-qbf-hardness-depth-13 arbiter-07-comp-error01-qbf-hardness-depth-14 arbiter-07-comp-error01-qbf-hardness-depth-15 arbiter-07-comp-error01-qbf-hardness-depth-16 arbiter-07-comp-error01-qbf-hardness-depth-17 arbiter-07-comp-error01-qbf-hardness-depth-18 arbiter-07-comp-error01-qbf-hardness-depth-19 arbiter-07-comp-error01-qbf-hardness-depth-2 arbiter-07-comp-error01-qbf-hardness-depth-20 arbiter-07-comp-error01-qbf-hardness-depth-21 arbiter-07-comp-error01-qbf-hardness-depth-3 arbiter-07-comp-error01-qbf-hardness-depth-4 arbiter-07-comp-error01-qbf-hardness-depth-5 arbiter-07-comp-error01-qbf-hardness-depth-6 arbiter-07-comp-error01-qbf-hardness-depth-7 arbiter-07-comp-error01-qbf-hardness-depth-8 arbiter-07-comp-error01-qbf-hardness-depth-9 arbiter-07-comp-error02-qbf-hardness-depth-0 arbiter-07-comp-error02-qbf-hardness-depth-1 arbiter-07-comp-error02-qbf-hardness-depth-2 arbiter-07-comp-error02-qbf-hardness-depth-3 arbiter-07-comp-error02-qbf-hardness-depth-4 arbiter-07-comp-error02-qbf-hardness-depth-5 arbiter-07-comp-error02-qbf-hardness-depth-6 arbiter-07-comp-error02-qbf-hardness-depth-7 arbiter-07-comp-error02-qbf-hardness-depth-8 arbiter-08-comp-error01-qbf-hardness-depth-0 arbiter-08-comp-error01-qbf-hardness-depth-1 arbiter-08-comp-error01-qbf-hardness-depth-10 arbiter-08-comp-error01-qbf-hardness-depth-11 arbiter-08-comp-error01-qbf-hardness-depth-12 arbiter-08-comp-error01-qbf-hardness-depth-13 arbiter-08-comp-error01-qbf-hardness-depth-14 arbiter-08-comp-error01-qbf-hardness-depth-15 arbiter-08-comp-error01-qbf-hardness-depth-16 arbiter-08-comp-error01-qbf-hardness-depth-17 arbiter-08-comp-error01-qbf-hardness-depth-18 arbiter-08-comp-error01-qbf-hardness-depth-19 arbiter-08-comp-error01-qbf-hardness-depth-2 arbiter-08-comp-error01-qbf-hardness-depth-20 arbiter-08-comp-error01-qbf-hardness-depth-21 arbiter-08-comp-error01-qbf-hardness-depth-22 arbiter-08-comp-error01-qbf-hardness-depth-23 arbiter-08-comp-error01-qbf-hardness-depth-24 arbiter-08-comp-error01-qbf-hardness-depth-3 arbiter-08-comp-error01-qbf-hardness-depth-4 arbiter-08-comp-error01-qbf-hardness-depth-5 arbiter-08-comp-error01-qbf-hardness-depth-6 arbiter-08-comp-error01-qbf-hardness-depth-7 arbiter-08-comp-error01-qbf-hardness-depth-8 arbiter-08-comp-error01-qbf-hardness-depth-9 arbiter-08-comp-error02-qbf-hardness-depth-0 arbiter-08-comp-error02-qbf-hardness-depth-1 arbiter-08-comp-error02-qbf-hardness-depth-2 arbiter-08-comp-error02-qbf-hardness-depth-3 arbiter-08-comp-error02-qbf-hardness-depth-4 arbiter-08-comp-error02-qbf-hardness-depth-5 arbiter-08-comp-error02-qbf-hardness-depth-6 arbiter-08-comp-error02-qbf-hardness-depth-7 arbiter-08-comp-error02-qbf-hardness-depth-8 arbiter-08-comp-error02-qbf-hardness-depth-9 arbiter-09-comp-error01-qbf-hardness-depth-0 arbiter-09-comp-error01-qbf-hardness-depth-1 arbiter-09-comp-error01-qbf-hardness-depth-10 arbiter-09-comp-error01-qbf-hardness-depth-11 arbiter-09-comp-error01-qbf-hardness-depth-12 arbiter-09-comp-error01-qbf-hardness-depth-13 arbiter-09-comp-error01-qbf-hardness-depth-14 arbiter-09-comp-error01-qbf-hardness-depth-15 arbiter-09-comp-error01-qbf-hardness-depth-16 arbiter-09-comp-error01-qbf-hardness-depth-17 arbiter-09-comp-error01-qbf-hardness-depth-18 arbiter-09-comp-error01-qbf-hardness-depth-19 arbiter-09-comp-error01-qbf-hardness-depth-2 arbiter-09-comp-error01-qbf-hardness-depth-20 arbiter-09-comp-error01-qbf-hardness-depth-21 arbiter-09-comp-error01-qbf-hardness-depth-22 arbiter-09-comp-error01-qbf-hardness-depth-23 arbiter-09-comp-error01-qbf-hardness-depth-24 arbiter-09-comp-error01-qbf-hardness-depth-25 arbiter-09-comp-error01-qbf-hardness-depth-26 arbiter-09-comp-error01-qbf-hardness-depth-27 arbiter-09-comp-error01-qbf-hardness-depth-3 arbiter-09-comp-error01-qbf-hardness-depth-4 arbiter-09-comp-error01-qbf-hardness-depth-5 arbiter-09-comp-error01-qbf-hardness-depth-6 arbiter-09-comp-error01-qbf-hardness-depth-7 arbiter-09-comp-error01-qbf-hardness-depth-8 arbiter-09-comp-error01-qbf-hardness-depth-9 arbiter-09-comp-error02-qbf-hardness-depth-0 arbiter-09-comp-error02-qbf-hardness-depth-1 arbiter-09-comp-error02-qbf-hardness-depth-10 arbiter-09-comp-error02-qbf-hardness-depth-2 arbiter-09-comp-error02-qbf-hardness-depth-3 arbiter-09-comp-error02-qbf-hardness-depth-4 arbiter-09-comp-error02-qbf-hardness-depth-5 arbiter-09-comp-error02-qbf-hardness-depth-6 arbiter-09-comp-error02-qbf-hardness-depth-7 arbiter-09-comp-error02-qbf-hardness-depth-8 arbiter-09-comp-error02-qbf-hardness-depth-9 arbiter-10-comp-error01-qbf-hardness-depth-0 arbiter-10-comp-error01-qbf-hardness-depth-1 arbiter-10-comp-error01-qbf-hardness-depth-10 arbiter-10-comp-error01-qbf-hardness-depth-11 arbiter-10-comp-error01-qbf-hardness-depth-12 arbiter-10-comp-error01-qbf-hardness-depth-13 arbiter-10-comp-error01-qbf-hardness-depth-14 arbiter-10-comp-error01-qbf-hardness-depth-15 arbiter-10-comp-error01-qbf-hardness-depth-16 arbiter-10-comp-error01-qbf-hardness-depth-17 arbiter-10-comp-error01-qbf-hardness-depth-18 arbiter-10-comp-error01-qbf-hardness-depth-19 arbiter-10-comp-error01-qbf-hardness-depth-2 arbiter-10-comp-error01-qbf-hardness-depth-20 arbiter-10-comp-error01-qbf-hardness-depth-21 arbiter-10-comp-error01-qbf-hardness-depth-22 arbiter-10-comp-error01-qbf-hardness-depth-23 arbiter-10-comp-error01-qbf-hardness-depth-24 arbiter-10-comp-error01-qbf-hardness-depth-25 arbiter-10-comp-error01-qbf-hardness-depth-26 arbiter-10-comp-error01-qbf-hardness-depth-27 arbiter-10-comp-error01-qbf-hardness-depth-28 arbiter-10-comp-error01-qbf-hardness-depth-29 arbiter-10-comp-error01-qbf-hardness-depth-3 arbiter-10-comp-error01-qbf-hardness-depth-30 arbiter-10-comp-error01-qbf-hardness-depth-4 arbiter-10-comp-error01-qbf-hardness-depth-5 arbiter-10-comp-error01-qbf-hardness-depth-6 arbiter-10-comp-error01-qbf-hardness-depth-7 arbiter-10-comp-error01-qbf-hardness-depth-8 arbiter-10-comp-error01-qbf-hardness-depth-9 arbiter-10-comp-error02-qbf-hardness-depth-0 arbiter-10-comp-error02-qbf-hardness-depth-1 arbiter-10-comp-error02-qbf-hardness-depth-10 arbiter-10-comp-error02-qbf-hardness-depth-11 arbiter-10-comp-error02-qbf-hardness-depth-2 arbiter-10-comp-error02-qbf-hardness-depth-3 arbiter-10-comp-error02-qbf-hardness-depth-4 arbiter-10-comp-error02-qbf-hardness-depth-5 arbiter-10-comp-error02-qbf-hardness-depth-6 arbiter-10-comp-error02-qbf-hardness-depth-7 arbiter-10-comp-error02-qbf-hardness-depth-8 arbiter-10-comp-error02-qbf-hardness-depth-9

The Quantified Boolean Formulas Satisfiability Library

Detail page for QBF-Hardness family