Detail page for QLTL_safety family


	Submitter:	Massimo Narizzano

	Suite:	Narizzano

	Domain:	Formal Verification

	Description:	Formulas in QBF 1.0 format.

	Number of instances:	500

	Results:	2017 - Track 2 2016 - Track 2 2010 - Track 5 2008 - Track 2

	Instances:	assertion10_0_1 assertion10_0_1-bin assertion10_0_10 assertion10_0_10-bin assertion10_0_2 assertion10_0_2-bin assertion10_0_3 assertion10_0_3-bin assertion10_0_4 assertion10_0_4-bin assertion10_0_5 assertion10_0_5-bin assertion10_0_6 assertion10_0_6-bin assertion10_0_7 assertion10_0_7-bin assertion10_0_8 assertion10_0_8-bin assertion10_0_9 assertion10_0_9-bin assertion11_0_1 assertion11_0_1-bin assertion11_0_10 assertion11_0_10-bin assertion11_0_2 assertion11_0_2-bin assertion11_0_3 assertion11_0_3-bin assertion11_0_4 assertion11_0_4-bin assertion11_0_5 assertion11_0_5-bin assertion11_0_6 assertion11_0_6-bin assertion11_0_7 assertion11_0_7-bin assertion11_0_8 assertion11_0_8-bin assertion11_0_9 assertion11_0_9-bin assertion12_0_1 assertion12_0_1-bin assertion12_0_10 assertion12_0_10-bin assertion12_0_2 assertion12_0_2-bin assertion12_0_3 assertion12_0_3-bin assertion12_0_4 assertion12_0_4-bin assertion12_0_5 assertion12_0_5-bin assertion12_0_6 assertion12_0_6-bin assertion12_0_7 assertion12_0_7-bin assertion12_0_8 assertion12_0_8-bin assertion12_0_9 assertion12_0_9-bin assertion1_0_1 assertion1_0_1-bin assertion1_0_10 assertion1_0_10-bin assertion1_0_2 assertion1_0_2-bin assertion1_0_3 assertion1_0_3-bin assertion1_0_4 assertion1_0_4-bin assertion1_0_5 assertion1_0_5-bin assertion1_0_6 assertion1_0_6-bin assertion1_0_7 assertion1_0_7-bin assertion1_0_8 assertion1_0_8-bin assertion1_0_9 assertion1_0_9-bin assertion2_0_1 assertion2_0_1-bin assertion2_0_10 assertion2_0_10-bin assertion2_0_2 assertion2_0_2-bin assertion2_0_3 assertion2_0_3-bin assertion2_0_4 assertion2_0_4-bin assertion2_0_5 assertion2_0_5-bin assertion2_0_6 assertion2_0_6-bin assertion2_0_7 assertion2_0_7-bin assertion2_0_8 assertion2_0_8-bin assertion2_0_9 assertion2_0_9-bin assertion3_0_1 assertion3_0_1-bin assertion3_0_10 assertion3_0_10-bin assertion3_0_2 assertion3_0_2-bin assertion3_0_3 assertion3_0_3-bin assertion3_0_4 assertion3_0_4-bin assertion3_0_5 assertion3_0_5-bin assertion3_0_6 assertion3_0_6-bin assertion3_0_7 assertion3_0_7-bin assertion3_0_8 assertion3_0_8-bin assertion3_0_9 assertion3_0_9-bin assertion4_0_1 assertion4_0_1-bin assertion4_0_10 assertion4_0_10-bin assertion4_0_2 assertion4_0_2-bin assertion4_0_3 assertion4_0_3-bin assertion4_0_4 assertion4_0_4-bin assertion4_0_5 assertion4_0_5-bin assertion4_0_6 assertion4_0_6-bin assertion4_0_7 assertion4_0_7-bin assertion4_0_8 assertion4_0_8-bin assertion4_0_9 assertion4_0_9-bin assertion5_0_1 assertion5_0_1-bin assertion5_0_10 assertion5_0_10-bin assertion5_0_2 assertion5_0_2-bin assertion5_0_3 assertion5_0_3-bin assertion5_0_4 assertion5_0_4-bin assertion5_0_5 assertion5_0_5-bin assertion5_0_6 assertion5_0_6-bin assertion5_0_7 assertion5_0_7-bin assertion5_0_8 assertion5_0_8-bin assertion5_0_9 assertion5_0_9-bin assertion6_0_1 assertion6_0_1-bin assertion6_0_10 assertion6_0_10-bin assertion6_0_2 assertion6_0_2-bin assertion6_0_3 assertion6_0_3-bin assertion6_0_4 assertion6_0_4-bin assertion6_0_5 assertion6_0_5-bin assertion6_0_6 assertion6_0_6-bin assertion6_0_7 assertion6_0_7-bin assertion6_0_8 assertion6_0_8-bin assertion6_0_9 assertion6_0_9-bin assertion7_0_1 assertion7_0_1-bin assertion7_0_10 assertion7_0_10-bin assertion7_0_2 assertion7_0_2-bin assertion7_0_3 assertion7_0_3-bin assertion7_0_4 assertion7_0_4-bin assertion7_0_5 assertion7_0_5-bin assertion7_0_6 assertion7_0_6-bin assertion7_0_7 assertion7_0_7-bin assertion7_0_8 assertion7_0_8-bin assertion7_0_9 assertion7_0_9-bin assertion8_0_1 assertion8_0_1-bin assertion8_0_10 assertion8_0_10-bin assertion8_0_2 assertion8_0_2-bin assertion8_0_3 assertion8_0_3-bin assertion8_0_4 assertion8_0_4-bin assertion8_0_5 assertion8_0_5-bin assertion8_0_6 assertion8_0_6-bin assertion8_0_7 assertion8_0_7-bin assertion8_0_8 assertion8_0_8-bin assertion8_0_9 assertion8_0_9-bin assertion9_0_1 assertion9_0_1-bin assertion9_0_10 assertion9_0_10-bin assertion9_0_2 assertion9_0_2-bin assertion9_0_3 assertion9_0_3-bin assertion9_0_4 assertion9_0_4-bin assertion9_0_5 assertion9_0_5-bin assertion9_0_6 assertion9_0_6-bin assertion9_0_7 assertion9_0_7-bin assertion9_0_8 assertion9_0_8-bin assertion9_0_9 assertion9_0_9-bin consistency_0_1 consistency_0_1-bin consistency_0_10 consistency_0_10-bin consistency_0_2 consistency_0_2-bin consistency_0_3 consistency_0_3-bin consistency_0_4 consistency_0_4-bin consistency_0_5 consistency_0_5-bin consistency_0_6 consistency_0_6-bin consistency_0_7 consistency_0_7-bin consistency_0_8 consistency_0_8-bin consistency_0_9 consistency_0_9-bin possibility10_0_1 possibility10_0_1-bin possibility10_0_10 possibility10_0_10-bin possibility10_0_2 possibility10_0_2-bin possibility10_0_3 possibility10_0_3-bin possibility10_0_4 possibility10_0_4-bin possibility10_0_5 possibility10_0_5-bin possibility10_0_6 possibility10_0_6-bin possibility10_0_7 possibility10_0_7-bin possibility10_0_8 possibility10_0_8-bin possibility10_0_9 possibility10_0_9-bin possibility11_0_1 possibility11_0_1-bin possibility11_0_10 possibility11_0_10-bin possibility11_0_2 possibility11_0_2-bin possibility11_0_3 possibility11_0_3-bin possibility11_0_4 possibility11_0_4-bin possibility11_0_5 possibility11_0_5-bin possibility11_0_6 possibility11_0_6-bin possibility11_0_7 possibility11_0_7-bin possibility11_0_8 possibility11_0_8-bin possibility11_0_9 possibility11_0_9-bin possibility12_0_1 possibility12_0_1-bin possibility12_0_10 possibility12_0_10-bin possibility12_0_2 possibility12_0_2-bin possibility12_0_3 possibility12_0_3-bin possibility12_0_4 possibility12_0_4-bin possibility12_0_5 possibility12_0_5-bin possibility12_0_6 possibility12_0_6-bin possibility12_0_7 possibility12_0_7-bin possibility12_0_8 possibility12_0_8-bin possibility12_0_9 possibility12_0_9-bin possibility1_0_1 possibility1_0_1-bin possibility1_0_10 possibility1_0_10-bin possibility1_0_2 possibility1_0_2-bin possibility1_0_3 possibility1_0_3-bin possibility1_0_4 possibility1_0_4-bin possibility1_0_5 possibility1_0_5-bin possibility1_0_6 possibility1_0_6-bin possibility1_0_7 possibility1_0_7-bin possibility1_0_8 possibility1_0_8-bin possibility1_0_9 possibility1_0_9-bin possibility2_0_1 possibility2_0_1-bin possibility2_0_10 possibility2_0_10-bin possibility2_0_2 possibility2_0_2-bin possibility2_0_3 possibility2_0_3-bin possibility2_0_4 possibility2_0_4-bin possibility2_0_5 possibility2_0_5-bin possibility2_0_6 possibility2_0_6-bin possibility2_0_7 possibility2_0_7-bin possibility2_0_8 possibility2_0_8-bin possibility2_0_9 possibility2_0_9-bin possibility3_0_1 possibility3_0_1-bin possibility3_0_10 possibility3_0_10-bin possibility3_0_2 possibility3_0_2-bin possibility3_0_3 possibility3_0_3-bin possibility3_0_4 possibility3_0_4-bin possibility3_0_5 possibility3_0_5-bin possibility3_0_6 possibility3_0_6-bin possibility3_0_7 possibility3_0_7-bin possibility3_0_8 possibility3_0_8-bin possibility3_0_9 possibility3_0_9-bin possibility4_0_1 possibility4_0_1-bin possibility4_0_10 possibility4_0_10-bin possibility4_0_2 possibility4_0_2-bin possibility4_0_3 possibility4_0_3-bin possibility4_0_4 possibility4_0_4-bin possibility4_0_5 possibility4_0_5-bin possibility4_0_6 possibility4_0_6-bin possibility4_0_7 possibility4_0_7-bin possibility4_0_8 possibility4_0_8-bin possibility4_0_9 possibility4_0_9-bin possibility5_0_1 possibility5_0_1-bin possibility5_0_10 possibility5_0_10-bin possibility5_0_2 possibility5_0_2-bin possibility5_0_3 possibility5_0_3-bin possibility5_0_4 possibility5_0_4-bin possibility5_0_5 possibility5_0_5-bin possibility5_0_6 possibility5_0_6-bin possibility5_0_7 possibility5_0_7-bin possibility5_0_8 possibility5_0_8-bin possibility5_0_9 possibility5_0_9-bin possibility6_0_1 possibility6_0_1-bin possibility6_0_10 possibility6_0_10-bin possibility6_0_2 possibility6_0_2-bin possibility6_0_3 possibility6_0_3-bin possibility6_0_4 possibility6_0_4-bin possibility6_0_5 possibility6_0_5-bin possibility6_0_6 possibility6_0_6-bin possibility6_0_7 possibility6_0_7-bin possibility6_0_8 possibility6_0_8-bin possibility6_0_9 possibility6_0_9-bin possibility7_0_1 possibility7_0_1-bin possibility7_0_10 possibility7_0_10-bin possibility7_0_2 possibility7_0_2-bin possibility7_0_3 possibility7_0_3-bin possibility7_0_4 possibility7_0_4-bin possibility7_0_5 possibility7_0_5-bin possibility7_0_6 possibility7_0_6-bin possibility7_0_7 possibility7_0_7-bin possibility7_0_8 possibility7_0_8-bin possibility7_0_9 possibility7_0_9-bin possibility8_0_1 possibility8_0_1-bin possibility8_0_10 possibility8_0_10-bin possibility8_0_2 possibility8_0_2-bin possibility8_0_3 possibility8_0_3-bin possibility8_0_4 possibility8_0_4-bin possibility8_0_5 possibility8_0_5-bin possibility8_0_6 possibility8_0_6-bin possibility8_0_7 possibility8_0_7-bin possibility8_0_8 possibility8_0_8-bin possibility8_0_9 possibility8_0_9-bin possibility9_0_1 possibility9_0_1-bin possibility9_0_10 possibility9_0_10-bin possibility9_0_2 possibility9_0_2-bin possibility9_0_3 possibility9_0_3-bin possibility9_0_4 possibility9_0_4-bin possibility9_0_5 possibility9_0_5-bin possibility9_0_6 possibility9_0_6-bin possibility9_0_7 possibility9_0_7-bin possibility9_0_8 possibility9_0_8-bin possibility9_0_9 possibility9_0_9-bin

The Quantified Boolean Formulas Satisfiability Library

Detail page for QLTL_safety family