Sota solver results for family Qq2k3k2v40v40m8
QBFEVAL'06


InstanceSolverResultTime
Qq2k3k2v40v40m8s0yQuaffleSAT0
Qq2k3k2v40v40m8s1yQuaffleSAT0
Qq2k3k2v40v40m8s2sKizzo-0.9-grnSAT0
Qq2k3k2v40v40m8s3QUANTOR_hcSAT0
Qq2k3k2v40v40m8s4QUANTORSAT0
Qq2k3k2v40v40m8s5QUANTOR_hcSAT0
Qq2k3k2v40v40m8s6QUANTORSAT0
Qq2k3k2v40v40m8s7SQBFSAT0
Qq2k3k2v40v40m8s8sKizzo-0.9-grnSAT0
Qq2k3k2v40v40m8s9sKizzo-0.9-grnSAT0