detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60073.cvc.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60072.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60071.cvc.smt2 (content) sat sat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60070.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60067.cvc.smt2 (content) sat sat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60060.cvc.smt2 (content) sat sat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60059.cvc.smt2 (content) sat sat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60058.cvc.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60056.cvc.smt2 (content) sat sat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60054.cvc.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60051.cvc.smt2 (content) sat sat 0.099s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60049.cvc.smt2 (content) sat sat 0.138s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60048.cvc.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60045.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60042.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60041.cvc.smt2 (content) sat sat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60038.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60036.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60035.cvc.smt2 (content) sat sat 0.102s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60034.cvc.smt2 (content) sat sat 0.079s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60033.cvc.smt2 (content) sat sat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60032.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60031.cvc.smt2 (content) sat sat 0.103s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60029.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60028.cvc.smt2 (content) sat sat 0.107s