full results

problem
z3
sidekick-dev
mc2
z3.time
sidekick-dev.time
mc2.time
11.03
0.49
10.03
11.03
0.37
10.02
11.03
0.19
10.02
11.04
0.67
10.02
11.05
0.19
10.02
11.03
0.33
10.02
11.06
0.15
10.02
11.04
0.24
10.02
11.03
0.36
10.02
11.06
0.22
10.02
11.06
0.14
10.02
11.03
0.40
10.02
11.06
0.22
10.02
11.06
0.16
10.02
11.03
0.61
10.02
11.04
0.11
10.02
11.04
0.26
10.02
11.04
0.15
10.02
11.03
0.49
10.02
11.05
0.17
10.02
11.04
0.75
10.02
11.06
0.15
10.03
11.05
0.14
10.02
11.06
0.21
10.02
11.06
0.17
10.02