2311298-NE-BENCHMARK32
n-queens
Intel Core i5-3570K @ 3.40GHz (4 Cores); SAMSUNG SSD 830 CXM03B1Q + SSDPR-CX400-01T-G2 SBFM61.3 + Western Digital WD5000AADS-00S9B0 01.00A01 + Seagate ST3300822AS 3.AAE + Western Digital WD40EFRX-68N32N0 82.00A82 + AHCI SGPIO Enclosure 2.00 0001 + Western Digital WD My Passport 25E2 4005 + Western Digital WD SES Device 4005; Intel IvyBridge GT2 [HD 4000]; FreeBSD; 13.2-RELEASE-p3 (x86_64)