Instances solved by QuBE7-c
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt24_7_8SAT0
stmt32_122_129SAT0
stmt44_107_113SAT0
stmt1_30_31SAT0
stmt6_13_14SAT0
stmt44_107_108SAT0.01
mutex-2-sSAT0.01
stmt1_145_146SAT0.01
qshifter_3SAT0.01
stmt24_148_149SAT0.01
rankfunc4_unsigned_16SAT0.02
stmt1_20_21SAT0.02
qshifter_4SAT0.02
rankfunc37_unsigned_32UNSAT0.02
mutex-4-sSAT0.02
rankfunc38_signed_32SAT0.02
stmt16_0_1SAT0.02
stmt17_143_144SAT0.02
rankfunc56_signed_16SAT0.02
stmt17_18_19SAT0.03
rankfunc12_unsigned_16SAT0.04
rankfunc53_signed_16SAT0.05
stmt1_811_812SAT0.05
rankfunc59_unsigned_16SAT0.05
stmt21_4_5UNSAT0.06
rankfunc7_signed_16SAT0.06
mutex-8-sSAT0.06
stmt3_969_973SAT0.06
stmt3_639_640SAT0.06
stmt70_191_213SAT0.06
stmt44_252_301SAT0.06
stmt24_292_293SAT0.07
stmt1_392_393SAT0.07
stmt9_445_446SAT0.07
stmt82_224_225SAT0.07
stmt27_296_297SAT0.07
stmt18_258_260SAT0.07
rankfunc44_unsigned_32SAT0.07
stmt22_6_80UNSAT0.08
stmt19_2_83UNSAT0.08
rankfunc6_unsigned_16SAT0.08
rankfunc42_unsigned_16SAT0.08
stmt19_3_83UNSAT0.08
stmt19_3_78UNSAT0.09
stmt19_66_90UNSAT0.09
rankfunc29_signed_16SAT0.09
stmt44_40_41UNSAT0.09
rankfunc22_unsigned_32SAT0.09
stmt41_36_37UNSAT0.09
stmt21_71_70UNSAT0.09
rankfunc8_unsigned_32SAT0.09
rankfunc60_unsigned_32SAT0.09
stmt31_22_23UNSAT0.09
rankfunc28_unsigned_16SAT0.1
stmt52_54_55UNSAT0.1
stmt19_67_83UNSAT0.11
rankfunc31_unsigned_16SAT0.11
stmt9_350_351SAT0.11
rankfunc33_unsigned_32SAT0.11
rankfunc51_signed_32SAT0.11
rankfunc26_unsigned_32SAT0.12
rankfunc21_signed_16SAT0.12
rankfunc48_unsigned_16SAT0.12
rankfunc61_signed_32SAT0.12
stmt39_34_107UNSAT0.12
rankfunc35_unsigned_32SAT0.13
stmt19_83_90UNSAT0.13
stmt11_643_645SAT0.13
stmt21_79_91UNSAT0.13
rankfunc17_unsigned_16SAT0.14
stmt19_3_177UNSAT0.14
stmt19_2_180UNSAT0.14
rankfunc49_signed_32SAT0.15
rankfunc34_signed_32SAT0.16
stmt44_40_162UNSAT0.17
rankfunc23_signed_64SAT0.17
qshifter_5SAT0.17
rankfunc55_unsigned_32SAT0.18
rankfunc45_signed_16SAT0.18
stmt19_90_133UNSAT0.18
rankfunc20_unsigned_32SAT0.19
rankfunc9_signed_64SAT0.2
sortnetsort5.AE.stepl.003SAT0.2
rankfunc11_signed_32SAT0.2
rankfunc15_unsigned_32SAT0.22
stmt85_64_122UNSAT0.23
rankfunc19_unsigned_16SAT0.23
rankfunc52_unsigned_32SAT0.23
rankfunc58_signed_32SAT0.24
stmt21_70_258UNSAT0.25
rankfunc54_signed_32SAT0.26
rankfunc36_signed_64SAT0.26
rankfunc10_unsigned_64SAT0.27
stmt22_92_259UNSAT0.27
rankfunc46_unsigned_32SAT0.27
stmt19_133_257UNSAT0.28
stmt19_142_261UNSAT0.28
rankfunc27_signed_64SAT0.29
rankfunc43_signed_64SAT0.29
stmt21_143_258UNSAT0.29
stmt21_127_258UNSAT0.3
stmt21_71_304UNSAT0.3
rankfunc5_signed_64SAT0.31
stmt31_100_276UNSAT0.31
rankfunc40_unsigned_64SAT0.31
stmt29_21_275UNSAT0.31
stmt19_217_250UNSAT0.33
stmt22_179_182UNSAT0.34
stmt52_117_295UNSAT0.34
stmt19_83_302UNSAT0.35
stmt32_153_277UNSAT0.35
stmt19_66_318UNSAT0.36
stmt46_163_289UNSAT0.36
stmt19_3_309UNSAT0.36
stmt32_228_277UNSAT0.36
rankfunc1_signed_32SAT0.37
stmt19_125_302UNSAT0.37
stmt50_167_293UNSAT0.37
stmt41_235_286UNSAT0.38
stmt19_261_266UNSAT0.38
rankfunc2_unsigned_64SAT0.38
rankfunc24_unsigned_64SAT0.4
stmt19_137_313UNSAT0.41
stmt19_177_302UNSAT0.41
stmt21_79_314UNSAT0.42
stmt47_239_290UNSAT0.42
rankfunc50_signed_64SAT0.46
stmt19_214_309UNSAT0.48
sortnetsort6.AE.stepl.003SAT0.5
rankfunc25_signed_64SAT0.54
stmt19_313_318UNSAT0.56
rankfunc47_signed_64SAT0.56
stmt21_252_310UNSAT0.56
rankfunc41_signed_32SAT0.56
rankfunc30_signed_64SAT0.57
rankfunc14_signed_64SAT0.61
stmt21_134_418UNSAT0.62
sortnetsort5.AE.stepl.005UNSAT0.7
rankfunc3_signed_64SAT0.75
stmt2_649_723SAT0.85
sortnetsort5.AE.stepl.006UNSAT0.9
sortnetsort7.AE.stepl.003SAT1.05
rankfunc32_signed_64SAT1.12
sortnetsort5.AE.stepl.007UNSAT1.19
stmt137_903_911SAT1.33
stmt72_696_721SAT1.33
stmt24_765_766SAT1.34
stmt124_966_965SAT1.36
stmt1_919_920SAT1.36
rankfunc39_unsigned_64SAT1.38
stmt5_731_730SAT1.4
stmt44_554_604SAT1.45
stmt25_597_598SAT1.47
stmt70_495_501SAT1.48
qshifter_6SAT2.41
rankfunc18_signed_64SAT2.62
sortnetsort6.AE.stepl.006UNSAT2.86
rankfunc16_signed_64SAT4.02
rankfunc57_unsigned_64SAT4.14
stmt21_267_310UNSAT6.6
sortnetsort9.AE.stepl.004SAT7.56
mutex-16-sSAT9.83
stmt16_818_819SAT36.86
stmt7_33_34SAT37.86
qshifter_7SAT38.96
stmt53_208_245UNSAT66.69
sortnetsort7.AE.stepl.009UNSAT176.22
sortnetsort7.AE.stepl.006UNSAT181.01
sortnetsort8.AE.stepl.005SAT314.88
qshifter_8SAT657.58
stmt2_649_776SAT835.78
stmt86_889_890SAT907.94
sortnetsort10.AE.stepl.005FAIL1200.02
stmt1_787_788FAIL1200.02
stmt37_941_942FAIL1200.02
sortnetsort8.AE.stepl.007FAIL1200.02
stmt52_295_394FAIL1200.02
sortnetsort9.AE.stepl.005FAIL1200.02
stmt27_149_224FAIL1200.02
mutex-32-sFAIL1200.02
stmt21_310_360FAIL1200.02
stmt19_313_412FAIL1200.03
stmt16_47_48FAIL1200.03
mutex-64-sFAIL1200.03
stmt27_93_98FAIL1200.03
stmt41_336_385FAIL1200.03
stmt41_262_275FAIL1200.03
stmt23_66_76FAIL1200.03
sortnetsort8.AE.stepl.009FAIL1200.03
stmt17_63_70FAIL1200.03
stmt17_99_98FAIL1200.03
stmt25_52_53FAIL1200.03
stmt2_976_999FAIL1200.03
stmt17_82_94FAIL1200.04
stmt17_63_78FAIL1200.04
stmt19_79_87FAIL1200.04
stmt28_68_81FAIL1200.04
sortnetsort9.AE.stepl.012FAIL1200.05
mutex-128-sFAIL1200.05
sortnetsort10.AE.stepl.012FAIL1200.05