|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.61
|
6.69
|
10.01
|
||||
|
0.48
|
8.17
|
10.02
|
||||
|
0.66
|
8.23
|
10.02
|
||||
|
0.52
|
9.13
|
10.01
|
||||
|
0.50
|
8.30
|
10.02
|
||||
|
0.39
|
9.82
|
10.02
|
||||
|
0.70
|
11.02
|
10.02
|
||||
|
0.24
|
11.02
|
10.01
|
||||
|
0.16
|
3.03
|
4.09
|
||||
|
0.34
|
4.79
|
10.01
|
||||
|
0.34
|
7.23
|
10.01
|
||||
|
0.34
|
5.39
|
10.02
|
||||
|
0.42
|
5.60
|
10.02
|
||||
|
0.88
|
11.01
|
10.02
|
||||
|
0.75
|
11.02
|
10.01
|
||||
|
0.38
|
3.85
|
10.02
|
||||
|
0.76
|
11.02
|
10.02
|
||||
|
0.09
|
0.84
|
2.14
|
||||
|
0.62
|
4.01
|
10.02
|
||||
|
0.66
|
1.63
|
10.02
|
||||
|
0.56
|
3.74
|
10.02
|
||||
|
0.64
|
5.27
|
10.01
|
||||
|
0.45
|
3.44
|
10.01
|
||||
|
0.37
|
6.97
|
10.01
|
||||
|
1.00
|
11.01
|
10.01
|