CORE1108_TBM_03

Detail page for benchmark Core1108_tbm_03.tex.module.000021

Detail page for benchmark Core1108_tbm_03.tex.module.000021. Download(0 Kb). Submitter: Roman Kontchakov. Suite: Kontchakov. Family: mqm. Domain ...

core1108_tbm_03

Formulas of QBFEval 2010 preprocessed with sequeeze and bloqqer

moduleQ3.2S.000098.qdimacs, 1, 5. Core1108_tbm_03.tex.moduleQ3.2S. 000002.qdimacs, 1, 4. Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs, 1, 6.

core1108_tbm_03

Detail page for benchmark Core1108_tbm_03.tex.module.000065

Detail page for benchmark Core1108_tbm_03.tex.module.000065. Download(0 Kb). Submitter: Roman Kontchakov. Suite: Kontchakov. Family: mqm. Domain ...

core1108_tbm_03

columns: result_diff result_Deps result_woDeps rt_difference = 1 1 ...

moduleQ3.2S.000108.err = 1 1 900 900 0 Core1108_tbm_03.tex.module.000003 .err = 1 1 900 900 0 Core1108_tbm_03.tex.module.000019.err = 1 1 900 900 0 ...

core1108_tbm_03

Detail page for benchmark Core1108_tbm_03.tex.module.000034

Detail page for benchmark Core1108_tbm_03.tex.module.000034. Download(0 Kb). Submitter: Roman Kontchakov. Suite: Kontchakov. Family: mqm. Domain ...

core1108_tbm_03

20 aim-100-1_6-yes1-3-50-shuffled.qdimacs 10 aim-100-1_6-yes1 ...

moduleQ3.2S.000002.qdimacs 20 Core1108_tbm_03.tex.moduleQ3.2S.000003. qdimacs 20 Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs 20 ...

core1108_tbm_03

Detail page for benchmark Core1108_tbm_03.tex.module.000037

Detail page for benchmark Core1108_tbm_03.tex.module.000037. Download(0 Kb). Submitter: Roman Kontchakov. Suite: Kontchakov. Family: mqm. Domain ...

core1108_tbm_03

cv.arff

moduleQ3.2S.000015,1,1 Core1108_tbm_03.tex.module.000037,1,1 Core1108_tbm_03.tex.module.000057,1,1 Core1108_tbm_09.tex.module. 000033,1,1 ...

core1108_tbm_03

QBF Gallery 2013 - Showcase Certificates ...

moduleQ3.2S.000099 20 52.88 Core1108_tbm_03.tex.module.000034 10 51.85 Core1108_tbm_09.tex.moduleQ3.2S.000010 20 16.36 Core1108_tbm_21.tex.

core1108_tbm_03

aslib_data/feature_runstatus.arff at master · coseal/aslib_data · GitHub

N-f4,1,ok. eval2012r2/Core1108_tbm_21.tex.moduleQ3.2S.000024,1,ok. eval2012r2/test1_quant2,1,ok. eval2012r2/Core1108_tbm_03.tex.module. 000034,1,ok.

core1108_tbm_03

QBF Gallery 2013 - Showcase Certificates ...

moduleQ3.2S.000099 UNSATISFIABLE 0.00 Core1108_tbm_03.tex.module. 000034 (SIGTERM) Core1108_tbm_09.tex.moduleQ3.2S.000010 UNSATISFIABLE ...

core1108_tbm_03

Detailed Results

Core1108_tbm_03.tex.module.000034.qdimacs.gz (18), 108 (108+1) s cnf 1 (s cnf 1) (bt:125495), 800 (800+0), 800 (787+13), 83 (83+0) s cnf 1 (s cnf 1).

core1108_tbm_03

Comments



Subscribe jilriacuddwerlu.ml