|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.37
|
2.02
|
4.37
|
||||
|
0.49
|
3.30
|
9.84
|
||||
|
0.62
|
3.97
|
10.01
|
||||
|
0.74
|
3.70
|
10.02
|
||||
|
0.86
|
6.90
|
10.01
|
||||
|
0.46
|
6.29
|
10.01
|
||||
|
0.63
|
9.70
|
10.01
|
||||
|
0.55
|
4.92
|
10.02
|
||||
|
0.42
|
1.86
|
6.61
|
||||
|
0.18
|
1.80
|
3.64
|
||||
|
0.11
|
1.10
|
1.59
|
||||
|
0.33
|
11.01
|
10.02
|
||||
|
0.13
|
1.03
|
2.88
|
||||
|
0.54
|
5.25
|
10.01
|
||||
|
0.17
|
1.04
|
1.57
|
||||
|
1.53
|
11.02
|
10.02
|
||||
|
0.82
|
9.64
|
10.02
|
||||
|
0.18
|
2.72
|
4.98
|
||||
|
0.19
|
2.71
|
6.33
|
||||
|
0.68
|
7.02
|
10.01
|
||||
|
1.09
|
11.01
|
10.01
|
||||
|
0.51
|
6.20
|
10.01
|
||||
|
0.81
|
5.15
|
10.01
|
||||
|
0.69
|
5.60
|
10.01
|
||||
|
1.13
|
11.02
|
10.02
|