detailed results (2043 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90043.cvc.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90042.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90039.cvc.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90038.cvc.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90035.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90033.cvc.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90026.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90025.cvc.smt2 (content) unknown unsat 10.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90021.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90020.cvc.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90019.cvc.smt2 (content) unknown unsat 10.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90017.cvc.smt2 (content) unknown sat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90016.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90015.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90012.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90011.cvc.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90010.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90008.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90007.cvc.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90006.cvc.smt2 (content) unknown unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90004.cvc.smt2 (content) unknown sat 10.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90003.cvc.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90001.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80100.cvc.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80099.cvc.smt2 (content) unknown unsat 10.6s