[Refchecker-devel] New Release (0.1.9)

[Thomas M. <ma...@ma...>]

I've fixed a performance bug in the checker, and I've decided that it is
time for a new release, so expect version 0.1.9 up in a couple of hours.

Below is some benchmark results to justify the release ;)

	/mailund


Legend:
-----------------------------------------------------------------------

DP_n    : Dining Philosophers w/id, with n philosophers
Dummy_n : Dummy resetter with n philosophers
RP_n    : Russian philosophers with n Russians and n dining
RP_n_m  : Russian philosophers with n Russians and m dining

Model stats:
-----------------------------------------------------------------------

DP_3:
-----
node_count : 26
edge_count : 51

DP_4:
-----
node_count : 80
edge_count : 212

Dummy_3:
--------
node_count : 30
edge_count : 58

RP_2:
-----
node_count : 188
edge_count : 482

RP_2_3:
-------
node_count : 1081
edge_count : 4004

RP_3_2:
-------
node_count : 2586
edge_count : 9915


Models\Versions:  0.1.8      0.1.9
-----------------------------------------------------------------------
DP_3           	  0.420       0.380
DP_4           	  2.280       1.720
Dummy_3		  0.590       0.550
RP_2           	 12.890       7.290
RP_2_3        	404.290      67.950
RP_3_2               	    184.200


-- 
A computer lets you make more mistakes faster than any invention in
human history - with the possible exceptions of handguns and tequila.

Mitch Ratcliffe, "Technology Review" (1992)