Instances of family QLTL_safety solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
assertion3_0_2FAIL0.77
possibility3_0_2FAIL0.77
assertion10_0_2FAIL0.78
assertion7_0_2FAIL0.78
possibility1_0_2FAIL0.78
possibility2_0_2FAIL0.78
possibility6_0_2FAIL0.78
assertion11_0_2FAIL0.78
assertion4_0_2FAIL0.78
possibility10_0_2FAIL0.78
possibility7_0_2FAIL0.78
possibility8_0_2FAIL0.78
assertion12_0_2FAIL0.78
assertion5_0_2FAIL0.78
assertion9_0_2FAIL0.78
possibility11_0_2FAIL0.78
assertion1_0_2FAIL0.78
possibility9_0_2FAIL0.78
assertion2_0_2FAIL0.78
assertion6_0_2FAIL0.78
consistency_0_2FAIL0.78
possibility5_0_2FAIL0.78
possibility12_0_2FAIL0.79
possibility4_0_2FAIL0.88
assertion11_0_1UNSAT0.97
assertion12_0_1UNSAT0.97
possibility6_0_1UNSAT0.97
assertion5_0_1UNSAT1.01
assertion7_0_1UNSAT1.04
assertion8_0_2FAIL1.06
assertion6_0_1UNSAT1.11
assertion6_0_3FAIL1.11
assertion3_0_3FAIL1.12
possibility1_0_3FAIL1.12
possibility2_0_3FAIL1.12
possibility6_0_3FAIL1.12
assertion11_0_3FAIL1.12
possibility10_0_3FAIL1.12
assertion12_0_3FAIL1.12
possibility9_0_3FAIL1.12
consistency_0_3FAIL1.12
assertion8_0_3FAIL1.13
possibility3_0_3FAIL1.13
possibility7_0_3FAIL1.13
assertion5_0_3FAIL1.13
assertion9_0_3FAIL1.13
possibility11_0_3FAIL1.13
assertion1_0_3FAIL1.13
assertion2_0_3FAIL1.13
possibility12_0_3FAIL1.13
assertion7_0_3FAIL1.14
assertion4_0_3FAIL1.14
possibility5_0_3FAIL1.14
possibility8_0_3FAIL1.15
assertion10_0_3FAIL1.45
possibility4_0_3FAIL1.48
consistency_0_4FAIL1.5
assertion1_0_4FAIL1.51
possibility2_0_4FAIL1.51
possibility3_0_4FAIL1.51
possibility9_0_4FAIL1.52
assertion2_0_4FAIL1.52
possibility5_0_4FAIL1.52
assertion7_0_4FAIL1.52
possibility6_0_4FAIL1.52
assertion4_0_4FAIL1.52
assertion8_0_4FAIL1.52
possibility7_0_4FAIL1.52
assertion12_0_4FAIL1.52
assertion9_0_4FAIL1.52
possibility11_0_4FAIL1.52
possibility12_0_4FAIL1.53
assertion10_0_4FAIL1.53
possibility1_0_4FAIL1.53
assertion11_0_4FAIL1.53
assertion6_0_4FAIL1.54
possibility8_0_4FAIL1.55
possibility4_0_4FAIL1.81
possibility10_0_4FAIL1.82
assertion5_0_4FAIL1.9
possibility2_0_5FAIL1.95
assertion1_0_5FAIL1.96
assertion6_0_5FAIL1.96
possibility5_0_5FAIL1.96
possibility10_0_5FAIL1.96
assertion2_0_5FAIL1.97
assertion10_0_5FAIL1.97
assertion7_0_5FAIL1.97
possibility6_0_5FAIL1.97
assertion4_0_5FAIL1.97
assertion12_0_5FAIL1.97
assertion3_0_5FAIL1.98
possibility1_0_5FAIL1.98
assertion11_0_5FAIL1.98
assertion8_0_5FAIL1.98
possibility3_0_5FAIL1.98
assertion5_0_5FAIL1.98
possibility11_0_5FAIL1.98
possibility4_0_5FAIL1.98
possibility9_0_5FAIL1.99
possibility8_0_5FAIL2.01
possibility7_0_5FAIL2.38
possibility12_0_5FAIL2.39
consistency_0_5FAIL2.47
possibility4_0_6FAIL2.49
consistency_0_6FAIL2.49
possibility11_0_6FAIL2.5
possibility1_0_6FAIL2.5
assertion5_0_6FAIL2.51
assertion6_0_6FAIL2.51
possibility3_0_6FAIL2.51
assertion9_0_6FAIL2.52
assertion1_0_6FAIL2.52
possibility9_0_6FAIL2.52
assertion12_0_6FAIL2.53
possibility5_0_6FAIL2.53
possibility2_0_6FAIL2.53
possibility6_0_6FAIL2.53
assertion11_0_6FAIL2.53
assertion3_0_6FAIL2.54
assertion4_0_6FAIL2.54
assertion8_0_6FAIL2.54
possibility8_0_6FAIL2.62
assertion3_0_4FAIL2.7
assertion2_0_6FAIL2.77
assertion10_0_6FAIL2.8
possibility7_0_6FAIL2.8
possibility10_0_6FAIL2.94
assertion9_0_5FAIL2.95
possibility1_0_7FAIL3.11
possibility2_0_7FAIL3.11
assertion1_0_7FAIL3.12
assertion6_0_7FAIL3.12
consistency_0_7FAIL3.12
assertion10_0_7FAIL3.12
possibility10_0_7FAIL3.12
assertion9_0_7FAIL3.13
possibility4_0_7FAIL3.13
possibility5_0_7FAIL3.13
assertion11_0_7FAIL3.13
possibility7_0_7FAIL3.13
assertion2_0_7FAIL3.14
assertion7_0_7FAIL3.14
assertion4_0_7FAIL3.14
assertion12_0_7FAIL3.15
assertion5_0_7FAIL3.15
possibility9_0_7FAIL3.15
assertion3_0_7FAIL3.15
possibility11_0_7FAIL3.17
assertion8_0_7FAIL3.2
possibility8_0_7FAIL3.22
assertion7_0_6FAIL3.28
possibility12_0_7FAIL3.59
possibility6_0_7FAIL3.62
possibility12_0_6FAIL3.63
possibility11_0_8FAIL3.79
assertion11_0_8FAIL3.81
possibility4_0_8FAIL3.81
possibility1_0_8FAIL3.81
possibility10_0_8FAIL3.82
assertion3_0_8FAIL3.82
possibility6_0_8FAIL3.82
possibility3_0_8FAIL3.83
assertion12_0_8FAIL3.83
assertion9_0_8FAIL3.83
consistency_0_8FAIL3.83
possibility2_0_8FAIL3.83
possibility5_0_8FAIL3.84
assertion7_0_8FAIL3.85
assertion5_0_8FAIL3.86
assertion2_0_8FAIL3.86
possibility9_0_8FAIL3.87
assertion8_0_8FAIL3.88
assertion6_0_8FAIL3.88
possibility12_0_8FAIL3.88
possibility3_0_7FAIL3.9
possibility8_0_8FAIL3.92
possibility7_0_8FAIL4.03
assertion4_0_8FAIL4.16
assertion1_0_8FAIL4.16
possibility1_0_9FAIL4.61
assertion11_0_9FAIL4.62
assertion6_0_9FAIL4.63
assertion9_0_9FAIL4.64
possibility2_0_9FAIL4.64
assertion4_0_9FAIL4.65
assertion8_0_9FAIL4.65
consistency_0_9FAIL4.66
assertion10_0_9FAIL4.66
possibility7_0_9FAIL4.67
possibility3_0_9FAIL4.67
assertion12_0_9FAIL4.67
possibility6_0_9FAIL4.67
assertion5_0_9FAIL4.68
assertion3_0_9FAIL4.68
possibility10_0_9FAIL4.69
assertion2_0_9FAIL4.69
possibility5_0_9FAIL4.69
possibility11_0_9FAIL4.72
possibility12_0_9FAIL4.74
assertion1_0_9FAIL4.76
assertion10_0_8FAIL4.77
assertion7_0_9FAIL4.78
possibility8_0_9FAIL4.82
possibility4_0_9FAIL5.07
possibility9_0_9FAIL5.17
possibility10_0_10FAIL5.58
possibility11_0_10FAIL5.6
consistency_0_10FAIL5.6
possibility1_0_10FAIL5.6
assertion5_0_10FAIL5.62
assertion11_0_10FAIL5.63
possibility3_0_10FAIL5.63
assertion9_0_10FAIL5.63
possibility4_0_10FAIL5.63
assertion3_0_10FAIL5.63
assertion1_0_10FAIL5.64
possibility6_0_10FAIL5.64
possibility9_0_10FAIL5.65
assertion10_0_10FAIL5.65
assertion7_0_10FAIL5.65
assertion4_0_10FAIL5.66
assertion2_0_10FAIL5.66
assertion6_0_10FAIL5.67
possibility11_0_1UNSAT5.69
possibility5_0_10FAIL5.7
possibility7_0_10FAIL5.71
assertion8_0_10FAIL5.74
possibility12_0_10FAIL5.75
possibility8_0_10FAIL5.81
possibility2_0_10FAIL5.94
assertion12_0_10FAIL6
assertion2_0_1UNSAT6.12
possibility3_0_1UNSAT16.66
possibility5_0_1UNSAT32.36
possibility10_0_1UNSAT37.64
assertion8_0_1FAIL599.71
possibility7_0_1FAIL599.71
possibility8_0_1FAIL599.71
assertion9_0_1FAIL599.71
possibility4_0_1FAIL599.71
consistency_0_1FAIL599.71
possibility12_0_1FAIL599.71
assertion1_0_1FAIL599.71
possibility1_0_1FAIL599.71
possibility2_0_1FAIL599.71
assertion4_0_1FAIL599.81
possibility9_0_1FAIL599.81
assertion3_0_1FAIL599.81
assertion10_0_1FAIL606.07