Sota solver results for family QLTL_safety <br> QBFEVAL'16

Sota solver results for family QLTL_safety
QBFEVAL'16 - Prenex non-CNF Track.

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family QLTL_safety
QBFEVAL'16 - Prenex non-CNF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family QLTL_safety QBFEVAL'16 - Prenex non-CNF Track.

Sota solver results for family QLTL_safety
QBFEVAL'16 - Prenex non-CNF Track.