Instances of family jctc solved by Cqesto_2018
Prenex non-CNF Track

InstanceResultTime
jctc16-vals-0,2-passSAT41.9
jctc17-vals-0,2-passFAIL115.72
jctc18-vals-0,2-passFAIL125.69
jctc9-passFAIL900
jctc2-passFAIL900
jctc1-passFAIL900
jctc4-failFAIL900
jctc10-failFAIL900
jctc5-failFAIL900
jctc13-failFAIL900
jctc6-passFAIL900
jctc14-unrolled-failFAIL900
jctc8-passFAIL900