|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.13
|
2.80
|
2.38
|
||||
|
0.09
|
1.57
|
1.44
|
||||
|
0.10
|
2.42
|
2.46
|
||||
|
0.09
|
2.14
|
2.15
|
||||
|
0.59
|
12.27
|
11.46
|
||||
|
0.92
|
31.02
|
26.37
|
||||
|
0.49
|
23.27
|
30.71
|
||||
|
0.27
|
15.74
|
11.04
|
||||
|
0.45
|
14.71
|
14.56
|
||||
|
0.10
|
2.13
|
2.26
|
||||
|
0.11
|
2.47
|
2.84
|
||||
|
0.43
|
14.63
|
12.90
|
||||
|
0.61
|
31.01
|
26.52
|
||||
|
0.10
|
2.11
|
2.18
|
||||
|
0.34
|
16.40
|
22.70
|
||||
|
0.29
|
13.30
|
13.19
|
||||
|
0.53
|
19.83
|
22.88
|
||||
|
0.62
|
30.29
|
28.93
|
||||
|
0.75
|
31.01
|
30.02
|
||||
|
0.12
|
1.62
|
1.61
|
||||
|
0.11
|
2.30
|
2.10
|
||||
|
1.13
|
31.01
|
30.51
|
||||
|
0.26
|
7.20
|
8.11
|
||||
|
0.62
|
19.19
|
17.90
|
||||
|
0.10
|
2.76
|
3.25
|