Detail page for ITC99 family


	Submitter:	Sven Reimer

	Suite:	Sauer-Reimer

	Domain:	Formal Verification

	Description:

	Number of instances:	519

	Results:	2020 - Track 1 2019 - Track 1 2018 - Track 1 2018 - Track 5 2017 - Track 1 2017 - Track 2 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7

	Instances:	b01_PR_1_10 b01_PR_3_2 b02_PR_4_20 b02_PR_6_5 b03_PR_0_20 b03_PR_5_50 b04_PR_1_75 b04_PR_7_20 b05_PR_1_75 b05_PR_2_20 b06_PR_8_5 b06_PR_8_75 b07_PR_5_20 b07_PR_9_2 b08_PR_7_50 b08_PR_9_50 b09_PR_5_20 b09_PR_8_10 b10_PR_0_50 b10_PR_1_75 b11_PR_2_50 b11_PR_7_20 b12_PR_7_75 b12_PR_9_2 b13_PR_4_5 b13_PR_7_20 b14_PR_0_10 b14_PR_0_2 b14_PR_0_20 b14_PR_0_5 b14_PR_0_50 b14_PR_0_75 b14_PR_0_90 b14_PR_1_10 b14_PR_1_2 b14_PR_1_20 b14_PR_1_5 b14_PR_1_50 b14_PR_1_75 b14_PR_1_90 b14_PR_2_10 b14_PR_2_2 b14_PR_2_20 b14_PR_2_5 b14_PR_2_50 b14_PR_2_75 b14_PR_2_90 b14_PR_3_10 b14_PR_3_2 b14_PR_3_20 b14_PR_3_5 b14_PR_3_50 b14_PR_3_75 b14_PR_3_90 b14_PR_4_10 b14_PR_4_2 b14_PR_4_20 b14_PR_4_5 b14_PR_4_50 b14_PR_4_75 b14_PR_4_90 b14_PR_5_10 b14_PR_5_2 b14_PR_5_20 b14_PR_5_5 b14_PR_5_50 b14_PR_5_75 b14_PR_5_90 b14_PR_6_10 b14_PR_6_2 b14_PR_6_20 b14_PR_6_5 b14_PR_6_50 b14_PR_6_75 b14_PR_6_90 b14_PR_7_10 b14_PR_7_2 b14_PR_7_20 b14_PR_7_5 b14_PR_7_50 b14_PR_7_75 b14_PR_7_90 b14_PR_8_10 b14_PR_8_2 b14_PR_8_20 b14_PR_8_5 b14_PR_8_50 b14_PR_8_75 b14_PR_8_90 b14_PR_9_10 b14_PR_9_2 b14_PR_9_20 b14_PR_9_5 b14_PR_9_50 b14_PR_9_75 b14_PR_9_90 b15_PR_0_10 b15_PR_0_2 b15_PR_0_20 b15_PR_0_5 b15_PR_0_50 b15_PR_0_75 b15_PR_0_90 b15_PR_1_10 b15_PR_1_2 b15_PR_1_20 b15_PR_1_5 b15_PR_1_50 b15_PR_1_75 b15_PR_1_90 b15_PR_2_10 b15_PR_2_2 b15_PR_2_20 b15_PR_2_5 b15_PR_2_50 b15_PR_2_75 b15_PR_2_90 b15_PR_3_10 b15_PR_3_2 b15_PR_3_20 b15_PR_3_5 b15_PR_3_50 b15_PR_3_75 b15_PR_3_90 b15_PR_4_10 b15_PR_4_2 b15_PR_4_20 b15_PR_4_5 b15_PR_4_50 b15_PR_4_75 b15_PR_4_90 b15_PR_5_10 b15_PR_5_2 b15_PR_5_20 b15_PR_5_5 b15_PR_5_50 b15_PR_5_75 b15_PR_5_90 b15_PR_6_10 b15_PR_6_2 b15_PR_6_20 b15_PR_6_5 b15_PR_6_50 b15_PR_6_75 b15_PR_6_90 b15_PR_7_10 b15_PR_7_2 b15_PR_7_20 b15_PR_7_5 b15_PR_7_50 b15_PR_7_75 b15_PR_7_90 b15_PR_8_10 b15_PR_8_2 b15_PR_8_20 b15_PR_8_5 b15_PR_8_50 b15_PR_8_75 b15_PR_8_90 b15_PR_9_10 b15_PR_9_2 b15_PR_9_20 b15_PR_9_5 b15_PR_9_50 b15_PR_9_75 b15_PR_9_90 b17_PR_0_10 b17_PR_0_2 b17_PR_0_20 b17_PR_0_5 b17_PR_0_50 b17_PR_0_75 b17_PR_0_90 b17_PR_1_10 b17_PR_1_2 b17_PR_1_20 b17_PR_1_5 b17_PR_1_50 b17_PR_1_75 b17_PR_1_90 b17_PR_2_10 b17_PR_2_2 b17_PR_2_20 b17_PR_2_5 b17_PR_2_50 b17_PR_2_75 b17_PR_2_90 b17_PR_3_10 b17_PR_3_2 b17_PR_3_20 b17_PR_3_5 b17_PR_3_50 b17_PR_3_75 b17_PR_3_90 b17_PR_4_10 b17_PR_4_2 b17_PR_4_20 b17_PR_4_5 b17_PR_4_50 b17_PR_4_75 b17_PR_4_90 b17_PR_5_10 b17_PR_5_2 b17_PR_5_20 b17_PR_5_5 b17_PR_5_50 b17_PR_5_75 b17_PR_5_90 b17_PR_6_10 b17_PR_6_2 b17_PR_6_20 b17_PR_6_5 b17_PR_6_50 b17_PR_6_75 b17_PR_6_90 b17_PR_7_10 b17_PR_7_2 b17_PR_7_20 b17_PR_7_5 b17_PR_7_50 b17_PR_7_75 b17_PR_7_90 b17_PR_8_10 b17_PR_8_2 b17_PR_8_20 b17_PR_8_5 b17_PR_8_50 b17_PR_8_75 b17_PR_8_90 b17_PR_9_10 b17_PR_9_2 b17_PR_9_20 b17_PR_9_5 b17_PR_9_50 b17_PR_9_75 b17_PR_9_90 b18_PR_0_10 b18_PR_0_2 b18_PR_0_20 b18_PR_0_5 b18_PR_0_50 b18_PR_0_75 b18_PR_0_90 b18_PR_1_10 b18_PR_1_2 b18_PR_1_20 b18_PR_1_5 b18_PR_1_50 b18_PR_1_75 b18_PR_1_90 b18_PR_2_10 b18_PR_2_2 b18_PR_2_20 b18_PR_2_5 b18_PR_2_50 b18_PR_2_75 b18_PR_2_90 b18_PR_3_10 b18_PR_3_2 b18_PR_3_20 b18_PR_3_5 b18_PR_3_50 b18_PR_3_75 b18_PR_3_90 b18_PR_4_10 b18_PR_4_2 b18_PR_4_20 b18_PR_4_5 b18_PR_4_50 b18_PR_4_75 b18_PR_4_90 b18_PR_5_10 b18_PR_5_2 b18_PR_5_20 b18_PR_5_5 b18_PR_5_50 b18_PR_5_75 b18_PR_5_90 b18_PR_6_10 b18_PR_6_2 b18_PR_6_20 b18_PR_6_5 b18_PR_6_50 b18_PR_6_75 b18_PR_6_90 b18_PR_7_10 b18_PR_7_2 b18_PR_7_20 b18_PR_7_5 b18_PR_7_50 b18_PR_7_75 b18_PR_7_90 b18_PR_8_10 b18_PR_8_2 b18_PR_8_20 b18_PR_8_5 b18_PR_8_50 b18_PR_8_75 b18_PR_8_90 b18_PR_9_10 b18_PR_9_2 b18_PR_9_20 b18_PR_9_5 b18_PR_9_50 b18_PR_9_75 b18_PR_9_90 b20_C_3_2 b20_PR_0_10 b20_PR_0_2 b20_PR_0_20 b20_PR_0_5 b20_PR_0_50 b20_PR_0_75 b20_PR_0_90 b20_PR_1_10 b20_PR_1_2 b20_PR_1_20 b20_PR_1_5 b20_PR_1_50 b20_PR_1_75 b20_PR_1_90 b20_PR_2_10 b20_PR_2_2 b20_PR_2_20 b20_PR_2_5 b20_PR_2_50 b20_PR_2_75 b20_PR_2_90 b20_PR_3_10 b20_PR_3_2 b20_PR_3_20 b20_PR_3_5 b20_PR_3_50 b20_PR_3_75 b20_PR_3_90 b20_PR_4_10 b20_PR_4_2 b20_PR_4_20 b20_PR_4_5 b20_PR_4_50 b20_PR_4_75 b20_PR_4_90 b20_PR_5_10 b20_PR_5_2 b20_PR_5_20 b20_PR_5_5 b20_PR_5_50 b20_PR_5_75 b20_PR_5_90 b20_PR_6_10 b20_PR_6_2 b20_PR_6_20 b20_PR_6_5 b20_PR_6_50 b20_PR_6_75 b20_PR_6_90 b20_PR_7_10 b20_PR_7_2 b20_PR_7_20 b20_PR_7_5 b20_PR_7_50 b20_PR_7_75 b20_PR_7_90 b20_PR_8_10 b20_PR_8_2 b20_PR_8_20 b20_PR_8_5 b20_PR_8_50 b20_PR_8_75 b20_PR_8_90 b20_PR_9_10 b20_PR_9_2 b20_PR_9_20 b20_PR_9_5 b20_PR_9_50 b20_PR_9_75 b20_PR_9_90 b21_C_3_206 b21_PR_0_10 b21_PR_0_2 b21_PR_0_20 b21_PR_0_5 b21_PR_0_50 b21_PR_0_75 b21_PR_0_90 b21_PR_1_10 b21_PR_1_2 b21_PR_1_20 b21_PR_1_5 b21_PR_1_50 b21_PR_1_75 b21_PR_1_90 b21_PR_2_10 b21_PR_2_2 b21_PR_2_20 b21_PR_2_5 b21_PR_2_50 b21_PR_2_75 b21_PR_2_90 b21_PR_3_10 b21_PR_3_2 b21_PR_3_20 b21_PR_3_5 b21_PR_3_50 b21_PR_3_75 b21_PR_3_90 b21_PR_4_10 b21_PR_4_2 b21_PR_4_20 b21_PR_4_5 b21_PR_4_50 b21_PR_4_75 b21_PR_4_90 b21_PR_5_10 b21_PR_5_2 b21_PR_5_20 b21_PR_5_5 b21_PR_5_50 b21_PR_5_75 b21_PR_5_90 b21_PR_6_10 b21_PR_6_2 b21_PR_6_20 b21_PR_6_5 b21_PR_6_50 b21_PR_6_75 b21_PR_6_90 b21_PR_7_10 b21_PR_7_2 b21_PR_7_20 b21_PR_7_5 b21_PR_7_50 b21_PR_7_75 b21_PR_7_90 b21_PR_8_10 b21_PR_8_2 b21_PR_8_20 b21_PR_8_5 b21_PR_8_50 b21_PR_8_75 b21_PR_8_90 b21_PR_9_10 b21_PR_9_2 b21_PR_9_20 b21_PR_9_5 b21_PR_9_50 b21_PR_9_75 b21_PR_9_90 b22_C_2_12 b22_PR_0_10 b22_PR_0_2 b22_PR_0_20 b22_PR_0_5 b22_PR_0_50 b22_PR_0_75 b22_PR_0_90 b22_PR_1_10 b22_PR_1_2 b22_PR_1_20 b22_PR_1_5 b22_PR_1_50 b22_PR_1_75 b22_PR_1_90 b22_PR_2_10 b22_PR_2_2 b22_PR_2_20 b22_PR_2_5 b22_PR_2_50 b22_PR_2_75 b22_PR_2_90 b22_PR_3_10 b22_PR_3_2 b22_PR_3_20 b22_PR_3_5 b22_PR_3_50 b22_PR_3_75 b22_PR_3_90 b22_PR_4_10 b22_PR_4_2 b22_PR_4_20 b22_PR_4_5 b22_PR_4_50 b22_PR_4_75 b22_PR_4_90 b22_PR_5_10 b22_PR_5_2 b22_PR_5_20 b22_PR_5_5 b22_PR_5_50 b22_PR_5_75 b22_PR_5_90 b22_PR_6_10 b22_PR_6_2 b22_PR_6_20 b22_PR_6_5 b22_PR_6_50 b22_PR_6_75 b22_PR_6_90 b22_PR_7_10 b22_PR_7_2 b22_PR_7_20 b22_PR_7_5 b22_PR_7_50 b22_PR_7_75 b22_PR_7_90 b22_PR_8_10 b22_PR_8_2 b22_PR_8_20 b22_PR_8_5 b22_PR_8_50 b22_PR_8_75 b22_PR_8_90 b22_PR_9_10 b22_PR_9_2 b22_PR_9_20 b22_PR_9_5 b22_PR_9_50 b22_PR_9_75 b22_PR_9_90

The Quantified Boolean Formulas Satisfiability Library

Detail page for ITC99 family