Detail page for NuSMV


	Submitter:	Massimo Narizzano

	Suite:	QBF_1.0

	Domain:	Formal Verification

	Description:

	Number of instances:	92

	Results:	2016 - Track 2 2010 - Track 5 2007 - Track 3

	Instances:	counter4_10 counter4_11 counter4_12 counter4_13 counter4_14 counter4_15 counter4_16 counter4_2 counter4_3 counter4_4 counter4_5 counter4_6 counter4_7 counter4_8 counter4_9 counter5_16 counter5_2 counter5_32 counter5_33 counter5_4 counter5_8 counter6_16 counter6_2 counter6_32 counter6_4 counter6_64 counter6_65 counter6_8 counter7_128 counter7_129 counter7_16 counter7_2 counter7_32 counter7_4 counter7_64 counter7_8 counter8_128 counter8_16 counter8_2 counter8_256 counter8_257 counter8_32 counter8_4 counter8_64 counter8_8 dme1_2 dme1_3 dme1_4 dme1_5 dme1_6 dme1_7 dme1_8 dmeSmall_2 dmeSmall_4 dmeSmall_8 dmeSmall_9 ring4_2 ring4_3 ring4_4 ring4_5 ring4_6 ring4_7 ring4_8 ring5_16 ring5_2 ring5_32 ring5_33 ring5_4 ring5_8 ring6_16 ring6_2 ring6_32 ring6_4 ring6_64 ring6_65 ring6_8 semaphore3_2 semaphore3_3 semaphore3_4 semaphore4_2 semaphore4_3 semaphore4_4 semaphore5_2 semaphore5_3 semaphore5_4 semaphore6_2 semaphore6_3 semaphore6_4 semaphore_2 semaphore_3 semaphore_4 semaphore_5

The Quantified Boolean Formulas Satisfiability Library