detailed results (2043 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20057.cvc.smt2(content)unknownsat10.7s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20056.cvc.smt2(content)unknownsat10.6s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20055.cvc.smt2(content)unknownunsat10s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20054.cvc.smt2(content)unknownsat10.9s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20053.cvc.smt2(content)unknownsat10.5s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20051.cvc.smt2(content)unknownsat10.7s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20049.cvc.smt2(content)unknownsat10s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20046.cvc.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20045.cvc.smt2(content)unknownsat10.7s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20044.cvc.smt2(content)unknownsat10.6s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20043.cvc.smt2(content)unknownunsat10.5s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20042.cvc.smt2(content)unknownsat10.4s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20041.cvc.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20039.cvc.smt2(content)unknownsat10.4s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20030.cvc.smt2(content)unknownunsat10.6s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20029.cvc.smt2(content)unknownsat10.2s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20025.cvc.smt2(content)unknownunsat10.4s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20024.cvc.smt2(content)unknownunsat10.2s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20023.cvc.smt2(content)unknownsat10.6s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20022.cvc.smt2(content)unknownsat10.7s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20019.cvc.smt2(content)unknownsat10.0s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20018.cvc.smt2(content)unknownunsat10.7s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20015.cvc.smt2(content)unknownsat10.4s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20012.cvc.smt2(content)unknownsat10.7s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20005.cvc.smt2(content)unknownunsat10s