Deopt.zip
Deopt
Dockerfile
2.4 kB
LICENSE
11.4 kB
README.md
7.6 kB
deopt
__init__.py
0 Bytes
__main__.py
16.6 kB
datalog
__init__.py
0 Bytes
base_fact.py
1.4 kB
base_predicate.py
445 Bytes
base_program.py
34.1 kB
base_rule.py
11.2 kB
base_subgoal.py
5.1 kB
dependence_graph.py
9.1 kB
var_type.py
2.2 kB
variable.py
421 Bytes
default_params.json
2.3 kB
engines
__init__.py
0 Bytes
cozodb
__init__.py
0 Bytes
cozodb.py
7.7 kB
cozodb_aggregate.py
4.3 kB
cozodb_disjunctive_rule.py
10.3 kB
cozodb_fact.py
3.0 kB
cozodb_predicate.py
4.5 kB
cozodb_rule.py
13.3 kB
cozodb_subgoal.py
10.8 kB
cozodb_type.py
127 Bytes
ddlog
__init__.py
0 Bytes
ddlog.py
10.5 kB
ddlog_fact.py
2.5 kB
ddlog_predicate.py
4.2 kB
ddlog_rule.py
8.5 kB
ddlog_subgoal.py
4.7 kB
ddlog_type.py
126 Bytes
souffle
__init__.py
0 Bytes
souffle.py
16.2 kB
souffle_aggregate.py
3.8 kB
souffle_fact.py
3.0 kB
souffle_predicate.py
4.4 kB
souffle_rule.py
17.4 kB
souffle_subgoal.py
10.9 kB
souffle_type.py
754 Bytes
z3
__init__.py
0 Bytes
z3.py
9.3 kB
z3_fact.py
1.8 kB
z3_predicate.py
640 Bytes
z3_rule.py
5.9 kB
z3_subgoal.py
1.0 kB
z3_type.py
127 Bytes
parsers
__init__.py
0 Bytes
argument_parser.py
1.3 kB
runner
__init__.py
0 Bytes
base_runner.py
837 Bytes
cozodb_runner.py
7.0 kB
ddlog_runner.py
14.2 kB
souffle_runner.py
22.0 kB
z3_runner.py
7.2 kB
utils
__init__.py
0 Bytes
file_operations.py
887 Bytes
logging.py
831 Bytes
randomness.py
1.8 kB
statistics.py
6.8 kB
evaluation
Q1
README.md
7.9 kB
bug1
bug.dl
139 Bytes
popt0.dl
83 Bytes
popt1.dl
139 Bytes
pref0.dl
83 Bytes
pref1.dl
92 Bytes
bug10
bug.dl
320 Bytes
popt0.dl
194 Bytes
popt1.dl
234 Bytes
popt2.dl
272 Bytes
popt3.dl
320 Bytes
pref0.dl
83 Bytes
pref1.dl
83 Bytes
pref2.dl
82 Bytes
pref3.dl
131 Bytes
bug11
bug.dl
156 Bytes
popt0.dl
110 Bytes
popt1.dl
156 Bytes
pref0.dl
83 Bytes
pref1.dl
93 Bytes
bug12
bug.dl
115 Bytes
popt0.dl
26 Bytes
popt1.dl
49 Bytes
popt2.dl
80 Bytes
popt3.dl
86 Bytes
pref0.dl
26 Bytes
pref1.dl
35 Bytes
pref2.dl
63 Bytes
pref3.dl
53 Bytes
bug13
bug.dl
154 Bytes
popt0.dl
98 Bytes
popt1.dl
114 Bytes
popt2.dl
154 Bytes
pref0.dl
98 Bytes
pref1.dl
79 Bytes
pref2.dl
103 Bytes
bug2
bug.dl
175 Bytes
popt0.dl
116 Bytes
popt1.dl
174 Bytes
pref0.dl
116 Bytes
pref1.dl
106 Bytes
bug3
bug.dl
145 Bytes
popt0.dl
113 Bytes
popt1.dl
145 Bytes
pref0.dl
113 Bytes
pref1.dl
97 Bytes
bug4
bug.dl
251 Bytes
popt0.dl
110 Bytes
popt1.dl
212 Bytes
popt2.dl
251 Bytes
pref0.dl
109 Bytes
pref1.dl
128 Bytes
pref2.dl
182 Bytes
bug5
bug.dl
159 Bytes
popt0.dl
106 Bytes
popt1.dl
159 Bytes
pref0.dl
106 Bytes
pref1.dl
226 Bytes
bug6
bug.dl
136 Bytes
popt0.dl
85 Bytes
popt1.dl
136 Bytes
pref0.dl
85 Bytes
pref1.dl
72 Bytes
bug7
bug.dl
152 Bytes
bug8
bug.dl
103 Bytes
bug9
bug.dl
81 Bytes
popt0.dl
60 Bytes
popt1.dl
81 Bytes
pref0.dl
60 Bytes
pref1.dl
54 Bytes
Q2Q3
README.md
6.5 kB
data_analyzer.py
13.4 kB
result.pdf
20.9 kB
results
compare_with_random
ddlog
normal_20
params.json
2.7 kB
statis.json
1.6 kB
normal_40
params.json
2.7 kB
statis.json
1.6 kB
normal_60
params.json
2.7 kB
statis.json
1.6 kB
normal_80
params.json
2.7 kB
statis.json
1.6 kB
random_20
params.json
2.6 kB
statis.json
1.7 kB
random_40
params.json
2.6 kB
statis.json
1.7 kB
random_60
params.json
2.6 kB
statis.json
1.7 kB
random_80
params.json
2.6 kB
statis.json
1.7 kB
souffle
normal_20
params.json
2.7 kB
statis.json
1.8 kB
normal_40
params.json
2.7 kB
statis.json
1.8 kB
normal_60
params.json
2.7 kB
statis.json
1.8 kB
normal_80
params.json
2.7 kB
statis.json
1.8 kB
random_20
params.json
2.6 kB
statis.json
1.8 kB
random_40
params.json
2.6 kB
statis.json
1.8 kB
random_60
params.json
2.6 kB
statis.json
1.8 kB
random_80
params.json
2.6 kB
statis.json
1.8 kB
max_att
1
params.json
2.7 kB
statis.json
1.7 kB
10
params.json
2.7 kB
statis.json
1.7 kB
20
params.json
2.7 kB
statis.json
1.7 kB
30
params.json
2.7 kB
statis.json
1.7 kB
40
params.json
2.7 kB
statis.json
1.7 kB
50
params.json
2.7 kB
statis.json
1.7 kB
60
params.json
2.7 kB
statis.json
1.7 kB
70
params.json
2.7 kB
statis.json
1.7 kB
max_iter
10
params.json
2.7 kB
statis.json
1.7 kB
100
params.json
2.7 kB
statis.json
1.8 kB
200
params.json
2.7 kB
statis.json
1.7 kB
300
params.json
2.7 kB
statis.json
1.7 kB
50
params.json
2.7 kB
statis.json
1.7 kB
max_rules
ddlog
10
params.json
2.7 kB
statis.json
1.6 kB
100
params.json
2.7 kB
statis.json
1.6 kB
20
params.json
2.7 kB
statis.json
1.6 kB
40
params.json
2.7 kB
statis.json
1.6 kB
5
params.json
2.7 kB
statis.json
1.6 kB
60
params.json
2.7 kB
statis.json
1.6 kB
80
params.json
2.7 kB
statis.json
1.6 kB
souffle
10
params.json
2.7 kB
statis.json
1.8 kB
100
params.json
2.7 kB
statis.json
1.8 kB
20
params.json
2.7 kB
statis.json
1.8 kB
40
params.json
2.7 kB
statis.json
1.8 kB
5
params.json
2.7 kB
statis.json
1.8 kB
60
params.json
2.7 kB
statis.json
1.8 kB
80
params.json
2.7 kB
statis.json
1.8 kB
p_empty
0
params.json
2.7 kB
statis.json
1.7 kB
100
params.json
2.7 kB
statis.json
1.7 kB
20
params.json
2.7 kB
statis.json
1.7 kB
40
params.json
2.7 kB
statis.json
1.7 kB
60
params.json
2.7 kB
statis.json
1.7 kB
80
params.json
2.7 kB
statis.json
1.7 kB
p_head
0
params.json
2.7 kB
statis.json
1.6 kB
10
params.json
2.7 kB
statis.json
1.7 kB
2
params.json
2.7 kB
statis.json
1.8 kB
4
params.json
2.7 kB
statis.json
1.7 kB
6
params.json
2.7 kB
statis.json
1.7 kB
8
params.json
2.7 kB
statis.json
1.7 kB
run.py
8.3 kB
Q4
README.md
4.1 kB
bug1
MZV.facts
12 Bytes
bug.dl
381 Bytes
popt0.dl
110 Bytes
popt1.dl
151 Bytes
popt2.dl
235 Bytes
popt3.dl
293 Bytes
popt4.dl
365 Bytes
pref0.dl
110 Bytes
pref1.dl
113 Bytes
pref2.dl
221 Bytes
pref3.dl
146 Bytes
pref4.dl
202 Bytes
bug10
bug.dl
209 Bytes
popt0.dl
164 Bytes
popt1.dl
196 Bytes
pref0.dl
151 Bytes
pref1.dl
89 Bytes
bug11
bug.dl
155 Bytes
popt0.dl
94 Bytes
popt1.dl
133 Bytes
pref0.dl
94 Bytes
pref1.dl
133 Bytes
bug12
bug.dl
256 Bytes
popt0.dl
146 Bytes
popt1.dl
185 Bytes
popt2.dl
225 Bytes
pref0.dl
145 Bytes
pref1.dl
158 Bytes
pref2.dl
124 Bytes
bug13
bug.dl
355 Bytes
ddlog_run.sh
136 Bytes
facts.dat
120 Bytes
popt0.dl
148 Bytes
popt1.dl
239 Bytes
popt2.dl
291 Bytes
popt3.dl
355 Bytes
pref0.dl
148 Bytes
pref1.dl
295 Bytes
pref2.dl
256 Bytes
pref3.dl
283 Bytes
bug2
IBf.facts
1 Byte
bug.dl
210 Bytes
dfm.facts
1 Byte
onG.facts
3 Bytes
popt0.dl
83 Bytes
popt1.dl
155 Bytes
popt2.dl
207 Bytes
pref0.dl
74 Bytes
pref1.dl
126 Bytes
pref2.dl
98 Bytes
bug3
WWc.facts
47 Bytes
bug.dl
199 Bytes
popt0.dl
117 Bytes
popt1.dl
157 Bytes
pref0.dl
117 Bytes
pref1.dl
93 Bytes
pref2.dl
84 Bytes
bug4
AvvH.facts
1.5 kB
BMaq.facts
2.4 kB
bug.dl
325 Bytes
bug_orig.dl
1.8 kB
oAhz.facts
7.1 kB
popt0.dl
103 Bytes
popt1.dl
175 Bytes
popt2.dl
235 Bytes
popt3.dl
283 Bytes
popt4.dl
329 Bytes
pref0.dl
103 Bytes
pref1.dl
119 Bytes
pref2.dl
129 Bytes
pref3.dl
110 Bytes
pref4.dl
105 Bytes
bug5
bug.dl
205 Bytes
popt0.dl
61 Bytes
popt1.dl
128 Bytes
popt2.dl
202 Bytes
pref0.dl
61 Bytes
pref1.dl
107 Bytes
pref2.dl
180 Bytes
bug6
BCCS.facts
12 Bytes
UteE.facts
19 Bytes
bug.dl
419 Bytes
popt0.dl
216 Bytes
popt1.dl
269 Bytes
popt2.dl
323 Bytes
popt3.dl
357 Bytes
popt4.dl
418 Bytes
pref0.dl
127 Bytes
pref1.dl
125 Bytes
pref2.dl
201 Bytes
pref3.dl
160 Bytes
pref4.dl
200 Bytes
bug7
bug.dl
257 Bytes
popt0.dl
214 Bytes
popt1.dl
256 Bytes
pref0.dl
214 Bytes
pref1.dl
129 Bytes
bug8
bug.dl
232 Bytes
words.facts
13 Bytes
bug9
bug.dl
120 Bytes
popt0.dl
80 Bytes
popt1.dl
120 Bytes
pref0.dl
80 Bytes
pref1.dl
88 Bytes
supplementary_material.pdf
491.2 kB