Sota solver results for family Debug <br> QBFEVAL'07

Instance	Solver	Result	Time
c1_Debug_s3_f1_e1_v1	AQME-RIPPER	UNSAT	581.65
c1_Debug_s3_f1_e1_v2	sKizzo-0.10-qck	SAT	52.58
c1_Debug_s3_f2_e1_v2	sKizzo-0.10-std	SAT	66.24
c1_Debug_s5_f1_e1_v1	AQME-C4.5	UNSAT	262.04
c1_Debug_s5_f1_e1_v2	QUANTOR_2.15	SAT	57.53
c1_Debug_s5_f1_e1_v3	AQME-1NN	UNSAT	263.98
c2_Debug_s3_f1_e1_v1	AQME-1NN	SAT	599.63
c2_Debug_s3_f1_e1_v2	QUANTOR_2.15	SAT	57.1
c2_Debug_s3_f1_e1_v3	sKizzo-0.10-qck	SAT	87.15
c2_Debug_s3_f2_e1_v3	sKizzo-0.10-qck	SAT	287.08
c2_Debug_s5_f1_e1_v2	Adaptive2clsQ	SAT	53.04
c4_Debug_s3_f1_e1_v1	sKizzo-0.10-qck	SAT	179.54
c4_Debug_s3_f1_e1_v2	sKizzo-0.10-std	SAT	191.66
c4_Debug_s3_f1_e1_v3	sKizzo-0.10-qck	SAT	138.86
c4_Debug_s3_f1_e2_v1	sKizzo-0.10-qck	SAT	180.51
c4_Debug_s3_f1_e2_v2	sKizzo-0.10-std	SAT	186.27
c4_Debug_s3_f1_e2_v3	sKizzo-0.10-qck	SAT	139.71
c4_Debug_s3_f2_e1_v1	sKizzo-0.10-qck	SAT	30.73
c4_Debug_s3_f2_e1_v2	sKizzo-0.10-qck	SAT	32.41
c4_Debug_s3_f2_e1_v3	sKizzo-0.10-qck	SAT	28.09
c4_Debug_s3_f2_e2_v1	sKizzo-0.10-qck	SAT	152.37
c4_Debug_s3_f2_e2_v2	sKizzo-0.10-qck	SAT	148.43
c4_Debug_s3_f2_e2_v3	sKizzo-0.10-qck	SAT	172
c4_Debug_s5_f2_e1_v1	Adaptive2clsQ	SAT	59.1
c4_Debug_s5_f2_e1_v2	Adaptive2clsQ	SAT	60.09
c4_Debug_s5_f2_e1_v3	Adaptive2clsQ	SAT	56.74
c4_Debug_s5_f2_e2_v1	Adaptive2clsQ	SAT	62.96
c4_Debug_s5_f2_e2_v2	Adaptive2clsQ	SAT	59.33
c4_Debug_s5_f2_e2_v3	Adaptive2clsQ	SAT	56.06

QBF Solver Evaluation Portal