Skip to main content

Browse the archive

https://github.com/lsils/benchmarks
08 June 2023, 07:38:14 UTC
Raw File
Tip revision: 7770275a0e07a27b8ea9f65b6a3f767282fb8226 authored by Alessandro Tempia Calvino on 06 June 2023, 12:30:24 UTC
New best results 2023
Tip revision: 7770275
priority.aig 
aig 1106 128 0 8 978
1006
1502
1803
2001
2139
2195
2197
2213
"!+2,1;B<AKRLQ[b\akrlq{‚|‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛâÜáëòìñû‚ü‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛâÜáëòìñû‚ü‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛâÜáëòìñû‚ü‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛâÜáëòìñû‚ü‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛâÜáëòìñû‚ü‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛâÜáëòìñû‚ü‹’Œ‘›¢œ¡«²¬±»Â¼ÁËÒÌÑÛáðò÷ý‚	Š	‘—£	¯	»	Ç	Ó	ß	ë	÷	ƒ		›	§	³	¿	Ë	×	ã	ï	û	‡	“	Ÿ	«	·	Ã	Ï	Û	ç	ó	ÿ	‹		—		£		¯		»		Ç		Ó		ß		ë		÷		ƒ
	
	›
	§
	³
	¿
	Ë
	×
	ã
	ï
	û
	‡	“	Ÿ	«	·	Ã	Ï	ìí	ìÞ›û	‡
‹
€
ÖË£
Ðãµ

ÊûÇ

Ä“Ù

¾«ë

¸Ãý

²Û
¬ó¡
¦‹³
 £Å
š»×
”Óé
Žëû
ˆƒ	
‚›	Ÿ
ü³	±
öË	Ã
ðã	Õ
êû	ç
ä“
ù
Þ«
‹

ØÃ


ÒÛ
¯

Ìó
Á

Æ‹Ó

À£å

º»÷

¨ö³¨…
Ӥ
½ÁÅ	ÑÕÙÝáå
Ê%ï

…
‰
	Š“Ÿ
£
§
	„·½
Á
Å
	þÛÛ
ß
ã
	øÿù
ý
	ò£—›Ÿ	ìÇµ¹½	æëÓ×Û	à
ñõù	Ú³
“—	Ô×
­±µ	ÀÀË
¼Ó‘• 
¯³·»¿ÃÇÓ×Ûßãçëïó÷ûÿƒ‡$Ì5A¤…«¯³·»¿Ã7žÁáåéíñõù%˜ý—›Ÿ£§«¯%€
„É
tÝÓ×ÛßãçHÇ‘•™¡¥©­±µ¹½ÁÅÉ!5&‘̏“:š›i0 A[0]
i1 A[1]
i2 A[2]
i3 A[3]
i4 A[4]
i5 A[5]
i6 A[6]
i7 A[7]
i8 A[8]
i9 A[9]
i10 A[10]
i11 A[11]
i12 A[12]
i13 A[13]
i14 A[14]
i15 A[15]
i16 A[16]
i17 A[17]
i18 A[18]
i19 A[19]
i20 A[20]
i21 A[21]
i22 A[22]
i23 A[23]
i24 A[24]
i25 A[25]
i26 A[26]
i27 A[27]
i28 A[28]
i29 A[29]
i30 A[30]
i31 A[31]
i32 A[32]
i33 A[33]
i34 A[34]
i35 A[35]
i36 A[36]
i37 A[37]
i38 A[38]
i39 A[39]
i40 A[40]
i41 A[41]
i42 A[42]
i43 A[43]
i44 A[44]
i45 A[45]
i46 A[46]
i47 A[47]
i48 A[48]
i49 A[49]
i50 A[50]
i51 A[51]
i52 A[52]
i53 A[53]
i54 A[54]
i55 A[55]
i56 A[56]
i57 A[57]
i58 A[58]
i59 A[59]
i60 A[60]
i61 A[61]
i62 A[62]
i63 A[63]
i64 A[64]
i65 A[65]
i66 A[66]
i67 A[67]
i68 A[68]
i69 A[69]
i70 A[70]
i71 A[71]
i72 A[72]
i73 A[73]
i74 A[74]
i75 A[75]
i76 A[76]
i77 A[77]
i78 A[78]
i79 A[79]
i80 A[80]
i81 A[81]
i82 A[82]
i83 A[83]
i84 A[84]
i85 A[85]
i86 A[86]
i87 A[87]
i88 A[88]
i89 A[89]
i90 A[90]
i91 A[91]
i92 A[92]
i93 A[93]
i94 A[94]
i95 A[95]
i96 A[96]
i97 A[97]
i98 A[98]
i99 A[99]
i100 A[100]
i101 A[101]
i102 A[102]
i103 A[103]
i104 A[104]
i105 A[105]
i106 A[106]
i107 A[107]
i108 A[108]
i109 A[109]
i110 A[110]
i111 A[111]
i112 A[112]
i113 A[113]
i114 A[114]
i115 A[115]
i116 A[116]
i117 A[117]
i118 A[118]
i119 A[119]
i120 A[120]
i121 A[121]
i122 A[122]
i123 A[123]
i124 A[124]
i125 A[125]
i126 A[126]
i127 A[127]
o0 P[0]
o1 P[1]
o2 P[2]
o3 P[3]
o4 P[4]
o5 P[5]
o6 P[6]
o7 F
c
top
This file was written by ABC on Thu Mar  5 13:29:37 2015
For information about AIGER format, refer to http://fmv.jku.at/aiger
back to top