Instances of family wmiforward solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
stmt1_30_31SAT0.02
stmt44_107_108SAT0.02
stmt44_107_113SAT0.02
stmt27_296_297SAT0.02
stmt17_18_19SAT0.02
stmt44_916_917SAT0.03
stmt16_950_951SAT0.03
stmt24_765_766SAT0.04
stmt41_738_749SAT0.06
stmt25_52_53SAT0.07