Sota solver results for family QLTL_safety
QBFEVAL'08 - non-prenex non-cnf track.


InstanceSolverResultTime
assertion10_0_7-binpQBFUNSAT0.31
assertion10_0_8-binpQBFUNSAT0.04
assertion11_0_1-binqproUNSAT0.7
assertion11_0_7-binpQBFUNSAT0.31
assertion11_0_8-binpQBFUNSAT0.03
assertion12_0_1-binqproUNSAT0.71
assertion12_0_7-binpQBFUNSAT0.32
assertion12_0_8-binpQBFUNSAT0.04
assertion1_0_7-binpQBFUNSAT0.37
assertion1_0_8-binpQBFUNSAT0.04
assertion2_0_7-binpQBFUNSAT0.31
assertion2_0_8-binpQBFUNSAT0.03
assertion3_0_7-binpQBFUNSAT0.32
assertion3_0_8-binpQBFUNSAT0.04
assertion4_0_7-binpQBFUNSAT0.31
assertion4_0_8-binpQBFUNSAT0.04
assertion5_0_1-binqproUNSAT0.74
assertion5_0_7-binpQBFUNSAT0.31
assertion5_0_8-binpQBFUNSAT0.04
assertion6_0_7-binpQBFUNSAT0.32
assertion6_0_8-binpQBFUNSAT0.05
assertion7_0_7-binpQBFUNSAT0.31
assertion7_0_8-binpQBFUNSAT0.04
assertion8_0_7-binpQBFUNSAT0.31
assertion8_0_8-binpQBFUNSAT0.04
assertion9_0_7-binpQBFUNSAT0.32
assertion9_0_8-binpQBFUNSAT0.04
consistency_0_7-binpQBFUNSAT0.32
consistency_0_8-binpQBFUNSAT0.04
possibility10_0_7-binpQBFUNSAT0.32
possibility10_0_8-binpQBFUNSAT0.05
possibility11_0_7-binpQBFUNSAT0.32
possibility11_0_8-binpQBFUNSAT0.04
possibility12_0_7-binpQBFUNSAT0.31
possibility12_0_8-binpQBFUNSAT0.04
possibility1_0_7-binpQBFUNSAT0.31
possibility1_0_8-binpQBFUNSAT0.04
possibility2_0_7-binpQBFUNSAT0.32
possibility2_0_8-binpQBFUNSAT0.04
possibility3_0_7-binpQBFUNSAT0.32
possibility3_0_8-binpQBFUNSAT0.04
possibility4_0_7-binpQBFUNSAT0.32
possibility4_0_8-binpQBFUNSAT0.03
possibility5_0_1-binqproUNSAT5.05
possibility5_0_2-binqproUNSAT151.92
possibility5_0_7-binpQBFUNSAT0.32
possibility5_0_8-binpQBFUNSAT0.04
possibility6_0_1-binqproUNSAT0.72
possibility6_0_7-binpQBFUNSAT0.31
possibility6_0_8-binpQBFUNSAT0.04
possibility7_0_7-binpQBFUNSAT0.31
possibility7_0_8-binpQBFUNSAT0.04
possibility8_0_7-binpQBFUNSAT0.31
possibility8_0_8-binpQBFUNSAT0.04
possibility9_0_7-binpQBFUNSAT0.31
possibility9_0_8-binpQBFUNSAT0.03