Instances of family QLTL_safety solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
possibility9_0_2FAIL0.78
possibility6_0_2FAIL0.78
possibility10_0_2FAIL0.78
assertion5_0_2FAIL0.78
assertion6_0_2FAIL0.79
consistency_0_2FAIL0.79
possibility12_0_2FAIL0.79
possibility5_0_2FAIL0.79
assertion1_0_2FAIL0.79
assertion2_0_2FAIL0.79
assertion3_0_2FAIL0.79
possibility1_0_2FAIL0.79
possibility2_0_2FAIL0.79
assertion10_0_2FAIL0.79
assertion8_0_2FAIL0.79
possibility3_0_2FAIL0.79
possibility7_0_2FAIL0.79
assertion11_0_2FAIL0.79
assertion9_0_2FAIL0.79
possibility11_0_2FAIL0.79
possibility4_0_2FAIL0.79
assertion7_0_2FAIL0.8
assertion4_0_2FAIL0.8
possibility8_0_2FAIL0.8
assertion12_0_2FAIL0.8
possibility4_0_3FAIL1.11
assertion8_0_3FAIL1.11
possibility11_0_3FAIL1.12
assertion12_0_3FAIL1.12
consistency_0_3FAIL1.12
assertion2_0_3FAIL1.12
possibility1_0_3FAIL1.12
possibility2_0_3FAIL1.12
possibility6_0_3FAIL1.12
assertion10_0_3FAIL1.12
assertion4_0_3FAIL1.12
possibility10_0_3FAIL1.12
possibility3_0_3FAIL1.12
assertion11_0_3FAIL1.12
assertion5_0_3FAIL1.13
assertion9_0_3FAIL1.13
assertion6_0_3FAIL1.13
possibility12_0_3FAIL1.13
possibility9_0_3FAIL1.13
assertion3_0_3FAIL1.13
assertion7_0_3FAIL1.14
assertion1_0_3FAIL1.28
possibility5_0_3FAIL1.45
possibility4_0_4FAIL1.49
consistency_0_4FAIL1.49
possibility2_0_4FAIL1.49
possibility7_0_4FAIL1.49
assertion11_0_4FAIL1.49
possibility8_0_3FAIL1.5
assertion9_0_4FAIL1.5
possibility11_0_4FAIL1.5
assertion12_0_4FAIL1.5
assertion6_0_4FAIL1.5
assertion1_0_4FAIL1.5
possibility9_0_4FAIL1.5
assertion10_0_4FAIL1.5
assertion8_0_4FAIL1.5
possibility3_0_4FAIL1.5
assertion5_0_4FAIL1.51
possibility5_0_4FAIL1.51
assertion2_0_4FAIL1.51
possibility1_0_4FAIL1.51
possibility6_0_4FAIL1.51
assertion4_0_4FAIL1.51
possibility10_0_4FAIL1.51
assertion3_0_4FAIL1.52
assertion7_0_4FAIL1.52
possibility8_0_4FAIL1.53
possibility12_0_4FAIL1.53
assertion11_0_5FAIL1.93
possibility4_0_5FAIL1.93
consistency_0_5FAIL1.93
possibility1_0_5FAIL1.93
possibility10_0_5FAIL1.94
possibility7_0_5FAIL1.94
assertion5_0_5FAIL1.94
possibility11_0_5FAIL1.94
assertion6_0_5FAIL1.94
assertion1_0_5FAIL1.94
possibility9_0_5FAIL1.94
assertion7_0_5FAIL1.94
possibility2_0_5FAIL1.94
assertion4_0_5FAIL1.95
assertion8_0_5FAIL1.95
possibility3_0_5FAIL1.95
assertion9_0_5FAIL1.95
assertion12_0_5FAIL1.95
assertion2_0_5FAIL1.95
assertion3_0_5FAIL1.95
possibility6_0_5FAIL1.95
assertion10_0_5FAIL1.95
possibility12_0_5FAIL1.96
possibility5_0_5FAIL1.97
possibility8_0_5FAIL1.98
possibility7_0_3FAIL2.16
possibility10_0_6FAIL2.45
assertion11_0_6FAIL2.46
consistency_0_6FAIL2.46
possibility2_0_6FAIL2.46
assertion10_0_6FAIL2.46
assertion9_0_6FAIL2.47
possibility11_0_6FAIL2.47
possibility4_0_6FAIL2.47
assertion12_0_6FAIL2.47
assertion6_0_6FAIL2.47
possibility1_0_6FAIL2.47
possibility6_0_6FAIL2.47
assertion4_0_6FAIL2.48
assertion5_0_6FAIL2.48
assertion1_0_6FAIL2.48
assertion2_0_6FAIL2.48
possibility5_0_6FAIL2.49
possibility12_0_6FAIL2.5
assertion3_0_6FAIL2.5
assertion7_0_6FAIL2.5
assertion8_0_6FAIL2.51
possibility9_0_6FAIL2.51
possibility8_0_6FAIL2.54
possibility7_0_6FAIL2.76
possibility7_0_7FAIL3.04
consistency_0_7FAIL3.04
possibility2_0_7FAIL3.05
assertion11_0_7FAIL3.05
possibility9_0_7FAIL3.05
assertion10_0_7FAIL3.06
possibility3_0_7FAIL3.06
assertion5_0_7FAIL3.06
possibility5_0_7FAIL3.06
assertion3_0_7FAIL3.07
assertion7_0_7FAIL3.07
possibility1_0_7FAIL3.07
possibility10_0_7FAIL3.07
assertion9_0_7FAIL3.07
possibility11_0_7FAIL3.07
assertion12_0_7FAIL3.07
assertion1_0_7FAIL3.07
possibility6_0_7FAIL3.08
possibility4_0_7FAIL3.08
assertion6_0_7FAIL3.08
assertion2_0_7FAIL3.08
assertion8_0_7FAIL3.09
assertion4_0_7FAIL3.1
possibility3_0_6FAIL3.12
possibility12_0_7FAIL3.12
possibility8_0_7FAIL3.16
possibility1_0_8FAIL3.71
assertion11_0_8FAIL3.72
assertion12_0_8FAIL3.72
possibility6_0_8FAIL3.73
possibility3_0_8FAIL3.73
possibility4_0_8FAIL3.73
consistency_0_8FAIL3.73
assertion1_0_8FAIL3.73
assertion7_0_8FAIL3.74
possibility7_0_8FAIL3.74
assertion9_0_8FAIL3.74
possibility11_0_8FAIL3.75
possibility5_0_8FAIL3.75
assertion3_0_8FAIL3.76
assertion6_0_8FAIL3.76
assertion10_0_8FAIL3.77
assertion2_0_8FAIL3.77
assertion4_0_8FAIL3.78
assertion5_0_8FAIL3.78
possibility12_0_8FAIL3.81
assertion8_0_8FAIL3.82
possibility9_0_8FAIL3.82
possibility8_0_8FAIL3.87
possibility10_0_8FAIL4.07
possibility2_0_8FAIL4.28
assertion11_0_9FAIL4.51
possibility2_0_9FAIL4.56
possibility10_0_9FAIL4.56
possibility4_0_9FAIL4.56
assertion12_0_9FAIL4.56
assertion1_0_9FAIL4.57
possibility9_0_9FAIL4.57
possibility11_0_9FAIL4.57
consistency_0_9FAIL4.58
assertion3_0_9FAIL4.58
assertion7_0_9FAIL4.58
possibility6_0_9FAIL4.59
assertion10_0_9FAIL4.59
assertion2_0_9FAIL4.6
possibility7_0_9FAIL4.6
assertion4_0_9FAIL4.61
assertion6_0_9FAIL4.62
assertion9_0_9FAIL4.62
assertion8_0_9FAIL4.63
assertion5_0_9FAIL4.64
possibility12_0_9FAIL4.66
possibility5_0_9FAIL4.66
possibility8_0_9FAIL4.66
possibility1_0_9FAIL4.76
possibility3_0_9FAIL5.05
assertion10_0_10FAIL5.43
assertion11_0_10FAIL5.44
possibility1_0_10FAIL5.45
assertion6_0_10FAIL5.46
possibility5_0_10FAIL5.47
possibility3_0_10FAIL5.47
assertion9_0_10FAIL5.47
assertion12_0_10FAIL5.47
possibility7_0_10FAIL5.48
possibility11_0_10FAIL5.48
possibility4_0_10FAIL5.49
consistency_0_10FAIL5.5
possibility10_0_10FAIL5.5
assertion3_0_10FAIL5.51
possibility2_0_10FAIL5.51
possibility6_0_10FAIL5.51
assertion2_0_10FAIL5.52
assertion8_0_10FAIL5.53
assertion1_0_10FAIL5.54
possibility9_0_10FAIL5.54
assertion5_0_10FAIL5.55
assertion7_0_10FAIL5.56
assertion4_0_10FAIL5.58
possibility12_0_10FAIL5.6
possibility8_0_10FAIL5.67
assertion11_0_1UNSAT10.22
assertion12_0_1UNSAT10.33
assertion5_0_1UNSAT18.25
assertion3_0_1FAIL599.61
possibility2_0_1FAIL599.61
possibility3_0_1FAIL599.61
possibility8_0_1FAIL599.61
assertion7_0_1FAIL599.71
possibility1_0_1FAIL599.71
assertion10_0_1FAIL599.71
assertion4_0_1FAIL599.71
assertion8_0_1FAIL599.71
possibility7_0_1FAIL599.71
assertion9_0_1FAIL599.71
possibility11_0_1FAIL599.71
possibility4_0_1FAIL599.71
assertion6_0_1FAIL599.71
consistency_0_1FAIL599.71
possibility12_0_1FAIL599.71
possibility5_0_1FAIL599.71
assertion1_0_1FAIL599.71
possibility9_0_1FAIL599.71
assertion2_0_1FAIL599.71
possibility6_0_1FAIL600
possibility10_0_1FAIL600