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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

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

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 8.015s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 8.010s
