|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.01
|
31.02
|
31.02
|
||||
|
0.52
|
31.01
|
31.01
|
||||
|
2.32
|
31.02
|
31.02
|
||||
|
1.35
|
31.02
|
31.02
|
||||
|
4.82
|
31.02
|
31.02
|
||||
|
31.02
|
30.76
|
31.02
|
||||
|
31.02
|
28.06
|
28.44
|
||||
|
3.11
|
30.15
|
30.02
|
||||
|
10.95
|
30.87
|
30.82
|
||||
|
31.03
|
22.84
|
22.57
|
||||
|
3.31
|
23.55
|
25.09
|
||||
|
13.09
|
31.01
|
31.01
|
||||
|
4.04
|
31.02
|
31.02
|
||||
|
0.56
|
31.02
|
31.02
|
||||
|
22.31
|
29.02
|
28.71
|
||||
|
31.02
|
24.90
|
24.01
|
||||
|
3.69
|
31.02
|
30.61
|
||||
|
4.38
|
28.21
|
28.38
|
||||
|
18.28
|
25.96
|
25.94
|
||||
|
10.97
|
26.29
|
24.77
|
||||
|
31.02
|
23.91
|
23.16
|
||||
|
12.03
|
20.84
|
19.77
|
||||
|
4.13
|
18.47
|
19.66
|
||||
|
13.43
|
20.30
|
19.90
|
||||
|
31.02
|
15.41
|
15.74
|