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

InstanceResultTime
assertion11_0_1UNSAT3.85
assertion12_0_1UNSAT3.92
assertion5_0_1UNSAT4.96
assertion7_0_1UNSAT7.48
assertion6_0_1UNSAT7.98
possibility6_0_2FAIL21.32
possibility11_0_2FAIL21.33
possibility4_0_2FAIL21.33
possibility7_0_2FAIL21.43
possibility3_0_2FAIL21.43
consistency_0_2FAIL21.43
possibility1_0_2FAIL21.43
assertion11_0_2FAIL21.52
possibility9_0_2FAIL21.53
assertion3_0_2FAIL21.53
possibility8_0_2FAIL21.63
assertion6_0_2FAIL21.63
assertion7_0_2FAIL21.63
assertion8_0_2FAIL21.74
possibility10_0_2FAIL21.74
assertion10_0_2FAIL21.74
assertion1_0_2FAIL21.84
possibility12_0_2FAIL21.84
possibility2_0_2FAIL21.84
assertion12_0_2FAIL22.03
assertion5_0_2FAIL22.03
assertion9_0_2FAIL22.03
possibility5_0_2FAIL22.03
assertion4_0_2FAIL22.13
assertion2_0_2FAIL22.13
possibility8_0_3FAIL40.94
consistency_0_3FAIL41.03
possibility1_0_3FAIL41.13
possibility11_0_3FAIL41.22
possibility4_0_3FAIL41.23
possibility9_0_3FAIL41.23
assertion6_0_3FAIL41.23
assertion3_0_3FAIL41.23
assertion7_0_3FAIL41.23
possibility3_0_3FAIL41.32
possibility7_0_3FAIL41.33
possibility6_0_3FAIL41.43
assertion11_0_3FAIL41.54
possibility2_0_3FAIL41.64
possibility10_0_3FAIL41.73
assertion10_0_3FAIL41.73
assertion1_0_3FAIL41.83
possibility12_0_3FAIL41.83
assertion8_0_3FAIL42.03
possibility5_0_3FAIL42.23
assertion12_0_3FAIL42.33
assertion5_0_3FAIL42.33
assertion9_0_3FAIL42.33
assertion2_0_3FAIL42.33
assertion4_0_3FAIL42.43
possibility8_0_4FAIL59.73
assertion3_0_4FAIL60.63
possibility9_0_4FAIL60.63
assertion7_0_4FAIL60.73
possibility11_0_4FAIL60.82
possibility3_0_4FAIL60.83
assertion6_0_4FAIL60.93
possibility6_0_4FAIL61.03
possibility4_0_4FAIL61.03
consistency_0_4FAIL61.03
possibility7_0_4FAIL61.13
possibility1_0_4FAIL61.23
assertion11_0_4FAIL61.34
assertion1_0_4FAIL61.34
possibility12_0_4FAIL61.44
assertion10_0_4FAIL61.63
assertion8_0_4FAIL61.72
possibility2_0_4FAIL61.82
possibility10_0_4FAIL61.93
possibility5_0_4FAIL62.23
assertion9_0_4FAIL62.32
assertion2_0_4FAIL62.33
assertion12_0_4FAIL62.44
assertion5_0_4FAIL62.54
assertion4_0_4FAIL62.63
possibility8_0_5FAIL80.83
possibility9_0_5FAIL81.34
assertion3_0_5FAIL81.63
possibility7_0_5FAIL81.92
possibility3_0_5FAIL81.93
possibility6_0_5FAIL82.03
possibility11_0_5FAIL82.13
possibility4_0_5FAIL82.13
assertion6_0_5FAIL82.13
assertion7_0_5FAIL82.24
possibility12_0_5FAIL82.34
consistency_0_5FAIL82.43
possibility1_0_5FAIL82.53
assertion11_0_5FAIL82.53
assertion8_0_5FAIL82.73
assertion10_0_5FAIL83.03
possibility2_0_5FAIL83.03
assertion1_0_5FAIL83.03
possibility10_0_5FAIL83.34
assertion2_0_5FAIL83.83
assertion4_0_5FAIL84.03
possibility5_0_5FAIL84.23
assertion12_0_5FAIL84.32
assertion5_0_5FAIL84.43
assertion9_0_5FAIL84.44
possibility8_0_6FAIL104.23
possibility9_0_6FAIL104.53
consistency_0_6FAIL104.63
possibility1_0_6FAIL104.63
assertion11_0_6FAIL104.63
possibility4_0_6FAIL104.83
possibility7_0_6FAIL104.93
possibility3_0_6FAIL105.03
assertion6_0_6FAIL105.23
assertion7_0_6FAIL105.23
assertion3_0_6FAIL105.26
possibility11_0_6FAIL105.48
possibility12_0_6FAIL105.93
possibility2_0_6FAIL106.03
assertion8_0_6FAIL106.13
possibility10_0_6FAIL106.22
possibility6_0_6FAIL106.23
assertion1_0_6FAIL106.32
assertion10_0_6FAIL106.33
possibility5_0_6FAIL107.64
assertion4_0_6FAIL107.83
assertion12_0_6FAIL107.83
assertion5_0_6FAIL108.03
assertion2_0_6FAIL108.15
assertion9_0_6FAIL109.23
possibility8_0_7FAIL121.43
possibility1_0_7FAIL121.63
possibility9_0_7FAIL121.73
consistency_0_7FAIL121.73
assertion11_0_7FAIL121.83
possibility4_0_7FAIL121.83
assertion7_0_7FAIL122.02
assertion6_0_7FAIL122.03
assertion3_0_7FAIL122.03
possibility11_0_7FAIL122.03
possibility6_0_7FAIL122.04
possibility3_0_7FAIL122.12
possibility7_0_7FAIL122.53
possibility12_0_7FAIL123.04
assertion8_0_7FAIL123.33
possibility2_0_7FAIL123.43
possibility10_0_7FAIL123.43
assertion1_0_7FAIL123.63
assertion10_0_7FAIL123.63
assertion2_0_7FAIL124.83
assertion4_0_7FAIL124.93
assertion12_0_7FAIL125.02
assertion5_0_7FAIL125.13
assertion9_0_7FAIL125.14
possibility5_0_7FAIL125.24
possibility8_0_8FAIL146.22
possibility12_0_8FAIL148.83
assertion8_0_8FAIL152.03
possibility9_0_8FAIL153.23
assertion3_0_8FAIL155.03
assertion7_0_8FAIL155.13
possibility3_0_8FAIL155.13
consistency_0_8FAIL155.23
possibility11_0_8FAIL155.33
assertion11_0_8FAIL155.33
assertion6_0_8FAIL155.42
possibility6_0_8FAIL155.43
possibility7_0_8FAIL155.43
possibility4_0_8FAIL155.53
possibility1_0_8FAIL155.53
assertion1_0_8FAIL156.83
assertion10_0_8FAIL157.14
possibility2_0_8FAIL157.43
possibility10_0_8FAIL157.43
possibility5_0_8FAIL159.02
assertion4_0_8FAIL159.12
assertion5_0_8FAIL159.13
assertion2_0_8FAIL159.13
assertion12_0_8FAIL159.23
assertion9_0_8FAIL159.24
possibility8_0_9FAIL168.73
possibility9_0_9FAIL170.02
assertion3_0_9FAIL170.13
assertion7_0_9FAIL170.13
possibility11_0_9FAIL170.24
possibility6_0_9FAIL170.24
possibility7_0_9FAIL170.24
possibility3_0_9FAIL170.42
assertion6_0_9FAIL170.43
possibility1_0_9FAIL170.53
possibility4_0_9FAIL170.54
consistency_0_9FAIL170.72
assertion11_0_9FAIL170.73
assertion1_0_9FAIL171.93
possibility12_0_9FAIL172.13
assertion10_0_9FAIL172.13
possibility10_0_9FAIL172.32
assertion8_0_9FAIL172.44
possibility2_0_9FAIL172.63
assertion9_0_9FAIL174.12
assertion12_0_9FAIL174.13
assertion5_0_9FAIL174.13
assertion2_0_9FAIL174.53
possibility5_0_9FAIL174.64
assertion4_0_9FAIL174.74
possibility8_0_10FAIL188.63
possibility9_0_10FAIL189.04
assertion3_0_10FAIL189.62
possibility12_0_10FAIL191.03
assertion8_0_10FAIL191.03
assertion2_0_10FAIL193.12
assertion7_0_10FAIL194.93
assertion4_0_10FAIL197.63
assertion1_0_10FAIL200.93
possibility11_0_10FAIL202.33
possibility3_0_10FAIL202.33
assertion6_0_10FAIL202.42
possibility4_0_10FAIL202.43
consistency_0_10FAIL202.43
possibility6_0_10FAIL202.53
possibility7_0_10FAIL202.63
possibility5_0_10FAIL202.73
assertion11_0_10FAIL202.85
possibility1_0_10FAIL202.93
possibility10_0_10FAIL204.03
possibility2_0_10FAIL204.13
assertion10_0_10FAIL204.63
assertion12_0_10FAIL206.64
assertion5_0_10FAIL206.73
assertion9_0_10FAIL206.74
possibility8_0_1FAIL599.71
possibility11_0_1FAIL599.71
possibility4_0_1FAIL599.71
possibility5_0_1FAIL599.71
possibility9_0_1FAIL599.71
assertion2_0_1FAIL599.71
consistency_0_1FAIL599.71
possibility12_0_1FAIL599.71
possibility6_0_1FAIL599.71
assertion10_0_1FAIL599.71
assertion3_0_1FAIL599.71
possibility1_0_1FAIL599.71
possibility2_0_1FAIL599.71
possibility7_0_1FAIL599.71
assertion4_0_1FAIL599.71
assertion8_0_1FAIL599.71
possibility10_0_1FAIL599.71
possibility3_0_1FAIL599.71
assertion9_0_1FAIL599.81
assertion1_0_1FAIL599.81