Sota solver results for family ISCAS89 <br> QBFEVAL'19

Instance	Solver	Result	Time
s00420_PR_1_20	Qute_default	SAT	0
s00838_PR_6_90	Qute_default	UNSAT	0
s01488_PR_1_10	Qute_default	SAT	0
s05378_PR_4_90	Qute_default	UNSAT	0
s09234_PR_9_90	Qute_default	UNSAT	0
s15850_PR_0_50	depqbf_prefix_opt_qdo	SAT	1.1
s15850_PR_8_90	depqbf_prefix_opt_qdo	UNSAT	0.7
s38417_PR_4_50	depqbf_prefix_opt_qdo	SAT	0.01
s38584_PR_8_50	depqbf_prefix_opt_qdo	SAT	0.61
s38584_PR_9_90	depqbf_prefix_opt_qdo	SAT	1.22

QBF Solver Evaluation Portal