Instances of family ISCAS89 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
s01238_PR_8_2SAT0.92
s05378_PR_1_75UNSAT2.82
s09234_PR_8_2SAT4.63
s09234_PR_8_5SAT5.33
s05378_PR_9_2SAT6.33
s15850_PR_8_50SAT21.86
s15850_PR_2_2SAT25.76