res-20201117T131950-cfa5920b-5187-4d73-8f5b-00b5c77aaeb8.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
2568
uuid
cfa5920b-5187-4d73-8f5b-00b5c77aaeb8
dirs
//home/simon/w/mc2/tests/QF_UFLRA
timestamp
2020/11, Tue the 17, at 13h19:50 GMT
total_wall_time
24m29.0s

stats

provers
z3
mc2
sat
718
741
unsat
508
493
sat+unsat
1226
1234
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
0
timeout
memory
0
0
total
1284
1284
total_time
4m9.5s
2m45.4s

summary

download as csv see detailed results
provers
z3
mc2
improved
0
0
ok
disappoint
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
0
total
1284
1284
cactus plot of provers

comparisons

better:
z3
mc2
z3
×
same: 1205
better: 29
worse: 21
mc2
same: 1205
better: 21
worse: 29
×