detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30050.cvc.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30049.cvc.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30048.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30045.cvc.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30044.cvc.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30041.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30038.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30036.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30031.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30028.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30020.cvc.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30014.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30012.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30011.cvc.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l30005.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20093.cvc.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20086.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20085.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20084.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20082.cvc.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20078.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20077.cvc.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20071.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20067.cvc.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20058.cvc.smt2 (content) unsat unsat 0.048s