problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
1.08
|
0.55
|
0.11
|
||||
2.61
|
0.50
|
0.13
|
||||
1.75
|
0.84
|
0.18
|
||||
2.37
|
0.65
|
0.15
|
||||
1.53
|
3.91
|
0.62
|
||||
2.37
|
2.98
|
0.35
|
||||
1.69
|
3.46
|
0.99
|
||||
1.85
|
18.57
|
0.70
|
||||
3.89
|
21.96
|
3.71
|
||||
3.46
|
22.81
|
3.10
|
||||
4.86
|
8.12
|
2.95
|
||||
2.86
|
8.81
|
1.29
|
||||
3.26
|
9.10
|
2.39
|
||||
4.86
|
22.15
|
1.58
|
||||
4.82
|
20.50
|
1.17
|
||||
16.97
|
23.61
|
1.38
|
||||
21.17
|
24.30
|
6.76
|
||||
22.71
|
31.04
|
7.14
|
||||
21.14
|
26.73
|
5.81
|
||||
39.93
|
46.49
|
8.97
|
||||
26.65
|
29.43
|
10.35
|
||||
2.23
|
3.02
|
0.17
|
||||
1.58
|
0.69
|
0.07
|
||||
2.01
|
1.94
|
0.09
|
||||
2.31
|
11.30
|
2.36
|