[8organicbits]

Is there a computer-based solver that can solve these, but always takes longer than five seconds?

[viraptor]

Nah, this seems like a really basic CV problem that should be solvable in milliseconds. The hardest part would be rejecting the sides that don't face up, but even that isn't a huge deal.