search

gussmith23 / lakeroad-evaluation

MIT License
5 stars 0 forks source link

Slightly different number of Lattice experiments between Lakeroad, Diamond, and Yosys? #163

Open gussmith23 opened 3 months ago

gussmith23 commented 3 months ago 
,tool,num_experiments,num_successful,num_unsuccessful,num_lr_unsat,num_lr_timeout,total_experiments,percentage_successful,percentage_unsuccessful,percentage_lr_unsat,percentage_lr_timeout
0,Lakeroad,396,394,0,0,2,396,99.4949494949495,0.0,0.0,0.5050505050505051
1,Lattice SOTA,383,110,273,0,0,383,28.720626631853786,71.27937336814621,0.0,0.0
2,Yosys,389,66,323,0,0,389,16.966580976863753,83.03341902313625,0.0,0.0