Sota solver results for family terminator
QBFEVAL'08


InstanceSolverResultTime
stmt19_125_133QuBE6.1UNSAT0.16
stmt19_125_137QuBE6.1UNSAT0.16
stmt19_125_214QuBE6.1UNSAT0.19
stmt19_125_261QuBE6.1UNSAT0.23
stmt19_125_302QuBE6.1UNSAT0.32
stmt19_125_313QuBE6.1UNSAT0.33
stmt19_125_363QuBE6.1UNSAT0.35
stmt19_133_180QuBE6.1UNSAT0.2
stmt19_133_214AQME-1NNUNSAT5.18
stmt19_133_217QuBE6.1UNSAT0.23
stmt19_133_250QuBE6.1UNSAT0.21
stmt19_133_257QuBE6.1UNSAT0.24
stmt19_133_261QuBE6.1UNSAT0.24
stmt19_133_266QuBE6.1UNSAT0.22
stmt19_133_359QuBE6.1UNSAT0.34
stmt19_133_368QuBE6.1UNSAT0.38
stmt19_133_408QuBE6.1UNSAT0.4
stmt19_137_177QuBE6.1UNSAT0.29
stmt19_137_313QuBE6.1UNSAT0.33
stmt19_137_352QuBE6.1UNSAT0.34
stmt19_137_359QuBE6.1UNSAT0.35
stmt19_137_363QuBE6.1UNSAT0.36
stmt19_137_368QuBE6.1UNSAT0.38
stmt19_137_408QuBE6.1UNSAT0.4
stmt19_137_417QuBE6.1UNSAT0.42
stmt19_142_217QuBE6.1UNSAT0.19
stmt19_142_250QuBE6.1UNSAT0.2
stmt19_142_261QuBE6.1UNSAT0.24
stmt19_142_266QuBE6.1UNSAT0.22
stmt19_142_302QuBE6.1UNSAT0.3
stmt19_142_309QuBE6.1UNSAT0.4
stmt19_142_318QuBE6.1UNSAT0.28
stmt19_142_363QuBE6.1UNSAT0.44
stmt19_142_412QuBE6.1UNSAT0.4
stmt19_177_214AQME-1NNUNSAT5.62
stmt19_177_250QuBE6.1UNSAT0.24
stmt19_177_261QuBE6.1UNSAT0.25
stmt19_177_302QuBE6.1UNSAT0.33
stmt19_177_309QuBE6.1UNSAT0.32
stmt19_177_313QuBE6.1UNSAT0.34
stmt19_177_318QuBE6.1UNSAT0.29
stmt19_177_352QuBE6.1UNSAT0.35
stmt19_177_359QuBE6.1UNSAT0.36
stmt19_177_363QuBE6.1UNSAT0.38
stmt19_177_368QuBE6.1UNSAT0.4
stmt19_177_412QuBE6.1UNSAT0.42
stmt19_180_309QuBE6.1UNSAT0.32
stmt19_180_313QuBE6.1UNSAT0.35
stmt19_180_352QuBE6.1UNSAT0.35
stmt19_180_401QuBE6.1UNSAT0.39
stmt19_180_408QuBE6.1UNSAT0.41
stmt19_214_217QuBE6.1UNSAT0.23
stmt19_214_257QuBE6.1UNSAT0.26
stmt19_214_261QuBE6.1UNSAT0.26
stmt19_214_302QuBE6.1UNSAT0.34
stmt19_214_309QuBE6.1UNSAT0.33
stmt19_214_313QuBE6.1UNSAT0.36
stmt19_214_318QuBE6.1UNSAT0.3
stmt19_214_359QuBE6.1UNSAT0.37
stmt19_214_363QuBE6.1UNSAT0.38
stmt19_214_368QuBE6.1UNSAT0.41
stmt19_217_250QuBE6.1UNSAT0.25
stmt19_217_302QuBE6.1UNSAT0.34
stmt19_217_309QuBE6.1UNSAT0.33
stmt19_217_318QuBE6.1UNSAT0.3
stmt19_217_352QuBE6.1UNSAT0.37
stmt19_217_368QuBE6.1UNSAT0.41
stmt19_217_401QuBE6.1UNSAT0.4
stmt19_217_408QuBE6.1UNSAT0.43
stmt19_217_417QuBE6.1UNSAT0.45
stmt19_250_359QuBE6.1UNSAT0.5
stmt19_250_368QuBE6.1UNSAT0.39
stmt19_250_401QuBE6.1UNSAT0.57
stmt19_250_408QuBE6.1UNSAT1.36
stmt19_250_412QuBE6.1UNSAT0.55
stmt19_257_266QuBE6.1UNSAT0.32
stmt19_257_313QuBE6.1UNSAT0.56
stmt19_257_318QuBE6.1UNSAT0.44
stmt19_257_412QuBE6.1UNSAT0.58
stmt19_261_266QuBE6.1UNSAT0.28
stmt19_266_313QuBE6.1UNSAT0.56
stmt19_266_352QuBE6.1UNSAT0.37
stmt19_266_359QuBE6.1UNSAT0.54
stmt19_266_363QuBE6.1UNSAT0.56
stmt19_266_368QuBE6.1UNSAT0.6
stmt19_266_408QuBE6.1UNSAT0.58
stmt19_266_417QuBE6.1UNSAT0.68
stmt19_2_137QuBE6.1UNSAT0.1
stmt19_2_180QuBE6.1UNSAT0.12
stmt19_2_214QuBE6.1UNSAT0.12
stmt19_2_250QuBE6.1UNSAT0.18
stmt19_2_257QuBE6.1UNSAT0.19
stmt19_2_261QuBE6.1UNSAT0.19
stmt19_2_313QuBE6.1UNSAT0.28
stmt19_2_401QuBE6.1UNSAT0.34
stmt19_2_83QuBE6.1UNSAT0.08
stmt19_302_313QuBE6.1UNSAT0.54
stmt19_302_318QuBE6.1UNSAT0.3
stmt19_302_412QuBE6.1UNSAT0.59
stmt19_309_363QuBE6.1UNSAT0.6
stmt19_309_408QuBE6.1UNSAT0.62
stmt19_309_412QuBE6.1UNSAT0.63
stmt19_309_417QuBE6.1UNSAT0.66
stmt19_313_318QuBE6.1UNSAT0.54
stmt19_313_368QuBE6.1UNSAT0.59
stmt19_313_412QuBE6.1UNSAT0.64
stmt19_318_412QuBE6.1UNSAT0.71
stmt19_352_359QuBE6.1UNSAT0.59
stmt19_352_363QuBE6.1UNSAT0.6
stmt19_352_408QuBE6.1UNSAT0.63
stmt19_352_417QuBE6.1UNSAT0.46
stmt19_368_401QuBE6.1UNSAT0.46
stmt19_368_408QuBE6.1UNSAT0.64
stmt19_368_412QuBE6.1UNSAT0.75
stmt19_3_177QuBE6.1UNSAT0.12
stmt19_3_214QuBE6.1UNSAT0.14
stmt19_3_257QuBE6.1UNSAT0.2
stmt19_3_261QuBE6.1UNSAT0.2
stmt19_3_309QuBE6.1UNSAT0.27
stmt19_3_313QuBE6.1UNSAT0.26
stmt19_3_401QuBE6.1UNSAT0.34
stmt19_3_408QuBE6.1UNSAT0.36
stmt19_3_78QuBE6.1UNSAT0.09
stmt19_3_83QuBE6.1UNSAT0.1
stmt19_408_417QuBE6.1UNSAT0.71
stmt19_412_417QuBE6.1UNSAT0.58
stmt19_66_133QuBE6.1UNSAT0.13
stmt19_66_142QuBE6.1UNSAT0.11
stmt19_66_180QuBE6.1UNSAT0.14
stmt19_66_214QuBE6.1UNSAT0.16
stmt19_66_217QuBE6.1UNSAT0.16
stmt19_66_250QuBE6.1UNSAT0.2
stmt19_66_261QuBE6.1UNSAT0.22
stmt19_66_318QuBE6.1UNSAT0.24
stmt19_66_359QuBE6.1UNSAT0.33
stmt19_66_363QuBE6.1UNSAT0.34
stmt19_66_401QuBE6.1UNSAT0.36
stmt19_66_408QuBE6.1UNSAT0.39
stmt19_66_412QuBE6.1UNSAT0.38
stmt19_66_417QuBE6.1UNSAT0.38
stmt19_66_90QuBE6.1UNSAT0.1
stmt19_67_137QuBE6.1UNSAT0.12
stmt19_67_214QuBE6.1UNSAT0.16
stmt19_67_257QuBE6.1UNSAT0.21
stmt19_67_318QuBE6.1UNSAT0.24
stmt19_67_363QuBE6.1UNSAT0.39
stmt19_67_368QuBE6.1UNSAT0.35
stmt19_67_83QuBE6.1UNSAT0.1
stmt19_78_125QuBE6.1UNSAT0.13
stmt19_78_217QuBE6.1UNSAT0.18
stmt19_78_309QuBE6.1UNSAT0.29
stmt19_78_318QuBE6.1UNSAT0.26
stmt19_78_352QuBE6.1UNSAT0.33
stmt19_78_363QuBE6.1UNSAT0.34
stmt19_78_408QuBE6.1UNSAT0.38
stmt19_78_417QuBE6.1UNSAT0.4
stmt19_78_83QuBE6.1UNSAT0.11
stmt19_83_142QuBE6.1UNSAT0.12
stmt19_83_217QuBE6.1UNSAT0.18
stmt19_83_250QuBE6.1UNSAT0.2
stmt19_83_266QuBE6.1UNSAT0.2
stmt19_83_302QuBE6.1UNSAT0.3
stmt19_83_359QuBE6.1UNSAT0.32
stmt19_83_412QuBE6.1UNSAT0.39
stmt19_83_417QuBE6.1UNSAT0.4
stmt19_83_90QuBE6.1UNSAT0.12
stmt19_90_125QuBE6.1UNSAT0.12
stmt19_90_133QuBE6.1UNSAT0.14
stmt19_90_142QuBE6.1UNSAT0.14
stmt19_90_177QuBE6.1UNSAT0.17
stmt19_90_217QuBE6.1UNSAT0.17
stmt19_90_250QuBE6.1UNSAT0.19
stmt19_90_266QuBE6.1UNSAT0.2
stmt19_90_309QuBE6.1UNSAT0.37
stmt19_90_352QuBE6.1UNSAT0.31
stmt19_90_363QuBE6.1UNSAT0.41
stmt19_90_408QuBE6.1UNSAT0.37
stmt19_90_417QuBE6.1UNSAT0.41
stmt21_127_143QuBE6.1UNSAT0.12
stmt21_127_178QuBE6.1UNSAT0.17
stmt21_127_181QuBE6.1UNSAT0.18
stmt21_127_218QuBE6.1UNSAT0.19
stmt21_127_252QuBE6.1UNSAT0.22
stmt21_127_258QuBE6.1UNSAT0.23
stmt21_127_267QuBE6.1UNSAT0.2
stmt21_127_310QuBE6.1UNSAT0.3
stmt21_127_319QuBE6.1UNSAT0.26
stmt21_127_354QuBE6.1UNSAT0.34
stmt21_127_360QuBE6.1UNSAT0.34
stmt21_127_369QuBE6.1UNSAT0.36
stmt21_127_409QuBE6.1UNSAT0.41
stmt21_127_413QuBE6.1UNSAT0.4
stmt21_127_418QuBE6.1UNSAT0.4
stmt21_134_138QuBE6.1UNSAT0.17
stmt21_134_178AQME-1NNUNSAT4.89
stmt21_134_304QuBE6.1UNSAT0.32
stmt21_134_354QuBE6.1UNSAT0.33
stmt21_134_364QuBE6.1UNSAT0.36
stmt21_134_413QuBE6.1UNSAT0.41
stmt21_134_418QuBE6.1UNSAT0.42
stmt21_138_215QuBE6.1UNSAT0.36
stmt21_138_252QuBE6.1UNSAT0.21
stmt21_138_258QuBE6.1UNSAT0.24
stmt21_138_267QuBE6.1UNSAT0.22
stmt21_138_304QuBE6.1UNSAT0.32
stmt21_138_310QuBE6.1UNSAT0.3
stmt21_138_413QuBE6.1UNSAT0.4
stmt21_143_181QuBE6.1UNSAT0.19
stmt21_143_215QuBE6.1UNSAT0.19
stmt21_143_258QuBE6.1UNSAT0.24
stmt21_143_314QuBE6.1UNSAT0.4
stmt21_143_403QuBE6.1UNSAT0.36
stmt21_143_409QuBE6.1UNSAT0.38
stmt21_178_218QuBE6.1UNSAT0.22
stmt21_178_258QuBE6.1UNSAT0.25
stmt21_178_267QuBE6.1UNSAT0.24
stmt21_178_403QuBE6.1UNSAT0.38
stmt21_178_409QuBE6.1UNSAT0.42
stmt21_178_418QuBE6.1UNSAT0.44
stmt21_181_218AQME-1NNUNSAT5.62
stmt21_181_258QuBE6.1UNSAT0.25
stmt21_181_360QuBE6.1UNSAT0.36
stmt21_181_364QuBE6.1UNSAT0.38
stmt21_181_369QuBE6.1UNSAT0.4
stmt21_181_413QuBE6.1UNSAT0.42
stmt21_215_252QuBE6.1UNSAT0.24
stmt21_215_267QuBE6.1UNSAT0.25
stmt21_215_354QuBE6.1UNSAT0.36
stmt21_215_403QuBE6.1UNSAT0.4
stmt21_215_409QuBE6.1UNSAT0.43
stmt21_215_413QuBE6.1UNSAT0.44
stmt21_215_418QuBE6.1UNSAT0.44
stmt21_218_258QuBE6.1UNSAT0.26
stmt21_218_262QuBE6.1UNSAT0.27
stmt21_218_314QuBE6.1UNSAT0.36
stmt21_218_360QuBE6.1UNSAT0.36
stmt21_218_364QuBE6.1UNSAT0.38
stmt21_218_413QuBE6.1UNSAT0.43
stmt21_252_262QuBE6.1UNSAT0.33
stmt21_252_267QuBE6.1UNSAT0.24
stmt21_252_304QuBE6.1UNSAT0.5
stmt21_252_310QuBE6.1UNSAT0.5
stmt21_252_314QuBE6.1UNSAT0.5
stmt21_252_319QuBE6.1UNSAT0.29
stmt21_252_354QuBE6.1UNSAT0.51
stmt21_252_364QuBE6.1UNSAT0.52
stmt21_252_418QuBE6.1UNSAT0.43
stmt21_258_304QuBE6.1UNSAT0.38
stmt21_258_360QuBE6.1UNSAT0.51
stmt21_258_364QuBE6.1UNSAT0.55
stmt21_262_310QuBE6.1UNSAT0.49
stmt21_262_319QuBE6.1UNSAT0.34
stmt21_262_409QuBE6.1UNSAT0.85
stmt21_262_413QuBE6.1UNSAT0.57
stmt21_262_418QuBE6.1UNSAT0.48
stmt21_267_304QuBE6.1UNSAT0.34
stmt21_267_310QuBE6.1UNSAT0.54
stmt21_304_360QuBE6.1UNSAT0.54
stmt21_304_364QuBE6.1UNSAT0.56
stmt21_304_369QuBE6.1UNSAT0.41
stmt21_304_409QuBE6.1UNSAT0.59
stmt21_304_418QuBE6.1UNSAT0.44
stmt21_310_314QuBE6.1UNSAT0.58
stmt21_310_354QuBE6.1UNSAT0.43
stmt21_310_360QuBE6.1UNSAT0.55
stmt21_310_403QuBE6.1UNSAT0.46
stmt21_314_354QuBE6.1UNSAT0.43
stmt21_314_364QuBE6.1UNSAT0.58
stmt21_314_409QuBE6.1UNSAT0.6
stmt21_314_418QuBE6.1UNSAT0.63
stmt21_319_354QuBE6.1UNSAT0.4
stmt21_319_364QuBE6.1UNSAT0.59
stmt21_319_403QuBE6.1UNSAT0.43
stmt21_319_409QuBE6.1UNSAT0.6
stmt21_354_369QuBE6.1UNSAT0.42
stmt21_354_413QuBE6.1UNSAT0.63
stmt21_360_364QuBE6.1UNSAT0.62
stmt21_360_369QuBE6.1UNSAT0.61
stmt21_360_403QuBE6.1UNSAT0.5
stmt21_360_409QuBE6.1UNSAT0.66
stmt21_360_418QuBE6.1UNSAT0.66
stmt21_364_369QuBE6.1UNSAT0.5
stmt21_364_409QuBE6.1UNSAT0.65
stmt21_364_418QuBE6.1UNSAT0.55
stmt21_403_409QuBE6.1UNSAT0.56
stmt21_403_413QuBE6.1UNSAT0.56
stmt21_403_418QuBE6.1UNSAT0.48
stmt21_409_413QuBE6.1UNSAT0.71
stmt21_4_134QuBE6.1UNSAT0.1
stmt21_4_178QuBE6.1UNSAT0.12
stmt21_4_304QuBE6.1UNSAT0.27
stmt21_4_310QuBE6.1UNSAT0.28
stmt21_4_354QuBE6.1UNSAT0.3
stmt21_4_360QuBE6.1UNSAT0.3
stmt21_4_364QuBE6.1UNSAT0.31
stmt21_4_409QuBE6.1UNSAT0.4
stmt21_4_5QuBE6.1UNSAT0.05
stmt21_5_134QuBE6.1UNSAT0.11
stmt21_5_138QuBE6.1UNSAT0.1
stmt21_5_181QuBE6.1UNSAT0.13
stmt21_5_218QuBE6.1UNSAT0.13
stmt21_5_304QuBE6.1UNSAT0.29
stmt21_5_354QuBE6.1UNSAT0.31
stmt21_5_360QuBE6.1UNSAT0.3
stmt21_5_364QuBE6.1UNSAT0.33
stmt21_5_413QuBE6.1UNSAT0.36
stmt21_70_127QuBE6.1UNSAT0.14
stmt21_70_138QuBE6.1UNSAT0.13
stmt21_70_178QuBE6.1UNSAT0.15
stmt21_70_258QuBE6.1UNSAT0.22
stmt21_70_267QuBE6.1UNSAT0.19
stmt21_70_304QuBE6.1UNSAT0.3
stmt21_70_310QuBE6.1UNSAT0.29
stmt21_70_314QuBE6.1UNSAT0.31
stmt21_70_354QuBE6.1UNSAT0.32
stmt21_70_369QuBE6.1UNSAT0.34
stmt21_70_84QuBE6.1UNSAT0.11
stmt21_71_134QuBE6.1UNSAT0.12
stmt21_71_143QuBE6.1UNSAT0.12
stmt21_71_252QuBE6.1UNSAT0.18
stmt21_71_304QuBE6.1UNSAT0.27
stmt21_71_314QuBE6.1UNSAT0.35
stmt21_71_354QuBE6.1UNSAT0.29
stmt21_71_360QuBE6.1UNSAT0.37
stmt21_71_409QuBE6.1UNSAT0.36
stmt21_71_413QuBE6.1UNSAT0.37
stmt21_71_70QuBE6.1UNSAT0.09
stmt21_79_134QuBE6.1UNSAT0.14
stmt21_79_178QuBE6.1UNSAT0.16
stmt21_79_262QuBE6.1UNSAT0.22
stmt21_79_304QuBE6.1UNSAT0.3
stmt21_79_314QuBE6.1UNSAT0.31
stmt21_79_91QuBE6.1UNSAT0.12
stmt21_84_127QuBE6.1UNSAT0.13
stmt21_84_134QuBE6.1UNSAT0.14
stmt21_84_138QuBE6.1UNSAT0.14
stmt21_84_215QuBE6.1UNSAT0.17
stmt21_84_258QuBE6.1UNSAT0.22
stmt21_84_310QuBE6.1UNSAT0.29
stmt21_84_364QuBE6.1UNSAT0.34
stmt21_84_369QuBE6.1UNSAT0.36
stmt21_84_403QuBE6.1UNSAT0.36
stmt21_91_181QuBE6.1UNSAT0.16
stmt21_91_304QuBE6.1UNSAT0.29
stmt21_91_369QuBE6.1UNSAT0.36
stmt21_91_413QuBE6.1UNSAT0.38
stmt22_135_144QuBE6.1UNSAT0.2
stmt22_135_311QuBE6.1UNSAT0.31
stmt22_135_315QuBE6.1UNSAT0.33
stmt22_135_320QuBE6.1UNSAT0.27
stmt22_135_404QuBE6.1UNSAT0.37
stmt22_139_144QuBE6.1UNSAT0.15
stmt22_139_182QuBE6.1UNSAT4.38
stmt22_139_219AQME-1NNUNSAT5.54
stmt22_139_263QuBE6.1UNSAT0.23
stmt22_139_320QuBE6.1UNSAT0.28
stmt22_139_404QuBE6.1UNSAT0.37
stmt22_144_179QuBE6.1UNSAT0.2
stmt22_144_355QuBE6.1UNSAT0.31
stmt22_144_361QuBE6.1UNSAT0.42
stmt22_144_370QuBE6.1UNSAT0.38
stmt22_144_419QuBE6.1UNSAT0.42
stmt22_179_182QuBE6.1UNSAT0.2
stmt22_182_216QuBE6.1UNSAT0.21
stmt22_182_253QuBE6.1UNSAT0.24
stmt22_182_263QuBE6.1UNSAT0.26
stmt22_182_268QuBE6.1UNSAT0.24
stmt22_182_305QuBE6.1UNSAT0.33
stmt22_182_320QuBE6.1UNSAT0.3
stmt22_182_419QuBE6.1UNSAT0.44
stmt22_219_268QuBE6.1UNSAT0.25
stmt22_253_259QuBE6.1UNSAT0.34
stmt22_259_263QuBE6.1UNSAT0.35
stmt22_259_311QuBE6.1UNSAT0.56
stmt22_259_355QuBE6.1UNSAT0.4
stmt22_259_370QuBE6.1UNSAT0.58
stmt22_259_404QuBE6.1UNSAT0.43
stmt22_259_410QuBE6.1UNSAT1.66
stmt22_259_419QuBE6.1UNSAT0.59
stmt22_263_305QuBE6.1UNSAT0.38
stmt22_263_315QuBE6.1UNSAT0.56
stmt22_263_355QuBE6.1UNSAT0.4
stmt22_263_361QuBE6.1UNSAT0.5
stmt22_263_365QuBE6.1UNSAT0.53
stmt22_263_370QuBE6.1UNSAT0.44
stmt22_263_404QuBE6.1UNSAT0.44
stmt22_268_320QuBE6.1UNSAT0.43
stmt22_268_404QuBE6.1UNSAT0.4
stmt22_268_414QuBE6.1UNSAT0.64
stmt22_305_311QuBE6.1UNSAT0.54
stmt22_311_320QuBE6.1UNSAT0.55
stmt22_311_370QuBE6.1UNSAT0.58
stmt22_315_361QuBE6.1UNSAT0.54
stmt22_315_404QuBE6.1UNSAT0.47
stmt22_320_361QuBE6.1UNSAT0.57
stmt22_361_414QuBE6.1UNSAT0.67
stmt22_365_404QuBE6.1UNSAT0.51
stmt22_365_414QuBE6.1UNSAT0.68
stmt22_6_128QuBE6.1UNSAT0.1
stmt22_6_219QuBE6.1UNSAT0.12
stmt22_6_414QuBE6.1UNSAT0.44
stmt22_6_72QuBE6.1UNSAT0.09
stmt22_6_80QuBE6.1UNSAT0.08
stmt22_72_80QuBE6.1UNSAT0.12
stmt22_73_128QuBE6.1UNSAT0.11
stmt22_73_179QuBE6.1UNSAT0.14
stmt22_73_182QuBE6.1UNSAT0.15
stmt22_73_219QuBE6.1UNSAT0.16
stmt22_73_263QuBE6.1UNSAT0.21
stmt22_73_268QuBE6.1UNSAT0.18
stmt22_73_311QuBE6.1UNSAT0.35
stmt22_73_404QuBE6.1UNSAT0.33
stmt22_73_419QuBE6.1UNSAT0.38
stmt22_73_80QuBE6.1UNSAT0.1
stmt22_73_92QuBE6.1UNSAT0.11
stmt22_80_139QuBE6.1UNSAT0.14
stmt22_80_144QuBE6.1UNSAT0.14
stmt22_80_182QuBE6.1UNSAT0.16
stmt22_80_216QuBE6.1UNSAT0.18
stmt22_80_253QuBE6.1UNSAT0.2
stmt22_80_259QuBE6.1UNSAT0.21
stmt22_80_268QuBE6.1UNSAT0.2
stmt22_80_361QuBE6.1UNSAT0.33
stmt22_80_370QuBE6.1UNSAT0.36
stmt22_80_404QuBE6.1UNSAT0.36
stmt22_80_414QuBE6.1UNSAT0.39
stmt22_85_179QuBE6.1UNSAT0.16
stmt22_85_182QuBE6.1UNSAT0.17
stmt22_85_263QuBE6.1UNSAT0.22
stmt22_85_315QuBE6.1UNSAT0.31
stmt22_85_320QuBE6.1UNSAT0.25
stmt22_85_355QuBE6.1UNSAT0.32
stmt22_85_410QuBE6.1UNSAT0.39
stmt22_92_139QuBE6.1UNSAT0.14
stmt22_92_216QuBE6.1UNSAT0.17
stmt22_92_259QuBE6.1UNSAT0.22
stmt22_92_263QuBE6.1UNSAT0.22
stmt22_92_315QuBE6.1UNSAT0.38
stmt22_92_320QuBE6.1UNSAT0.26
stmt22_92_361QuBE6.1UNSAT0.39
stmt22_92_404QuBE6.1UNSAT0.34
stmt26_15_223QuBE6.1UNSAT0.16
stmt27_149_187AQME-1NNUNSAT5.97
stmt27_149_224AQME-1NNUNSAT6.78
stmt27_16_149QuBE6.1UNSAT0.13
stmt27_16_224QuBE6.1UNSAT0.13
stmt27_16_97QuBE6.1UNSAT0.1
stmt27_17_149QuBE6.1UNSAT0.14
stmt27_17_187QuBE6.1UNSAT0.15
stmt27_97_187QuBE6.1UNSAT0.18
stmt28_19_98QuBE6.1UNSAT0.12
stmt28_98_225QuBE6.1UNSAT0.2
stmt29_21_275QuBE6.1UNSAT0.21
stmt29_21_327QuBE6.1UNSAT0.28
stmt29_226_327QuBE6.1UNSAT0.32
stmt29_226_376QuBE6.1UNSAT0.37
stmt29_99_151QuBE6.1UNSAT0.16
stmt31_100_276QuBE6.1UNSAT0.23
stmt31_100_328QuBE6.1UNSAT0.29
stmt31_152_328QuBE6.1UNSAT0.3
stmt31_190_227AQME-1NNUNSAT5.65
stmt31_190_276QuBE6.1UNSAT0.25
stmt31_22_23QuBE6.1UNSAT0.09
stmt31_22_328QuBE6.1UNSAT0.26
stmt31_23_377QuBE6.1UNSAT0.32
stmt32_101_378QuBE6.1UNSAT0.33
stmt32_153_277QuBE6.1UNSAT0.24
stmt32_153_378QuBE6.1UNSAT0.35
stmt32_191_329QuBE6.1UNSAT0.31
stmt32_191_378QuBE6.1UNSAT0.36
stmt32_228_277QuBE6.1UNSAT0.26
stmt32_24_191QuBE6.1UNSAT0.12
stmt32_24_277QuBE6.1UNSAT0.2
stmt32_24_378QuBE6.1UNSAT0.31
stmt39_107_197QuBE6.1UNSAT0.18
stmt39_107_285QuBE6.1UNSAT0.24
stmt39_107_335QuBE6.1UNSAT0.29
stmt39_107_384QuBE6.1UNSAT0.36
stmt39_159_197AQME-1NNUNSAT4.85
stmt39_159_335QuBE6.1UNSAT0.31
stmt39_159_384QuBE6.1UNSAT0.38
stmt39_234_335QuBE6.1UNSAT0.33
stmt39_234_384QuBE6.1UNSAT0.4
stmt39_34_107QuBE6.1UNSAT0.11
stmt39_34_285QuBE6.1UNSAT0.21
stmt39_34_384QuBE6.1UNSAT0.33
stmt39_35_159QuBE6.1UNSAT0.15
stmt39_35_335QuBE6.1UNSAT0.28
stmt39_35_384QuBE6.1UNSAT0.34
stmt41_108_160QuBE6.1UNSAT0.18
stmt41_108_235QuBE6.1UNSAT0.2
stmt41_160_235AQME-1NNUNSAT5.88
stmt41_160_286QuBE6.1UNSAT0.26
stmt41_198_235AQME-1NNUNSAT6.36
stmt41_198_286QuBE6.1UNSAT0.27
stmt41_198_336QuBE6.1UNSAT0.32
stmt41_198_385QuBE6.1UNSAT0.38
stmt41_235_286QuBE6.1UNSAT0.28
stmt41_36_160QuBE6.1UNSAT0.14
stmt41_36_198QuBE6.1UNSAT0.12
stmt41_36_235QuBE6.1UNSAT0.14
stmt41_36_336QuBE6.1UNSAT0.26
stmt41_36_37QuBE6.1UNSAT0.09
stmt41_37_108QuBE6.1UNSAT0.13
stmt41_37_198QuBE6.1UNSAT0.16
stmt41_37_235QuBE6.1UNSAT0.17
stmt41_37_286QuBE6.1UNSAT0.22
stmt44_110_200QuBE6.1UNSAT0.18
stmt44_110_338QuBE6.1UNSAT0.3
stmt44_162_237AQME-1NNUNSAT6.16
stmt44_162_338QuBE6.1UNSAT0.32
stmt44_162_387QuBE6.1UNSAT0.37
stmt44_200_338QuBE6.1UNSAT0.33
stmt44_40_110QuBE6.1UNSAT0.12
stmt44_40_162QuBE6.1UNSAT0.14
stmt44_40_387QuBE6.1UNSAT0.32
stmt44_40_41QuBE6.1UNSAT0.1
stmt44_41_237QuBE6.1UNSAT0.18
stmt44_41_288QuBE6.1UNSAT0.23
stmt44_41_387QuBE6.1UNSAT0.34
stmt46_111_163QuBE6.1UNSAT0.19
stmt46_111_238QuBE6.1UNSAT0.21
stmt46_163_289QuBE6.1UNSAT0.26
stmt46_201_238AQME-1NNUNSAT5.8
stmt46_201_388QuBE6.1UNSAT0.38
stmt46_238_388QuBE6.1UNSAT0.39
stmt46_42_289QuBE6.1UNSAT0.22
stmt46_43_111QuBE6.1UNSAT0.14
stmt46_43_201QuBE6.1UNSAT0.16
stmt46_43_339QuBE6.1UNSAT0.29
stmt47_112_290QuBE6.1UNSAT0.24
stmt47_112_389QuBE6.1UNSAT0.36
stmt47_164_202AQME-1NNUNSAT4.9
stmt47_202_290QuBE6.1UNSAT0.28
stmt47_239_290QuBE6.1UNSAT0.29
stmt47_239_340QuBE6.1UNSAT0.35
stmt47_44_202QuBE6.1UNSAT0.14
stmt47_44_239QuBE6.1UNSAT0.14
stmt47_44_340QuBE6.1UNSAT0.28
stmt47_45_164QuBE6.1UNSAT0.16
stmt50_115_242QuBE6.1UNSAT0.21
stmt50_115_392QuBE6.1UNSAT0.36
stmt50_167_205AQME-1NNUNSAT5.5
stmt50_167_293QuBE6.1UNSAT0.28
stmt50_167_343QuBE6.1UNSAT0.33
stmt50_205_293QuBE6.1UNSAT0.29
stmt50_205_392QuBE6.1UNSAT0.39
stmt50_242_343QuBE6.1UNSAT0.36
stmt50_50_115QuBE6.1UNSAT0.12
stmt50_50_205QuBE6.1UNSAT0.14
stmt50_50_293QuBE6.1UNSAT0.22
stmt50_50_392QuBE6.1UNSAT0.32
stmt50_51_167AQME-1NNUNSAT4.22
stmt50_51_293QuBE6.1UNSAT0.24
stmt50_51_392QuBE6.1UNSAT0.35
stmt52_117_207QuBE6.1UNSAT0.19
stmt52_117_295QuBE6.1UNSAT0.26
stmt52_169_244AQME-1NNUNSAT6.54
stmt52_169_394QuBE6.1UNSAT0.37
stmt52_207_345QuBE6.1UNSAT0.34
stmt52_244_295QuBE6.1UNSAT0.29
stmt52_244_394QuBE6.1UNSAT0.39
stmt52_54_169QuBE6.1UNSAT0.14
stmt52_54_244QuBE6.1UNSAT0.14
stmt52_54_345QuBE6.1UNSAT0.29
stmt52_54_55QuBE6.1UNSAT0.1
stmt52_55_117AQME-1NNUNSAT2.47
stmt52_55_207QuBE6.1UNSAT0.64
stmt53_118_170QuBE6.1UNSAT0.17
stmt53_118_346QuBE6.1UNSAT0.32
stmt53_208_245AQME-1NNUNSAT6.57
stmt53_57_245QuBE6.1UNSAT1.18
stmt53_57_346QuBE6.1UNSAT0.3
stmt85_122_399QuBE6.1UNSAT0.38
stmt85_64_122QuBE6.1UNSAT0.12
stmt85_64_248QuBE6.1UNSAT0.19
stmt85_64_65QuBE6.1UNSAT0.1