|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.25
|
5.05
|
6.82
|
||||
|
1.59
|
11.02
|
10.02
|
||||
|
1.96
|
11.02
|
10.01
|
||||
|
0.57
|
11.02
|
10.01
|
||||
|
0.63
|
11.01
|
10.01
|
||||
|
0.88
|
11.02
|
10.02
|
||||
|
0.99
|
11.02
|
10.02
|
||||
|
0.70
|
7.58
|
10.01
|
||||
|
1.36
|
11.02
|
10.02
|
||||
|
1.25
|
11.02
|
10.02
|
||||
|
0.47
|
2.73
|
5.32
|
||||
|
1.12
|
11.02
|
10.01
|
||||
|
0.76
|
11.02
|
10.01
|
||||
|
1.37
|
11.01
|
10.01
|
||||
|
0.58
|
9.73
|
8.63
|
||||
|
0.71
|
7.91
|
7.77
|
||||
|
0.11
|
0.65
|
2.53
|
||||
|
0.11
|
0.91
|
2.68
|
||||
|
0.63
|
2.96
|
9.24
|
||||
|
0.63
|
4.53
|
10.02
|
||||
|
0.51
|
3.15
|
10.01
|
||||
|
0.40
|
2.92
|
10.01
|
||||
|
0.47
|
4.79
|
10.01
|
||||
|
0.74
|
6.31
|
10.01
|
||||
|
0.51
|
5.38
|
10.01
|