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

InstanceResultTime
assertion11_0_1-binUNSAT0.04
assertion5_0_1-binUNSAT0.05
assertion12_0_1-binUNSAT0.05
possibility6_0_1-binUNSAT0.19
assertion6_0_1-binUNSAT0.74
possibility6_0_2-binUNSAT1.51
possibility10_0_1-binUNSAT3.84
possibility4_0_1-binUNSAT5.03
assertion3_0_1-binUNSAT5.21
possibility11_0_1-binUNSAT5.51
possibility6_0_3-binUNSAT5.9
possibility5_0_1-binUNSAT6.94
assertion4_0_1-binUNSAT7.36
possibility8_0_1-binUNSAT7.38
possibility7_0_1-binSAT8.89
possibility9_0_1-binUNSAT9.41
assertion7_0_1-binUNSAT9.6
consistency_0_1-binSAT10.33
possibility3_0_1-binUNSAT12.85
assertion2_0_1-binUNSAT13.49
possibility6_0_4-binUNSAT14.36
possibility12_0_1-binUNSAT21.96
assertion11_0_2-binUNSAT23.84
possibility1_0_1-binUNSAT27.81
possibility6_0_5-binUNSAT30.28
possibility5_0_2-binUNSAT34.8
possibility10_0_2-binUNSAT39.38
assertion2_0_2-binUNSAT39.96
possibility7_0_2-binSAT41.49
possibility3_0_2-binUNSAT44.18
possibility2_0_1-binUNSAT45.86
assertion9_0_1-binUNSAT47.01
possibility11_0_2-binUNSAT48.8
consistency_0_2-binSAT52.73
assertion1_0_1-binUNSAT57.5
assertion8_0_1-binUNSAT61.03
assertion10_0_1-binUNSAT61.44
possibility6_0_6-binUNSAT77.55
assertion4_0_2-binUNSAT80.93
assertion6_0_2-binUNSAT84.61
assertion7_0_2-binUNSAT88.36
possibility8_0_2-binUNSAT95.1
consistency_0_3-binSAT95.49
assertion12_0_2-binUNSAT115.3
assertion3_0_2-binUNSAT125.49
assertion6_0_3-binUNSAT126.04
assertion5_0_2-binUNSAT136.63
possibility10_0_3-binUNSAT137.56
possibility3_0_3-binUNSAT137.83
possibility1_0_2-binUNSAT138.79
possibility4_0_2-binUNSAT147.21
possibility11_0_3-binUNSAT157.04
assertion11_0_3-binUNSAT163.9
possibility2_0_2-binUNSAT164.05
possibility7_0_3-binSAT164.13
assertion2_0_3-binUNSAT164.14
assertion9_0_2-binUNSAT164.37
assertion11_0_4-binUNSAT164.59
possibility6_0_7-binUNSAT182.36
consistency_0_4-binSAT196.43
assertion6_0_4-binUNSAT199.55
possibility1_0_3-binUNSAT233.36
possibility9_0_2-binUNSAT241.47
possibility3_0_4-binUNSAT255.61
possibility12_0_2-binUNSAT301.87
possibility2_0_3-binUNSAT311.68
assertion7_0_3-binUNSAT329.02
assertion9_0_3-binUNSAT329.37
possibility7_0_4-binSAT341.65
possibility11_0_4-binUNSAT343.08
possibility5_0_3-binUNSAT365.51
assertion6_0_5-binUNSAT379.77
assertion2_0_4-binUNSAT386.02
assertion5_0_3-binUNSAT404.67
possibility4_0_3-binUNSAT406.95
assertion7_0_4-binUNSAT408.15
assertion11_0_6-binUNSAT429.47
possibility3_0_5-binUNSAT430.87
possibility10_0_4-binUNSAT431.05
possibility8_0_3-binUNSAT437.38
consistency_0_5-binSAT441.31
assertion8_0_2-binUNSAT453.08
assertion11_0_5-binUNSAT458.31
assertion4_0_3-binUNSAT464.99
possibility9_0_3-binUNSAT467.74
possibility6_0_8-binUNSAT473.65
possibility2_0_4-binUNSAT498.4
possibility1_0_4-binUNSAT526.69
assertion3_0_3-binUNSAT534.61
assertion12_0_3-binUNSAT534.98
assertion9_0_4-binUNSAT547.38
assertion7_0_5-binUNSAT554.47
possibility7_0_5-binSAT574.47
assertion2_0_5-binUNSAT590.32
assertion6_0_6-binUNSAT638.58
possibility7_0_6-binSAT665.16
consistency_0_6-binSAT686.1
possibility10_0_5-binUNSAT700.05
consistency_0_7-binSAT817.59
possibility3_0_6-binUNSAT826.62
assertion11_0_7-binUNSAT844.37
possibility11_0_5-binUNSAT855.79
assertion5_0_4-binUNSAT878.4
possibility8_0_4-binUNSAT908.76
possibility1_0_5-binUNSAT926.33
possibility2_0_5-binUNSAT985.28
possibility5_0_4-binUNSAT992.89
possibility4_0_4-binUNSAT993.52
assertion12_0_4-binUNSAT998.86
assertion9_0_5-binUNSAT1033.02
possibility10_0_6-binUNSAT1046.16
assertion2_0_6-binUNSAT1053.93
possibility5_0_6-binUNSAT1083.26
possibility3_0_7-binUNSAT1087.52
assertion3_0_4-binUNSAT1096.13
possibility7_0_7-binSAT1100.57
possibility12_0_3-binFAIL1201.04
possibility9_0_5-binFAIL1201.05
possibility12_0_5-binFAIL1201.05
possibility8_0_5-binFAIL1201.06
possibility4_0_5-binFAIL1201.06
assertion4_0_5-binFAIL1201.06
assertion12_0_5-binFAIL1201.06
possibility11_0_7-binFAIL1201.06
assertion12_0_6-binFAIL1201.06
possibility8_0_6-binFAIL1201.06
assertion5_0_5-binFAIL1201.06
assertion7_0_6-binFAIL1201.06
possibility9_0_6-binFAIL1201.06
possibility9_0_4-binFAIL1201.06
assertion6_0_8-binFAIL1201.07
possibility12_0_7-binFAIL1201.07
assertion3_0_8-binFAIL1201.07
possibility9_0_7-binFAIL1201.07
assertion6_0_7-binFAIL1201.07
assertion3_0_5-binFAIL1201.07
assertion4_0_6-binFAIL1201.07
assertion9_0_6-binFAIL1201.07
possibility4_0_6-binFAIL1201.07
assertion8_0_5-binFAIL1201.07
assertion5_0_6-binFAIL1201.07
assertion4_0_4-binFAIL1201.07
assertion9_0_7-binFAIL1201.07
possibility12_0_4-binFAIL1201.07
assertion10_0_7-binFAIL1201.07
assertion3_0_6-binFAIL1201.07
possibility5_0_5-binFAIL1201.07
possibility11_0_6-binFAIL1201.07
assertion10_0_6-binFAIL1201.07
assertion9_0_8-binFAIL1201.07
assertion12_0_7-binFAIL1201.07
possibility10_0_7-binFAIL1201.07
possibility1_0_6-binFAIL1201.07
assertion1_0_6-binFAIL1201.07
possibility4_0_10-binFAIL1201.08
assertion4_0_8-binFAIL1201.08
consistency_0_9-binFAIL1201.08
possibility1_0_7-binFAIL1201.08
possibility11_0_8-binFAIL1201.08
possibility7_0_10-binFAIL1201.08
assertion11_0_8-binFAIL1201.08
possibility1_0_9-binFAIL1201.08
assertion8_0_7-binFAIL1201.08
assertion5_0_9-binFAIL1201.08
possibility11_0_9-binFAIL1201.08
possibility1_0_10-binFAIL1201.08
possibility6_0_10-binFAIL1201.08
possibility9_0_9-binFAIL1201.08
possibility5_0_10-binFAIL1201.08
assertion3_0_7-binFAIL1201.08
assertion8_0_6-binFAIL1201.08
assertion1_0_8-binFAIL1201.08
possibility10_0_10-binFAIL1201.08
possibility9_0_8-binFAIL1201.08
assertion1_0_7-binFAIL1201.08
assertion5_0_10-binFAIL1201.08
possibility5_0_9-binFAIL1201.08
assertion2_0_8-binFAIL1201.08
assertion6_0_10-binFAIL1201.08
assertion7_0_9-binFAIL1201.08
possibility12_0_8-binFAIL1201.08
possibility12_0_6-binFAIL1201.08
possibility2_0_9-binFAIL1201.08
assertion8_0_4-binFAIL1201.08
assertion8_0_3-binFAIL1201.08
assertion1_0_9-binFAIL1201.08
possibility10_0_9-binFAIL1201.08
possibility10_0_8-binFAIL1201.08
assertion10_0_8-binFAIL1201.08
possibility8_0_7-binFAIL1201.08
possibility8_0_8-binFAIL1201.08
possibility8_0_9-binFAIL1201.08
possibility7_0_8-binFAIL1201.08
assertion12_0_10-binFAIL1201.08
assertion1_0_5-binFAIL1201.08
assertion8_0_9-binFAIL1201.08
assertion6_0_9-binFAIL1201.08
possibility12_0_10-binFAIL1201.08
possibility3_0_10-binFAIL1201.08
possibility6_0_9-binFAIL1201.08
possibility12_0_9-binFAIL1201.08
assertion8_0_10-binFAIL1201.08
possibility5_0_7-binFAIL1201.08
assertion11_0_10-binFAIL1201.08
assertion9_0_9-binFAIL1201.08
possibility5_0_8-binFAIL1201.08
assertion10_0_5-binFAIL1201.08
possibility11_0_10-binFAIL1201.08
assertion5_0_7-binFAIL1201.08
possibility9_0_10-binFAIL1201.08
consistency_0_8-binFAIL1201.08
possibility7_0_9-binFAIL1201.08
assertion4_0_7-binFAIL1201.08
assertion12_0_9-binFAIL1201.08
assertion10_0_4-binFAIL1201.08
possibility2_0_10-binFAIL1201.08
possibility2_0_7-binFAIL1201.08
consistency_0_10-binFAIL1201.08
assertion4_0_10-binFAIL1201.08
possibility1_0_8-binFAIL1201.08
assertion11_0_9-binFAIL1201.09
assertion1_0_3-binFAIL1201.09
possibility3_0_9-binFAIL1201.09
possibility8_0_10-binFAIL1201.09
possibility3_0_8-binFAIL1201.09
assertion2_0_7-binFAIL1201.09
assertion1_0_10-binFAIL1201.09
assertion4_0_9-binFAIL1201.09
possibility2_0_8-binFAIL1201.09
assertion3_0_10-binFAIL1201.09
assertion12_0_8-binFAIL1201.09
assertion9_0_10-binFAIL1201.09
assertion3_0_9-binFAIL1201.09
assertion8_0_8-binFAIL1201.09
assertion10_0_9-binFAIL1201.09
assertion2_0_9-binFAIL1201.09
assertion5_0_8-binFAIL1201.09
possibility2_0_6-binFAIL1201.09
assertion10_0_2-binFAIL1201.09
assertion7_0_8-binFAIL1201.09
assertion7_0_7-binFAIL1201.09
possibility4_0_9-binFAIL1201.09
assertion2_0_10-binFAIL1201.09
assertion7_0_10-binFAIL1201.09
assertion10_0_3-binFAIL1201.09
assertion10_0_10-binFAIL1201.09
possibility4_0_8-binFAIL1201.1
possibility4_0_7-binFAIL1201.1
assertion1_0_2-binFAIL1201.11
assertion1_0_4-binFAIL1201.11