Proof Time and Average Proof Time Plots

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

MIX Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

HEQ Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

HNE Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

NEQ Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

NNE Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

PEQ Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

UEQ Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

SAT Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

FOF Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

FEQ Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

FNE Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

MIX Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

HEQ Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

HNE Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

NEQ Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

NNE Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

PEQ Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

UEQ Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

SAT Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

FOF Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

FEQ Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )

FNE Average Proof Times

Proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )
Average proof times	MIX ( HEQ HNE NEQ NNE PEQ ), UEQ, SAT, FOF ( FEQ FNE )