Solver#Ins.CCLSiraNovelty++optimax-itSAT4Jms-ext-iSAT4Jms-int-i
frb3410.25(34) 49.44(10)39.59(26)1.90(4)2.08(4)
ramsey1525.87(14) 44.16(8)0.00(0)11.32(3)12.36(3)
wmaxcut/dimacs_mod621.22(62) 2.20(62) 0.64(4)0.34(2)0.32(2)
wmaxcut/spinglass535.30(5) 13.84(3)0.00(0)275.61(1)0.00(0)
Total116115 8330109