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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 2.063s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 2.060s
