Solver
#Ins.
ubcsat-irots
Sat4j-i
highgirth/3sat
50
50%
0%
highgirth/4sat
32
32%
0%
max2sat/120v
50
50%
0%
max2sat/140v
50
50%
0%
max3sat/70v
50
50%
0%
max3sat/80v
50
50%
0%
min2sat/160v
48
48%
0%
min2sat/200v
48
48%
0%