Instances of family QLTL_safety solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
assertion11_0_1UNSAT11.55
assertion12_0_1UNSAT12.42
assertion5_0_1UNSAT14.09
consistency_0_3FAIL37.93
possibility1_0_3FAIL38.03
possibility7_0_3FAIL38.12
assertion11_0_3FAIL38.13
possibility11_0_3FAIL38.13
possibility4_0_3FAIL38.13
possibility6_0_3FAIL38.13
assertion3_0_3FAIL38.23
possibility9_0_3FAIL38.24
possibility3_0_3FAIL38.34
assertion6_0_3FAIL38.34
assertion7_0_3FAIL38.34
possibility8_0_3FAIL38.53
assertion10_0_3FAIL38.63
possibility12_0_3FAIL38.82
assertion8_0_3FAIL38.83
possibility10_0_3FAIL38.83
assertion1_0_3FAIL38.92
assertion9_0_3FAIL39.22
possibility2_0_3FAIL39.22
assertion12_0_3FAIL39.23
assertion2_0_3FAIL39.34
assertion4_0_3FAIL39.44
possibility5_0_3FAIL39.44
assertion5_0_3FAIL39.71
assertion3_0_4FAIL52.22
possibility9_0_4FAIL52.23
assertion6_0_4FAIL52.23
assertion7_0_4FAIL52.23
possibility8_0_4FAIL52.33
assertion8_0_4FAIL52.93
assertion1_0_4FAIL53.23
assertion10_0_4FAIL53.31
possibility12_0_4FAIL53.33
assertion2_0_4FAIL53.73
assertion4_0_4FAIL53.74
possibility5_0_4FAIL53.74
assertion12_0_4FAIL53.83
possibility11_0_4FAIL66.53
possibility7_0_4FAIL66.63
possibility3_0_4FAIL66.63
possibility4_0_4FAIL66.63
possibility1_0_4FAIL66.63
possibility6_0_4FAIL66.63
consistency_0_4FAIL66.73
assertion11_0_4FAIL66.84
possibility10_0_4FAIL67.52
possibility2_0_4FAIL67.83
assertion5_0_4FAIL68.53
assertion9_0_4FAIL68.53
possibility11_0_5FAIL84.32
consistency_0_5FAIL84.33
possibility1_0_5FAIL84.44
possibility6_0_5FAIL84.44
possibility7_0_5FAIL84.44
assertion6_0_5FAIL84.54
assertion3_0_5FAIL84.63
possibility3_0_5FAIL84.63
assertion7_0_5FAIL84.73
assertion11_0_5FAIL84.73
possibility4_0_5FAIL84.73
possibility9_0_5FAIL85.03
possibility8_0_5FAIL85.43
possibility10_0_5FAIL85.64
assertion10_0_5FAIL85.83
possibility2_0_5FAIL85.83
assertion1_0_5FAIL85.83
possibility12_0_5FAIL85.92
assertion8_0_5FAIL86.03
assertion9_0_5FAIL87.03
assertion4_0_5FAIL87.13
possibility5_0_5FAIL87.13
assertion12_0_5FAIL87.22
assertion5_0_5FAIL87.23
assertion2_0_5FAIL87.33
possibility7_0_6FAIL92.83
assertion3_0_6FAIL92.93
assertion6_0_6FAIL92.93
possibility1_0_6FAIL93.03
possibility6_0_6FAIL93.03
possibility4_0_6FAIL93.03
possibility9_0_6FAIL93.03
consistency_0_6FAIL93.03
assertion7_0_6FAIL93.13
assertion11_0_6FAIL93.13
possibility3_0_6FAIL93.13
possibility11_0_6FAIL93.24
possibility8_0_6FAIL94.06
possibility2_0_6FAIL94.13
possibility12_0_6FAIL94.13
possibility10_0_6FAIL94.23
assertion10_0_6FAIL94.34
assertion1_0_6FAIL94.34
assertion8_0_6FAIL94.63
assertion5_0_6FAIL95.54
assertion12_0_6FAIL95.63
possibility5_0_6FAIL95.63
assertion4_0_6FAIL95.73
assertion9_0_6FAIL95.73
assertion2_0_6FAIL95.73
possibility8_0_7FAIL102.53
possibility12_0_7FAIL104.34
assertion3_0_7FAIL133.03
assertion7_0_7FAIL133.03
possibility9_0_7FAIL133.33
consistency_0_7FAIL133.43
possibility1_0_7FAIL133.43
assertion11_0_7FAIL133.43
possibility6_0_7FAIL133.52
possibility7_0_7FAIL133.52
assertion6_0_7FAIL133.53
possibility3_0_7FAIL133.63
possibility11_0_7FAIL133.63
possibility4_0_7FAIL133.63
assertion8_0_7FAIL135.24
assertion1_0_7FAIL135.33
assertion10_0_7FAIL135.33
possibility2_0_7FAIL135.33
possibility10_0_7FAIL135.33
possibility8_0_8FAIL135.43
possibility1_0_9FAIL135.92
possibility4_0_9FAIL135.93
assertion6_0_9FAIL136.03
possibility3_0_9FAIL136.13
possibility7_0_9FAIL136.14
possibility11_0_9FAIL136.42
assertion3_0_9FAIL136.42
possibility6_0_9FAIL136.43
possibility9_0_9FAIL136.53
consistency_0_9FAIL136.53
assertion7_0_9FAIL136.53
assertion11_0_9FAIL136.53
possibility5_0_7FAIL136.63
assertion2_0_7FAIL136.73
assertion12_0_7FAIL136.82
assertion4_0_7FAIL136.93
assertion9_0_7FAIL136.93
assertion5_0_7FAIL137.03
possibility8_0_9FAIL137.23
assertion10_0_9FAIL137.83
assertion1_0_9FAIL137.93
possibility10_0_9FAIL138.12
possibility2_0_9FAIL138.23
possibility12_0_9FAIL138.53
assertion8_0_9FAIL138.53
assertion9_0_9FAIL139.54
possibility5_0_9FAIL139.54
assertion12_0_9FAIL139.63
assertion2_0_9FAIL139.63
assertion5_0_9FAIL139.73
assertion4_0_9FAIL139.82
possibility9_0_8FAIL141.23
consistency_0_8FAIL141.43
possibility1_0_8FAIL141.43
assertion11_0_8FAIL141.43
possibility11_0_8FAIL141.74
possibility4_0_8FAIL141.74
assertion6_0_8FAIL142.03
assertion3_0_8FAIL142.03
possibility6_0_8FAIL142.22
possibility7_0_8FAIL142.23
assertion7_0_8FAIL142.33
possibility3_0_8FAIL142.53
assertion8_0_8FAIL143.22
possibility10_0_8FAIL143.43
assertion1_0_8FAIL143.53
possibility12_0_8FAIL143.63
possibility2_0_8FAIL143.73
assertion10_0_8FAIL143.83
possibility5_0_8FAIL145.43
assertion5_0_8FAIL145.53
assertion2_0_8FAIL145.73
assertion12_0_8FAIL145.73
assertion9_0_8FAIL145.93
assertion4_0_8FAIL146.13
consistency_0_10FAIL176.84
possibility1_0_10FAIL176.94
possibility11_0_10FAIL177.03
assertion11_0_10FAIL177.03
assertion6_0_10FAIL177.13
possibility6_0_10FAIL177.23
possibility3_0_10FAIL177.23
possibility7_0_10FAIL177.23
assertion3_0_10FAIL177.33
assertion7_0_10FAIL177.43
possibility4_0_10FAIL177.53
possibility9_0_10FAIL177.73
possibility8_0_10FAIL177.83
assertion8_0_10FAIL179.04
possibility10_0_10FAIL179.23
possibility2_0_10FAIL179.33
assertion1_0_10FAIL179.53
possibility12_0_10FAIL179.53
assertion10_0_10FAIL179.73
assertion9_0_10FAIL181.43
assertion2_0_10FAIL181.52
assertion12_0_10FAIL181.63
possibility5_0_10FAIL181.63
assertion5_0_10FAIL181.72
assertion4_0_10FAIL181.73
assertion1_0_1FAIL599.71
possibility8_0_2FAIL599.71
possibility9_0_1FAIL599.71
assertion12_0_2FAIL599.71
assertion5_0_2FAIL599.71
assertion6_0_1FAIL599.71
assertion9_0_2FAIL599.71
consistency_0_1FAIL599.71
possibility12_0_1FAIL599.71
possibility4_0_2FAIL599.71
possibility5_0_1FAIL599.71
assertion10_0_1FAIL599.71
possibility9_0_2FAIL599.71
assertion2_0_2FAIL599.71
assertion3_0_1FAIL599.71
assertion6_0_2FAIL599.71
assertion7_0_1FAIL599.71
consistency_0_2FAIL599.71
possibility1_0_1FAIL599.71
possibility12_0_2FAIL599.71
possibility2_0_1FAIL599.71
possibility5_0_2FAIL599.71
possibility6_0_1FAIL599.71
assertion3_0_2FAIL599.71
assertion4_0_1FAIL599.71
assertion7_0_2FAIL599.71
assertion8_0_1FAIL599.71
possibility1_0_2FAIL599.71
possibility10_0_1FAIL599.71
possibility2_0_2FAIL599.71
possibility3_0_1FAIL599.71
possibility8_0_1FAIL599.71
assertion11_0_2FAIL599.71
assertion4_0_2FAIL599.71
assertion8_0_2FAIL599.71
assertion9_0_1FAIL599.71
possibility10_0_2FAIL599.71
possibility4_0_1FAIL599.71
assertion10_0_2FAIL599.72
possibility7_0_1FAIL599.72
assertion2_0_1FAIL599.81
possibility11_0_2FAIL599.81
assertion1_0_2FAIL599.81
possibility11_0_1FAIL599.81
possibility3_0_2FAIL599.81
possibility7_0_2FAIL599.81
possibility6_0_2FAIL600.2