|
problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
|
0.23
|
1.44
|
3.20
|
||||
|
0.22
|
1.73
|
5.65
|
||||
|
0.30
|
1.60
|
2.93
|
||||
|
0.22
|
2.67
|
4.77
|
||||
|
0.32
|
2.18
|
10.01
|
||||
|
0.73
|
4.35
|
10.02
|
||||
|
0.32
|
4.50
|
10.01
|
||||
|
0.97
|
3.70
|
10.01
|
||||
|
0.24
|
2.13
|
10.01
|
||||
|
0.34
|
2.83
|
10.01
|
||||
|
0.25
|
2.24
|
10.01
|
||||
|
0.25
|
3.32
|
10.01
|
||||
|
0.26
|
2.54
|
10.01
|
||||
|
0.24
|
2.38
|
1.97
|
||||
|
0.24
|
1.57
|
10.01
|
||||
|
0.23
|
2.79
|
10.01
|
||||
|
0.28
|
2.37
|
10.02
|
||||
|
0.28
|
3.94
|
10.01
|
||||
|
0.25
|
1.18
|
9.20
|
||||
|
0.25
|
2.39
|
2.63
|
||||
|
0.29
|
1.88
|
10.01
|
||||
|
0.52
|
3.63
|
10.01
|
||||
|
0.33
|
2.45
|
10.01
|
||||
|
0.30
|
2.57
|
10.01
|
||||
|
0.23
|
1.93
|
1.53
|