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

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