Commit 1e60f6ad authored by Christian Müller's avatar Christian Müller

metrics

parent 24a4165f
......@@ -4,3 +4,6 @@ Universe: a:A, causalaA1:A, causalaP1:P, at:A, bt:A, pt:P
Measuring on Fri May 19 15:28:36 WEST 2017:
Timeout after 20s
Measuring run 1:
Timeout after 20m
......@@ -8,3 +8,10 @@ real 2.48
user 2.48
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 2.49
user 2.48
sys 0.01
Finished successfully
......@@ -4,3 +4,6 @@ Universe: a:A, causalaA1:A, causalaP1:P, causalaR1:R, at:A, bt:A, pt:P, rt:R
Measuring on Fri May 19 15:28:59 WEST 2017:
Timeout after 20s
Measuring run 1:
Timeout after 20m
......@@ -4,3 +4,10 @@ Universe: a:X, causalaX1:X, causalaP1:P, causalaR1:R, xt:X, yt:X, pt:P
Measuring on Fri May 19 15:29:19 WEST 2017:
Timeout after 20s
Measuring run 1:
sat
real 103.16
user 103.07
sys 0.08
Finished successfully
......@@ -8,3 +8,10 @@ real 0.75
user 0.75
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.79
user 0.78
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 2.47
user 2.46
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 2.45
user 2.45
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.85
user 0.80
sys 0.05
Finished successfully
Measuring run 1:
sat
real 0.85
user 0.80
sys 0.03
Finished successfully
......@@ -4,3 +4,10 @@ Universe: x:T, y:T
Measuring on Fri May 19 15:29:42 WEST 2017:
Timeout after 20s
Measuring run 1:
unsat
real 33.35
user 33.32
sys 0.02
Finished successfully
......@@ -8,3 +8,10 @@ real 3.01
user 2.84
sys 0.16
Finished successfully
Measuring run 1:
sat
real 2.98
user 2.84
sys 0.14
Finished successfully
......@@ -4,3 +4,10 @@ Universe: x:T, y:T
Measuring on Fri May 19 15:30:03 WEST 2017:
Timeout after 20s
Measuring run 1:
unsat
real 158.30
user 158.15
sys 0.11
Finished successfully
......@@ -8,3 +8,10 @@ real 16.55
user 16.22
sys 0.32
Finished successfully
Measuring run 1:
sat
real 16.28
user 15.98
sys 0.30
Finished successfully
......@@ -4,3 +4,10 @@ Universe: x:T, y:T
Measuring on Fri May 19 15:30:26 WEST 2017:
Timeout after 20s
Measuring run 1:
unsat
real 745.79
user 745.47
sys 0.31
Finished successfully
......@@ -8,3 +8,10 @@ real 0.10
user 0.10
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.10
user 0.10
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 6.17
user 6.14
sys 0.02
Finished successfully
Measuring run 1:
unsat
real 6.16
user 6.12
sys 0.03
Finished successfully
......@@ -4,3 +4,6 @@ Universe: u:T, v:T, w:T, x:T
Measuring on Fri May 19 15:31:09 WEST 2017:
Timeout after 20s
Measuring run 1:
Timeout after 20m
......@@ -8,3 +8,10 @@ real 1.03
user 1.03
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 1.03
user 1.02
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.15
user 0.15
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.15
user 0.15
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 1.50
user 1.50
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 1.47
user 1.46
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.01
user 0.01
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.01
user 0.00
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 1.39
user 1.39
sys 0.00
Finished successfully
Measuring run 1:
sat
real 1.40
user 1.39
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.02
user 0.02
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.01
user 0.01
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 17.27
user 17.24
sys 0.02
Finished successfully
Measuring run 1:
sat
real 17.05
user 17.02
sys 0.02
Finished successfully
......@@ -8,3 +8,10 @@ real 0.02
user 0.02
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.04
user 0.03
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 9.00
user 8.99
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 8.97
user 8.96
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.02
user 0.02
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.04
user 0.04
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.09
user 0.08
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.10
user 0.10
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.19
user 0.18
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.20
user 0.20
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.41
user 0.41
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.40
user 0.40
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 2.46
user 2.45
sys 0.00
Finished successfully
Measuring run 1:
sat
real 2.48
user 2.48
sys 0.00
Finished successfully
......@@ -8,3 +8,10 @@ real 0.01
user 0.00
sys 0.00
Finished successfully
Measuring run 1:
unsat
real 0.02
user 0.01
sys 0.00
Finished successfully
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment