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

InstanceResultTime
assertion2_0_2FAIL0.77
possibility1_0_2FAIL0.77
assertion8_0_2FAIL0.77
possibility3_0_2FAIL0.77
possibility11_0_2FAIL0.77
assertion6_0_2FAIL0.78
consistency_0_2FAIL0.78
possibility5_0_2FAIL0.78
assertion1_0_2FAIL0.78
possibility9_0_2FAIL0.78
assertion3_0_2FAIL0.78
assertion7_0_2FAIL0.78
possibility2_0_2FAIL0.78
possibility6_0_2FAIL0.78
assertion10_0_2FAIL0.78
possibility10_0_2FAIL0.78
assertion11_0_2FAIL0.78
assertion9_0_2FAIL0.78
possibility4_0_2FAIL0.78
assertion12_0_2FAIL0.78
possibility12_0_2FAIL0.79
assertion4_0_2FAIL0.79
assertion5_0_2FAIL0.8
possibility7_0_2FAIL0.82
assertion11_0_1UNSAT0.89
assertion12_0_1UNSAT0.9
possibility6_0_1UNSAT0.91
assertion5_0_1UNSAT0.94
assertion6_0_1UNSAT1.03
consistency_0_3FAIL1.12
assertion1_0_3FAIL1.12
possibility1_0_3FAIL1.12
possibility6_0_3FAIL1.12
assertion10_0_3FAIL1.12
possibility10_0_3FAIL1.12
possibility3_0_3FAIL1.12
possibility7_0_3FAIL1.12
assertion9_0_3FAIL1.12
possibility11_0_3FAIL1.12
possibility4_0_3FAIL1.12
assertion12_0_3FAIL1.12
possibility12_0_3FAIL1.13
possibility5_0_3FAIL1.13
possibility9_0_3FAIL1.13
assertion3_0_3FAIL1.13
assertion7_0_3FAIL1.13
possibility2_0_3FAIL1.13
assertion4_0_3FAIL1.13
assertion5_0_3FAIL1.13
possibility8_0_3FAIL1.13
assertion6_0_3FAIL1.14
assertion11_0_3FAIL1.15
assertion8_0_3FAIL1.16
assertion7_0_1UNSAT1.17
assertion2_0_3FAIL1.32
possibility8_0_2FAIL1.35
possibility1_0_4FAIL1.5
possibility4_0_4FAIL1.51
consistency_0_4FAIL1.51
possibility3_0_4FAIL1.51
assertion5_0_4FAIL1.52
assertion9_0_4FAIL1.52
possibility11_0_4FAIL1.52
assertion1_0_4FAIL1.52
possibility9_0_4FAIL1.52
assertion2_0_4FAIL1.52
assertion3_0_4FAIL1.52
assertion7_0_4FAIL1.52
possibility2_0_4FAIL1.52
possibility10_0_4FAIL1.52
assertion12_0_4FAIL1.53
assertion6_0_4FAIL1.53
possibility12_0_4FAIL1.53
possibility5_0_4FAIL1.53
possibility6_0_4FAIL1.53
assertion4_0_4FAIL1.53
assertion8_0_4FAIL1.53
assertion11_0_4FAIL1.53
possibility7_0_4FAIL1.55
possibility8_0_4FAIL1.56
assertion10_0_4FAIL1.72
consistency_0_5FAIL1.95
possibility1_0_5FAIL1.95
possibility11_0_5FAIL1.96
possibility2_0_5FAIL1.96
possibility3_0_5FAIL1.96
possibility7_0_5FAIL1.96
assertion11_0_5FAIL1.96
assertion5_0_5FAIL1.97
assertion12_0_5FAIL1.97
possibility5_0_5FAIL1.97
possibility9_0_5FAIL1.97
possibility6_0_5FAIL1.97
assertion10_0_5FAIL1.97
assertion4_0_5FAIL1.97
possibility10_0_5FAIL1.97
assertion6_0_5FAIL1.98
possibility12_0_5FAIL1.98
assertion2_0_5FAIL1.98
assertion3_0_5FAIL1.98
assertion7_0_5FAIL1.98
assertion8_0_5FAIL1.98
possibility4_0_5FAIL1.99
assertion1_0_5FAIL2
possibility8_0_5FAIL2.01
assertion9_0_5FAIL2.35
consistency_0_6FAIL2.49
possibility1_0_6FAIL2.5
assertion10_0_6FAIL2.51
possibility10_0_6FAIL2.52
assertion5_0_6FAIL2.52
assertion12_0_6FAIL2.52
assertion1_0_6FAIL2.52
assertion2_0_6FAIL2.52
assertion3_0_6FAIL2.52
possibility2_0_6FAIL2.52
possibility6_0_6FAIL2.52
possibility7_0_6FAIL2.53
assertion11_0_6FAIL2.53
possibility11_0_6FAIL2.53
assertion8_0_6FAIL2.54
assertion7_0_6FAIL2.54
possibility12_0_6FAIL2.55
possibility9_0_6FAIL2.56
possibility5_0_6FAIL2.57
possibility8_0_6FAIL2.59
assertion9_0_6FAIL2.85
assertion6_0_6FAIL2.89
possibility4_0_6FAIL2.96
possibility1_0_7FAIL3.11
assertion4_0_6FAIL3.12
assertion4_0_7FAIL3.12
possibility3_0_7FAIL3.12
assertion11_0_7FAIL3.12
assertion12_0_7FAIL3.12
assertion3_0_7FAIL3.12
assertion6_0_7FAIL3.13
consistency_0_7FAIL3.13
possibility6_0_7FAIL3.13
possibility10_0_7FAIL3.14
assertion5_0_7FAIL3.14
possibility9_0_7FAIL3.14
possibility2_0_7FAIL3.14
assertion10_0_7FAIL3.14
assertion8_0_7FAIL3.15
possibility11_0_7FAIL3.15
possibility4_0_7FAIL3.15
possibility5_0_7FAIL3.15
assertion9_0_7FAIL3.16
possibility12_0_7FAIL3.16
assertion1_0_7FAIL3.17
possibility8_0_7FAIL3.24
assertion7_0_7FAIL3.24
assertion2_0_7FAIL3.28
assertion2_0_1UNSAT3.29
possibility7_0_7FAIL3.54
consistency_0_8FAIL3.81
assertion1_0_8FAIL3.82
possibility1_0_8FAIL3.83
possibility6_0_8FAIL3.83
assertion10_0_8FAIL3.83
possibility7_0_8FAIL3.83
assertion5_0_8FAIL3.83
assertion12_0_8FAIL3.83
assertion7_0_8FAIL3.84
possibility2_0_8FAIL3.84
assertion4_0_8FAIL3.84
possibility3_0_8FAIL3.84
assertion9_0_8FAIL3.84
assertion2_0_8FAIL3.84
assertion6_0_8FAIL3.84
possibility10_0_8FAIL3.85
possibility5_0_8FAIL3.85
possibility11_0_8FAIL3.87
possibility4_0_8FAIL3.87
possibility9_0_8FAIL3.87
assertion8_0_8FAIL3.89
possibility12_0_8FAIL3.89
assertion11_0_8FAIL3.91
possibility8_0_8FAIL3.95
assertion3_0_8FAIL4.01
possibility1_0_9FAIL4.61
possibility2_0_9FAIL4.64
assertion5_0_9FAIL4.64
assertion7_0_9FAIL4.65
possibility10_0_9FAIL4.65
possibility6_0_9FAIL4.66
possibility3_0_9FAIL4.66
assertion2_0_9FAIL4.66
consistency_0_9FAIL4.66
assertion3_0_9FAIL4.67
possibility9_0_9FAIL4.67
assertion4_0_9FAIL4.68
assertion12_0_9FAIL4.68
assertion10_0_9FAIL4.69
possibility7_0_9FAIL4.69
assertion11_0_9FAIL4.69
assertion9_0_9FAIL4.69
possibility11_0_9FAIL4.69
possibility4_0_9FAIL4.69
assertion6_0_9FAIL4.69
possibility12_0_9FAIL4.7
assertion1_0_9FAIL4.7
possibility5_0_9FAIL4.71
assertion8_0_9FAIL4.75
possibility8_0_9FAIL4.8
possibility1_0_10FAIL5.59
consistency_0_10FAIL5.59
possibility11_0_10FAIL5.6
assertion3_0_10FAIL5.62
possibility2_0_10FAIL5.62
assertion4_0_10FAIL5.62
assertion1_0_10FAIL5.62
assertion5_0_10FAIL5.64
possibility4_0_10FAIL5.64
possibility7_0_10FAIL5.65
assertion2_0_10FAIL5.65
possibility10_0_10FAIL5.66
assertion9_0_10FAIL5.66
assertion10_0_10FAIL5.67
assertion11_0_10FAIL5.67
assertion6_0_10FAIL5.67
possibility9_0_10FAIL5.68
assertion7_0_10FAIL5.69
assertion8_0_10FAIL5.69
assertion12_0_10FAIL5.69
possibility12_0_10FAIL5.69
possibility3_0_10FAIL5.71
possibility5_0_10FAIL5.71
possibility6_0_10FAIL5.72
possibility8_0_10FAIL5.82
possibility10_0_1UNSAT6.02
possibility3_0_1UNSAT6.86
possibility3_0_6FAIL8.5
possibility11_0_1UNSAT17.48
possibility5_0_1UNSAT388.38
assertion4_0_1FAIL599.61
assertion3_0_1FAIL599.71
assertion10_0_1FAIL599.71
possibility7_0_1FAIL599.71
possibility12_0_1FAIL599.71
consistency_0_1FAIL599.72
possibility2_0_1FAIL599.81
assertion8_0_1FAIL599.81
assertion9_0_1FAIL599.81
possibility4_0_1FAIL599.81
possibility8_0_1FAIL599.81
assertion1_0_1FAIL599.81
possibility9_0_1FAIL599.81
possibility1_0_1FAIL599.91