Unique instances for hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceTimeResult
s510_d24_s578.28SAT
stmt23_72_76132.97SAT
stmt28_68_811.3SAT
szymanski-20-s4.85UNSAT
szymanski-24-s7.1UNSAT
tlc04-uniform-depth-360.77UNSAT
Adder2-8-s72.69SAT
c5_BMC_p1_k32412.05SAT
dungeon_i15-m7-u4-v0.pddl_planlen=8167.67UNSAT
gttt_1_1_00101121_4x4_torus_w543.68UNSAT
incrementer-enc08-uniform-depth-33326.96SAT