Instances of family jctc solved by GhostQ___plain_qcir_2019
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
jctc6-passSAT2.13
jctc13-failUNSAT3.64
jctc1-passSAT3.7
jctc9-passSAT6.07
jctc4-failUNSAT9.76
jctc8-passSAT12.92
jctc16-vals-0,2-passSAT14.49
jctc2-passSAT16.74
jctc10-failUNSAT440.23
jctc14-unrolled-failUNSAT801.57
jctc18-vals-0,2-passFAIL900.02
jctc3-vals-0,2-passFAIL900.02
jctc7-passFAIL900.02
jctc11-passFAIL900.05
jctc15-unrolled-failFAIL900.05
jctc5-failFAIL900.08
jctc17-vals-0,2-passFAIL900.08