Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Solver-Info of "pure-matchbox-2016-08-30.4"

view original solver-info on star-exec: 9303

Name:	pure-matchbox-2016-08-30.4
Description:	SRS and cycle [non] termination from matchbounds, transport systems, closures. https://gitlab.imn.htwkMINUSleipzig.de/waldmann/pureMINUSmatchbox
Last Update from Star-Exec:	2017-08-14 18:14:06.45629 UTC