detailed results (6981 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80050.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80049.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80048.cvc.smt2 (content) unknown unsat 10.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80047.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80046.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80045.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80044.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80042.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80041.cvc.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80040.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80039.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80038.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80037.cvc.smt2 (content) timeout sat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80036.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80035.cvc.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80032.cvc.smt2 (content) unknown sat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80030.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80026.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80025.cvc.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80024.cvc.smt2 (content) unsat unsat 0.018s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80023.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80022.cvc.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80020.cvc.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80017.cvc.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80015.cvc.smt2 (content) unsat unsat 0.017s