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

InstanceResultTime
stmt1_30_31SAT0
stmt44_107_108SAT0
stmt44_107_113SAT0
stmt17_18_19SAT0.03
stmt27_296_297SAT0.06
stmt44_916_917SAT0.08
stmt24_765_766SAT0.09
stmt16_950_951SAT0.12
stmt41_738_749SAT0.18
stmt25_52_53SAT0.29