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

InstanceResultTime
jctc6-passSAT2.18
jctc13-failUNSAT3.69
jctc1-passSAT3.69
jctc9-passSAT6.22
jctc4-failUNSAT9.95
jctc8-passSAT13.29
jctc16-vals-0,2-passSAT14.73
jctc2-passSAT16.93
jctc10-failUNSAT474.96
jctc14-unrolled-failUNSAT830.21
jctc15-unrolled-failFAIL900.01
jctc18-vals-0,2-passFAIL900.02
jctc3-vals-0,2-passFAIL900.03
jctc11-passFAIL900.05
jctc5-failFAIL900.06
jctc17-vals-0,2-passFAIL900.06
jctc7-passFAIL900.08