Instances of family wmiforward solved by hiqqer1ldsq
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt1_811_812SAT0.02
stmt24_7_8SAT0.02
stmt44_107_108SAT0.02
stmt24_148_149SAT0.02
stmt16_0_1SAT0.02
stmt1_145_146SAT0.02
stmt1_20_21SAT0.02
stmt44_435_436SAT0.03
stmt2_649_723SAT0.03
stmt9_350_351SAT0.03
stmt70_191_213SAT0.03
stmt27_296_297SAT0.03
stmt24_292_293SAT0.03
stmt18_258_260SAT0.03
stmt82_224_225SAT0.03
stmt2_480_551SAT0.03
stmt2_649_647SAT0.03
stmt24_765_766SAT0.04
stmt124_966_965SAT0.04
stmt16_285_286SAT0.04
stmt70_495_501SAT0.04
stmt137_903_911SAT0.04
stmt70_854_859SAT0.04
stmt41_118_131SAT0.04
stmt44_916_917SAT0.04
stmt86_889_890SAT0.04
stmt1_919_920SAT0.04
stmt72_696_721SAT0.04
stmt44_554_604SAT0.04
stmt21_326_327SAT0.04
stmt11_643_645SAT0.04
stmt16_818_819SAT0.04
stmt32_570_572SAT0.04
stmt27_584_603SAT0.04
stmt27_946_955SAT0.04
stmt2_649_776SAT0.04
stmt41_738_737SAT0.04
stmt16_950_951SAT0.05
stmt44_554_555SAT0.05
stmt3_639_640SAT0.05
stmt1_629_630SAT0.06
stmt41_566_580SAT0.07
stmt1_787_788SAT0.07
stmt41_738_749SAT0.07
stmt37_941_942SAT0.1
stmt1_60_61SAT0.1
stmt38_943_942SAT0.1
stmt16_47_48SAT0.1
stmt17_99_98SAT0.11
stmt2_976_999SAT9.52