Unique instances for qpro
QBFEVAL'10 - Non-prenex Non-CNF Track.


InstanceTimeResult
Core1108_tbm_21.tex.moduleQ3.2S.000014885.8SAT
Umbrella_tbm_05.tex.module.00001168.26SAT
Umbrella_tbm_24.tex.moduleQ2.1S.000188147.33SAT
Umbrella_tbm_05.tex.module.00005365.27SAT
Umbrella_tbm_05.tex.module.00006465.89SAT
Umbrella_tbm_21.tex.module.00004959.13SAT
Umbrella_tbm_26.tex.module.00002166.2SAT
Umbrella_tbm_24.tex.moduleQ2.1S.000136146.17SAT
Umbrella_tbm_21.tex.module.00002457.74SAT
Umbrella_tbm_25.tex.module.00004159.6SAT
Umbrella_tbm_24.tex.moduleQ2.1S.000022127.64SAT
Core1108_tbm_21.tex.module.00001049.03SAT
Core1108_tbm_21.tex.moduleQ3.2S.000007896.71SAT
Umbrella_tbm_21.tex.module.00014952.79SAT
Umbrella_tbm_21.tex.module.00013451.57SAT
Umbrella_tbm_21.tex.module.00012952.11SAT
Umbrella_tbm_05.tex.module.00002561.95SAT
Umbrella_tbm_25.tex.module.00010654.75SAT
Umbrella_tbm_21.tex.module.00007960.7SAT
Umbrella_tbm_21.tex.module.00002962.58SAT
Umbrella_tbm_05.tex.module.00003967.44SAT
Umbrella_tbm_21.tex.module.00006965.88SAT
Umbrella_tbm_25.tex.module.00003163.71SAT
Umbrella_tbm_25.tex.module.00012158.87SAT
Core1108_tbm_21.tex.module.00000851.53SAT
Umbrella_tbm_26.tex.module.00004161.59SAT
Core1108_tbm_21.tex.moduleQ3.2S.000027899.08SAT
Umbrella_tbm_21.tex.module.00005654.98SAT
Core1108_tbm_21.tex.module.00000948.82SAT
Umbrella_tbm_05.tex.module.00008858.1SAT