Select Git revision
asmlbenchmarks
Thomas authored
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
asmlbenchmarks 1.08 KiB
file,origstates,forward states,forward rounds,mqueries,reverse states,reverse rounds,mqueries
../../asml/m106.dot,79,79,25,2980800,96,38,2494380
../../asml/m135.dot,57,57,19,3115636,66,26,1754456
../../asml/m158.dot,28,28,12,338013,35,16,281952
../../asml/m159.dot,30,30,11,369680,37,17,311740
../../asml/m164.dot,43,43,8,430544,48,22,575498
../../asml/m172.dot,113,113,36,7166880,119,51,5936328
../../asml/m183.dot,9,9,5,4368,11,7,5700
../../asml/m185.dot,190,190,39,15340536,231,50,15922095
../../asml/m196.dot,81,81,33,2573870,89,58,2970903
../../asml/m199.dot,27,27,15,223008,36,18,264762
../../asml/m201.dot,128,128,46,13830919,145,68,16272915
../../asml/m217.dot,14,14,10,182643,22,12,207944
../../asml/m22.dot,93,93,28,4605436,117,46,5020006
../../asml/m34.dot,115,115,35,6555594,123,47,8157072
../../asml/m41.dot,25,25,9,97550,34,13,147465
../../asml/m45.dot,184,184,52,10515860,219,70,15981504
../../asml/m49.dot,142,142,36,8028494,151,65,12654375
../../asml/m54.dot,27,27,13,83237,29,21,131670
../../asml/m76.dot,210,210,66,14901636,245,80,20917533
../../asml/m95.dot,33,33,11,390710,39,18,306348