detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40099.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40093.cvc.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40084.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40082.cvc.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40080.cvc.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40079.cvc.smt2 (content) unsat unsat 0.062s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40077.cvc.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40062.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40060.cvc.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40059.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40057.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40051.cvc.smt2 (content) unsat unsat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40048.cvc.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40042.cvc.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40034.cvc.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40032.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40031.cvc.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40027.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40016.cvc.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40013.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40012.cvc.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30099.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30095.cvc.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30094.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l30092.cvc.smt2 (content) unsat unsat 0.068s