|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.11
|
3.62
|
10.01
|
||||
|
0.08
|
4.36
|
10.01
|
||||
|
0.11
|
3.64
|
10.01
|
||||
|
0.07
|
4.28
|
10.01
|
||||
|
0.06
|
5.15
|
10.01
|
||||
|
0.06
|
4.96
|
10.01
|
||||
|
0.32
|
7.29
|
10.02
|
||||
|
0.08
|
4.42
|
10.01
|
||||
|
0.06
|
4.48
|
10.01
|
||||
|
0.10
|
3.01
|
10.01
|
||||
|
0.36
|
3.90
|
10.01
|
||||
|
1.01
|
7.50
|
10.01
|
||||
|
0.05
|
4.94
|
10.01
|
||||
|
0.05
|
1.75
|
10.02
|
||||
|
0.07
|
2.15
|
10.01
|
||||
|
0.06
|
1.77
|
10.01
|
||||
|
0.06
|
11.01
|
10.01
|
||||
|
0.04
|
2.80
|
10.01
|
||||
|
0.07
|
3.81
|
10.01
|
||||
|
0.05
|
2.03
|
10.01
|
||||
|
0.08
|
2.50
|
10.02
|
||||
|
0.05
|
2.58
|
10.02
|
||||
|
0.35
|
3.79
|
10.01
|
||||
|
0.98
|
4.18
|
10.01
|
||||
|
0.08
|
1.82
|
10.02
|