Instances of family QLTL_safety solved by <a href='solver_detail.php?solver=248'>xb-bid-qsts</a> <br> QBFEVAL'16

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

Instance	Result	Time
assertion7_0_9	SAT	0.05
assertion9_0_5	SAT	0.05
consistency_0_3	SAT	0.05
possibility1_0_10	SAT	0.05
possibility1_0_9	SAT	0.05
possibility10_0_7	SAT	0.05
possibility12_0_3	SAT	0.05
possibility2_0_10	SAT	0.05
possibility2_0_9	SAT	0.05
possibility3_0_7	SAT	0.05
possibility4_0_5	SAT	0.05
possibility5_0_3	SAT	0.05
possibility6_0_9	SAT	0.05
possibility7_0_7	SAT	0.05
assertion1_0_3	SAT	0.05
possibility8_0_5	SAT	0.05
assertion10_0_10	SAT	0.05
possibility9_0_3	SAT	0.05
assertion11_0_7	SAT	0.05
assertion12_0_5	SAT	0.05
assertion2_0_3	SAT	0.05
assertion3_0_10	SAT	0.05
assertion5_0_5	SAT	0.05
assertion6_0_3	SAT	0.05
assertion7_0_10	SAT	0.05
assertion7_0_2	SAT	0.05
assertion8_0_1	SAT	0.05
assertion8_0_8	SAT	0.05
assertion9_0_6	SAT	0.05
consistency_0_4	SAT	0.05
possibility1_0_2	SAT	0.05
possibility10_0_1	SAT	0.05
possibility10_0_8	SAT	0.05
possibility11_0_6	SAT	0.05
possibility12_0_4	SAT	0.05
possibility2_0_2	SAT	0.05
possibility3_0_1	SAT	0.05
possibility4_0_6	SAT	0.05
possibility6_0_2	SAT	0.05
possibility7_0_1	SAT	0.05
possibility7_0_8	SAT	0.05
possibility8_0_6	SAT	0.05
possibility9_0_4	SAT	0.05
assertion11_0_8	SAT	0.05
assertion3_0_2	SAT	0.05
assertion4_0_1	SAT	0.05
assertion4_0_8	SAT	0.05
assertion6_0_4	SAT	0.05
assertion7_0_3	SAT	0.05
assertion8_0_10	SAT	0.05
consistency_0_5	SAT	0.05
possibility10_0_10	SAT	0.05
possibility10_0_9	SAT	0.05
possibility11_0_7	SAT	0.05
possibility12_0_5	SAT	0.05
possibility2_0_3	SAT	0.05
possibility3_0_10	SAT	0.05
possibility3_0_9	SAT	0.05
possibility4_0_7	SAT	0.05
possibility6_0_3	SAT	0.05
possibility7_0_9	SAT	0.05
assertion1_0_5	SAT	0.05
possibility8_0_7	SAT	0.05
assertion10_0_3	SAT	0.05
possibility9_0_5	SAT	0.05
assertion11_0_10	SAT	0.05
assertion12_0_7	SAT	0.05
assertion2_0_5	SAT	0.05
assertion3_0_3	SAT	0.05
assertion4_0_10	SAT	0.05
assertion6_0_5	SAT	0.05
assertion8_0_2	SAT	0.05
assertion9_0_1	SAT	0.05
assertion9_0_8	SAT	0.05
consistency_0_6	SAT	0.05
possibility1_0_4	SAT	0.05
possibility10_0_2	SAT	0.05
possibility11_0_1	SAT	0.05
possibility12_0_6	SAT	0.05
possibility2_0_4	SAT	0.05
possibility3_0_2	SAT	0.05
possibility4_0_1	SAT	0.05
possibility4_0_8	SAT	0.05
possibility6_0_4	SAT	0.05
possibility8_0_1	SAT	0.05
assertion1_0_6	SAT	0.05
assertion10_0_4	SAT	0.05
possibility9_0_6	SAT	0.05
assertion11_0_2	SAT	0.05
assertion12_0_1	SAT	0.05
assertion12_0_8	SAT	0.05
assertion3_0_4	SAT	0.05
assertion4_0_2	SAT	0.05
assertion5_0_8	SAT	0.05
assertion7_0_5	SAT	0.05
assertion8_0_3	SAT	0.05
assertion9_0_9	SAT	0.05
consistency_0_7	SAT	0.05
possibility10_0_3	SAT	0.05
possibility11_0_10	SAT	0.05
possibility2_0_5	SAT	0.05
possibility4_0_10	SAT	0.05
possibility4_0_9	SAT	0.05
possibility6_0_5	SAT	0.05
possibility7_0_3	SAT	0.05
possibility8_0_10	SAT	0.05
assertion1_0_7	SAT	0.05
possibility8_0_9	SAT	0.05
assertion10_0_5	SAT	0.05
possibility9_0_7	SAT	0.05
assertion11_0_3	SAT	0.05
assertion12_0_10	SAT	0.05
assertion12_0_9	SAT	0.05
assertion2_0_7	SAT	0.05
assertion3_0_5	SAT	0.05
assertion4_0_3	SAT	0.05
assertion5_0_10	SAT	0.05
assertion5_0_9	SAT	0.05
assertion6_0_7	SAT	0.05
assertion8_0_4	SAT	0.05
assertion9_0_2	SAT	0.05
consistency_0_1	SAT	0.05
consistency_0_8	SAT	0.05
possibility1_0_6	SAT	0.05
possibility10_0_4	SAT	0.05
possibility11_0_2	SAT	0.05
possibility12_0_1	SAT	0.05
possibility12_0_8	SAT	0.05
possibility2_0_6	SAT	0.05
possibility3_0_4	SAT	0.05
possibility4_0_2	SAT	0.05
possibility5_0_1	SAT	0.05
possibility5_0_8	SAT	0.05
possibility6_0_6	SAT	0.05
possibility7_0_4	SAT	0.05
assertion1_0_1	SAT	0.05
possibility8_0_2	SAT	0.05
possibility9_0_1	SAT	0.05
assertion10_0_6	SAT	0.05
possibility9_0_8	SAT	0.05
assertion12_0_2	SAT	0.05
assertion2_0_1	SAT	0.05
assertion2_0_8	SAT	0.05
assertion3_0_6	SAT	0.05
assertion4_0_4	SAT	0.05
assertion5_0_2	SAT	0.05
assertion6_0_1	SAT	0.05
assertion6_0_8	SAT	0.05
assertion8_0_5	SAT	0.05
assertion9_0_3	SAT	0.05
consistency_0_10	SAT	0.05
consistency_0_9	SAT	0.05
possibility1_0_7	SAT	0.05
possibility10_0_5	SAT	0.05
possibility12_0_9	SAT	0.05
possibility2_0_7	SAT	0.05
possibility3_0_5	SAT	0.05
possibility4_0_3	SAT	0.05
possibility5_0_10	SAT	0.05
possibility5_0_9	SAT	0.05
possibility6_0_7	SAT	0.05
possibility7_0_5	SAT	0.05
assertion1_0_10	SAT	0.05
possibility8_0_3	SAT	0.05
possibility9_0_10	SAT	0.05
assertion10_0_7	SAT	0.05
possibility9_0_9	SAT	0.05
assertion11_0_5	SAT	0.05
assertion2_0_9	SAT	0.05
assertion3_0_7	SAT	0.05
assertion4_0_5	SAT	0.05
assertion5_0_3	SAT	0.05
assertion6_0_10	SAT	0.05
assertion6_0_9	SAT	0.05
assertion7_0_8	SAT	0.05
assertion9_0_4	SAT	0.05
consistency_0_2	SAT	0.05
possibility1_0_1	SAT	0.05
possibility1_0_8	SAT	0.05
possibility10_0_6	SAT	0.05
possibility11_0_4	SAT	0.05
possibility12_0_2	SAT	0.05
possibility2_0_1	SAT	0.05
possibility2_0_8	SAT	0.05
possibility4_0_4	SAT	0.05
possibility5_0_2	SAT	0.05
possibility6_0_1	SAT	0.05
possibility7_0_6	SAT	0.05
possibility8_0_4	SAT	0.05
assertion10_0_1	SAT	0.05
possibility9_0_2	SAT	0.05
assertion10_0_8	SAT	0.05
assertion11_0_6	SAT	0.05
assertion3_0_8	SAT	0.05
assertion4_0_6	SAT	0.05
assertion5_0_4	SAT	0.05
assertion6_0_2	SAT	0.05
assertion7_0_1	SAT	0.05
possibility11_0_5	SAT	0.06
possibility6_0_10	SAT	0.06
assertion10_0_9	SAT	0.06
assertion3_0_9	SAT	0.06
assertion4_0_7	SAT	0.06
assertion12_0_6	SAT	0.06
assertion5_0_7	SAT	0.06
possibility11_0_8	SAT	0.06
possibility5_0_6	SAT	0.06
possibility5_0_7	SAT	0.06
assertion7_0_6	SAT	0.06
assertion1_0_2	SAT	0.06
assertion3_0_1	SAT	0.06
assertion8_0_7	SAT	0.07
assertion5_0_6	SAT	0.07
assertion12_0_3	SAT	0.07
assertion8_0_6	SAT	0.07
assertion8_0_9	SAT	0.08
assertion9_0_10	SAT	0.08
assertion11_0_4	SAT	0.08
assertion11_0_1	SAT	0.09
assertion6_0_6	SAT	0.09
assertion11_0_9	SAT	0.11
possibility3_0_8	SAT	0.2
assertion1_0_9	SAT	0.22
assertion2_0_10	SAT	0.26
assertion5_0_1	SAT	0.3
assertion2_0_4	SAT	0.31
possibility8_0_8	SAT	0.31
possibility3_0_6	SAT	0.32
possibility12_0_10	SAT	0.33
assertion12_0_4	SAT	0.33
assertion1_0_8	SAT	0.34
assertion7_0_4	SAT	0.36
assertion7_0_7	SAT	0.36
possibility7_0_2	SAT	0.37
assertion2_0_2	SAT	0.37
assertion9_0_7	SAT	0.39
possibility1_0_5	SAT	0.39
possibility3_0_3	SAT	0.39
possibility12_0_7	SAT	0.42
possibility11_0_9	SAT	0.44
assertion2_0_6	SAT	0.47
possibility5_0_5	SAT	0.49
assertion1_0_4	SAT	0.52
possibility1_0_3	SAT	0.53
possibility7_0_10	SAT	0.55
possibility11_0_3	SAT	0.55
assertion10_0_2	SAT	0.64
assertion4_0_9	SAT	0.64
possibility6_0_8	SAT	0.66
possibility5_0_4	SAT	0.8

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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