Skip to content

Commit

Permalink
Extra egraphs from fuzzing
Browse files Browse the repository at this point in the history
  • Loading branch information
@TrevorHansen
TrevorHansen committed Jan 1, 2024
1 parent 914c432 commit 0c37c55
Show file tree
Hide file tree
Showing 15 changed files with 15 additions and 0 deletions.
1 change: 1 addition & 0 deletions data/fuzz/23.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"1","cost":54.64997330152681},"node_1":{"op":"operation","children":[],"eclass":"1","cost":66.30528884620492},"node_2":{"op":"operation","children":["node_0"],"eclass":"1","cost":39.3955341898012},"node_3":{"op":"operation","children":[],"eclass":"1","cost":99.70091594999509},"node_4":{"op":"operation","children":[],"eclass":"1","cost":10.693089185914717},"node_5":{"op":"operation","children":[],"eclass":"1","cost":98.02606760680351},"node_6":{"op":"operation","children":["node_4"],"eclass":"2","cost":14.066986045589648},"node_7":{"op":"operation","children":[],"eclass":"3","cost":49.764994247471925},"node_8":{"op":"operation","children":["node_3"],"eclass":"3","cost":93.72300384230631},"node_9":{"op":"operation","children":[],"eclass":"3","cost":50.02884970508033},"node_10":{"op":"operation","children":[],"eclass":"4","cost":44.90960964980205},"node_11":{"op":"operation","children":["node_1","node_3","node_4"],"eclass":"4","cost":64.37342480922005},"node_12":{"op":"operation","children":["node_6","node_10"],"eclass":"4","cost":4.32980598247571},"node_13":{"op":"operation","children":["node_5"],"eclass":"5","cost":33.53163932128209},"node_14":{"op":"operation","children":[],"eclass":"5","cost":31.29034479423307},"node_15":{"op":"operation","children":[],"eclass":"5","cost":78.05078468750327},"node_16":{"op":"operation","children":["node_7"],"eclass":"6","cost":61.87744240851375},"node_17":{"op":"operation","children":["node_11"],"eclass":"6","cost":8.199823825268881},"node_18":{"op":"operation","children":[],"eclass":"6","cost":36.97705416591231},"node_19":{"op":"operation","children":["node_6","node_11"],"eclass":"6","cost":48.596839746890744},"node_20":{"op":"operation","children":["node_0","node_17"],"eclass":"6","cost":89.67819199437776},"node_21":{"op":"operation","children":["node_6","node_8","node_9"],"eclass":"7","cost":52.83000047198371},"node_22":{"op":"operation","children":["node_6","node_12"],"eclass":"7","cost":71.0338406450544},"node_23":{"op":"operation","children":["node_10","node_12"],"eclass":"8","cost":93.81893195459055},"node_24":{"op":"operation","children":["node_13","node_17","node_18","node_21","node_23"],"eclass":"8","cost":13.623535804483932},"node_25":{"op":"operation","children":["node_18"],"eclass":"8","cost":22.445526079654023},"node_26":{"op":"operation","children":["node_6","node_18","node_22"],"eclass":"9","cost":29.573153686769505},"node_27":{"op":"operation","children":["node_6","node_22"],"eclass":"9","cost":45.088433342410006},"node_28":{"op":"operation","children":["node_0","node_8","node_10","node_13","node_24","node_25","node_27","node_30","node_33","node_37","node_40","node_44","node_56","node_58"],"eclass":"16","cost":74.15258658270848},"node_29":{"op":"operation","children":["node_6","node_15","node_16","node_18","node_19","node_27","node_37","node_45"],"eclass":"11","cost":51.40506887918096},"node_30":{"op":"operation","children":["node_8","node_24","node_25","node_29","node_38","node_42","node_51","node_56"],"eclass":"12","cost":99.12602704710251},"node_31":{"op":"operation","children":["node_3","node_11","node_17","node_27","node_32","node_37","node_46","node_55","node_58"],"eclass":"18","cost":84.47835922407417},"node_32":{"op":"operation","children":["node_0","node_3","node_9","node_12","node_14","node_19","node_20","node_34","node_49","node_57","node_58"],"eclass":"14","cost":66.22618147940508},"node_33":{"op":"operation","children":["node_4","node_6","node_14","node_25","node_29","node_30","node_34","node_35","node_39","node_41","node_43","node_44","node_46","node_55"],"eclass":"17","cost":69.33905003686397},"node_34":{"op":"operation","children":["node_5","node_8","node_9","node_13","node_18","node_23","node_26","node_31","node_32","node_33","node_35","node_38","node_45","node_50","node_51","node_56"],"eclass":"0","cost":12.293827013372304},"node_35":{"op":"operation","children":["node_2","node_4","node_6","node_8","node_12","node_14","node_17","node_22","node_24","node_26","node_33","node_37","node_39","node_49","node_53","node_56"],"eclass":"13","cost":10.758975922136916},"node_36":{"op":"operation","children":["node_6","node_7","node_24","node_45","node_46","node_50","node_54","node_58"],"eclass":"17","cost":78.82079513109663},"node_37":{"op":"operation","children":["node_1","node_15","node_16","node_18","node_20","node_26","node_28","node_35","node_40","node_44","node_53"],"eclass":"1","cost":19.361660777056844},"node_38":{"op":"operation","children":["node_3","node_6","node_7","node_12","node_13","node_14","node_22","node_23","node_24","node_38","node_53"],"eclass":"16","cost":66.74239379539344},"node_39":{"op":"operation","children":["node_3","node_7","node_10","node_12","node_13","node_19","node_24","node_26","node_27","node_29","node_36","node_40","node_43"],"eclass":"8","cost":93.75777747234903},"node_40":{"op":"operation","children":["node_0","node_2","node_14","node_16","node_17","node_19","node_22","node_28","node_31","node_34","node_37","node_42","node_49","node_53"],"eclass":"4","cost":41.85196325023311},"node_41":{"op":"operation","children":["node_0","node_2","node_7","node_9","node_12","node_13","node_14","node_30","node_33","node_35","node_37","node_38","node_40","node_41","node_51","node_52","node_55"],"eclass":"17","cost":8.981606922906426},"node_42":{"op":"operation","children":["node_11","node_14","node_28","node_29","node_30","node_33","node_42","node_50","node_51"],"eclass":"1","cost":32.82760495329246},"node_43":{"op":"operation","children":["node_1","node_2","node_8","node_12","node_13","node_19","node_22","node_30","node_40","node_42","node_49","node_52","node_57"],"eclass":"14","cost":34.278903180698606},"node_44":{"op":"operation","children":["node_11","node_18","node_20","node_21","node_35","node_46","node_58"],"eclass":"14","cost":89.25077776383279},"node_45":{"op":"operation","children":["node_3","node_12","node_13","node_25","node_37","node_46","node_49","node_56"],"eclass":"6","cost":6.08017960096463},"node_46":{"op":"operation","children":["node_0","node_2","node_8","node_11","node_12","node_37","node_41","node_43","node_44","node_51","node_55","node_57"],"eclass":"8","cost":26.153367363667368},"node_47":{"op":"operation","children":["node_1","node_8","node_11","node_17","node_20","node_21","node_22","node_31","node_32","node_38","node_53"],"eclass":"9","cost":96.78072617655438},"node_48":{"op":"operation","children":["node_1","node_2","node_4","node_7","node_9","node_10","node_12","node_15","node_17","node_20","node_21","node_27","node_29","node_36","node_47","node_48","node_49","node_55","node_57","node_58"],"eclass":"5","cost":43.96988797945035},"node_49":{"op":"operation","children":["node_2","node_3","node_10","node_17","node_24","node_26","node_27","node_30","node_31","node_32","node_35","node_38","node_43","node_54"],"eclass":"4","cost":95.81867206661818},"node_50":{"op":"operation","children":["node_1","node_10","node_16","node_21","node_45","node_46","node_54","node_58"],"eclass":"17","cost":58.33863986317455},"node_51":{"op":"operation","children":["node_7","node_9","node_26","node_32","node_41","node_42","node_52","node_56"],"eclass":"12","cost":79.45194743721602},"node_52":{"op":"operation","children":["node_2","node_21","node_22","node_27","node_35","node_36","node_39","node_42","node_56","node_58"],"eclass":"5","cost":45.83652224896523},"node_53":{"op":"operation","children":["node_4","node_5","node_6","node_10","node_18","node_19","node_28","node_29","node_33","node_36","node_43","node_48","node_51","node_53","node_58"],"eclass":"16","cost":6.824645928775874},"node_54":{"op":"operation","children":["node_3","node_4","node_5","node_9","node_10","node_18","node_21","node_22","node_31","node_41","node_44","node_45","node_49","node_58"],"eclass":"17","cost":5.700356936636464},"node_55":{"op":"operation","children":["node_3","node_9","node_22","node_26","node_34","node_35","node_38","node_39","node_46","node_51","node_56","node_58"],"eclass":"0","cost":40.710499295375705},"node_56":{"op":"operation","children":["node_1","node_22","node_26","node_36","node_39","node_44","node_52","node_58"],"eclass":"4","cost":79.05298890198702},"node_57":{"op":"operation","children":["node_6","node_9","node_10","node_16","node_31","node_33","node_48","node_50","node_56"],"eclass":"5","cost":21.137656399631233},"node_58":{"op":"operation","children":["node_4","node_5","node_10","node_17","node_23","node_27","node_45","node_48","node_50","node_56","node_58"],"eclass":"14","cost":20.52556231889431}},"root_eclasses":["8"]}
1 change: 1 addition & 0 deletions data/fuzz/24.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":82.70595842177059},"node_1":{"op":"operation","children":[],"eclass":"1","cost":8.150694607846065},"node_2":{"op":"operation","children":["node_0"],"eclass":"1","cost":32.34183774416165},"node_3":{"op":"operation","children":["node_2"],"eclass":"1","cost":77.47340310975892},"node_4":{"op":"operation","children":["node_1"],"eclass":"1","cost":19.874748483693416},"node_5":{"op":"operation","children":[],"eclass":"1","cost":93.81256338686185},"node_6":{"op":"operation","children":["node_2","node_3","node_10","node_12","node_17","node_18","node_19","node_20","node_25","node_26"],"eclass":"0","cost":35.922621294409815},"node_7":{"op":"operation","children":["node_3","node_7","node_9","node_10","node_12","node_17","node_28","node_30","node_33"],"eclass":"0","cost":54.1673895222935},"node_8":{"op":"operation","children":["node_4","node_5","node_8","node_9","node_16","node_17","node_25","node_29","node_32"],"eclass":"0","cost":51.67402522972926},"node_9":{"op":"operation","children":["node_16"],"eclass":"1","cost":72.93572014804055},"node_10":{"op":"operation","children":["node_0","node_17","node_18","node_25","node_28","node_29","node_33"],"eclass":"1","cost":62.67718669793816},"node_11":{"op":"operation","children":["node_25","node_26","node_27"],"eclass":"1","cost":14.67356960586833},"node_12":{"op":"operation","children":["node_1","node_14","node_19","node_22","node_27","node_28","node_29"],"eclass":"2","cost":83.662832572598},"node_13":{"op":"operation","children":["node_0","node_1","node_5","node_11","node_17","node_22","node_30"],"eclass":"1","cost":88.8166221708033},"node_14":{"op":"operation","children":["node_1","node_3","node_7","node_26","node_27"],"eclass":"2","cost":36.790885658720676},"node_15":{"op":"operation","children":["node_3","node_11","node_12","node_17","node_18","node_31","node_33"],"eclass":"2","cost":16.299919355302016},"node_16":{"op":"operation","children":["node_1","node_3","node_7","node_14","node_16","node_18","node_21","node_31"],"eclass":"1","cost":75.86443518611648},"node_17":{"op":"operation","children":["node_0","node_7","node_8","node_12","node_15","node_21","node_29"],"eclass":"0","cost":77.15513231496544},"node_18":{"op":"operation","children":["node_0","node_10","node_14","node_25","node_29"],"eclass":"1","cost":24.687893261855244},"node_19":{"op":"operation","children":["node_3","node_4","node_6","node_7","node_19","node_30","node_32"],"eclass":"2","cost":60.030393969186605},"node_20":{"op":"operation","children":["node_3","node_7","node_8","node_12","node_15","node_19","node_29"],"eclass":"2","cost":14.39181964513805},"node_21":{"op":"operation","children":["node_6","node_9","node_10","node_12","node_17","node_21","node_26","node_28"],"eclass":"2","cost":72.6170009692647},"node_22":{"op":"operation","children":["node_9","node_18","node_22","node_25"],"eclass":"1","cost":96.96352787905099},"node_23":{"op":"operation","children":["node_0","node_6","node_18","node_21","node_22","node_26"],"eclass":"2","cost":25.922470824057932},"node_24":{"op":"operation","children":["node_0","node_3","node_8","node_18","node_31","node_32"],"eclass":"2","cost":8.010829947079024},"node_25":{"op":"operation","children":["node_8","node_14","node_18","node_26","node_27","node_28"],"eclass":"2","cost":17.117241809076646},"node_26":{"op":"operation","children":["node_1","node_3","node_6","node_9","node_21","node_23","node_27","node_28","node_31"],"eclass":"2","cost":14.557837336660906},"node_27":{"op":"operation","children":["node_3","node_5","node_10","node_24","node_33"],"eclass":"2","cost":15.91392398519601},"node_28":{"op":"operation","children":["node_1","node_6","node_9","node_11","node_14","node_16","node_19","node_20","node_28"],"eclass":"1","cost":80.44476173740019},"node_29":{"op":"operation","children":["node_1","node_5","node_10","node_12","node_17","node_20","node_21","node_25","node_30"],"eclass":"2","cost":7.0965262886099945},"node_30":{"op":"operation","children":["node_11","node_21"],"eclass":"1","cost":29.918095729861392},"node_31":{"op":"operation","children":["node_7","node_12","node_24"],"eclass":"2","cost":18.479513139763405},"node_32":{"op":"operation","children":["node_22","node_33"],"eclass":"2","cost":72.72748302299559},"node_33":{"op":"operation","children":["node_1","node_2","node_5","node_14","node_21"],"eclass":"0","cost":1.8995874320782313}},"root_eclasses":["0","1"]}
1 change: 1 addition & 0 deletions data/fuzz/25.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":81.49348232291926},"node_1":{"op":"operation","children":["node_0"],"eclass":"0","cost":44.824225769224554},"node_2":{"op":"operation","children":[],"eclass":"0","cost":41.79415705249699},"node_3":{"op":"operation","children":["node_1"],"eclass":"1","cost":64.7505914843587},"node_4":{"op":"operation","children":[],"eclass":"1","cost":18.69712634184123},"node_5":{"op":"operation","children":["node_3"],"eclass":"1","cost":9.303340186461407},"node_6":{"op":"operation","children":[],"eclass":"1","cost":12.949251689602548},"node_7":{"op":"operation","children":["node_0"],"eclass":"1","cost":29.614697426358973},"node_8":{"op":"operation","children":["node_4","node_7"],"eclass":"1","cost":72.52149547768497},"node_9":{"op":"operation","children":["node_1","node_3","node_4"],"eclass":"1","cost":28.09397548083342},"node_10":{"op":"operation","children":["node_8"],"eclass":"1","cost":98.41167989173968},"node_11":{"op":"operation","children":["node_2"],"eclass":"1","cost":46.73854313806189},"node_12":{"op":"operation","children":[],"eclass":"1","cost":54.10989360944188},"node_13":{"op":"operation","children":["node_1","node_20","node_21","node_29"],"eclass":"1","cost":95.69637526273638},"node_14":{"op":"operation","children":["node_10","node_11","node_13","node_14","node_15","node_23"],"eclass":"0","cost":71.1468147459218},"node_15":{"op":"operation","children":["node_7","node_13","node_15","node_16","node_23"],"eclass":"0","cost":66.51359475864535},"node_16":{"op":"operation","children":["node_0","node_1","node_5","node_9","node_11","node_13","node_16","node_19","node_21"],"eclass":"1","cost":81.58446997600437},"node_17":{"op":"operation","children":["node_0","node_8","node_12","node_17","node_24","node_28","node_29"],"eclass":"2","cost":81.00361178070425},"node_18":{"op":"operation","children":["node_0","node_1","node_6","node_18"],"eclass":"0","cost":80.27017798616355},"node_19":{"op":"operation","children":["node_0","node_8","node_10","node_18","node_25","node_29"],"eclass":"0","cost":33.22698448317113},"node_20":{"op":"operation","children":["node_8","node_10","node_11","node_16","node_17","node_24","node_27"],"eclass":"1","cost":90.21342680974864},"node_21":{"op":"operation","children":["node_3","node_6","node_7","node_12","node_19","node_24"],"eclass":"1","cost":32.98634032293491},"node_22":{"op":"operation","children":["node_0","node_3","node_6","node_8","node_13","node_18","node_21","node_29"],"eclass":"1","cost":30.30018180349716},"node_23":{"op":"operation","children":["node_0","node_1","node_11","node_14","node_26"],"eclass":"2","cost":94.18662974991324},"node_24":{"op":"operation","children":["node_3","node_14","node_19","node_25"],"eclass":"2","cost":8.789008375767594},"node_25":{"op":"operation","children":["node_1","node_16","node_18","node_24","node_29"],"eclass":"1","cost":99.54326253208112},"node_26":{"op":"operation","children":["node_0","node_1","node_13","node_23","node_24"],"eclass":"0","cost":56.80987700262242},"node_27":{"op":"operation","children":["node_14","node_28"],"eclass":"2","cost":98.48927089277308},"node_28":{"op":"operation","children":["node_6","node_8","node_9","node_22","node_27"],"eclass":"0","cost":11.197705228199128},"node_29":{"op":"operation","children":["node_1","node_2","node_6","node_12","node_14","node_25"],"eclass":"0","cost":45.21306229325308}},"root_eclasses":["1","1","0","0"]}
Loading

0 comments on commit 0c37c55

Please sign in to comment.