detailed results (1083 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70078.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70073.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70071.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70067.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70061.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70060.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70058.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70057.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70053.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70050.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70045.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70043.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70041.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70038.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70037.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70036.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70032.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70027.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70026.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70024.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70019.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70013.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70011.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70007.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70002.cvc.smt2 (content) timeout sat 11s