{"id":"W2900773200","doi":"10.29007/8m31","title":"Predicting SAT Solver Performance on Heterogeneous Hardware","year":2019,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Solver; Reuse; Boolean satisfiability problem; Set (abstract data type); Cache; Parallel computing; Feature (linguistics); Theoretical computer science; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001417162,0.0007924088,0.0004214722,0.001056985,0.0003596291,0.0009192637,0.001173619,0.0006408512,0.0020057],"category_scores_gemma":[0.009021695,0.000508918,0.0006351343,0.002268468,0.0005224175,0.001193065,0.0004743231,0.001092324,0.0005561787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001240325,"about_ca_system_score_gemma":0.0008314094,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006401822,"about_ca_topic_score_gemma":0.009421757,"domain_scores_codex":[0.9986293,0.0002955408,0.00007563201,0.0004259325,0.0003523733,0.0002212308],"domain_scores_gemma":[0.9951186,0.002950393,0.0005001187,0.0006417769,0.0006237048,0.0001653352],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004833563,0.0001626438,0.03571902,0.0002181032,0.0001545175,0.0001628111,0.00007157895,0.9037925,0.005285966,0.002126691,0.008378781,0.04344408],"study_design_scores_gemma":[0.00003999852,0.0002046262,0.01487689,0.00001733368,0.00003363039,0.00005103233,0.00006042379,0.9742718,0.006707371,0.00188704,0.001833632,0.00001622331],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9826974,0.000708444,0.009570971,0.0002376313,0.00005900889,0.00003069114,0.001840058,0.001208776,0.003646977],"genre_scores_gemma":[0.9775262,0.0002571764,0.01618121,0.00005537393,0.00002336111,0.00003806408,0.005024996,0.0001864708,0.0007072084],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006401822,"threshold_uncertainty_score":0.01272917,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009734830571931433,"score_gpt":0.2196012689335334,"score_spread":0.2098664383616019,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}