Evaluation

The Setup

The Data

		Bushy				Chainy
		Total	<60s	>60s		Total	<60s	>60s
E		141	139	2		91	80	11
Divvy(E)+Original		163	139	24		80	80	0
Divvy(E)+Reverse		151	141	10		92	82	10
Divvy(E)+Prophet-indirect		170	137	33		113	81	32
Divvy(E)+Prophet-direct		175	137	38		118	81	37
Divvy(E)+APRILS		180	140	40		117	80	37
Fampire		191	165	26		126	78	48
Divvy(F)+APRILS		186	165	21		132	68	64

Observations

Divvy takes advantage of axiom ordering - it works!
Original ordering is already useful - people are nice
Prophet (variants) and APRILS are different
Fampire strategy scheduling can clash with Divvy