full results

problem
z3
sidekick-dev
sidekick
mc2
z3.time
sidekick-dev.time
sidekick.time
mc2.time
0.58
9.70
9.45
6.70
0.56
5.19
5.27
10.09
0.39
2.97
3.03
8.88
0.38
6.35
6.36
10.05
0.24
3.79
3.62
10.10
0.39
2.30
2.26
5.22
0.41
4.72
4.69
10.12
0.35
0.51
0.50
3.61
0.20
6.80
6.61
6.43
0.08
1.07
1.06
1.49
0.09
1.39
1.40
6.82
0.08
0.43
0.44
1.47
0.46
3.62
3.67
10.06
0.42
3.20
3.29
10.01
0.28
2.22
2.24
7.43
0.06
0.47
0.47
0.73
0.23
2.02
2.12
8.45
0.21
1.38
1.38
5.71
0.21
1.54
1.53
4.61
0.53
11.12
11.06
10.05
0.07
0.89
0.93
1.51
0.04
0.79
0.89
0.46
0.43
1.38
1.40
4.54
0.77
11.06
11.05
10.05
0.13
0.28
0.28
1.28