Instances of family RankingFunctions solved by struqs-10
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
rankfunc37_signed_16UNSAT0
rankfunc60_signed_16SAT0.02
rankfunc5_unsigned_16SAT0.02
rankfunc28_signed_16SAT0.02
rankfunc27_signed_16SAT0.03
rankfunc56_unsigned_16SAT0.03
rankfunc25_unsigned_16SAT0.06
rankfunc17_unsigned_16SAT0.07
rankfunc43_signed_16SAT0.09
rankfunc36_signed_32SAT0.11
rankfunc46_unsigned_16SAT0.11
rankfunc27_signed_32SAT0.15
rankfunc45_unsigned_16SAT0.15
rankfunc15_unsigned_16SAT0.17
rankfunc19_signed_16SAT0.18
rankfunc15_signed_16SAT0.21
rankfunc58_signed_32SAT0.22
rankfunc34_unsigned_32SAT0.23
rankfunc2_signed_16SAT0.31
rankfunc43_unsigned_32SAT0.4
rankfunc44_unsigned_64SAT0.44
rankfunc22_signed_32SAT0.58
rankfunc1_signed_32SAT0.66
rankfunc18_signed_32SAT0.79
rankfunc61_signed_32SAT0.85
rankfunc52_unsigned_32SAT0.87
rankfunc60_signed_64SAT0.93
rankfunc58_unsigned_32SAT1.08
rankfunc33_unsigned_64SAT1.13
rankfunc21_signed_32SAT1.15
rankfunc16_signed_32SAT1.32
rankfunc26_unsigned_64SAT1.35
rankfunc25_signed_64SAT1.5
rankfunc45_signed_32SAT2.05
rankfunc43_signed_64SAT2.26
rankfunc19_unsigned_64SAT2.8
rankfunc42_signed_64SAT2.82
rankfunc45_unsigned_64SAT2.99
rankfunc3_unsigned_32SAT3.65
rankfunc1_unsigned_64SAT3.66
rankfunc46_unsigned_64SAT3.71
rankfunc8_unsigned_64SAT4.45
rankfunc16_signed_64SAT7.47
rankfunc16_unsigned_64SAT8.54
rankfunc45_signed_64SAT13.84
rankfunc22_unsigned_64SAT16.19
rankfunc3_unsigned_64SAT16.48
rankfunc55_signed_16FAIL599.71
rankfunc57_signed_16FAIL599.71
rankfunc57_signed_32FAIL599.71