clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_0_1.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.356s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.350s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_0_2.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.331s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.330s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_0_3.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.337s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.330s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_0_4.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.263s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.250s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_1_2.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.257s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.250s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_1_3.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.344s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.330s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_1_4.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.383s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.380s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_2_3.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.302s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.290s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_2_4.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.253s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.250s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_40_pairwise_3_4.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 3.234s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.230s
