detailed results (4 total)

proverfileresexpectedtime
z3/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70035.cvc.smt2(content)satunsat0.025s
z3/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90003.cvc.smt2(content)satunsat0.027s
z3/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40022.cvc.smt2(content)satunsat0.026s
z3/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70077.cvc.smt2(content)satunsat0.030s