Instances of family QLTL_safety solved by qpro
QBFEVAL'10 - Non-prenex Non-CNF Track.

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