Instances of family PetriGames solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
pg-hkb-2UNSAT0
pg-hkb-3UNSAT0
pg-hkb-4UNSAT0
pg-hkb-5UNSAT0
pg-hkb-6UNSAT0
pg-hkb-7UNSAT0.04
pg-hkb-8UNSAT4.14
pg-hkb-9UNSAT9.56
pg-hkb-10UNSAT29.07
pg-hkb-11UNSAT472.96
pg-hkb-22FAIL900.01
pg-hkb-15FAIL900.01
pg-hkb-23FAIL900.01
pg-hkb-17FAIL900.01
pg-hkb-21FAIL900.03
pg-hkb-18FAIL900.03
pg-hkb-24FAIL900.05
pg-hkb-26FAIL900.05
pg-hkb-16FAIL900.06
pg-hkb-19FAIL900.08
pg-hkb-13FAIL900.08
pg-hkb-14FAIL900.08
pg-hkb-25FAIL900.08
pg-hkb-12FAIL900.09
pg-hkb-20FAIL900.17