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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 0.457s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.450s
