Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Belnet2004_1.json -T -E -C -R -O -V Low
ERROR: Error parsing: /tmp/query-tmp17480522265385599869kaki

Exception in thread "main" verification.VerifyPNError: ERROR: Error parsing: /tmp/query-tmp17480522265385599869kaki

	at verification.Verifier.verifyQuery(verifier.kt:43)
	at verification.VerifierKt.bisectionSearch(verifier.kt:64)
	at MainKt.runProblem(main.kt:180)
	at MainKt.main(main.kt:325)
Command exited with non-zero status 1
real 0.65
user 1.16
sys 0.11
