detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70043.cvc.smt2 (content) unsat unsat 0.023s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70042.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70041.cvc.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70040.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70037.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70036.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70035.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70034.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70033.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70032.cvc.smt2 (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70029.cvc.smt2 (content) unsat unsat 0.021s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70028.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70027.cvc.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70026.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70024.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70022.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70021.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70018.cvc.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70017.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70016.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70015.cvc.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70013.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70012.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70011.cvc.smt2 (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70008.cvc.smt2 (content) unsat unsat 0.035s