|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.36
|
5.36
|
10.02
|
||||
|
0.57
|
3.27
|
7.20
|
||||
|
0.78
|
8.52
|
10.02
|
||||
|
0.76
|
11.02
|
10.01
|
||||
|
0.22
|
1.74
|
4.91
|
||||
|
0.32
|
1.60
|
4.07
|
||||
|
0.22
|
3.39
|
5.25
|
||||
|
0.21
|
2.60
|
4.10
|
||||
|
1.06
|
11.02
|
10.01
|
||||
|
0.57
|
11.02
|
10.01
|
||||
|
0.06
|
0.62
|
0.70
|
||||
|
0.15
|
1.77
|
2.48
|
||||
|
0.81
|
10.58
|
10.01
|
||||
|
0.38
|
3.59
|
6.05
|
||||
|
0.47
|
5.06
|
5.94
|
||||
|
0.35
|
3.18
|
6.59
|
||||
|
0.97
|
11.01
|
9.77
|
||||
|
0.92
|
11.01
|
7.95
|
||||
|
0.89
|
6.29
|
10.01
|
||||
|
0.57
|
3.79
|
9.50
|
||||
|
0.67
|
6.74
|
10.01
|
||||
|
0.41
|
4.28
|
10.02
|
||||
|
0.66
|
3.05
|
6.46
|
||||
|
0.62
|
5.44
|
10.02
|
||||
|
0.72
|
0.65
|
4.79
|