|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.03
|
0.09
|
0.17
|
||||
|
0.03
|
0.13
|
0.10
|
||||
|
0.03
|
0.04
|
0.05
|
||||
|
0.03
|
0.05
|
0.10
|
||||
|
1.24
|
9.86
|
10.02
|
||||
|
0.75
|
4.47
|
10.01
|
||||
|
0.36
|
3.28
|
9.63
|
||||
|
0.18
|
0.84
|
3.26
|
||||
|
0.45
|
4.01
|
10.01
|
||||
|
0.20
|
1.60
|
4.63
|
||||
|
0.71
|
4.52
|
10.01
|
||||
|
0.43
|
2.96
|
10.01
|
||||
|
0.16
|
1.36
|
4.94
|
||||
|
0.52
|
3.92
|
10.02
|
||||
|
0.41
|
2.05
|
4.98
|
||||
|
0.68
|
5.60
|
10.01
|
||||
|
0.72
|
5.91
|
10.01
|
||||
|
0.37
|
3.67
|
10.01
|
||||
|
1.14
|
7.60
|
10.01
|
||||
|
0.82
|
10.22
|
10.02
|
||||
|
0.97
|
6.56
|
10.01
|
||||
|
1.49
|
11.01
|
10.01
|
||||
|
0.56
|
6.04
|
10.02
|
||||
|
0.91
|
11.02
|
10.02
|
||||
|
0.64
|
11.01
|
10.01
|