Sota solver results for family wmiforward
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
stmt16_950_951caqe-portfolioSAT0.32
stmt17_18_19caqe-portfolioSAT0.12
stmt1_30_31caqe-portfolioSAT0.12
stmt24_765_766caqe-portfolioSAT0.22
stmt25_52_53caqe-portfolioSAT0.62
stmt27_296_297caqe-portfolioSAT0.22
stmt41_738_749caqe-portfolioSAT0.43
stmt44_107_108caqe-portfolioSAT0.12
stmt44_107_113caqe-portfolioSAT0.12
stmt44_916_917caqe-portfolioSAT0.22