Instances solved by ghostq-cegar
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
k_ph_n-1SAT0.06
stmt24_7_8SAT0.06
tree-exa10-10SAT0.06
stmt1_20_21SAT0.07
stmt24_148_149SAT0.07
stmt44_107_108SAT0.07
qshifter_3SAT0.08
stmt1_145_146SAT0.08
stmt16_0_1SAT0.09
rankfunc37_signed_16UNSAT0.11
stmt1_811_812SAT0.13
mutex-2-sSAT0.14
stmt3_639_640SAT0.16
stmt70_191_213SAT0.17
stmt16_818_819SAT0.17
stmt82_224_225SAT0.17
stmt18_258_260SAT0.17
stmt9_350_351SAT0.18
stmt24_292_293SAT0.18
stmt27_296_297SAT0.18
qshifter_4SAT0.19
stmt2_649_647SAT0.2
exquery_query04_1344nUNSAT0.2
stmt2_649_723SAT0.2
stmt11_643_645SAT0.21
stmt44_435_436SAT0.21
stmt16_285_286SAT0.22
stmt70_854_859SAT0.23
stmt1_919_920SAT0.24
stmt124_966_965SAT0.24
stmt2_649_776SAT0.24
stmt44_916_917SAT0.24
stmt137_903_911SAT0.24
stmt41_118_131SAT0.24
stmt41_738_737SAT0.25
stmt72_696_721SAT0.25
stmt27_946_955SAT0.26
stmt2_480_551SAT0.26
stmt22_6_72UNSAT0.28
stmt16_950_951SAT0.28
stmt21_326_327SAT0.28
stmt86_889_890SAT0.28
stmt70_495_501SAT0.28
stmt32_570_572SAT0.29
stmt27_584_603SAT0.29
stmt24_765_766SAT0.29
stmt44_554_555SAT0.29
stmt44_554_604SAT0.29
tree-exa10-15SAT0.36
stmt27_16_97UNSAT0.38
stmt41_37_108UNSAT0.4
stmt7_33_34SAT0.43
stmt41_738_749SAT0.44
stmt27_16_224UNSAT0.44
stmt19_83_142UNSAT0.44
stmt1_629_630SAT0.47
stmt41_566_580SAT0.49
stmt1_787_788SAT0.6
stmt38_943_942SAT0.6
stmt37_941_942SAT0.6
sortnetsort5.AE.stepl.006UNSAT0.66
stmt19_90_266UNSAT0.69
stmt16_47_48SAT0.71
stmt1_60_61SAT0.73
stmt22_92_263UNSAT0.73
sortnetsort5.AE.stepl.007UNSAT0.74
stmt22_73_182UNSAT0.75
stmt17_99_98SAT0.76
stmt21_71_354UNSAT0.94
stmt31_22_328UNSAT0.97
stmt21_178_258UNSAT1.02
qshifter_5SAT1.07
stmt21_138_304UNSAT1.11
stmt21_143_403UNSAT1.17
stmt21_70_369UNSAT1.26
stmt19_67_318UNSAT1.29
stmt21_71_413UNSAT1.3
stmt46_111_238UNSAT1.3
stmt22_73_311UNSAT1.33
stmt52_55_117UNSAT1.37
sortnetsort6.AE.stepl.007UNSAT1.52
sortnetsort5.AE.stepl.005UNSAT1.59
stmt44_40_387UNSAT1.62
stmt27_16_149UNSAT1.67
stmt52_244_394UNSAT1.79
stmt21_79_304UNSAT2.01
stmt19_180_352UNSAT2.23
stmt19_90_408UNSAT2.4
stmt21_262_319UNSAT2.48
stmt19_217_302UNSAT3.86
stmt50_205_293UNSAT4.18
stmt19_3_401UNSAT5.38
sortnetsort5.AE.stepl.003SAT5.63
stmt44_41_288UNSAT7.75
stmt2_976_999SAT8.61
qshifter_6SAT11.8
sortnetsort6.AE.stepl.006UNSAT13.98
stmt19_217_309UNSAT19.21
tree-exa10-20SAT21.53
stmt39_107_197UNSAT22.75
stmt23_66_67SAT49.58
stmt22_6_414UNSAT51.69
sortnetsort5.AE.stepl.004SAT52.9
stmt17_63_70SAT55.43
stmt28_68_69SAT57.27
stmt23_66_76SAT57.28
stmt28_68_73SAT64.28
stmt19_133_217UNSAT64.42
stmt17_62_78SAT64.71
stmt17_63_78SAT64.79
stmt17_74_78SAT69.38
stmt28_68_81SAT70.48
stmt23_72_76SAT71.34
stmt19_64_91SAT76.62
stmt19_65_87SAT77.19
sortnetsort6.AE.stepl.003SAT78.33
stmt17_70_78SAT82.49
stmt28_73_85SAT87.3
stmt17_63_82SAT90.53
stmt19_79_83SAT91.58
stmt19_64_87SAT93.04
stmt17_70_86SAT94.82
stmt21_84_215UNSAT96.43
stmt19_83_91SAT101.81
stmt17_70_82SAT102.03
stmt23_66_96SAT102.96
stmt19_64_99SAT103.84
stmt19_75_95SAT110.69
stmt29_226_376UNSAT110.72
stmt19_79_87SAT115.32
stmt19_75_83SAT117.16
stmt23_67_92SAT124.4
stmt17_62_98SAT124.78
stmt17_74_90SAT128.19
stmt19_71_95SAT132.77
stmt17_82_98SAT133.71
stmt23_88_92SAT138.83
stmt17_70_90SAT143.98
stmt19_87_95SAT161.3
stmt28_73_97SAT163.6
stmt17_82_86SAT164.4
stmt17_94_98SAT169.34
stmt17_70_98SAT170.71
stmt17_78_94SAT177.56
stmt17_78_90SAT183.08
stmt23_92_96SAT185.72
stmt17_86_98SAT207.22
stmt17_82_94SAT208.79
stmt17_78_98SAT238.49
stmt19_65_95SAT313.55
stmt19_3_214UNSAT317.12
stmt21_5_134UNSAT407.51
qshifter_8FAIL440.32
axquery_query06_1344nUNSAT443.54
qshifter_7FAIL464.52
sortnetsort7.AE.stepl.003SAT494.3
stmt19_177_309UNSAT499.04
nreachq_query54_1344nFAIL599.61
rankfunc19_signed_16FAIL599.71
stmt19_83_412FAIL599.71
query10_query34_1344nFAIL599.71
query10_query45_1344nFAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
stmt21_354_403FAIL599.71
query31_query26_1344nFAIL599.71
query10_query06_1344nFAIL599.71
query34_query11_1344nFAIL599.71
rankfunc22_signed_32FAIL599.71
stmt21_84_364FAIL599.71
mutex-128-sFAIL599.71
rankfunc18_signed_32FAIL599.71
rankfunc3_unsigned_64FAIL599.71
rankfunc60_signed_16FAIL599.71
query31_reachqu_1344nFAIL599.71
query42_query06_1344nFAIL599.71
rankfunc27_signed_16FAIL599.71
rankfunc42_signed_64FAIL599.71
nreachq_query11_1344nFAIL599.71
sortnetsort7.AE.stepl.008FAIL599.71
sortnetsort9.AE.stepl.008FAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
sortnetsort8.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.004FAIL599.71
stmt21_319_418FAIL599.71
query48_exquery_1344nFAIL599.71
query42_query60_1344nFAIL599.71
query60_query45_1344nFAIL599.71
sortnetsort9.AE.stepl.011FAIL599.71
stmt22_311_370FAIL599.71
query42_query45_1344nFAIL599.71
query54_query58_1344nFAIL599.71
query60_query10_1344nFAIL599.72
rankfunc46_unsigned_16FAIL599.81
rankfunc52_unsigned_32FAIL599.81
rankfunc25_signed_64FAIL599.81
rankfunc58_signed_32FAIL599.81
query71_query34_1344nFAIL599.81
query71_query31_1344nFAIL599.81
query64_query11_1344nFAIL599.81
rankfunc60_signed_64FAIL599.81
rankfunc57_signed_32FAIL599.81
rankfunc1_unsigned_64FAIL599.81
rankfunc36_signed_32FAIL599.81
rankfunc17_unsigned_16FAIL599.81
query71_query36_1344nFAIL599.81
rankfunc43_unsigned_32FAIL599.81
rankfunc3_unsigned_32FAIL599.81
rankfunc61_signed_32FAIL599.81
rankfunc33_unsigned_64FAIL599.81
mutex-64-sFAIL599.81
rankfunc27_signed_32FAIL599.81
query31_query50_1344nFAIL599.81
rankfunc16_signed_32FAIL599.81
query64_query01_1344nFAIL599.81
query36_query25_1344nFAIL599.81
query52_query25_1344nFAIL599.81
query26_query34_1344nFAIL599.81
query26_query57_1344nFAIL599.81
query51_query57_1344nFAIL599.81
query31_eequery_1344nFAIL599.81
query49_ntrivil_1344nFAIL599.81
query33_query45_1344nFAIL599.81
query33_query51_1344nFAIL599.81
query07_query64_1344nFAIL599.81
query07_query60_1344nFAIL599.81
query44_query26_1344nFAIL599.81
query02_query58_1344nFAIL599.81
query60_query44_1344nFAIL599.81
axquery_query44_1344nFAIL599.81
eequery_query04_1344nFAIL599.81
eequery_query64_1344nFAIL599.81
query60_query33_1344nFAIL599.81
rankfunc43_signed_64FAIL599.81
query05_query31_1344nFAIL599.81
query33_query57_1344nFAIL599.81
stmt28_89_97FAIL599.81
sortnetsort7.AE.stepl.006FAIL599.81
sortnetsort7.AE.stepl.005FAIL599.81
sortnetsort7.AE.stepl.004FAIL599.81
stmt41_160_235FAIL599.81
sortnetsort6.AE.stepl.005FAIL599.81
sortnetsort6.AE.stepl.004FAIL599.81
sortnetsort10.AE.stepl.011FAIL599.81
sortnetsort10.AE.stepl.009FAIL599.81
sortnetsort10.AE.stepl.008FAIL599.81
sortnetsort10.AE.stepl.007FAIL599.81
sortnetsort10.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.005FAIL599.81
sortnetsort10.AE.stepl.004FAIL599.81
sortnetsort10.AE.stepl.010FAIL599.81
sortnetsort7.AE.stepl.007FAIL599.81
stmt19_137_408FAIL599.81
sortnetsort9.AE.stepl.010FAIL599.81
stmt31_190_227FAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
sortnetsort9.AE.stepl.007FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
stmt19_66_214FAIL599.81
sortnetsort9.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.008FAIL599.81
sortnetsort8.AE.stepl.006FAIL599.81
sortnetsort8.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.004FAIL599.81
stmt19_352_359FAIL599.81
sortnetsort8.AE.stepl.003FAIL599.81
sortnetsort7.AE.stepl.009FAIL599.81
mutex-8-sFAIL599.81
rankfunc15_signed_16FAIL599.81
rankfunc19_unsigned_64FAIL599.81
rankfunc45_signed_32FAIL599.81
rankfunc21_signed_32FAIL599.81
rankfunc57_signed_16FAIL599.81
rankfunc55_signed_16FAIL599.81
rankfunc34_unsigned_32FAIL599.81
rankfunc58_unsigned_32FAIL599.81
rankfunc1_signed_32FAIL599.81
rankfunc16_signed_64FAIL599.81
rankfunc45_signed_64FAIL599.81
rankfunc5_unsigned_16FAIL599.81
rankfunc26_unsigned_64FAIL599.81
rankfunc16_unsigned_64FAIL599.81
rankfunc28_signed_16FAIL599.81
rankfunc8_unsigned_64FAIL599.81
rankfunc44_unsigned_64FAIL599.81
rankfunc56_unsigned_16FAIL599.81
mutex-16-sFAIL599.81
mutex-32-sFAIL599.81
mutex-4-sFAIL599.81
stmt21_181_218FAIL599.81
rankfunc46_unsigned_64FAIL599.81
rankfunc45_unsigned_64FAIL599.81
rankfunc45_unsigned_16FAIL599.81
rankfunc25_unsigned_16FAIL599.81
rankfunc43_signed_16FAIL599.81
rankfunc2_signed_16FAIL599.81
query02_query44_1344nFAIL599.82
query04_query25_1344nFAIL599.82
rankfunc22_unsigned_64FAIL599.82
sortnetsort8.AE.stepl.007FAIL599.82
query21_query55_1344nFAIL599.82
query50_query06_1344nFAIL599.82
tree-exa10-25FAIL599.91
rankfunc15_unsigned_16FAIL599.91
tree-exa10-30FAIL599.91
nxquery_query50_1344nFAIL599.91