|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.24
|
1.85
|
1.39
|
||||
|
0.23
|
1.23
|
2.66
|
||||
|
0.80
|
2.17
|
10.02
|
||||
|
0.43
|
2.52
|
10.01
|
||||
|
0.66
|
1.66
|
2.54
|
||||
|
0.23
|
2.24
|
6.07
|
||||
|
0.25
|
1.63
|
5.61
|
||||
|
0.25
|
2.15
|
2.79
|
||||
|
0.23
|
2.47
|
10.01
|
||||
|
0.34
|
1.90
|
4.36
|
||||
|
0.27
|
3.47
|
10.01
|
||||
|
0.27
|
2.52
|
10.01
|
||||
|
0.25
|
4.83
|
10.01
|
||||
|
0.27
|
2.47
|
10.01
|
||||
|
0.57
|
4.34
|
10.01
|
||||
|
0.50
|
1.75
|
10.01
|
||||
|
0.57
|
2.72
|
10.01
|
||||
|
0.35
|
3.85
|
10.02
|
||||
|
0.34
|
1.23
|
10.01
|
||||
|
0.24
|
2.09
|
10.03
|
||||
|
0.38
|
2.09
|
4.52
|
||||
|
0.43
|
2.94
|
10.01
|
||||
|
0.79
|
2.51
|
5.11
|
||||
|
0.24
|
2.17
|
3.38
|
||||
|
0.26
|
1.56
|
3.07
|