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

InstanceResultTime
assertion3_0_2FAIL0.77
possibility3_0_2FAIL0.77
possibility5_0_2FAIL0.78
assertion1_0_2FAIL0.78
possibility9_0_2FAIL0.78
assertion2_0_2FAIL0.78
assertion6_0_2FAIL0.78
consistency_0_2FAIL0.78
possibility6_0_2FAIL0.78
assertion10_0_2FAIL0.78
assertion7_0_2FAIL0.78
possibility1_0_2FAIL0.78
possibility2_0_2FAIL0.78
possibility7_0_2FAIL0.78
assertion11_0_2FAIL0.78
assertion4_0_2FAIL0.78
possibility10_0_2FAIL0.78
possibility8_0_2FAIL0.78
assertion12_0_2FAIL0.78
assertion5_0_2FAIL0.78
assertion9_0_2FAIL0.78
possibility11_0_2FAIL0.78
possibility12_0_2FAIL0.79
possibility4_0_2FAIL0.88
possibility6_0_1UNSAT0.97
assertion11_0_1UNSAT0.97
assertion12_0_1UNSAT0.97
assertion5_0_1UNSAT1.01
assertion7_0_1UNSAT1.04
assertion8_0_2FAIL1.06
assertion6_0_3FAIL1.11
assertion6_0_1UNSAT1.11
possibility9_0_3FAIL1.12
consistency_0_3FAIL1.12
possibility6_0_3FAIL1.12
assertion3_0_3FAIL1.12
possibility1_0_3FAIL1.12
possibility2_0_3FAIL1.12
assertion11_0_3FAIL1.12
possibility10_0_3FAIL1.12
assertion12_0_3FAIL1.12
assertion1_0_3FAIL1.13
assertion2_0_3FAIL1.13
possibility12_0_3FAIL1.13
possibility7_0_3FAIL1.13
assertion8_0_3FAIL1.13
possibility3_0_3FAIL1.13
assertion5_0_3FAIL1.13
assertion9_0_3FAIL1.13
possibility11_0_3FAIL1.13
possibility5_0_3FAIL1.14
assertion7_0_3FAIL1.14
assertion4_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
assertion12_0_4FAIL1.52
assertion9_0_4FAIL1.52
possibility11_0_4FAIL1.52
possibility5_0_4FAIL1.52
possibility9_0_4FAIL1.52
assertion2_0_4FAIL1.52
possibility6_0_4FAIL1.52
assertion7_0_4FAIL1.52
possibility7_0_4FAIL1.52
assertion4_0_4FAIL1.52
assertion8_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
possibility5_0_5FAIL1.96
assertion1_0_5FAIL1.96
assertion6_0_5FAIL1.96
possibility10_0_5FAIL1.96
assertion12_0_5FAIL1.97
assertion2_0_5FAIL1.97
possibility6_0_5FAIL1.97
assertion10_0_5FAIL1.97
assertion7_0_5FAIL1.97
assertion4_0_5FAIL1.97
assertion5_0_5FAIL1.98
possibility11_0_5FAIL1.98
possibility4_0_5FAIL1.98
assertion3_0_5FAIL1.98
possibility1_0_5FAIL1.98
assertion11_0_5FAIL1.98
assertion8_0_5FAIL1.98
possibility3_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
possibility3_0_6FAIL2.51
assertion5_0_6FAIL2.51
assertion6_0_6FAIL2.51
assertion9_0_6FAIL2.52
assertion1_0_6FAIL2.52
possibility9_0_6FAIL2.52
assertion11_0_6FAIL2.53
assertion12_0_6FAIL2.53
possibility5_0_6FAIL2.53
possibility6_0_6FAIL2.53
possibility2_0_6FAIL2.53
assertion4_0_6FAIL2.54
assertion8_0_6FAIL2.54
assertion3_0_6FAIL2.54
possibility8_0_6FAIL2.62
assertion3_0_4FAIL2.7
assertion2_0_6FAIL2.77
possibility7_0_6FAIL2.8
assertion10_0_6FAIL2.8
possibility10_0_6FAIL2.94
assertion9_0_5FAIL2.95
possibility1_0_7FAIL3.11
possibility2_0_7FAIL3.11
possibility10_0_7FAIL3.12
assertion1_0_7FAIL3.12
assertion6_0_7FAIL3.12
consistency_0_7FAIL3.12
assertion10_0_7FAIL3.12
possibility7_0_7FAIL3.13
assertion11_0_7FAIL3.13
assertion9_0_7FAIL3.13
possibility4_0_7FAIL3.13
possibility5_0_7FAIL3.13
assertion4_0_7FAIL3.14
assertion2_0_7FAIL3.14
assertion7_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
possibility1_0_8FAIL3.81
assertion11_0_8FAIL3.81
possibility4_0_8FAIL3.81
possibility6_0_8FAIL3.82
assertion3_0_8FAIL3.82
possibility10_0_8FAIL3.82
possibility2_0_8FAIL3.83
possibility3_0_8FAIL3.83
assertion12_0_8FAIL3.83
assertion9_0_8FAIL3.83
consistency_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
possibility2_0_9FAIL4.64
assertion9_0_9FAIL4.64
assertion4_0_9FAIL4.65
assertion8_0_9FAIL4.65
assertion10_0_9FAIL4.66
consistency_0_9FAIL4.66
possibility6_0_9FAIL4.67
possibility7_0_9FAIL4.67
possibility3_0_9FAIL4.67
assertion12_0_9FAIL4.67
assertion3_0_9FAIL4.68
assertion5_0_9FAIL4.68
possibility10_0_9FAIL4.69
possibility5_0_9FAIL4.69
assertion2_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
possibility1_0_10FAIL5.6
possibility11_0_10FAIL5.6
consistency_0_10FAIL5.6
assertion5_0_10FAIL5.62
assertion3_0_10FAIL5.63
assertion11_0_10FAIL5.63
possibility3_0_10FAIL5.63
assertion9_0_10FAIL5.63
possibility4_0_10FAIL5.63
possibility6_0_10FAIL5.64
assertion1_0_10FAIL5.64
assertion10_0_10FAIL5.65
assertion7_0_10FAIL5.65
possibility9_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
possibility1_0_1FAIL599.71
possibility2_0_1FAIL599.71
possibility7_0_1FAIL599.71
assertion8_0_1FAIL599.71
possibility8_0_1FAIL599.71
assertion9_0_1FAIL599.71
possibility4_0_1FAIL599.71
assertion1_0_1FAIL599.71
consistency_0_1FAIL599.71
possibility12_0_1FAIL599.71
assertion3_0_1FAIL599.81
assertion4_0_1FAIL599.81
possibility9_0_1FAIL599.81
assertion10_0_1FAIL606.07