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

InstanceResultTime
assertion5_0_5SAT0.05
assertion6_0_3SAT0.05
assertion7_0_10SAT0.05
assertion7_0_9SAT0.05
assertion8_0_7SAT0.05
assertion9_0_5SAT0.05
consistency_0_3SAT0.05
possibility1_0_10SAT0.05
possibility1_0_9SAT0.05
possibility11_0_5SAT0.05
possibility12_0_3SAT0.05
possibility2_0_10SAT0.05
possibility2_0_9SAT0.05
possibility3_0_7SAT0.05
possibility4_0_5SAT0.05
possibility5_0_3SAT0.05
possibility6_0_9SAT0.05
possibility7_0_7SAT0.05
assertion1_0_3SAT0.05
possibility8_0_5SAT0.05
assertion10_0_10SAT0.05
possibility9_0_3SAT0.05
assertion10_0_9SAT0.05
assertion11_0_7SAT0.05
assertion2_0_3SAT0.05
assertion3_0_10SAT0.05
assertion4_0_8SAT0.05
assertion6_0_4SAT0.05
assertion8_0_1SAT0.05
assertion9_0_6SAT0.05
consistency_0_4SAT0.05
possibility1_0_2SAT0.05
possibility10_0_1SAT0.05
possibility10_0_8SAT0.05
possibility11_0_6SAT0.05
possibility12_0_4SAT0.05
possibility2_0_2SAT0.05
possibility3_0_1SAT0.05
possibility3_0_8SAT0.05
possibility4_0_6SAT0.05
possibility5_0_4SAT0.05
possibility6_0_2SAT0.05
possibility7_0_1SAT0.05
possibility7_0_8SAT0.05
assertion10_0_2SAT0.05
assertion11_0_1SAT0.05
assertion11_0_8SAT0.05
assertion2_0_4SAT0.05
assertion3_0_2SAT0.05
assertion4_0_1SAT0.05
assertion4_0_9SAT0.05
assertion5_0_7SAT0.05
assertion6_0_5SAT0.05
assertion7_0_3SAT0.05
assertion8_0_10SAT0.05
assertion9_0_7SAT0.05
consistency_0_5SAT0.05
possibility1_0_3SAT0.05
possibility10_0_10SAT0.05
possibility11_0_7SAT0.05
possibility12_0_5SAT0.05
possibility3_0_10SAT0.05
possibility3_0_9SAT0.05
possibility4_0_7SAT0.05
possibility5_0_5SAT0.05
possibility7_0_10SAT0.05
possibility7_0_9SAT0.05
assertion1_0_5SAT0.05
possibility8_0_7SAT0.05
assertion10_0_3SAT0.05
possibility9_0_5SAT0.05
assertion12_0_7SAT0.05
assertion2_0_5SAT0.05
assertion3_0_3SAT0.05
assertion4_0_10SAT0.05
assertion5_0_1SAT0.05
assertion5_0_8SAT0.05
assertion6_0_6SAT0.05
assertion7_0_4SAT0.05
assertion8_0_2SAT0.05
assertion9_0_1SAT0.05
assertion9_0_8SAT0.05
consistency_0_6SAT0.05
possibility10_0_2SAT0.05
possibility11_0_1SAT0.05
possibility11_0_8SAT0.05
possibility12_0_6SAT0.05
possibility2_0_4SAT0.05
possibility4_0_1SAT0.05
possibility4_0_8SAT0.05
possibility5_0_6SAT0.05
possibility6_0_4SAT0.05
possibility7_0_2SAT0.05
possibility8_0_1SAT0.05
possibility8_0_8SAT0.05
assertion10_0_4SAT0.05
possibility9_0_6SAT0.05
assertion11_0_2SAT0.05
assertion12_0_1SAT0.05
assertion12_0_8SAT0.05
assertion2_0_6SAT0.05
assertion3_0_4SAT0.05
assertion5_0_10SAT0.05
assertion5_0_9SAT0.05
assertion6_0_7SAT0.05
assertion7_0_5SAT0.05
assertion8_0_3SAT0.05
assertion9_0_10SAT0.05
assertion9_0_9SAT0.05
consistency_0_7SAT0.05
possibility1_0_5SAT0.05
possibility10_0_3SAT0.05
possibility11_0_9SAT0.05
possibility2_0_5SAT0.05
possibility4_0_10SAT0.05
possibility4_0_9SAT0.05
possibility5_0_7SAT0.05
possibility6_0_5SAT0.05
possibility8_0_10SAT0.05
assertion1_0_7SAT0.05
possibility9_0_7SAT0.05
assertion12_0_9SAT0.05
assertion2_0_7SAT0.05
assertion4_0_3SAT0.05
assertion4_0_4SAT0.05
assertion5_0_2SAT0.05
assertion6_0_1SAT0.05
assertion6_0_8SAT0.05
assertion7_0_6SAT0.05
assertion8_0_4SAT0.05
consistency_0_1SAT0.05
consistency_0_8SAT0.05
possibility1_0_6SAT0.05
possibility10_0_4SAT0.05
possibility12_0_1SAT0.05
possibility12_0_8SAT0.05
possibility2_0_6SAT0.05
possibility3_0_4SAT0.05
possibility4_0_2SAT0.05
possibility5_0_1SAT0.05
possibility5_0_8SAT0.05
possibility6_0_6SAT0.05
possibility7_0_4SAT0.05
assertion1_0_1SAT0.05
possibility8_0_2SAT0.05
possibility9_0_1SAT0.05
assertion10_0_6SAT0.05
assertion12_0_2SAT0.05
assertion2_0_1SAT0.05
assertion2_0_8SAT0.05
assertion3_0_6SAT0.05
assertion4_0_5SAT0.05
assertion7_0_7SAT0.05
assertion8_0_5SAT0.05
assertion9_0_3SAT0.05
consistency_0_10SAT0.05
consistency_0_9SAT0.05
possibility1_0_7SAT0.05
possibility10_0_5SAT0.05
possibility11_0_3SAT0.05
possibility12_0_10SAT0.05
possibility12_0_9SAT0.05
possibility3_0_5SAT0.05
possibility4_0_3SAT0.05
possibility5_0_10SAT0.05
possibility5_0_9SAT0.05
possibility6_0_7SAT0.05
possibility7_0_5SAT0.05
assertion1_0_10SAT0.05
possibility8_0_3SAT0.05
assertion1_0_9SAT0.05
assertion10_0_7SAT0.05
assertion11_0_5SAT0.05
assertion12_0_3SAT0.05
assertion2_0_10SAT0.05
assertion2_0_9SAT0.05
assertion4_0_6SAT0.05
assertion6_0_2SAT0.05
assertion7_0_8SAT0.05
assertion9_0_4SAT0.05
consistency_0_2SAT0.05
possibility1_0_1SAT0.05
possibility1_0_8SAT0.05
possibility11_0_4SAT0.05
possibility12_0_2SAT0.05
possibility2_0_8SAT0.05
possibility3_0_6SAT0.05
possibility4_0_4SAT0.05
possibility5_0_2SAT0.05
possibility6_0_1SAT0.05
possibility6_0_8SAT0.05
assertion1_0_2SAT0.05
assertion10_0_1SAT0.05
possibility9_0_2SAT0.05
assertion10_0_8SAT0.05
assertion11_0_6SAT0.05
assertion12_0_4SAT0.05
assertion2_0_2SAT0.05
assertion3_0_8SAT0.05
assertion4_0_7SAT0.06
possibility6_0_10SAT0.06
assertion8_0_8SAT0.06
assertion1_0_4SAT0.06
assertion12_0_6SAT0.06
assertion11_0_10SAT0.06
assertion11_0_9SAT0.06
assertion4_0_2SAT0.06
possibility11_0_10SAT0.06
assertion10_0_5SAT0.06
assertion12_0_10SAT0.06
possibility11_0_2SAT0.06
assertion1_0_8SAT0.06
assertion6_0_10SAT0.06
assertion5_0_4SAT0.06
assertion7_0_1SAT0.06
possibility10_0_6SAT0.06
possibility2_0_1SAT0.06
assertion5_0_6SAT0.07
assertion8_0_9SAT0.08
assertion11_0_4SAT0.09
possibility9_0_8SAT0.1
assertion8_0_6SAT0.1
assertion11_0_3SAT0.11
possibility10_0_9SAT0.12
assertion6_0_9SAT0.13
assertion9_0_2SAT0.17
assertion3_0_9SAT0.2
possibility2_0_3SAT0.22
possibility8_0_9SAT0.22
possibility9_0_10SAT0.22
possibility10_0_7SAT0.28
possibility8_0_4SAT0.28
assertion7_0_2SAT0.29
possibility9_0_4SAT0.32
assertion3_0_7SAT0.34
possibility7_0_6SAT0.36
assertion12_0_5SAT0.39
possibility8_0_6SAT0.39
assertion1_0_6SAT0.39
possibility7_0_3SAT0.39
assertion3_0_1SAT0.39
possibility2_0_7SAT0.42
possibility3_0_3SAT0.5
possibility3_0_2SAT0.51
possibility6_0_3SAT0.53
possibility9_0_9SAT0.64
possibility12_0_7SAT0.78
possibility1_0_4SAT1.04
assertion3_0_5SAT1.08
assertion5_0_3SAT1.35