Sota solver results for family Debug
QBFEVAL'08


InstanceSolverResultTime
c1_Debug_s3_f1_e1_v1quantor3.0SAT61.64
c1_Debug_s3_f1_e1_v2quantor3.0SAT30.96
c1_Debug_s3_f1_e1_v3quantor3.0SAT61.02
c1_Debug_s5_f1_e1_v1quantor3.0SAT60.16
c1_Debug_s5_f1_e1_v2quantor3.0SAT26.66
c1_Debug_s5_f1_e1_v3quantor3.0SAT56.61
c2_Debug_s3_f1_e1_v1quantor3.0SAT64.74
c2_Debug_s3_f1_e1_v2quantor3.0SAT33.27
c2_Debug_s3_f1_e1_v3quantor3.0SAT51.57
c2_Debug_s3_f2_e1_v1quantor3.0SAT146.13
c2_Debug_s3_f2_e1_v2quantor3.0SAT74.65
c2_Debug_s3_f2_e1_v3quantor3.0SAT130.81
c2_Debug_s5_f1_e1_v1quantor3.0SAT72.12
c2_Debug_s5_f1_e1_v2quantor3.0SAT35.38
c2_Debug_s5_f1_e1_v3quantor3.0SAT63.64
c4_Debug_s3_f1_e1_v1quantor3.0SAT74.5
c4_Debug_s3_f1_e1_v2quantor3.0SAT69.58
c4_Debug_s3_f1_e1_v3quantor3.0SAT85.84
c4_Debug_s3_f1_e2_v1quantor3.0SAT75.6
c4_Debug_s3_f1_e2_v2quantor3.0SAT70.64
c4_Debug_s3_f1_e2_v3quantor3.0SAT86.22
c4_Debug_s3_f2_e1_v1quantor3.0SAT154.01
c4_Debug_s3_f2_e1_v2quantor3.0SAT134.75
c4_Debug_s3_f2_e1_v3quantor3.0SAT140.15
c4_Debug_s3_f2_e2_v1quantor3.0SAT155.59
c4_Debug_s3_f2_e2_v2quantor3.0SAT135.7
c4_Debug_s5_f2_e1_v1quantor3.0SAT49.92
c4_Debug_s5_f2_e1_v2quantor3.0SAT53.86
c4_Debug_s5_f2_e1_v3quantor3.0SAT51.61
c4_Debug_s5_f2_e2_v1quantor3.0SAT47.98
c4_Debug_s5_f2_e2_v2quantor3.0SAT52.7
c4_Debug_s5_f2_e2_v3quantor3.0SAT51.11