Detail page for CounterFactual family


	Submitter:	Egly

	Suite:	Egly-Seidl-Tompits-Woltran-Zolda

	Domain:	NestedCounterFactual

	Description:

	Number of instances:	1080

	Results:	2018 - Track 5 2017 - Track 5 2016 - Track 8 2010 - Track 4 2006 - Track 1 2005 - Track 1

	Instances:	ncf_16_128_2_d.1 ncf_16_128_2_d.10 ncf_16_128_2_d.2 ncf_16_128_2_d.3 ncf_16_128_2_d.4 ncf_16_128_2_d.5 ncf_16_128_2_d.6 ncf_16_128_2_d.7 ncf_16_128_2_d.8 ncf_16_128_2_d.9 ncf_16_128_2_edau.1 ncf_16_128_2_edau.10 ncf_16_128_2_edau.2 ncf_16_128_2_edau.3 ncf_16_128_2_edau.4 ncf_16_128_2_edau.5 ncf_16_128_2_edau.6 ncf_16_128_2_edau.7 ncf_16_128_2_edau.8 ncf_16_128_2_edau.9 ncf_16_128_2_euad.1 ncf_16_128_2_euad.10 ncf_16_128_2_euad.2 ncf_16_128_2_euad.3 ncf_16_128_2_euad.4 ncf_16_128_2_euad.5 ncf_16_128_2_euad.6 ncf_16_128_2_euad.7 ncf_16_128_2_euad.8 ncf_16_128_2_euad.9 ncf_16_128_2_u.1 ncf_16_128_2_u.10 ncf_16_128_2_u.2 ncf_16_128_2_u.3 ncf_16_128_2_u.4 ncf_16_128_2_u.5 ncf_16_128_2_u.6 ncf_16_128_2_u.7 ncf_16_128_2_u.8 ncf_16_128_2_u.9 ncf_16_128_4_d.1 ncf_16_128_4_d.10 ncf_16_128_4_d.2 ncf_16_128_4_d.3 ncf_16_128_4_d.4 ncf_16_128_4_d.5 ncf_16_128_4_d.6 ncf_16_128_4_d.7 ncf_16_128_4_d.8 ncf_16_128_4_d.9 ncf_16_128_4_edau.1 ncf_16_128_4_edau.10 ncf_16_128_4_edau.2 ncf_16_128_4_edau.3 ncf_16_128_4_edau.4 ncf_16_128_4_edau.5 ncf_16_128_4_edau.6 ncf_16_128_4_edau.7 ncf_16_128_4_edau.8 ncf_16_128_4_edau.9 ncf_16_128_4_euad.1 ncf_16_128_4_euad.10 ncf_16_128_4_euad.2 ncf_16_128_4_euad.3 ncf_16_128_4_euad.4 ncf_16_128_4_euad.5 ncf_16_128_4_euad.6 ncf_16_128_4_euad.7 ncf_16_128_4_euad.8 ncf_16_128_4_euad.9 ncf_16_128_4_u.1 ncf_16_128_4_u.10 ncf_16_128_4_u.2 ncf_16_128_4_u.3 ncf_16_128_4_u.4 ncf_16_128_4_u.5 ncf_16_128_4_u.6 ncf_16_128_4_u.7 ncf_16_128_4_u.8 ncf_16_128_4_u.9 ncf_16_128_8_d.1 ncf_16_128_8_d.10 ncf_16_128_8_d.2 ncf_16_128_8_d.3 ncf_16_128_8_d.4 ncf_16_128_8_d.5 ncf_16_128_8_d.6 ncf_16_128_8_d.7 ncf_16_128_8_d.8 ncf_16_128_8_d.9 ncf_16_128_8_edau.1 ncf_16_128_8_edau.10 ncf_16_128_8_edau.2 ncf_16_128_8_edau.3 ncf_16_128_8_edau.4 ncf_16_128_8_edau.5 ncf_16_128_8_edau.6 ncf_16_128_8_edau.7 ncf_16_128_8_edau.8 ncf_16_128_8_edau.9 ncf_16_128_8_euad.1 ncf_16_128_8_euad.10 ncf_16_128_8_euad.2 ncf_16_128_8_euad.3 ncf_16_128_8_euad.4 ncf_16_128_8_euad.5 ncf_16_128_8_euad.6 ncf_16_128_8_euad.7 ncf_16_128_8_euad.8 ncf_16_128_8_euad.9 ncf_16_128_8_u.1 ncf_16_128_8_u.10 ncf_16_128_8_u.2 ncf_16_128_8_u.3 ncf_16_128_8_u.4 ncf_16_128_8_u.5 ncf_16_128_8_u.6 ncf_16_128_8_u.7 ncf_16_128_8_u.8 ncf_16_128_8_u.9 ncf_16_32_2_d.1 ncf_16_32_2_d.10 ncf_16_32_2_d.2 ncf_16_32_2_d.3 ncf_16_32_2_d.4 ncf_16_32_2_d.5 ncf_16_32_2_d.6 ncf_16_32_2_d.7 ncf_16_32_2_d.8 ncf_16_32_2_d.9 ncf_16_32_2_edau.1 ncf_16_32_2_edau.10 ncf_16_32_2_edau.2 ncf_16_32_2_edau.3 ncf_16_32_2_edau.4 ncf_16_32_2_edau.5 ncf_16_32_2_edau.6 ncf_16_32_2_edau.7 ncf_16_32_2_edau.8 ncf_16_32_2_edau.9 ncf_16_32_2_euad.1 ncf_16_32_2_euad.10 ncf_16_32_2_euad.2 ncf_16_32_2_euad.3 ncf_16_32_2_euad.4 ncf_16_32_2_euad.5 ncf_16_32_2_euad.6 ncf_16_32_2_euad.7 ncf_16_32_2_euad.8 ncf_16_32_2_euad.9 ncf_16_32_2_u.1 ncf_16_32_2_u.10 ncf_16_32_2_u.2 ncf_16_32_2_u.3 ncf_16_32_2_u.4 ncf_16_32_2_u.5 ncf_16_32_2_u.6 ncf_16_32_2_u.7 ncf_16_32_2_u.8 ncf_16_32_2_u.9 ncf_16_32_4_d.1 ncf_16_32_4_d.10 ncf_16_32_4_d.2 ncf_16_32_4_d.3 ncf_16_32_4_d.4 ncf_16_32_4_d.5 ncf_16_32_4_d.6 ncf_16_32_4_d.7 ncf_16_32_4_d.8 ncf_16_32_4_d.9 ncf_16_32_4_edau.1 ncf_16_32_4_edau.10 ncf_16_32_4_edau.2 ncf_16_32_4_edau.3 ncf_16_32_4_edau.4 ncf_16_32_4_edau.5 ncf_16_32_4_edau.6 ncf_16_32_4_edau.7 ncf_16_32_4_edau.8 ncf_16_32_4_edau.9 ncf_16_32_4_euad.1 ncf_16_32_4_euad.10 ncf_16_32_4_euad.2 ncf_16_32_4_euad.3 ncf_16_32_4_euad.4 ncf_16_32_4_euad.5 ncf_16_32_4_euad.6 ncf_16_32_4_euad.7 ncf_16_32_4_euad.8 ncf_16_32_4_euad.9 ncf_16_32_4_u.1 ncf_16_32_4_u.10 ncf_16_32_4_u.2 ncf_16_32_4_u.3 ncf_16_32_4_u.4 ncf_16_32_4_u.5 ncf_16_32_4_u.6 ncf_16_32_4_u.7 ncf_16_32_4_u.8 ncf_16_32_4_u.9 ncf_16_32_8_d.1 ncf_16_32_8_d.10 ncf_16_32_8_d.2 ncf_16_32_8_d.3 ncf_16_32_8_d.4 ncf_16_32_8_d.5 ncf_16_32_8_d.6 ncf_16_32_8_d.7 ncf_16_32_8_d.8 ncf_16_32_8_d.9 ncf_16_32_8_edau.1 ncf_16_32_8_edau.10 ncf_16_32_8_edau.2 ncf_16_32_8_edau.3 ncf_16_32_8_edau.4 ncf_16_32_8_edau.5 ncf_16_32_8_edau.6 ncf_16_32_8_edau.7 ncf_16_32_8_edau.8 ncf_16_32_8_edau.9 ncf_16_32_8_euad.1 ncf_16_32_8_euad.10 ncf_16_32_8_euad.2 ncf_16_32_8_euad.3 ncf_16_32_8_euad.4 ncf_16_32_8_euad.5 ncf_16_32_8_euad.6 ncf_16_32_8_euad.7 ncf_16_32_8_euad.8 ncf_16_32_8_euad.9 ncf_16_32_8_u.1 ncf_16_32_8_u.10 ncf_16_32_8_u.2 ncf_16_32_8_u.3 ncf_16_32_8_u.4 ncf_16_32_8_u.5 ncf_16_32_8_u.6 ncf_16_32_8_u.7 ncf_16_32_8_u.8 ncf_16_32_8_u.9 ncf_16_64_2_d.1 ncf_16_64_2_d.10 ncf_16_64_2_d.2 ncf_16_64_2_d.3 ncf_16_64_2_d.4 ncf_16_64_2_d.5 ncf_16_64_2_d.6 ncf_16_64_2_d.7 ncf_16_64_2_d.8 ncf_16_64_2_d.9 ncf_16_64_2_edau.1 ncf_16_64_2_edau.10 ncf_16_64_2_edau.2 ncf_16_64_2_edau.3 ncf_16_64_2_edau.4 ncf_16_64_2_edau.5 ncf_16_64_2_edau.6 ncf_16_64_2_edau.7 ncf_16_64_2_edau.8 ncf_16_64_2_edau.9 ncf_16_64_2_euad.1 ncf_16_64_2_euad.10 ncf_16_64_2_euad.2 ncf_16_64_2_euad.3 ncf_16_64_2_euad.4 ncf_16_64_2_euad.5 ncf_16_64_2_euad.6 ncf_16_64_2_euad.7 ncf_16_64_2_euad.8 ncf_16_64_2_euad.9 ncf_16_64_2_u.1 ncf_16_64_2_u.10 ncf_16_64_2_u.2 ncf_16_64_2_u.3 ncf_16_64_2_u.4 ncf_16_64_2_u.5 ncf_16_64_2_u.6 ncf_16_64_2_u.7 ncf_16_64_2_u.8 ncf_16_64_2_u.9 ncf_16_64_4_d.1 ncf_16_64_4_d.10 ncf_16_64_4_d.2 ncf_16_64_4_d.3 ncf_16_64_4_d.4 ncf_16_64_4_d.5 ncf_16_64_4_d.6 ncf_16_64_4_d.7 ncf_16_64_4_d.8 ncf_16_64_4_d.9 ncf_16_64_4_edau.1 ncf_16_64_4_edau.10 ncf_16_64_4_edau.2 ncf_16_64_4_edau.3 ncf_16_64_4_edau.4 ncf_16_64_4_edau.5 ncf_16_64_4_edau.6 ncf_16_64_4_edau.7 ncf_16_64_4_edau.8 ncf_16_64_4_edau.9 ncf_16_64_4_euad.1 ncf_16_64_4_euad.10 ncf_16_64_4_euad.2 ncf_16_64_4_euad.3 ncf_16_64_4_euad.4 ncf_16_64_4_euad.5 ncf_16_64_4_euad.6 ncf_16_64_4_euad.7 ncf_16_64_4_euad.8 ncf_16_64_4_euad.9 ncf_16_64_4_u.1 ncf_16_64_4_u.10 ncf_16_64_4_u.2 ncf_16_64_4_u.3 ncf_16_64_4_u.4 ncf_16_64_4_u.5 ncf_16_64_4_u.6 ncf_16_64_4_u.7 ncf_16_64_4_u.8 ncf_16_64_4_u.9 ncf_16_64_8_d.1 ncf_16_64_8_d.10 ncf_16_64_8_d.2 ncf_16_64_8_d.3 ncf_16_64_8_d.4 ncf_16_64_8_d.5 ncf_16_64_8_d.6 ncf_16_64_8_d.7 ncf_16_64_8_d.8 ncf_16_64_8_d.9 ncf_16_64_8_edau.1 ncf_16_64_8_edau.10 ncf_16_64_8_edau.2 ncf_16_64_8_edau.3 ncf_16_64_8_edau.4 ncf_16_64_8_edau.5 ncf_16_64_8_edau.6 ncf_16_64_8_edau.7 ncf_16_64_8_edau.8 ncf_16_64_8_edau.9 ncf_16_64_8_euad.1 ncf_16_64_8_euad.10 ncf_16_64_8_euad.2 ncf_16_64_8_euad.3 ncf_16_64_8_euad.4 ncf_16_64_8_euad.5 ncf_16_64_8_euad.6 ncf_16_64_8_euad.7 ncf_16_64_8_euad.8 ncf_16_64_8_euad.9 ncf_16_64_8_u.1 ncf_16_64_8_u.10 ncf_16_64_8_u.2 ncf_16_64_8_u.3 ncf_16_64_8_u.4 ncf_16_64_8_u.5 ncf_16_64_8_u.6 ncf_16_64_8_u.7 ncf_16_64_8_u.8 ncf_16_64_8_u.9 ncf_4_16_2_d.1 ncf_4_16_2_d.10 ncf_4_16_2_d.2 ncf_4_16_2_d.3 ncf_4_16_2_d.4 ncf_4_16_2_d.5 ncf_4_16_2_d.6 ncf_4_16_2_d.7 ncf_4_16_2_d.8 ncf_4_16_2_d.9 ncf_4_16_2_edau.1 ncf_4_16_2_edau.10 ncf_4_16_2_edau.2 ncf_4_16_2_edau.3 ncf_4_16_2_edau.4 ncf_4_16_2_edau.5 ncf_4_16_2_edau.6 ncf_4_16_2_edau.7 ncf_4_16_2_edau.8 ncf_4_16_2_edau.9 ncf_4_16_2_euad.1 ncf_4_16_2_euad.10 ncf_4_16_2_euad.2 ncf_4_16_2_euad.3 ncf_4_16_2_euad.4 ncf_4_16_2_euad.5 ncf_4_16_2_euad.6 ncf_4_16_2_euad.7 ncf_4_16_2_euad.8 ncf_4_16_2_euad.9 ncf_4_16_2_u.1 ncf_4_16_2_u.10 ncf_4_16_2_u.2 ncf_4_16_2_u.3 ncf_4_16_2_u.4 ncf_4_16_2_u.5 ncf_4_16_2_u.6 ncf_4_16_2_u.7 ncf_4_16_2_u.8 ncf_4_16_2_u.9 ncf_4_16_4_d.1 ncf_4_16_4_d.10 ncf_4_16_4_d.2 ncf_4_16_4_d.3 ncf_4_16_4_d.4 ncf_4_16_4_d.5 ncf_4_16_4_d.6 ncf_4_16_4_d.7 ncf_4_16_4_d.8 ncf_4_16_4_d.9 ncf_4_16_4_edau.1 ncf_4_16_4_edau.10 ncf_4_16_4_edau.2 ncf_4_16_4_edau.3 ncf_4_16_4_edau.4 ncf_4_16_4_edau.5 ncf_4_16_4_edau.6 ncf_4_16_4_edau.7 ncf_4_16_4_edau.8 ncf_4_16_4_edau.9 ncf_4_16_4_euad.1 ncf_4_16_4_euad.10 ncf_4_16_4_euad.2 ncf_4_16_4_euad.3 ncf_4_16_4_euad.4 ncf_4_16_4_euad.5 ncf_4_16_4_euad.6 ncf_4_16_4_euad.7 ncf_4_16_4_euad.8 ncf_4_16_4_euad.9 ncf_4_16_4_u.1 ncf_4_16_4_u.10 ncf_4_16_4_u.2 ncf_4_16_4_u.3 ncf_4_16_4_u.4 ncf_4_16_4_u.5 ncf_4_16_4_u.6 ncf_4_16_4_u.7 ncf_4_16_4_u.8 ncf_4_16_4_u.9 ncf_4_16_8_d.1 ncf_4_16_8_d.10 ncf_4_16_8_d.2 ncf_4_16_8_d.3 ncf_4_16_8_d.4 ncf_4_16_8_d.5 ncf_4_16_8_d.6 ncf_4_16_8_d.7 ncf_4_16_8_d.8 ncf_4_16_8_d.9 ncf_4_16_8_edau.1 ncf_4_16_8_edau.10 ncf_4_16_8_edau.2 ncf_4_16_8_edau.3 ncf_4_16_8_edau.4 ncf_4_16_8_edau.5 ncf_4_16_8_edau.6 ncf_4_16_8_edau.7 ncf_4_16_8_edau.8 ncf_4_16_8_edau.9 ncf_4_16_8_euad.1 ncf_4_16_8_euad.10 ncf_4_16_8_euad.2 ncf_4_16_8_euad.3 ncf_4_16_8_euad.4 ncf_4_16_8_euad.5 ncf_4_16_8_euad.6 ncf_4_16_8_euad.7 ncf_4_16_8_euad.8 ncf_4_16_8_euad.9 ncf_4_16_8_u.1 ncf_4_16_8_u.10 ncf_4_16_8_u.2 ncf_4_16_8_u.3 ncf_4_16_8_u.4 ncf_4_16_8_u.5 ncf_4_16_8_u.6 ncf_4_16_8_u.7 ncf_4_16_8_u.8 ncf_4_16_8_u.9 ncf_4_32_2_d.1 ncf_4_32_2_d.10 ncf_4_32_2_d.2 ncf_4_32_2_d.3 ncf_4_32_2_d.4 ncf_4_32_2_d.5 ncf_4_32_2_d.6 ncf_4_32_2_d.7 ncf_4_32_2_d.8 ncf_4_32_2_d.9 ncf_4_32_2_edau.1 ncf_4_32_2_edau.10 ncf_4_32_2_edau.2 ncf_4_32_2_edau.3 ncf_4_32_2_edau.4 ncf_4_32_2_edau.5 ncf_4_32_2_edau.6 ncf_4_32_2_edau.7 ncf_4_32_2_edau.8 ncf_4_32_2_edau.9 ncf_4_32_2_euad.1 ncf_4_32_2_euad.10 ncf_4_32_2_euad.2 ncf_4_32_2_euad.3 ncf_4_32_2_euad.4 ncf_4_32_2_euad.5 ncf_4_32_2_euad.6 ncf_4_32_2_euad.7 ncf_4_32_2_euad.8 ncf_4_32_2_euad.9 ncf_4_32_2_u.1 ncf_4_32_2_u.10 ncf_4_32_2_u.2 ncf_4_32_2_u.3 ncf_4_32_2_u.4 ncf_4_32_2_u.5 ncf_4_32_2_u.6 ncf_4_32_2_u.7 ncf_4_32_2_u.8 ncf_4_32_2_u.9 ncf_4_32_4_d.1 ncf_4_32_4_d.10 ncf_4_32_4_d.2 ncf_4_32_4_d.3 ncf_4_32_4_d.4 ncf_4_32_4_d.5 ncf_4_32_4_d.6 ncf_4_32_4_d.7 ncf_4_32_4_d.8 ncf_4_32_4_d.9 ncf_4_32_4_edau.1 ncf_4_32_4_edau.10 ncf_4_32_4_edau.2 ncf_4_32_4_edau.3 ncf_4_32_4_edau.4 ncf_4_32_4_edau.5 ncf_4_32_4_edau.6 ncf_4_32_4_edau.7 ncf_4_32_4_edau.8 ncf_4_32_4_edau.9 ncf_4_32_4_euad.1 ncf_4_32_4_euad.10 ncf_4_32_4_euad.2 ncf_4_32_4_euad.3 ncf_4_32_4_euad.4 ncf_4_32_4_euad.5 ncf_4_32_4_euad.6 ncf_4_32_4_euad.7 ncf_4_32_4_euad.8 ncf_4_32_4_euad.9 ncf_4_32_4_u.1 ncf_4_32_4_u.10 ncf_4_32_4_u.2 ncf_4_32_4_u.3 ncf_4_32_4_u.4 ncf_4_32_4_u.5 ncf_4_32_4_u.6 ncf_4_32_4_u.7 ncf_4_32_4_u.8 ncf_4_32_4_u.9 ncf_4_32_8_d.1 ncf_4_32_8_d.10 ncf_4_32_8_d.2 ncf_4_32_8_d.3 ncf_4_32_8_d.4 ncf_4_32_8_d.5 ncf_4_32_8_d.6 ncf_4_32_8_d.7 ncf_4_32_8_d.8 ncf_4_32_8_d.9 ncf_4_32_8_edau.1 ncf_4_32_8_edau.10 ncf_4_32_8_edau.2 ncf_4_32_8_edau.3 ncf_4_32_8_edau.4 ncf_4_32_8_edau.5 ncf_4_32_8_edau.6 ncf_4_32_8_edau.7 ncf_4_32_8_edau.8 ncf_4_32_8_edau.9 ncf_4_32_8_euad.1 ncf_4_32_8_euad.10 ncf_4_32_8_euad.2 ncf_4_32_8_euad.3 ncf_4_32_8_euad.4 ncf_4_32_8_euad.5 ncf_4_32_8_euad.6 ncf_4_32_8_euad.7 ncf_4_32_8_euad.8 ncf_4_32_8_euad.9 ncf_4_32_8_u.1 ncf_4_32_8_u.10 ncf_4_32_8_u.2 ncf_4_32_8_u.3 ncf_4_32_8_u.4 ncf_4_32_8_u.5 ncf_4_32_8_u.6 ncf_4_32_8_u.7 ncf_4_32_8_u.8 ncf_4_32_8_u.9 ncf_4_8_2_d.1 ncf_4_8_2_d.10 ncf_4_8_2_d.2 ncf_4_8_2_d.3 ncf_4_8_2_d.4 ncf_4_8_2_d.5 ncf_4_8_2_d.6 ncf_4_8_2_d.7 ncf_4_8_2_d.8 ncf_4_8_2_d.9 ncf_4_8_2_edau.1 ncf_4_8_2_edau.10 ncf_4_8_2_edau.2 ncf_4_8_2_edau.3 ncf_4_8_2_edau.4 ncf_4_8_2_edau.5 ncf_4_8_2_edau.6 ncf_4_8_2_edau.7 ncf_4_8_2_edau.8 ncf_4_8_2_edau.9 ncf_4_8_2_euad.1 ncf_4_8_2_euad.10 ncf_4_8_2_euad.2 ncf_4_8_2_euad.3 ncf_4_8_2_euad.4 ncf_4_8_2_euad.5 ncf_4_8_2_euad.6 ncf_4_8_2_euad.7 ncf_4_8_2_euad.8 ncf_4_8_2_euad.9 ncf_4_8_2_u.1 ncf_4_8_2_u.10 ncf_4_8_2_u.2 ncf_4_8_2_u.3 ncf_4_8_2_u.4 ncf_4_8_2_u.5 ncf_4_8_2_u.6 ncf_4_8_2_u.7 ncf_4_8_2_u.8 ncf_4_8_2_u.9 ncf_4_8_4_d.1 ncf_4_8_4_d.10 ncf_4_8_4_d.2 ncf_4_8_4_d.3 ncf_4_8_4_d.4 ncf_4_8_4_d.5 ncf_4_8_4_d.6 ncf_4_8_4_d.7 ncf_4_8_4_d.8 ncf_4_8_4_d.9 ncf_4_8_4_edau.1 ncf_4_8_4_edau.10 ncf_4_8_4_edau.2 ncf_4_8_4_edau.3 ncf_4_8_4_edau.4 ncf_4_8_4_edau.5 ncf_4_8_4_edau.6 ncf_4_8_4_edau.7 ncf_4_8_4_edau.8 ncf_4_8_4_edau.9 ncf_4_8_4_euad.1 ncf_4_8_4_euad.10 ncf_4_8_4_euad.2 ncf_4_8_4_euad.3 ncf_4_8_4_euad.4 ncf_4_8_4_euad.5 ncf_4_8_4_euad.6 ncf_4_8_4_euad.7 ncf_4_8_4_euad.8 ncf_4_8_4_euad.9 ncf_4_8_4_u.1 ncf_4_8_4_u.10 ncf_4_8_4_u.2 ncf_4_8_4_u.3 ncf_4_8_4_u.4 ncf_4_8_4_u.5 ncf_4_8_4_u.6 ncf_4_8_4_u.7 ncf_4_8_4_u.8 ncf_4_8_4_u.9 ncf_4_8_8_d.1 ncf_4_8_8_d.10 ncf_4_8_8_d.2 ncf_4_8_8_d.3 ncf_4_8_8_d.4 ncf_4_8_8_d.5 ncf_4_8_8_d.6 ncf_4_8_8_d.7 ncf_4_8_8_d.8 ncf_4_8_8_d.9 ncf_4_8_8_edau.1 ncf_4_8_8_edau.10 ncf_4_8_8_edau.2 ncf_4_8_8_edau.3 ncf_4_8_8_edau.4 ncf_4_8_8_edau.5 ncf_4_8_8_edau.6 ncf_4_8_8_edau.7 ncf_4_8_8_edau.8 ncf_4_8_8_edau.9 ncf_4_8_8_euad.1 ncf_4_8_8_euad.10 ncf_4_8_8_euad.2 ncf_4_8_8_euad.3 ncf_4_8_8_euad.4 ncf_4_8_8_euad.5 ncf_4_8_8_euad.6 ncf_4_8_8_euad.7 ncf_4_8_8_euad.8 ncf_4_8_8_euad.9 ncf_4_8_8_u.1 ncf_4_8_8_u.10 ncf_4_8_8_u.2 ncf_4_8_8_u.3 ncf_4_8_8_u.4 ncf_4_8_8_u.5 ncf_4_8_8_u.6 ncf_4_8_8_u.7 ncf_4_8_8_u.8 ncf_4_8_8_u.9 ncf_8_16_2_d.1 ncf_8_16_2_d.10 ncf_8_16_2_d.2 ncf_8_16_2_d.3 ncf_8_16_2_d.4 ncf_8_16_2_d.5 ncf_8_16_2_d.6 ncf_8_16_2_d.7 ncf_8_16_2_d.8 ncf_8_16_2_d.9 ncf_8_16_2_edau.1 ncf_8_16_2_edau.10 ncf_8_16_2_edau.2 ncf_8_16_2_edau.3 ncf_8_16_2_edau.4 ncf_8_16_2_edau.5 ncf_8_16_2_edau.6 ncf_8_16_2_edau.7 ncf_8_16_2_edau.8 ncf_8_16_2_edau.9 ncf_8_16_2_euad.1 ncf_8_16_2_euad.10 ncf_8_16_2_euad.2 ncf_8_16_2_euad.3 ncf_8_16_2_euad.4 ncf_8_16_2_euad.5 ncf_8_16_2_euad.6 ncf_8_16_2_euad.7 ncf_8_16_2_euad.8 ncf_8_16_2_euad.9 ncf_8_16_2_u.1 ncf_8_16_2_u.10 ncf_8_16_2_u.2 ncf_8_16_2_u.3 ncf_8_16_2_u.4 ncf_8_16_2_u.5 ncf_8_16_2_u.6 ncf_8_16_2_u.7 ncf_8_16_2_u.8 ncf_8_16_2_u.9 ncf_8_16_4_d.1 ncf_8_16_4_d.10 ncf_8_16_4_d.2 ncf_8_16_4_d.3 ncf_8_16_4_d.4 ncf_8_16_4_d.5 ncf_8_16_4_d.6 ncf_8_16_4_d.7 ncf_8_16_4_d.8 ncf_8_16_4_d.9 ncf_8_16_4_edau.1 ncf_8_16_4_edau.10 ncf_8_16_4_edau.2 ncf_8_16_4_edau.3 ncf_8_16_4_edau.4 ncf_8_16_4_edau.5 ncf_8_16_4_edau.6 ncf_8_16_4_edau.7 ncf_8_16_4_edau.8 ncf_8_16_4_edau.9 ncf_8_16_4_euad.1 ncf_8_16_4_euad.10 ncf_8_16_4_euad.2 ncf_8_16_4_euad.3 ncf_8_16_4_euad.4 ncf_8_16_4_euad.5 ncf_8_16_4_euad.6 ncf_8_16_4_euad.7 ncf_8_16_4_euad.8 ncf_8_16_4_euad.9 ncf_8_16_4_u.1 ncf_8_16_4_u.10 ncf_8_16_4_u.2 ncf_8_16_4_u.3 ncf_8_16_4_u.4 ncf_8_16_4_u.5 ncf_8_16_4_u.6 ncf_8_16_4_u.7 ncf_8_16_4_u.8 ncf_8_16_4_u.9 ncf_8_16_8_d.1 ncf_8_16_8_d.10 ncf_8_16_8_d.2 ncf_8_16_8_d.3 ncf_8_16_8_d.4 ncf_8_16_8_d.5 ncf_8_16_8_d.6 ncf_8_16_8_d.7 ncf_8_16_8_d.8 ncf_8_16_8_d.9 ncf_8_16_8_edau.1 ncf_8_16_8_edau.10 ncf_8_16_8_edau.2 ncf_8_16_8_edau.3 ncf_8_16_8_edau.4 ncf_8_16_8_edau.5 ncf_8_16_8_edau.6 ncf_8_16_8_edau.7 ncf_8_16_8_edau.8 ncf_8_16_8_edau.9 ncf_8_16_8_euad.1 ncf_8_16_8_euad.10 ncf_8_16_8_euad.2 ncf_8_16_8_euad.3 ncf_8_16_8_euad.4 ncf_8_16_8_euad.5 ncf_8_16_8_euad.6 ncf_8_16_8_euad.7 ncf_8_16_8_euad.8 ncf_8_16_8_euad.9 ncf_8_16_8_u.1 ncf_8_16_8_u.10 ncf_8_16_8_u.2 ncf_8_16_8_u.3 ncf_8_16_8_u.4 ncf_8_16_8_u.5 ncf_8_16_8_u.6 ncf_8_16_8_u.7 ncf_8_16_8_u.8 ncf_8_16_8_u.9 ncf_8_32_2_d.1 ncf_8_32_2_d.10 ncf_8_32_2_d.2 ncf_8_32_2_d.3 ncf_8_32_2_d.4 ncf_8_32_2_d.5 ncf_8_32_2_d.6 ncf_8_32_2_d.7 ncf_8_32_2_d.8 ncf_8_32_2_d.9 ncf_8_32_2_edau.1 ncf_8_32_2_edau.10 ncf_8_32_2_edau.2 ncf_8_32_2_edau.3 ncf_8_32_2_edau.4 ncf_8_32_2_edau.5 ncf_8_32_2_edau.6 ncf_8_32_2_edau.7 ncf_8_32_2_edau.8 ncf_8_32_2_edau.9 ncf_8_32_2_euad.1 ncf_8_32_2_euad.10 ncf_8_32_2_euad.2 ncf_8_32_2_euad.3 ncf_8_32_2_euad.4 ncf_8_32_2_euad.5 ncf_8_32_2_euad.6 ncf_8_32_2_euad.7 ncf_8_32_2_euad.8 ncf_8_32_2_euad.9 ncf_8_32_2_u.1 ncf_8_32_2_u.10 ncf_8_32_2_u.2 ncf_8_32_2_u.3 ncf_8_32_2_u.4 ncf_8_32_2_u.5 ncf_8_32_2_u.6 ncf_8_32_2_u.7 ncf_8_32_2_u.8 ncf_8_32_2_u.9 ncf_8_32_4_d.1 ncf_8_32_4_d.10 ncf_8_32_4_d.2 ncf_8_32_4_d.3 ncf_8_32_4_d.4 ncf_8_32_4_d.5 ncf_8_32_4_d.6 ncf_8_32_4_d.7 ncf_8_32_4_d.8 ncf_8_32_4_d.9 ncf_8_32_4_edau.1 ncf_8_32_4_edau.10 ncf_8_32_4_edau.2 ncf_8_32_4_edau.3 ncf_8_32_4_edau.4 ncf_8_32_4_edau.5 ncf_8_32_4_edau.6 ncf_8_32_4_edau.7 ncf_8_32_4_edau.8 ncf_8_32_4_edau.9 ncf_8_32_4_euad.1 ncf_8_32_4_euad.10 ncf_8_32_4_euad.2 ncf_8_32_4_euad.3 ncf_8_32_4_euad.4 ncf_8_32_4_euad.5 ncf_8_32_4_euad.6 ncf_8_32_4_euad.7 ncf_8_32_4_euad.8 ncf_8_32_4_euad.9 ncf_8_32_4_u.1 ncf_8_32_4_u.10 ncf_8_32_4_u.2 ncf_8_32_4_u.3 ncf_8_32_4_u.4 ncf_8_32_4_u.5 ncf_8_32_4_u.6 ncf_8_32_4_u.7 ncf_8_32_4_u.8 ncf_8_32_4_u.9 ncf_8_32_8_d.1 ncf_8_32_8_d.10 ncf_8_32_8_d.2 ncf_8_32_8_d.3 ncf_8_32_8_d.4 ncf_8_32_8_d.5 ncf_8_32_8_d.6 ncf_8_32_8_d.7 ncf_8_32_8_d.8 ncf_8_32_8_d.9 ncf_8_32_8_edau.1 ncf_8_32_8_edau.10 ncf_8_32_8_edau.2 ncf_8_32_8_edau.3 ncf_8_32_8_edau.4 ncf_8_32_8_edau.5 ncf_8_32_8_edau.6 ncf_8_32_8_edau.7 ncf_8_32_8_edau.8 ncf_8_32_8_edau.9 ncf_8_32_8_euad.1 ncf_8_32_8_euad.10 ncf_8_32_8_euad.2 ncf_8_32_8_euad.3 ncf_8_32_8_euad.4 ncf_8_32_8_euad.5 ncf_8_32_8_euad.6 ncf_8_32_8_euad.7 ncf_8_32_8_euad.8 ncf_8_32_8_euad.9 ncf_8_32_8_u.1 ncf_8_32_8_u.10 ncf_8_32_8_u.2 ncf_8_32_8_u.3 ncf_8_32_8_u.4 ncf_8_32_8_u.5 ncf_8_32_8_u.6 ncf_8_32_8_u.7 ncf_8_32_8_u.8 ncf_8_32_8_u.9 ncf_8_64_2_d.1 ncf_8_64_2_d.10 ncf_8_64_2_d.2 ncf_8_64_2_d.3 ncf_8_64_2_d.4 ncf_8_64_2_d.5 ncf_8_64_2_d.6 ncf_8_64_2_d.7 ncf_8_64_2_d.8 ncf_8_64_2_d.9 ncf_8_64_2_edau.1 ncf_8_64_2_edau.10 ncf_8_64_2_edau.2 ncf_8_64_2_edau.3 ncf_8_64_2_edau.4 ncf_8_64_2_edau.5 ncf_8_64_2_edau.6 ncf_8_64_2_edau.7 ncf_8_64_2_edau.8 ncf_8_64_2_edau.9 ncf_8_64_2_euad.1 ncf_8_64_2_euad.10 ncf_8_64_2_euad.2 ncf_8_64_2_euad.3 ncf_8_64_2_euad.4 ncf_8_64_2_euad.5 ncf_8_64_2_euad.6 ncf_8_64_2_euad.7 ncf_8_64_2_euad.8 ncf_8_64_2_euad.9 ncf_8_64_2_u.1 ncf_8_64_2_u.10 ncf_8_64_2_u.2 ncf_8_64_2_u.3 ncf_8_64_2_u.4 ncf_8_64_2_u.5 ncf_8_64_2_u.6 ncf_8_64_2_u.7 ncf_8_64_2_u.8 ncf_8_64_2_u.9 ncf_8_64_4_d.1 ncf_8_64_4_d.10 ncf_8_64_4_d.2 ncf_8_64_4_d.3 ncf_8_64_4_d.4 ncf_8_64_4_d.5 ncf_8_64_4_d.6 ncf_8_64_4_d.7 ncf_8_64_4_d.8 ncf_8_64_4_d.9 ncf_8_64_4_edau.1 ncf_8_64_4_edau.10 ncf_8_64_4_edau.2 ncf_8_64_4_edau.3 ncf_8_64_4_edau.4 ncf_8_64_4_edau.5 ncf_8_64_4_edau.6 ncf_8_64_4_edau.7 ncf_8_64_4_edau.8 ncf_8_64_4_edau.9 ncf_8_64_4_euad.1 ncf_8_64_4_euad.10 ncf_8_64_4_euad.2 ncf_8_64_4_euad.3 ncf_8_64_4_euad.4 ncf_8_64_4_euad.5 ncf_8_64_4_euad.6 ncf_8_64_4_euad.7 ncf_8_64_4_euad.8 ncf_8_64_4_euad.9 ncf_8_64_4_u.1 ncf_8_64_4_u.10 ncf_8_64_4_u.2 ncf_8_64_4_u.3 ncf_8_64_4_u.4 ncf_8_64_4_u.5 ncf_8_64_4_u.6 ncf_8_64_4_u.7 ncf_8_64_4_u.8 ncf_8_64_4_u.9 ncf_8_64_8_d.1 ncf_8_64_8_d.10 ncf_8_64_8_d.2 ncf_8_64_8_d.3 ncf_8_64_8_d.4 ncf_8_64_8_d.5 ncf_8_64_8_d.6 ncf_8_64_8_d.7 ncf_8_64_8_d.8 ncf_8_64_8_d.9 ncf_8_64_8_edau.1 ncf_8_64_8_edau.10 ncf_8_64_8_edau.2 ncf_8_64_8_edau.3 ncf_8_64_8_edau.4 ncf_8_64_8_edau.5 ncf_8_64_8_edau.6 ncf_8_64_8_edau.7 ncf_8_64_8_edau.8 ncf_8_64_8_edau.9 ncf_8_64_8_euad.1 ncf_8_64_8_euad.10 ncf_8_64_8_euad.2 ncf_8_64_8_euad.3 ncf_8_64_8_euad.4 ncf_8_64_8_euad.5 ncf_8_64_8_euad.6 ncf_8_64_8_euad.7 ncf_8_64_8_euad.8 ncf_8_64_8_euad.9 ncf_8_64_8_u.1 ncf_8_64_8_u.10 ncf_8_64_8_u.2 ncf_8_64_8_u.3 ncf_8_64_8_u.4 ncf_8_64_8_u.5 ncf_8_64_8_u.6 ncf_8_64_8_u.7 ncf_8_64_8_u.8 ncf_8_64_8_u.9

The Quantified Boolean Formulas Satisfiability Library

Detail page for CounterFactual family