Unique instances for qube3.0
QBFEVAL'06


InstanceTimeResult
x145.22751.19UNSAT
x120.4126.22UNSAT
x150.3217.99UNSAT
x135.344.87UNSAT
x135.0915.04UNSAT
x110.3775.18UNSAT
x145.55.13UNSAT
x145.9760.25UNSAT
x140.21053.31UNSAT
x145.734.54UNSAT