Model listing

Here you can select test results about models in BEEM database and other models tested in DiVinE.

Select models

(empty field means no constraint)

	from [s]	to [s]
Wall time (real time)
System time
User time (sum of CPU times over all CPUs)
	from [MB]	to [MB]
Memory

Time and memory constrains will be applayed on all allowed algorithms and threading constraints and model will be selected if any of them match.

Finished only
Not finished only
Property holds
Property does not hold

tested only not tested only both
(untested models will be shown only if time and memory are not constrained from above)