Instances of family QLTL_safety solved by pQBF
QBFEVAL'08 - non-prenex non-cnf track.

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