|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.71
|
11.01
|
10.01
|
||||
|
0.28
|
5.01
|
10.01
|
||||
|
0.78
|
11.02
|
10.02
|
||||
|
0.32
|
5.18
|
10.02
|
||||
|
0.15
|
1.72
|
3.48
|
||||
|
0.84
|
11.02
|
10.01
|
||||
|
0.66
|
11.02
|
10.01
|
||||
|
0.21
|
3.26
|
6.33
|
||||
|
0.30
|
11.02
|
10.02
|
||||
|
0.25
|
10.37
|
10.01
|
||||
|
0.17
|
2.95
|
5.68
|
||||
|
0.52
|
3.30
|
10.01
|
||||
|
0.51
|
4.66
|
7.94
|
||||
|
0.30
|
2.11
|
6.89
|
||||
|
0.49
|
2.74
|
10.01
|
||||
|
0.58
|
4.72
|
10.01
|
||||
|
0.51
|
4.23
|
10.01
|
||||
|
0.62
|
4.72
|
10.01
|
||||
|
0.43
|
3.81
|
10.01
|
||||
|
0.85
|
9.48
|
10.02
|
||||
|
0.50
|
2.52
|
10.02
|
||||
|
2.27
|
11.02
|
10.02
|
||||
|
0.27
|
2.14
|
5.83
|
||||
|
0.16
|
0.97
|
2.77
|
||||
|
1.10
|
11.02
|
10.01
|