Instances of family ISCAS89 solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
s01423_PR_4_75UNSAT0
s01423_PR_4_90UNSAT0
s09234_PR_7_2SAT0.52
s09234_PR_7_20SAT0.54
s05378_PR_5_2SAT0.58
s05378_PR_5_20SAT0.61
s38584_PR_9_5SAT2.11
s38584_PR_9_50SAT2.69
s15850_PR_6_10SAT3.77
s15850_PR_0_50SAT3.8