Sota solver results for family wmiforward
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
stmt16_950_951hiqqerforkSAT0.03
stmt17_18_19hiqqerforkSAT0.02
stmt1_30_31caqe-minisat-parSAT0
stmt24_765_766hiqqerforkSAT0.04
stmt25_52_53hiqqerforkSAT0.07
stmt27_296_297hiqqerforkSAT0.02
stmt41_738_749hiqqerforkSAT0.06
stmt44_107_108caqe-minisat-parSAT0
stmt44_107_113caqe-picosat-parSAT0
stmt44_916_917hiqqerforkSAT0.03