Sota solver results for family QLTL_safety
QBFEVAL'10 - Non-prenex Non-CNF Track.


InstanceSolverResultTime
assertion10_0_1-binCirQit2.1UNSAT61.44
assertion11_0_1-binqproUNSAT0.03
assertion11_0_2-binCirQit2.1UNSAT23.84
assertion11_0_3-binCirQit2.1UNSAT163.9
assertion11_0_4-binCirQit2.1UNSAT164.59
assertion11_0_5-binCirQit2.1UNSAT458.31
assertion11_0_6-binCirQit2.1UNSAT429.47
assertion11_0_7-binCirQit2.1UNSAT844.37
assertion12_0_1-binqproUNSAT0.05
assertion12_0_2-binCirQit2.1UNSAT115.3
assertion12_0_3-binCirQit2.1UNSAT534.98
assertion12_0_4-binCirQit2.1UNSAT998.86
assertion1_0_1-binCirQit2.1UNSAT57.5
assertion2_0_1-binCirQit2.1UNSAT13.49
assertion2_0_2-binCirQit2.1UNSAT39.96
assertion2_0_3-binCirQit2.1UNSAT164.14
assertion2_0_4-binCirQit2.1UNSAT386.02
assertion2_0_5-binCirQit2.1UNSAT590.32
assertion2_0_6-binCirQit2.1UNSAT1053.93
assertion3_0_1-binCirQit2.1UNSAT5.21
assertion3_0_2-binCirQit2.1UNSAT125.49
assertion3_0_3-binCirQit2.1UNSAT534.61
assertion3_0_4-binCirQit2.1UNSAT1096.13
assertion4_0_1-binCirQit2.1UNSAT7.36
assertion4_0_2-binCirQit2.1UNSAT80.93
assertion4_0_3-binCirQit2.1UNSAT464.99
assertion5_0_1-binCirQit2.1UNSAT0.05
assertion5_0_2-binCirQit2.1UNSAT136.63
assertion5_0_3-binCirQit2.1UNSAT404.67
assertion5_0_4-binCirQit2.1UNSAT878.4
assertion6_0_1-binCirQit2.1UNSAT0.74
assertion6_0_2-binCirQit2.1UNSAT84.61
assertion6_0_3-binCirQit2.1UNSAT126.04
assertion6_0_4-binCirQit2.1UNSAT199.55
assertion6_0_5-binCirQit2.1UNSAT379.77
assertion6_0_6-binCirQit2.1UNSAT638.58
assertion7_0_1-binCirQit2.1UNSAT9.6
assertion7_0_2-binCirQit2.1UNSAT88.36
assertion7_0_3-binCirQit2.1UNSAT329.02
assertion7_0_4-binCirQit2.1UNSAT408.15
assertion7_0_5-binCirQit2.1UNSAT554.47
assertion8_0_1-binCirQit2.1UNSAT61.03
assertion8_0_2-binCirQit2.1UNSAT453.08
assertion9_0_1-binCirQit2.1UNSAT47.01
assertion9_0_2-binCirQit2.1UNSAT164.37
assertion9_0_3-binCirQit2.1UNSAT329.37
assertion9_0_4-binCirQit2.1UNSAT547.38
assertion9_0_5-binCirQit2.1UNSAT1033.02
consistency_0_1-binCirQit2.1SAT10.33
consistency_0_2-binCirQit2.1SAT52.73
consistency_0_3-binCirQit2.1SAT95.49
consistency_0_4-binCirQit2.1SAT196.43
consistency_0_5-binCirQit2.1SAT441.31
consistency_0_6-binCirQit2.1SAT686.1
consistency_0_7-binCirQit2.1SAT817.59
possibility10_0_1-binCirQit2.1UNSAT3.84
possibility10_0_2-binCirQit2.1UNSAT39.38
possibility10_0_3-binCirQit2.1UNSAT137.56
possibility10_0_4-binCirQit2.1UNSAT431.05
possibility10_0_5-binCirQit2.1UNSAT700.05
possibility10_0_6-binCirQit2.1UNSAT1046.16
possibility11_0_1-binCirQit2.1UNSAT5.51
possibility11_0_2-binCirQit2.1UNSAT48.8
possibility11_0_3-binCirQit2.1UNSAT157.04
possibility11_0_4-binCirQit2.1UNSAT343.08
possibility11_0_5-binCirQit2.1UNSAT855.79
possibility12_0_1-binCirQit2.1UNSAT21.96
possibility12_0_2-binCirQit2.1UNSAT301.87
possibility1_0_1-binCirQit2.1UNSAT27.81
possibility1_0_2-binCirQit2.1UNSAT138.79
possibility1_0_3-binCirQit2.1UNSAT233.36
possibility1_0_4-binCirQit2.1UNSAT526.69
possibility1_0_5-binCirQit2.1UNSAT926.33
possibility2_0_1-binCirQit2.1UNSAT45.86
possibility2_0_2-binCirQit2.1UNSAT164.05
possibility2_0_3-binCirQit2.1UNSAT311.68
possibility2_0_4-binCirQit2.1UNSAT498.4
possibility2_0_5-binCirQit2.1UNSAT985.28
possibility3_0_1-binCirQit2.1UNSAT12.85
possibility3_0_2-binCirQit2.1UNSAT44.18
possibility3_0_3-binCirQit2.1UNSAT137.83
possibility3_0_4-binCirQit2.1UNSAT255.61
possibility3_0_5-binCirQit2.1UNSAT430.87
possibility3_0_6-binCirQit2.1UNSAT826.62
possibility3_0_7-binCirQit2.1UNSAT1087.52
possibility4_0_1-binCirQit2.1UNSAT5.03
possibility4_0_2-binCirQit2.1UNSAT147.21
possibility4_0_3-binCirQit2.1UNSAT406.95
possibility4_0_4-binCirQit2.1UNSAT993.52
possibility5_0_1-binqproUNSAT4.41
possibility5_0_2-binCirQit2.1UNSAT34.8
possibility5_0_3-binCirQit2.1UNSAT365.51
possibility5_0_4-binCirQit2.1UNSAT992.89
possibility5_0_6-binCirQit2.1UNSAT1083.26
possibility6_0_1-binqproUNSAT0.06
possibility6_0_2-binCirQit2.1UNSAT1.51
possibility6_0_3-binCirQit2.1UNSAT5.9
possibility6_0_4-binCirQit2.1UNSAT14.36
possibility6_0_5-binCirQit2.1UNSAT30.28
possibility6_0_6-binCirQit2.1UNSAT77.55
possibility6_0_7-binCirQit2.1UNSAT182.36
possibility6_0_8-binCirQit2.1UNSAT473.65
possibility7_0_1-binCirQit2.1SAT8.89
possibility7_0_2-binCirQit2.1SAT41.49
possibility7_0_3-binCirQit2.1SAT164.13
possibility7_0_4-binCirQit2.1SAT341.65
possibility7_0_5-binCirQit2.1SAT574.47
possibility7_0_6-binCirQit2.1SAT665.16
possibility7_0_7-binCirQit2.1SAT1100.57
possibility8_0_1-binCirQit2.1UNSAT7.38
possibility8_0_2-binCirQit2.1UNSAT95.1
possibility8_0_3-binCirQit2.1UNSAT437.38
possibility8_0_4-binCirQit2.1UNSAT908.76
possibility9_0_1-binCirQit2.1UNSAT9.41
possibility9_0_2-binCirQit2.1UNSAT241.47
possibility9_0_3-binCirQit2.1UNSAT467.74