Solver-Info of "TCT3_2015"
view original solver-info on star-exec: 3866| Name: | TCT3_2015 |
| Description: | tct3 20150729 |
| Last Update from Star-Exec: | 2015-08-21 10:23:08.728382 UTC |
| Name: | TCT3_2015 |
| Description: | tct3 20150729 |
| Last Update from Star-Exec: | 2015-08-21 10:23:08.728382 UTC |