******* BENCHMARK ********

Starting dining philosophers benchmark...
NumThreads: 4
MaxMemory: 6933MB

Phils	States	Trans	Time
3		27		63			56
4		81		252			69
5		243		945			224
6		729		3402		616
7		2187	11907		1316
8		6561	40824		4987
9		19683	137781		19746
10		59049	459270		80504
11		177147	1515591		376618
12		531441	4960116		3704128
13		1594323	16120377	35583849