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

InstanceResultTime
rankfunc4_unsigned_16SAT0.02
rankfunc37_unsigned_32UNSAT0.02
rankfunc38_signed_32SAT0.02
rankfunc56_signed_16SAT0.02
rankfunc53_signed_16SAT0.04
rankfunc12_unsigned_16SAT0.04
rankfunc28_unsigned_16SAT0.05
rankfunc29_signed_16SAT0.1
rankfunc7_signed_16SAT0.11
rankfunc44_unsigned_32SAT0.13
rankfunc17_unsigned_16SAT0.14
rankfunc31_unsigned_16SAT0.17
rankfunc19_unsigned_16SAT0.2
rankfunc49_signed_32SAT0.2
rankfunc59_unsigned_16SAT0.23
rankfunc20_unsigned_32SAT0.23
rankfunc42_unsigned_16SAT0.3
rankfunc34_signed_32SAT0.34
rankfunc58_signed_32SAT0.34
rankfunc21_signed_16SAT0.36
rankfunc33_unsigned_32SAT0.42
rankfunc35_unsigned_32SAT0.46
rankfunc11_signed_32SAT0.5
rankfunc26_unsigned_32SAT0.57
rankfunc45_signed_16SAT0.58
rankfunc5_signed_64SAT0.68
rankfunc51_signed_32SAT0.71
rankfunc54_signed_32SAT0.78
rankfunc46_unsigned_32SAT0.83
rankfunc1_signed_32SAT0.91
rankfunc8_unsigned_32SAT0.93
rankfunc36_signed_64SAT0.98
rankfunc41_signed_32SAT1.01
rankfunc40_unsigned_64SAT1.1
rankfunc9_signed_64SAT1.11
rankfunc52_unsigned_32SAT1.19
rankfunc27_signed_64SAT1.21
rankfunc15_unsigned_32SAT1.32
rankfunc61_signed_32SAT1.38
rankfunc22_unsigned_32SAT1.47
rankfunc14_signed_64SAT1.96
rankfunc25_signed_64SAT2.03
rankfunc23_signed_64SAT2.27
rankfunc6_unsigned_16SAT2.4
rankfunc43_signed_64SAT3.2
rankfunc50_signed_64SAT3.84
rankfunc39_unsigned_64SAT4.44
rankfunc24_unsigned_64SAT4.78
rankfunc10_unsigned_64SAT5.58
rankfunc18_signed_64SAT6.14
rankfunc47_signed_64SAT9.1
rankfunc32_signed_64SAT9.23
rankfunc16_signed_64SAT10.76
rankfunc30_signed_64SAT11.65
rankfunc3_signed_64SAT27.45
rankfunc60_unsigned_32FAIL1200.07
rankfunc55_unsigned_32FAIL1200.08
rankfunc2_unsigned_64FAIL1200.08
rankfunc48_unsigned_16FAIL1200.08
rankfunc57_unsigned_64FAIL1200.09