Previous Up

More simulator runs

We here give additional performance figures for runs on the test base of various ACE enumerators connected to the SAT solver:

Additionaly, we provide figures for memevents with internal encoding of model (memevents -axiom sela3, appears as MEM below).

 Navg (sec.)geom (sec.)max (sec.)effort (days)memory (Gb)
Operational3565/45032562.21126.262.4e+05 1024.1840.0
Axiom4480/45031394.1420.572.3e+0582.174.0
SAT4480/45031281.5082.982.3e+0566.454.0
SAT24480/45031159.1620.901.7e+0560.104.0
MEM-ACE4480/45032.261.572.6e+020.124.0
MEM4480/45032.020.124.1e+020.164.0

Previous Up