Instances of family QLTL_safety solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
possibility1_0_5FAIL8.13
possibility6_0_5FAIL8.13
possibility10_0_5FAIL8.13
possibility4_0_5FAIL8.13
assertion1_0_5FAIL8.23
possibility2_0_5FAIL8.23
assertion4_0_5FAIL8.23
assertion12_0_5FAIL8.23
assertion5_0_5FAIL8.23
assertion3_0_5FAIL8.33
assertion11_0_5FAIL8.33
assertion9_0_5FAIL8.33
possibility12_0_5FAIL8.43
assertion2_0_5FAIL8.43
assertion7_0_5FAIL8.43
assertion8_0_5FAIL8.43
possibility3_0_5FAIL8.43
possibility7_0_5FAIL8.54
consistency_0_5FAIL8.61
possibility5_0_5FAIL8.61
possibility8_0_5FAIL8.64
assertion6_0_5FAIL8.67
possibility9_0_5FAIL8.69
assertion10_0_5FAIL9.13
possibility11_0_5FAIL9.27
possibility7_0_6FAIL12.23
possibility1_0_6FAIL12.33
assertion4_0_6FAIL12.33
possibility2_0_6FAIL12.43
possibility10_0_6FAIL12.43
possibility11_0_6FAIL12.43
possibility4_0_6FAIL12.43
assertion9_0_6FAIL12.44
consistency_0_6FAIL12.53
possibility5_0_6FAIL12.53
assertion1_0_6FAIL12.53
assertion2_0_6FAIL12.53
assertion6_0_6FAIL12.53
possibility6_0_6FAIL12.53
assertion10_0_6FAIL12.53
possibility12_0_6FAIL12.63
assertion8_0_6FAIL12.63
possibility3_0_6FAIL12.63
assertion3_0_6FAIL12.73
assertion5_0_6FAIL12.73
assertion11_0_6FAIL12.83
possibility8_0_6FAIL12.83
assertion7_0_6FAIL12.94
possibility9_0_6FAIL13.04
assertion12_0_6FAIL13.04
possibility4_0_7FAIL18.23
assertion1_0_7FAIL18.23
assertion4_0_7FAIL18.23
possibility10_0_7FAIL18.33
possibility5_0_7FAIL18.44
assertion6_0_7FAIL18.44
assertion3_0_7FAIL18.44
consistency_0_7FAIL18.47
possibility1_0_7FAIL18.48
assertion11_0_7FAIL18.51
assertion12_0_7FAIL18.54
assertion7_0_7FAIL18.54
possibility7_0_7FAIL18.54
possibility6_0_7FAIL18.61
possibility2_0_7FAIL18.62
possibility12_0_7FAIL18.63
assertion5_0_7FAIL18.67
assertion2_0_7FAIL18.7
possibility11_0_7FAIL18.71
possibility9_0_7FAIL18.83
assertion9_0_7FAIL18.84
assertion10_0_7FAIL18.93
assertion8_0_7FAIL19.03
possibility8_0_7FAIL19.13
possibility3_0_7FAIL22.93
consistency_0_8FAIL25.93
possibility7_0_8FAIL25.93
assertion12_0_8FAIL26.03
assertion2_0_8FAIL26.03
possibility6_0_8FAIL26.03
possibility5_0_8FAIL26.13
assertion5_0_8FAIL26.14
assertion10_0_8FAIL26.14
assertion11_0_8FAIL26.14
assertion9_0_8FAIL26.24
assertion4_0_8FAIL26.24
assertion6_0_8FAIL26.33
assertion3_0_8FAIL26.33
assertion7_0_8FAIL26.34
possibility11_0_8FAIL26.48
possibility3_0_8FAIL26.54
possibility10_0_8FAIL26.73
possibility9_0_8FAIL26.93
possibility1_0_8FAIL26.93
possibility2_0_8FAIL27.03
possibility12_0_8FAIL27.13
assertion1_0_8FAIL27.13
assertion8_0_8FAIL27.34
possibility8_0_8FAIL27.43
possibility4_0_8FAIL29.75
consistency_0_9FAIL36.23
possibility11_0_9FAIL36.31
possibility1_0_9FAIL36.43
possibility2_0_9FAIL36.43
possibility6_0_9FAIL36.43
assertion11_0_9FAIL36.46
possibility7_0_9FAIL36.53
possibility4_0_9FAIL36.63
assertion12_0_9FAIL36.63
assertion2_0_9FAIL36.63
possibility10_0_9FAIL36.68
possibility3_0_9FAIL36.73
possibility5_0_9FAIL36.73
assertion10_0_9FAIL36.73
assertion4_0_9FAIL36.83
assertion3_0_9FAIL36.93
assertion8_0_9FAIL37.14
assertion6_0_9FAIL37.24
possibility12_0_9FAIL37.33
possibility9_0_9FAIL37.73
assertion9_0_9FAIL37.83
assertion5_0_9FAIL37.83
assertion7_0_9FAIL38.34
possibility8_0_9FAIL38.53
assertion1_0_9FAIL40.45
possibility1_0_10FAIL47.83
possibility9_0_10FAIL48.93
assertion11_0_10FAIL49.18
assertion8_0_10FAIL49.93
possibility10_0_10FAIL49.93
assertion12_0_10FAIL50.03
possibility2_0_10FAIL50.03
assertion3_0_10FAIL50.03
possibility4_0_10FAIL50.13
possibility5_0_10FAIL50.13
assertion2_0_10FAIL50.13
possibility6_0_10FAIL50.13
assertion4_0_10FAIL50.23
possibility11_0_10FAIL50.23
assertion5_0_10FAIL50.23
assertion1_0_10FAIL50.23
possibility7_0_10FAIL50.34
assertion7_0_10FAIL50.34
assertion10_0_10FAIL50.34
assertion6_0_10FAIL50.77
possibility12_0_10FAIL51.44
possibility3_0_10FAIL51.45
consistency_0_10FAIL51.54
possibility8_0_10FAIL52.93
possibility2_0_4FAIL214.93
possibility8_0_4FAIL221.43
possibility3_0_4FAIL222.33
assertion6_0_4FAIL229.83
assertion12_0_4FAIL230.03
possibility11_0_4FAIL231.33
assertion9_0_4FAIL234.14
consistency_0_4FAIL248.53
possibility9_0_4FAIL293.54
possibility10_0_4FAIL293.93
possibility5_0_4FAIL306.93
assertion1_0_4FAIL308.13
possibility4_0_4FAIL308.73
possibility12_0_4FAIL309.94
assertion5_0_4FAIL313.35
possibility6_0_4FAIL314.54
assertion8_0_4FAIL316.93
assertion7_0_4FAIL327.23
assertion4_0_4FAIL327.64
possibility7_0_4FAIL330.03
possibility1_0_4FAIL335.63
assertion2_0_4FAIL340.84
assertion3_0_4FAIL344.73
assertion11_0_4FAIL353.43
assertion10_0_4FAIL367.03
assertion8_0_3FAIL433.14
assertion11_0_3FAIL437.74
assertion12_0_3FAIL441.13
assertion10_0_3FAIL443.33
consistency_0_3FAIL445.83
possibility11_0_3FAIL448.03
possibility6_0_3FAIL454.43
assertion6_0_3FAIL455.93
assertion2_0_3FAIL458.13
possibility9_0_3FAIL464.53
assertion9_0_3FAIL465.23
possibility8_0_3FAIL468.44
assertion5_0_3FAIL471.33
assertion7_0_3FAIL487.73
possibility12_0_3FAIL493.74
possibility10_0_3FAIL530.53
possibility4_0_3FAIL548.53
possibility7_0_3FAIL561.83
possibility2_0_3FAIL561.94
possibility1_0_3FAIL562.03
assertion4_0_3FAIL570.74
assertion3_0_3FAIL570.83
assertion8_0_2FAIL585.33
possibility10_0_2FAIL585.63
possibility5_0_3FAIL597.13
possibility3_0_3FAIL599.61
possibility4_0_2FAIL599.61
assertion1_0_3FAIL599.62
assertion9_0_1FAIL599.71
possibility4_0_1FAIL599.71
possibility7_0_2FAIL599.71
possibility8_0_1FAIL599.71
assertion11_0_2FAIL599.71
assertion4_0_2FAIL599.71
possibility12_0_1FAIL599.71
assertion1_0_1FAIL599.71
possibility8_0_2FAIL599.71
possibility9_0_1FAIL599.71
assertion12_0_2FAIL599.71
assertion2_0_1FAIL599.71
assertion5_0_2FAIL599.71
assertion6_0_1FAIL599.71
consistency_0_2FAIL599.71
possibility1_0_1FAIL599.71
possibility12_0_2FAIL599.71
possibility2_0_1FAIL599.71
possibility6_0_1FAIL599.71
assertion1_0_2FAIL599.71
assertion10_0_1FAIL599.71
possibility9_0_2FAIL599.71
assertion2_0_2FAIL599.71
assertion3_0_1FAIL599.71
assertion6_0_2FAIL599.71
assertion7_0_2FAIL599.71
possibility3_0_1FAIL599.71
possibility6_0_2FAIL599.71
possibility7_0_1FAIL599.71
assertion10_0_2FAIL599.71
assertion11_0_1FAIL599.71
assertion3_0_2FAIL599.71
assertion4_0_1FAIL599.71
possibility3_0_2FAIL599.72
assertion7_0_1FAIL599.72
possibility5_0_2FAIL599.72
assertion8_0_1FAIL599.72
possibility1_0_2FAIL599.72
possibility11_0_1FAIL599.81
consistency_0_1FAIL599.81
possibility5_0_1FAIL599.81
possibility2_0_2FAIL599.81
assertion5_0_1FAIL599.82
assertion9_0_10FAIL600
possibility11_0_2FAIL600.16
assertion12_0_1FAIL600.93
possibility10_0_1FAIL601.12
assertion9_0_2FAIL601.15