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

InstanceResultTime
possibility7_0_1-binFAIL600.14
assertion4_0_1-binFAIL600.14
possibility4_0_1-binFAIL600.14
assertion6_0_1-binFAIL600.14
assertion1_0_1-binFAIL600.14
possibility5_0_1-binFAIL600.14
possibility2_0_1-binFAIL600.14
possibility6_0_1-binFAIL600.15
assertion10_0_1-binFAIL600.15
possibility10_0_1-binFAIL600.15
possibility11_0_1-binFAIL600.15
assertion8_0_1-binFAIL600.15
assertion5_0_1-binFAIL600.15
assertion7_0_1-binFAIL600.15
consistency_0_1-binFAIL600.15
possibility12_0_1-binFAIL600.15
possibility1_0_1-binFAIL600.15
assertion11_0_1-binFAIL600.15
possibility9_0_1-binFAIL600.16
assertion3_0_1-binFAIL600.16
assertion2_0_1-binFAIL600.16
assertion12_0_1-binFAIL600.16
possibility3_0_1-binFAIL600.16
possibility8_0_1-binFAIL600.16
assertion9_0_1-binFAIL600.17
possibility3_0_2-binFAIL600.3
assertion4_0_2-binFAIL600.31
assertion11_0_2-binFAIL600.31
possibility2_0_2-binFAIL600.31
possibility10_0_2-binFAIL600.31
assertion5_0_2-binFAIL600.31
possibility11_0_2-binFAIL600.31
assertion9_0_2-binFAIL600.31
possibility12_0_2-binFAIL600.31
possibility7_0_2-binFAIL600.31
possibility9_0_2-binFAIL600.31
possibility4_0_2-binFAIL600.31
possibility6_0_2-binFAIL600.31
assertion8_0_2-binFAIL600.31
assertion6_0_2-binFAIL600.31
assertion10_0_2-binFAIL600.32
assertion2_0_2-binFAIL600.32
possibility1_0_2-binFAIL600.32
consistency_0_2-binFAIL600.32
possibility5_0_2-binFAIL600.32
possibility8_0_2-binFAIL600.32
assertion1_0_2-binFAIL600.33
assertion7_0_2-binFAIL600.33
assertion12_0_2-binFAIL600.33
assertion3_0_2-binFAIL600.34
assertion10_0_3-binFAIL600.55
possibility2_0_3-binFAIL600.55
assertion4_0_3-binFAIL600.55
possibility7_0_3-binFAIL600.55
assertion3_0_3-binFAIL600.55
possibility4_0_3-binFAIL600.55
possibility6_0_3-binFAIL600.55
consistency_0_3-binFAIL600.55
possibility5_0_3-binFAIL600.55
assertion2_0_3-binFAIL600.55
possibility3_0_3-binFAIL600.55
possibility12_0_3-binFAIL600.55
assertion6_0_3-binFAIL600.56
assertion1_0_3-binFAIL600.56
assertion12_0_3-binFAIL600.56
assertion7_0_3-binFAIL600.57
assertion11_0_3-binFAIL600.57
assertion8_0_3-binFAIL600.58
possibility9_0_3-binFAIL600.58
possibility10_0_3-binFAIL600.58
possibility8_0_3-binFAIL600.58
possibility1_0_3-binFAIL600.58
assertion9_0_3-binFAIL600.59
assertion5_0_3-binFAIL600.65
possibility11_0_3-binFAIL600.65
assertion6_0_4-binFAIL600.87
assertion11_0_4-binFAIL600.87
assertion7_0_4-binFAIL600.88
possibility11_0_4-binFAIL600.88
possibility4_0_4-binFAIL600.88
assertion10_0_4-binFAIL600.88
consistency_0_4-binFAIL600.89
assertion2_0_4-binFAIL600.89
possibility8_0_4-binFAIL600.89
assertion5_0_4-binFAIL600.89
possibility7_0_4-binFAIL600.89
possibility3_0_4-binFAIL600.9
possibility9_0_4-binFAIL600.9
possibility10_0_4-binFAIL600.91
assertion4_0_4-binFAIL600.92
assertion3_0_4-binFAIL600.93
assertion12_0_4-binFAIL600.94
possibility5_0_4-binFAIL600.94
assertion1_0_4-binFAIL600.94
assertion9_0_4-binFAIL600.95
possibility12_0_4-binFAIL600.95
possibility6_0_4-binFAIL600.95
assertion8_0_4-binFAIL600.97
possibility1_0_4-binFAIL601.06
possibility2_0_4-binFAIL601.09
assertion5_0_5-binFAIL601.29
possibility2_0_5-binFAIL601.29
possibility3_0_5-binFAIL601.3
possibility1_0_5-binFAIL601.3
assertion11_0_5-binFAIL601.3
possibility4_0_5-binFAIL601.3
assertion12_0_5-binFAIL601.31
assertion4_0_5-binFAIL601.31
possibility12_0_5-binFAIL601.31
possibility11_0_5-binFAIL601.31
possibility5_0_5-binFAIL601.32
assertion9_0_5-binFAIL601.33
assertion7_0_5-binFAIL601.37
possibility10_0_5-binFAIL601.38
possibility6_0_5-binFAIL601.39
assertion1_0_5-binFAIL601.39
assertion8_0_5-binFAIL601.4
consistency_0_5-binFAIL601.41
assertion10_0_5-binFAIL601.41
assertion2_0_5-binFAIL601.42
possibility9_0_5-binFAIL601.42
assertion3_0_5-binFAIL601.61
possibility8_0_5-binFAIL601.62
possibility7_0_5-binFAIL601.67
assertion6_0_5-binFAIL601.67
assertion1_0_6-binFAIL601.81
possibility2_0_6-binFAIL601.81
assertion5_0_6-binFAIL601.81
assertion7_0_6-binFAIL601.81
assertion3_0_6-binFAIL601.81
possibility3_0_6-binFAIL601.81
assertion11_0_6-binFAIL601.82
assertion9_0_6-binFAIL601.82
possibility11_0_6-binFAIL601.82
assertion8_0_6-binFAIL601.83
assertion4_0_6-binFAIL601.83
possibility12_0_6-binFAIL601.83
possibility5_0_6-binFAIL601.87
assertion10_0_6-binFAIL601.89
assertion12_0_6-binFAIL601.89
consistency_0_6-binFAIL601.9
possibility10_0_6-binFAIL601.91
assertion2_0_6-binFAIL601.94
possibility1_0_6-binFAIL601.95
possibility4_0_6-binFAIL601.95
possibility9_0_6-binFAIL601.98
possibility8_0_6-binFAIL601.99
possibility7_0_6-binFAIL602.34
possibility6_0_6-binFAIL602.37
assertion6_0_6-binFAIL602.39
assertion1_0_7-binFAIL602.52
possibility6_0_7-binFAIL602.52
assertion3_0_7-binFAIL602.52
possibility1_0_7-binFAIL602.53
possibility7_0_7-binFAIL602.53
assertion6_0_7-binFAIL602.53
assertion8_0_7-binFAIL602.53
assertion10_0_7-binFAIL602.53
assertion4_0_7-binFAIL602.53
possibility9_0_7-binFAIL602.55
assertion7_0_7-binFAIL602.55
assertion9_0_7-binFAIL602.61
consistency_0_7-binFAIL602.67
possibility12_0_7-binFAIL602.7
possibility2_0_7-binFAIL602.71
assertion11_0_7-binFAIL602.71
possibility4_0_7-binFAIL602.73
possibility5_0_7-binFAIL602.73
possibility10_0_7-binFAIL602.73
assertion12_0_7-binFAIL602.75
assertion2_0_7-binFAIL602.78
possibility8_0_7-binFAIL602.84
possibility2_0_8-binFAIL603.35
possibility4_0_8-binFAIL603.35
assertion12_0_8-binFAIL603.35
assertion1_0_8-binFAIL603.35
assertion11_0_8-binFAIL603.35
possibility11_0_8-binFAIL603.35
assertion7_0_8-binFAIL603.36
assertion6_0_8-binFAIL603.36
assertion4_0_8-binFAIL603.37
consistency_0_8-binFAIL603.37
assertion5_0_7-binFAIL603.37
possibility11_0_7-binFAIL603.37
assertion8_0_8-binFAIL603.37
assertion2_0_8-binFAIL603.37
possibility9_0_8-binFAIL603.37
possibility3_0_7-binFAIL603.4
possibility12_0_8-binFAIL603.41
possibility6_0_8-binFAIL603.53
assertion5_0_8-binFAIL603.59
assertion9_0_8-binFAIL603.6
possibility5_0_8-binFAIL603.63
possibility1_0_8-binFAIL603.64
possibility10_0_8-binFAIL603.65
possibility7_0_8-binFAIL603.66
possibility3_0_8-binFAIL603.72
assertion10_0_8-binFAIL603.73
possibility8_0_8-binFAIL603.82
possibility3_0_9-binFAIL604.28
assertion5_0_9-binFAIL604.29
consistency_0_9-binFAIL604.29
assertion7_0_9-binFAIL604.29
possibility1_0_9-binFAIL604.29
possibility7_0_9-binFAIL604.3
possibility11_0_9-binFAIL604.31
possibility5_0_9-binFAIL604.31
assertion3_0_9-binFAIL604.31
assertion3_0_8-binFAIL604.32
assertion12_0_9-binFAIL604.32
possibility9_0_9-binFAIL604.32
possibility12_0_9-binFAIL604.51
assertion1_0_9-binFAIL604.59
possibility6_0_9-binFAIL604.59
assertion11_0_9-binFAIL604.66
possibility2_0_9-binFAIL604.66
assertion6_0_9-binFAIL604.67
assertion10_0_9-binFAIL604.67
possibility10_0_9-binFAIL604.68
possibility4_0_9-binFAIL604.68
assertion8_0_9-binFAIL604.71
possibility8_0_9-binFAIL604.75
assertion9_0_9-binFAIL604.76
assertion4_0_9-binFAIL604.85
assertion9_0_10-binFAIL605.44
assertion10_0_10-binFAIL605.44
possibility5_0_10-binFAIL605.45
assertion3_0_10-binFAIL605.46
assertion5_0_10-binFAIL605.46
possibility6_0_10-binFAIL605.46
assertion6_0_10-binFAIL605.46
possibility1_0_10-binFAIL605.46
possibility7_0_10-binFAIL605.47
possibility10_0_10-binFAIL605.47
possibility4_0_10-binFAIL605.47
assertion2_0_10-binFAIL605.5
possibility8_0_10-binFAIL605.56
assertion8_0_10-binFAIL605.7
assertion2_0_9-binFAIL605.73
possibility9_0_10-binFAIL605.83
assertion1_0_10-binFAIL605.94
possibility2_0_10-binFAIL605.94
consistency_0_10-binFAIL605.95
assertion4_0_10-binFAIL605.96
assertion11_0_10-binFAIL605.97
assertion12_0_10-binFAIL605.98
assertion7_0_10-binFAIL607.01
possibility3_0_10-binFAIL607.03
possibility12_0_10-binFAIL607.25
possibility11_0_10-binFAIL607.38