Detail page for jctc family


	Submitter:	Mikolas Janota

	Suite:	Cooksey-Batty-Grigore-Janota

	Domain:	Formal Verification

	Description:	PrideMM QCIR benchmarks

	Number of instances:	17

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

	Instances:	jctc1-pass jctc10-fail jctc11-pass jctc13-fail jctc14-unrolled-fail jctc15-unrolled-fail jctc16-vals-0,2-pass jctc17-vals-0,2-pass jctc18-vals-0,2-pass jctc2-pass jctc3-vals-0,2-pass jctc4-fail jctc5-fail jctc6-pass jctc7-pass jctc8-pass jctc9-pass

The Quantified Boolean Formulas Satisfiability Library