Instances of family jctc solved by QFUN
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
jctc6-passSAT0
jctc16-vals-0,2-passSAT0
jctc1-passSAT0
jctc2-passSAT1.36
jctc13-failUNSAT1.93
jctc8-passSAT4.28
jctc4-failUNSAT5.07
jctc14-unrolled-failUNSAT142.68
jctc17-vals-0,2-passSAT299.19
jctc10-failUNSAT302.14
jctc7-passFAIL900
jctc3-vals-0,2-passFAIL900
jctc15-unrolled-failFAIL900.01
jctc11-passFAIL900.02
jctc5-failFAIL900.02
jctc18-vals-0,2-passFAIL900.04
jctc9-passFAIL900.05